[FOM] On Myhill on Gödel on paradoxes

[jkennedy at mappi.helsinki.fi]

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,

Juliette

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
http://www.helsinki.fi/science/logic