>Chris P, Chris M, and Pat,
>
>I just wanted to add a few words to support Pat's comment:
>
>CP> I find large tracts of the reference data are irredeemably
> > higher-order....
>
>PH> Irredeemably?? I am quite unconvinced that universals really
> > need true semantic higher-order predication. That would be a
> > very strong claim to defend. Are you sure that the cardinality
> > of the set of universals is really uncountable?
>
>The fact that you can quantify over predicates without going beyond
>FOL can be shown by using a construction defined by Quine (1953): (01)
For clarification, this is pretty much what in another message I
called the 'holds/app' translation. I probably first encountered it
when reading Quine, but so long ago that I cannot recall when exactly. (02)
Pat
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|