Open Access. Powered by Scholars. Published by Universities.®
![Digital Commons Network](http://assets.bepress.com/20200205/img/dcn/DCsunburst.png)
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Logic and Foundations of Mathematics
Three Essays In Intuitionistic Epistemology, Tudor Protopopescu
Three Essays In Intuitionistic Epistemology, Tudor Protopopescu
Dissertations, Theses, and Capstone Projects
We present three papers studying knowledge and its logic from an intuitionistic viewpoint.
An Arithmetic Interpretation of Intuitionistic Verification
Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK semantics of intuitionism. The fundamental assumption concerning intuitionistic knowledge and belief is that it is the product of verification. The BHK interpretation of intuitionistic logic has a precise formulation in the Logic of Proofs and its arithmetical semantics. We show here that this interpretation can be extended to the notion of verification upon which intuitionistic knowledge is based. This provides the systems of intuitionistic epistemic logic …
Toward A Kripkean Concept Of Number, Oliver R. Marshall
Toward A Kripkean Concept Of Number, Oliver R. Marshall
Dissertations, Theses, and Capstone Projects
Saul Kripke once remarked to me that natural numbers cannot be posits inferred from their indispensability to science, since we’ve always had them. This left me wondering whether numbers are objects of Russellian acquaintance, or accessible by analysis, being implied by known general principles about how to reason correctly, or both. To answer this question, I discuss some recent (and not so recent) work on our concepts of number and of particular numbers, by leading psychologists and philosophers. Special attention is paid to Kripke’s theory that numbers possess structural features of the numerical systems that stand for them, and to …