[FOM] Concerning definition of formulas
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