Haim Gaifman
Professor Haim Gaifman
Philosophy Department
715 Philosophy Hall
Columbia University
New York, NY 10027
Office Phone: 212 854 3284
EMAIL:
hg17 AT: columbia.edu
SOME WORKS
All papers are in .pdf format. To download click on the link.
(pdf file) 33 pages. The Journal of
Philosophy May 1992 (vol. LXXXIX, number 5). Some diagrams
contained in the Journal article have not been reproduced here.
.
Pointers to Propositions
Self contained sequel to "Pointers to Truth". In
Journal of Philosophy, August 1996 pp. 373 - 407
Annals of Pure and Applied Logic, 96 (1999) pp. 117-140
What Gödel’s Incompleteness
Result Does and Does Not Show
The Journal of Philosophy August 2000 pp. 462-470
41 pages. January 2002.
Sums Works presented in several conferences during 1997--2001.
Comments are welcome:
hg17@columbia.edu
(A notational typo in section 3 pp. 7- 16, caused by use of obsolete font,
was corrected in April 2007; a refernece was added in the footnote of page 1.)
In: Nonstandard Models of Arithmetic and Set Theory, ed. A. Enayat and R. Kossak,
The Contemporary Mathematics Series, Am. Math. Soc. publications, 2003, pp. 1-22
Reasoning with Bounded
Resources and Assigning Probabilities to Arithmetical Statements
(Uploaded February 17 2008, previous version had typos).
Expositlory lecture on the incompleteness results.
10 pages.
in: Logic Methodology and Philosophy of Science
Proceedings of the Twelvth International
Congress, 2005
ed. P.H. Hajek, L.V., VIllanueva and D.
Westerstahl.
pages 351 - 372
Naming and Diagonalization, From Cantor to Gödel to Kleene
2005, Automatic Press, pp. 53-64
Contextual Logic with Modalities for Time and Space
To appear in Review of Symbolic Logic 31 pages
(final version, including many corrections)