5 ideas
| 5060 | All substances analyse down to simple substances, which are souls, or 'monads' [Leibniz] |
| Full Idea: What (in the analysis of substances) exist ultimately are simple substances - namely, souls, or, if you prefer a more general terms, 'monads', which are without parts. | |
| From: Gottfried Leibniz (Metaphysical conseqs of principle of reason [1712], §7) | |
| A reaction: This seems to me to be atomistic panpsychism. He is opposed to physical atomism, because infinite divisibility seems obvious, but unity is claimed to be equally obvious in the world of the mental. Does this mean bricks are made of souls? Odd. |
| 15034 | Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry] |
| Full Idea: I shall beg off talking of a) whether genera and species are real or situated in bare thoughts alone, b) whether as real they are bodies or incorporeals, and c) whether they are separated or in sensibles and have their reality in connection with them. | |
| From: Porphyry (Isagoge ('Introduction') [c.295], (2)) | |
| A reaction: This passage, picking up on Aristotle, seems to be the original source that grew into the medievel debate about universals. It seems to rather neatly lay out the agenda for the universals debate which is still with us. |
| 10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
| Full Idea: Where for ordinary objects one can discover the properties they exemplify, abstract objects are actually constituted or determined by the properties by which we conceive them. I use the technical term 'x encodes F' for this idea. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], 2 n2) | |
| A reaction: One might say that whereas concrete objects can be dubbed (in the Kripke manner), abstract objects can only be referred to by descriptions. See 10557 for more technicalities about Zalta's idea. |
| 10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |
| Full Idea: My object theory is formulated in a 'syntactically second-order' modal predicate calculus modified only so as to admit a second kind of atomic formula ('xF'), which asserts that object x 'encodes' property F. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], p.2) | |
| A reaction: This is summarising Zalta's 1983 theory of abstract objects. See Idea 10558 for Zalta's idea in plain English. |
| 5059 | Power rules in efficient causes, but wisdom rules in connecting them to final causes [Leibniz] |
| Full Idea: In all of nature efficient causes correspond to final causes, because everything proceeds from a cause which is not only powerful, but wise; and with the rule of power through efficient causes, there is involved the rule of wisdom through final causes. | |
| From: Gottfried Leibniz (Metaphysical conseqs of principle of reason [1712], §5) | |
| A reaction: Nowadays this carrot-and-stick view of causation is unfashionable, but I won't rule it out. The deepest 'why?' we can ask won't just go away. This unity by a divine mind strikes me as too simple, but Leibniz is right to try to unify Aristotelian causes. |