-
78Some recent essays in the history of the philosophy of mathematics: A critical review (review)Synthese 96 (2). 1993.
-
45Meeting of the association for symbolic logic: Biloxi, 1979Journal of Symbolic Logic 46 (1): 191-198. 1981.
-
108Proof-theoretic Semantics for Classical MathematicsSynthese 148 (3): 603-622. 2006.We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equalit…Read more
Chicago, Illinois, United States of America