FOM: properties

Kanovei kanovei at
Thu Mar 25 04:00:07 EST 1999

<Date: Wed, 24 Mar 1999 10:25:04 -0700
<From: Randall Holmes <holmes at>

<Sazonov said:

<Does anybody understand what is an _arbitrary_ property? 

<Holmes answers:

<By its nature, a completely "arbitrary" property is something which
<one cannot actually exhibit.  

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 * 


More information about the FOM mailing list