[FOM] Concerning definition of formulas

[Alex Blum]

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.
Alex