Combining Texts

Ideas for 'Metaphysics', 'Presupposition and Conversational Implicature' and 'The Foundations of Mathematics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


4 ideas

6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
It is a simple truth that the objects of mathematics have being, of some sort [Aristotle]
     Full Idea: Since there are not only separable things but also inseparable things (such as, for instance, things which are moving), it is also true to say simpliciter that the objects of mathematic have being and that they are of such a sort as is claimed.
     From: Aristotle (Metaphysics [c.324 BCE], 1077b31)
     A reaction: This is almost Aristotle's only discussion of whether mathematical entities exist. They seem to have an 'inseparable' existence (the way properties do), but he evidently regards a denial of their existence (Field-style) as daft.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Aristotle removes ontology from mathematics, and replaces the true with the beautiful [Aristotle, by Badiou]
     Full Idea: For Aristotle, the de-ontologization of mathematics draws the beautiful into the place of the true.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Alain Badiou - Briefings on Existence 14
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
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.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
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.