-
128The Development of Modern LogicHistory and Philosophy of Logic 32 (2). 2011.History and Philosophy of Logic, Volume 32, Issue 2, Page 187-191, May 2011
-
38Rigor and StructureOxford University Press UK. 2015.While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the …Read more
-
73Fixing FregePrinceton University Press. 2005.This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in ...
-
9Chapter Six. Intuitionistic LogicIn J. W. Davis (ed.), Philosophical logic, D. Reidel. pp. 121-142. 1969.
Princeton, New Jersey, United States of America