# Nested quantifiers in English translation

I'm having a hard time grasping how to express english statements with quantifiers; specifically when trying to show "exactly 1" or "exactly 2" or etc. The introduction of numerous variables throws me off guard.

Let $F(x, y)$ be the statement: "$x$ can fool $y$", where the domain consists of all people in the world. Use quantiers to express each of these statements.

Example: "There is exactly one person whom everybody can fool":$$\exists y(\forall xF(x,y)\land(\forall z((\forall wF(w,z))\rightarrow y=z))$$

I understand: $\exists y(\forall F(x,y))$ which means that there's a person $y$ that everyone can fool. However, this doesn't show that he's the only peron that everyone can fool.

Is there a way "systematic" way to build such expressions? And in this case above,why is it that we bring $z,w$ as variables. I'm not quite understanding what is happening after the first part.

-
The last part says if you pick any person ("$z$") then if everybody can fool $z$, it will turn out that $z$ is $y$. – André Nicolas Sep 19 '13 at 21:49
The second part is expressing uniqueness. – azarel Sep 19 '13 at 21:49

Let's start with the given wff as that seems to be causing difficulty, and work towards its translation into English. Then we've reverse the process!

$$\exists y(\forall xF(x,y)\land(\forall z((\forall wF(w,z))\rightarrow y=z))$$

It can help a great deal to go from logic to English (or vice versa) in stages, via "Loglish" -- that unholy mixture of English and symbolism which we cheerfully use in the classroom! So ....

There is someone $y$ such that $(\forall xF(x,y)\land(\forall z((\forall wF(w,z))\rightarrow y=z))$

There is someone $y$ such that (everyone $x$ is such that $x$ can fool $y$) and (everyone $z$ is such that ($(\forall wF(w,z))\rightarrow y=z))$

i.e.

There is someone $y$ such that everyone can fool $y$ and everyone $z$ is such that (if everyone $w$ can fool $z$, then $z$ is the same person as $y$).

i.e.

There is someone $y$ such that everyone can fool $y$ and anyone whom everyone can fool is none other than $y$ again.

i.e.

There is someone whom everyone can fool, and no one other then he can be fooled by everyone.

i.e.

There is exactly one person whom everyone can fool.

Read this from top to bottom to translate the formal wff into English.

And now read the same sequence from bottom to top to translate in the other direction!!

Taking things in stages like this helps a great deal when first learning to translate in either direction. There are lots more worked examples of this kind involving nested quantifiers in my Introduction to Formal Logic (Ch. 24), with more exercises and answers online. For practice quickly makes perfect: but it does take a bit of practice to make this all seem as easy as it really is. I recall Paul Teller's A Modern Formal Logic Primer is also quite good on translation (his book, now out of print, is freely available from his website).

-