**
****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"**. **

editors: Andre Chapuis and Anil Gupta, Indian Council of Philosophical Research (2000) pp. 79 – 121.)

**Is the "Bottom-Up" Approach from the Theory of Meaning to
Metaphysics possible?**

*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.

**Non-Standard Models in a Broader Perspective**

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

*Synthese*

(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

pages 351 - 372

**Naming and Diagonalization, From Cantor to Gödel to Kleene**

*Logic Journal of the IGPL, October 2006 *pp. 709 - 728

* Formal Philosophy, *edited by V. Hendricks and J. Symons,

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 *