22Some 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.
Franklin and Marshall CollegeDepartment of PhilosophyOther faculty (Postdoc, Visiting, etc)
Department of Philosophy
Lancaster, Pennsylvania, United States of America