FOM: properties

Randall Holmes holmes at
Thu Mar 25 12:07:16 EST 1999

Kanovei said:

As the intended meaning of 2nd quantifiers is 
over "properties", by MODUS PONENS we should agree 
that 2nd logic also 
* is something which one cannot actually exhibit * 

Holmes replies:

No.  As I already said, it is perfectly possible to be aware of the
existence of a class of objects (this is not really the right way to
put it, since we are not really talking about objects in this case)
and to understand quantifiers over that class, without being
acquainted with all the objects in that class.

And God posted an angel with a flaming sword at | Sincerely, M. Randall Holmes
the gates of Cantor's paradise, that the       | Boise State U. (disavows all) 
slow-witted and the deliberately obtuse might | holmes at
not glimpse the wonders therein. |

More information about the FOM mailing list