Combining Texts

Ideas for 'Metaphysics', 'Model Theory for Modal Logic I' and 'Dewey'

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

display all the ideas for this combination of texts


10 ideas

6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematical precision is only possible in immaterial things [Aristotle]
     Full Idea: We should not see mathematical exactitude in all things, but only for things that do not have matter.
     From: Aristotle (Metaphysics [c.324 BCE], 0995a14)
Mathematics studies the domain of perceptible entities, but its subject-matter is not perceptible [Aristotle]
     Full Idea: Mathematics does not take perceptible entities as its domain just because its subject-matter is accidentally perceptible; but neither does it take as its domain some other entities separable from the perceptible ones.
     From: Aristotle (Metaphysics [c.324 BCE], 1078a03)
     A reaction: This implies a very naturalistic view of mathematics, with his very empiricist account of abstraction deriving the mathematical concepts within the process of perceiving the physical world. And quite right too.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
Perhaps numbers are substances? [Aristotle]
     Full Idea: We should consider whether there is some other sort of substance, such as, perhaps, numbers.
     From: Aristotle (Metaphysics [c.324 BCE], 1037a11)
     A reaction: I don't think Aristotle considers numbers to be substances, but Pythagoreans seem to think that way, if they think the world is literally made of numbers.
Pluralities divide into discontinous countables; magnitudes divide into continuous things [Aristotle]
     Full Idea: A plurality is a denumerable quantity, and a magnitude is a measurable quantity. A plurality is what is potentially divisible into things that are not continuous, whereas what is said to be a magnitude is divisible into continuous things.
     From: Aristotle (Metaphysics [c.324 BCE], 1020a09)
     A reaction: This illuminating distinction is basic to the Greek attitude to number, and echoes the distinction between natural and real numbers.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / m. One
The one in number just is the particular [Aristotle]
     Full Idea: It makes no difference whether we speak of the particular or the one in number. For by the one in number we mean the particular.
     From: Aristotle (Metaphysics [c.324 BCE], 0999b33)
     A reaction: This is the Greek view of 'one', quite different from the Frege or Dedekind view. I prefer the Greek view, because 'one' is the place where numbers plug into the world, and the one indispensable feature of numbers is that they can count particulars.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
The unit is stipulated to be indivisible [Aristotle]
     Full Idea: The unit is stipulated to be indivisible in every respect.
     From: Aristotle (Metaphysics [c.324 BCE], 1052b35)
If only rectilinear figures existed, then unity would be the triangle [Aristotle]
     Full Idea: Suppose that all things that are ...were rectilinear figures - they would be a number of figures, and unity the triangle.
     From: Aristotle (Metaphysics [c.324 BCE], 1054a03)
     A reaction: This is how they program graphics for computer games, with profusions of triangles. The thought that geometry might be treated numerically is an obvious glimpse of Descartes' co-ordinate geometry.
Units came about when the unequals were equalised [Aristotle]
     Full Idea: The original holder of the theory claimed ...that units came about when the unequals were equalised.
     From: Aristotle (Metaphysics [c.324 BCE], 1081a24)
     A reaction: Presumably you could count the things that were already equal. You can count days and count raindrops. The genius is to see that you can add the days to the raindrops, by treating them as equal, in respect of number.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Two men do not make one thing, as well as themselves [Aristotle]
     Full Idea: A pair of men do not make some one thing in addition to themselves.
     From: Aristotle (Metaphysics [c.324 BCE], 1082a18)
     A reaction: This seems to contrast nicely with Frege's claim about whether two boots are two things or one pair.
When we count, are we adding, or naming numbers? [Aristotle]
     Full Idea: It is a vexed question whether, when we count and say 'one, two, three…', we are doing so by addition or by separate modules. We are, of course, doing both.
     From: Aristotle (Metaphysics [c.324 BCE], 1082b32)
     A reaction: Note that this is almost Benacerraf's famous problem about whether or not 3 is a member of 4.