10 ideas
9470 | Modal logic is not an extensional language [Parsons,C] |
9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
13168 | My formal unifying atoms are substantial forms, which are forces like appetites [Leibniz] |
13169 | I call Aristotle's entelechies 'primitive forces', which originate activity [Leibniz] |
21710 | We know a universal in 'yellow differs from blue' or 'yellow resembles blue less than green does' [Russell] |
13170 | The analysis of things leads to atoms of substance, which found both composition and action [Leibniz] |
13171 | Substance must necessarily involve progress and change [Leibniz] |
8854 | My 'acquaintance' with sense-data is nothing like my knowing New York [Williams,M on Russell] |
13167 | We need the metaphysical notion of force to explain mechanics, and not just extended mass [Leibniz] |