[FOM] On Myhill on Gödel on paradoxes

[Frode Bjørdal]

May thanks to Juliette for the reference and to Bill for rectifying Myhills
full name! Hao Wang's book is in our university library and I willl check it
out tomorrow.

More useful information on this topic would be greatly appreciated.

In the point of view I have formed it does not follow from considering the
naive paradoxes as *property theoretical* that a theory which endeavours to
approximate naive abstraction type-freely as much as possible should be
considered a *property theory*. There are, to my mind, many properties, like
*being in pain*, which cannot possibly be accounted for by such theories
which are restricted by a formal language. I have suggested the term *sort
theory*. According to my view, then: all sorts are properties, but some
properties are not sorts; all sets, in the more iterative sense, are sorts,
but not vice versa.
-- 


Frode Bjørdal
Professor i filosofi
IFIKK, Universitetet i Oslowww.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20110824/420e07c6/attachment.html>