[FOM] On Myhill on Gödel on paradoxes

[William Tait]

Dear Frode,

It is beside your point, but the Myhill to whom you are referring is John Myhill.

Bill

On Aug 22, 2011, at 3:51 PM, Frode Bjørdal wrote:

> 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 Oslo
> 
> www.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
> 
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom