26 ideas
13407 | All worthwhile philosophy is synthetic theorizing, evaluated by experience [Papineau] |
19342 | Reason avoids multiplying hypotheses or principles [Leibniz] |
13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
13409 | Our best theories may commit us to mathematical abstracta, but that doesn't justify the commitment [Papineau] |
12711 | The immediate cause of movements is more real [than geometry] [Leibniz] |
19349 | The complete notion of a substance implies all of its predicates or attributes [Leibniz] |
7558 | Substances mirror God or the universe, each from its own viewpoint [Leibniz] |
16761 | Forms are of no value in physics, but are indispensable in metaphysics [Leibniz] |
13088 | Subjects include predicates, so full understanding of subjects reveals all the predicates [Leibniz] |
13085 | Leibniz is some form of haecceitist [Leibniz, by Cover/O'Leary-Hawthorne] |
13406 | A priori knowledge is analytic - the structure of our concepts - and hence unimportant [Papineau] |
5024 | Knowledge doesn't just come from the senses; we know the self, substance, identity, being etc. [Leibniz] |
13408 | Intuition and thought-experiments embody substantial information about the world [Papineau] |
5027 | If a person's memories became totally those of the King of China, he would be the King of China [Leibniz] |
5023 | Future contingent events are certain, because God foresees them, but that doesn't make them necessary [Leibniz] |
2119 | People argue for God's free will, but it isn't needed if God acts in perfection following supreme reason [Leibniz] |
5025 | Mind and body can't influence one another, but God wouldn't intervene in the daily routine [Leibniz] |
13410 | Verificationism about concepts means you can't deny a theory, because you can't have the concept [Papineau] |
5026 | Animals lack morality because they lack self-reflection [Leibniz] |