Combining Texts

Ideas for 'Parmenides', 'Logicism Revisited' and 'The Possibility of Metaphysics'

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

display all the ideas for this combination of texts


6 ideas

6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
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.
Sets are instances of numbers (rather than 'collections'); numbers explain sets, not vice versa [Lowe]
     Full Idea: I favour an account of sets which sees them as being instances of numbers, thereby avoiding the unhelpful metaphor which speaks of a set as being a 'collection' of things. This reverses the normal view, which explains numbers in terms of sets.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10)
     A reaction: Cf. Idea 8297. Either a set is basic, or a number is. We might graft onto Lowe's view an account of numbers in terms of patterns, which would give an empirical basis to the picture, and give us numbers which could be used to explain sets.
If 2 is a particular, then adding particulars to themselves does nothing, and 2+2=2 [Lowe]
     Full Idea: If 2 is a particular, 'adding' it to itself can, it would seem, only leave us with 2, not another number. (If 'Socrates + Socrates' denotes anything, it most plausibly just denotes Socrates).
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.7)
     A reaction: This suggest Kant's claim that arithmetical sums are synthetic (Idea 5558). It is a nice question why, when you put two 2s together, they come up with something new. Addition is movement. Among patterns, or along abstract sequences.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Does the existence of numbers matter, in the way space, time and persons do? [Lowe]
     Full Idea: Does it really matter whether the numbers actually exist - in anything like the way in which it matters that space and time or persons actually exist?
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.6)
     A reaction: Nice question! It might matter a lot. I take the question of numbers to be a key test case, popular with philosophers because they are the simplest and commonest candidates for abstract existence. The ontological status of values is the real issue.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Formalism seems to exclude all creative, growing mathematics [Musgrave]
     Full Idea: Formalism seems to exclude from consideration all creative, growing mathematics.
     From: Alan Musgrave (Logicism Revisited [1977], §5)
     A reaction: [He cites Lakatos in support] I am not immediately clear why spotting the remote implications of a formal system should be uncreative. The greatest chess players are considered to be highly creative and imaginative.
Formalism is a bulwark of logical positivism [Musgrave]
     Full Idea: Formalism is a bulwark of logical positivist philosophy.
     From: Alan Musgrave (Logicism Revisited [1977], §5)
     A reaction: Presumably if you drain all the empirical content out of arithmetic and geometry, you are only left with the bare formal syntax, of symbols and rules. That seems to be as analytic as you can get.