
22Some Obstacles Facing a Semantic Foundation for Constructive MathematicsErkenntnis 80 (5): 10551068. 2015.This paper discusses Michael Dummettâ€™s attempt to base the use of intuitionistic logic in mathematics on a proofconditional 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 9789400704305. Pp. XI + 314 (review)Philosophia Mathematica 20 (2): 267271. 2012.
Lancaster, Pennsylvania, United States of America
Areas of Specialization
Logic and Philosophy of Logic 
Philosophy of Mathematics 