display all the ideas for this combination of texts
3 ideas
16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it. | |
From: Plato (Parmenides [c.364 BCE], 144a) | |
A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed. |
13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
Full Idea: The formalists neglected the content altogether and made mathematics meaningless, but the logicians neglected the form and made mathematics consist of any true generalisations; only by taking account of both sides can we obtain an adequate theory. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
A reaction: He says mathematics is 'tautological generalizations'. It is a criticism of modern structuralism that it overemphasises form, and fails to pay attention to the meaning of the concepts which stand at the 'nodes' of the structure. |
13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
Full Idea: The hopelessly inadequate formalist theory is, to some extent, the result of considering only the propositions of mathematics and neglecting the analysis of its concepts. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
A reaction: You'll have to read Ramsey to see how this thought pans out, but it at least gives a pointer to how to go about addressing the question. |