-
26Some Obstacles Facing a Semantic Foundation for Constructive MathematicsErkenntnis 80 (5): 1055-1068. 2015.This paper discusses Michael Dummett’s attempt to base the use of intuitionistic logic in mathematics on a proof-conditional semantics. This project is shown to face significant obstacles resulting from the existence of variants of standard intuitionistic logic. In order to overcome these obstacles, Dummett and his followers must give an intuitionistically acceptable completeness proof for intuitionistic logic relative to the BHK interpretation of the logical constants, but there are reasons to …Read more
-
25Giovanni sommaruga, ed. foundational theories of classical and constructive mathematics. Dordrecht: Springer, 2011. Isbn 978-94-007-0430-5. Pp. XI + 314 (review)Philosophia Mathematica 20 (2): 267-271. 2012.
Lancaster, Pennsylvania, United States of America
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |