3 ideas
8972 | What in the real world could ground the distinction between the sets {A,{A,B}} and {B,{A,B}}? [Inwagen] |
Full Idea: Nothing in the world of nominalistically acceptable things could ground or explain the non-identity of the set {A,{A,B}} with the set {B,{A,B}}. | |
From: Peter van Inwagen (Existence,Ontological Commitment and Fictions [2003], p.154) | |
A reaction: [He cites Goodman for this thought] Van Inwagen is offering this to show that the existence of sets is abstract, whereas Goodman was denying the existence of sets altogether. I'm with Goodman. Nice example. |
12708 | The soul is not a substance but a substantial form, the first active faculty [Leibniz] |
Full Idea: The soul, properly and accurately speaking, is not a substance, but a substantial form, or the primitive form existing in substances, the first act, the first active faculty. | |
From: Gottfried Leibniz (Letters to Fardella [1690], A6.4.1670), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 2 | |
A reaction: In all of Leibniz's many gropings towards what is at the heart of a unified object, I pounce on the phrase "the first active faculty" as the one that suits me. I take that to be a 'power'. It has two characteristics - it is active, and it is basic. |
9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |
Full Idea: Later Lewis said we must choose between the intersection of the axioms of the tied best systems. He chose for laws the axioms that are in all the tied systems (but then there may be few or no axioms in the intersection). | |
From: comment on David Lewis (Subjectivist's Guide to Objective Chance [1980], p.124) by Stephen Mumford - Laws in Nature |