FOM: properties

[Randall Holmes]

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 math.idbsu.edu
not glimpse the wonders therein. | http://math.idbsu.edu/~holmes