Problem of quantifiers and predicate.

Question

I was reading the book "Advanced Calculus" by Loomis and Sternberg and I was following everything perfectly until I came across a paragraph which I have attached here.

My first confusion is that I am unable to understand what the authors are trying to say in this paragraph about hanging quantifiers and how does the first ambiguous statement become true and second become false?. My second confusion arises when I came across two statements: $$'[(\forall x)(x<y)](\exists y)'$$ and $$'(\forall x)[(x<y)(\exists y)]'$$ My problem is that a quantifier has been used after the predicate $(x<y)$ in both the statements. How is this possible? And how does first is false and second is true? I have never seen such a way of writing logical statement.

My current understanding:

I understand that the order of quantifiers are important.

"Every $x$ is less than some $y$" is False.

"Some $y$ is greater than every $x$" is False.

Answer 1

A formula like $∀x[(x < y)(∃y)]$, which is wrongly written according to every mathematical logic textbook, is proposed by the authors as a way to mimick more closely the way we use quantifiers in natural language.

The case of "every $x$ is less than some $y$" is ambiguous beacuse it is not clear which is the "inner" quantifier (the first applied one).

The use of parentheses in the formulas determine the scope of quantifiers.

In the formula $∀x[(x < y)(∃y)]$ the scope of the existential quantifier is the subformula $(x < y)$, and thus we have to read it as $∀x[(∃y)(x < y)]$, which is true in $\mathbb N$.

In the formula $[∀x(x < y)](∃y)$ the scope of the existential quantifier is the subformula $∀x(x < y)$, and thus we have to read it as $∃y[(∀x)(x < y)]$, which is false in $\mathbb N$.

In the case of "every $x$ is less than some $y$", we can read it as follows : for every $x$ we can find some $y$ (one is enough; choose : $x+1$) such that $(x < y)$.

In this reading, the right-hand existential quantifier is read as the "inner" one.

The second example has the same ambiguity. If we use the same "rule" above and read the right-hand universal quantifier as the "inner" one, we have : there is some $y$ such that for every $x$ : $(y > x)$.

The conclusion is :

use "hanging" quantifiers [quantifiers put at the end of the sentence, instead that in front of it] only if [you] are sure the reader will understand their order of application.