kanovei at wminf2.math.uni-wuppertal.de
Thu Mar 25 04:00:07 EST 1999
<Date: Wed, 24 Mar 1999 10:25:04 -0700
<From: Randall Holmes <holmes at catseye.idbsu.edu>
<Does anybody understand what is an _arbitrary_ property?
<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