FOM: "Arbitrary Objects" - two more remarks

Kanovei kanovei at
Mon Feb 11 11:03:42 EST 2002

From: Arnon Avron <aa at>
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" 

that is, 

\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 mailing list