8 ideas
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
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] |
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] |
13167 | We need the metaphysical notion of force to explain mechanics, and not just extended mass [Leibniz] |