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.
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".
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
[Final version appeared in Synthese, 2010, see below]
41 pages. January 2002.
Sums Works presented in several conferences during 1997--2001.
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).
An exposition of the basic ideas and the history leading to
the incompleteness results.
14 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
Review of Symbolic Logic vol 1, No 4, December 2008 pp. 433-458
Questions and Answers on Probability and Statistics
In: Formal Philosophy, edited by Allan Hajek and Vincent Hendricks
2009, Automatic Press 2009 pp. 41-57
Vagueness Tolerance and Contextual Logic
Synthese v.174, 2010 pp. 5-46
[includes corrections of various typos that appeared in
the published paper]
Deceptiveness Updating and Minimal Information Methods
31 pages. (Joint work with Anubav Vasudevan)
To appear in Synthese