[FOM] On Myhill on Gödel on paradoxes

jkennedy at mappi.helsinki.fi jkennedy at mappi.helsinki.fi
Tue Aug 23 06:28:11 EDT 2011

Look in Hao Wang's "Logical Journey" for Goedel on property theory and  
possibly property-theoretic paradoxes. I am traveling now and don't  
have the book with me, so I cannot give exact references.

All the best,


Quoting "Frode Bjørdal" <frode.bjordal at ifikk.uio.no>:

> The opening sentence of Roger Myhill's *Paradoxes, *Synthese 60 (1984),
> 129-143, is: “Gödel said to me more than once "There never were any
> set-theoretic paradoxes, but the property-theoretic paradoxes are still
> unresolved"; and he may well have said the same thing in print.”
> This remark seems to have had influence in that some later authors have used
> the term "property-theory" for theories which seek to account for more
> type-free accounts that approximate naive abstraction in dealing with the
> paradoxes.
> Can someone at this stage fill in with more information concerning what
> Gödel may have said or written concerning this? What is the earlies use of
> the term "property-theory" in the area?
> --
> Frode Bjørdal
> Professor i filosofi
> IFIKK, Universitetet i  
> Oslowww.hf.uio.no/ifikk/personer/vit/fbjordal/index.html

Department of Mathematics and Statistics
P.O. Box 68 (Gustaf Hällströmin katu 2b)
FI-00014 University of Helsinki, Finland
tel. (+358-9)-191-51446, fax (+358-9)-191-51400

More information about the FOM mailing list