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