Was Ramsey mistaken in thinking that the same proposition can be both elementary and non-elementary in form?

480 Views Asked by At

According to Ramsey's Foundations of Mathematics, chapter III, suppose $'a', 'b', ..., 'z'$ were all the individuals, then $\phi{a}.\phi(b)...\phi(z)$ expresses the same proposition as $(x)\phi(x)$ because they express agreement and disagreement with the same possibilities. (see bottom half of page 34 of first edition.)

But according to W&R's PM 1st ed, General Judgments, (Chapter II, page 47), "all men are mortal" is a radically different kind of judgement, because from "Socrates is mortal and Plato is mortal and ..." one can infer that "Socrates is mortal," but from "all men are mortal" there is no way one can deduce "Socrates is mortal" before knowing that "Socrates is a man."

1

There are 1 best solutions below

0
On BEST ANSWER

As I mentioned in the comments to the question, Ramsey's point is not that $\phi(a) \wedge \phi(b) \wedge \dots \wedge \phi(z)$ is equivalent to $\forall x (\phi(x) \rightarrow \psi(x))$. Rather, $\phi(a) \wedge \phi(b) \wedge \dots \phi(z)$ is equivalent to $\forall x \phi(x)$. So "Socrates is a man and Plato is a man and (...) and Zeno is a man" is not equivalent to "Every man is mortal", but rather to "Everything is a man" (supposing, of course, that we list all the objects of our domain in the conjunction!).