Ambiguity arising from Quantification


Consider every man loves a woman. This could mean:

Picture of Angelina Jolie

i.e. ∃X: woman(X) ∧ ∀Y (man(Y) ⇒ loves(Y, X))

(in other words, there is a particular woman and every man loves her)  
 

... or else it could mean:

Wall plaque that reads 'I'm as lucky as I can be/because the world's best mum belongs to me'

i.e. ∀Y man(Y) ∃X: (woman(X) ∧ loves(Y, X))

In other words, a possibly different woman for every man (in this case the woman is the man's mother).