FOM: "Arbitrary Objects" - two more remarks
kanovei at wmwap1.math.uni-wuppertal.de
Mon Feb 11 11:03:42 EST 2002
From: Arnon Avron <aa at post.tau.ac.il>
Date: Mon, 11 Feb 2002 10:53:12 +0200 (IST)
>Just think how much energy has been invested in
sentences like "the present king of France is bald"
This seems to be written in disapproval, but in fact the
to understand that the sentence
"the present king of France is bald"
\forall x (x is the present king of France --> x is bald)
means to understand the predicate calculus in general.
You may complain that >2000 years since Aristotle is too
long a term to achieve a proper understanding here, but
hardly that the efforts have led to something not worthwhile.
More information about the FOM