[FOM] Concerning definition of formulas

Alex Blum blumal at mail.biu.ac.il
Sat Oct 6 13:00:50 EDT 2007

B. Sidney Smith wrote:

>None of the responses I've seen on this thread seem to me to do justice to
>the central worry, which is the semantics of predicate logic.  If the
>quantifiers are understood in the usual set-theoretic way, how are we
>justified in formulating set theory in predicate logic?
It would be helpful to have a problematic example. After all, the rules 
of English are formulated in  English.

More information about the FOM mailing list