FOM: Kreisel's realism

Alasdair Urquhart urquhart at cs.toronto.edu
Tue May 8 13:00:27 EDT 2001


In his survey lecture on mathematical logic from
1965 (Saaty, Lectures on Modern Mathematics, Vol. III),
Kreisel discusses these questions on pp. 98-99.
In particular, he distinguishes sharply between 
the "requirement of objectivity" (basically the use
of classical logic), and the assumption of mathematical
objects external to us.  This survey paper was heavily
influenced by Goedel, and Kreisel in general gives
Goedel's assumption of mathematical objects a respectful 
hearing.  Later, he was much more negative on this subject,
so I think perhaps Putnam had in mind some later remark
of Kreisel.

Alasdair





More information about the FOM mailing list