Combining Texts

Ideas for 'works', 'A Theory of Universals' and 'Regressive Method for Premises in Mathematics'

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

display all the ideas for this combination of texts


4 ideas

9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki]
     Full Idea: Aristotle's discussion of the unmoved mover and of the soul confirms the suspicion that form, when it is not thought of as the object represented in a definition, plays the role of the ultimate mereological atom within his system.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 6.6
     A reaction: Aristotle is concerned with which things are 'divisible', and he cites these two examples as indivisible, but they may be too unusual to offer an actual theory of how Aristotle builds up wholes from atoms. He denies atoms in matter.
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki]
     Full Idea: Thus in Aristotle we may think of an object's formal components as a sort of recipe for how to build wholes of that particular kind.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.5
     A reaction: In the elusive business of pinning down what Aristotle means by the crucial idea of 'form', this analogy strikes me as being quite illuminating. It would fit DNA in living things, and the design of an artifact.
9. Objects / F. Identity among Objects / 4. Type Identity
The type-token distinction is the universal-particular distinction [Armstrong, by Hodes]
     Full Idea: Armstrong conflates the type-token distinction with that between universals and particulars.
     From: report of David M. Armstrong (A Theory of Universals [1978], xiii,16/17) by Harold Hodes - Logicism and Ontological Commits. of Arithmetic 147 n23
     A reaction: This seems quite reasonable, even if you don’t believe in the reality of universals. I'm beginning to think we should just use the term 'general' instead of 'universal'. 'Type' also seems to correspond to 'set', with the 'token' as the 'member'.
9. Objects / F. Identity among Objects / 5. Self-Identity
A thing's self-identity can't be a universal, since we can know it a priori [Armstrong, by Oliver]
     Full Idea: Armstrong says that if it can be proved a priori that a thing falls under a certain universal, then there is no such universal - and hence there is no universal of a thing being identical with itself.
     From: report of David M. Armstrong (A Theory of Universals [1978], II p.11) by Alex Oliver - The Metaphysics of Properties 11
     A reaction: This is a distinctively Armstrongian view, based on his belief that universals must be instantiated, and must be discoverable a posteriori, as part of science. I'm baffled by self-identity, but I don't think this argument does the job.