22 ideas
12780 | We can grasp the wisdom of God a priori [Leibniz] |
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
12774 | Without a substantial chain to link monads, they would just be coordinated dreams [Leibniz] |
12777 | Monads do not make a unity unless a substantial chain is added to them [Leibniz] |
12782 | Monads control nothing outside of themselves [Leibniz] |
12778 | There is active and passive power in the substantial chain and in the essence of a composite [Leibniz] |
12783 | Primitive force is what gives a composite its reality [Leibniz] |
12775 | Things seem to be unified if we see duration, position, interaction and connection [Leibniz] |
12776 | Every substance is alive [Leibniz] |
12753 | A substantial bond of powers is needed to unite composites, in addition to monads [Leibniz] |
12781 | A composite substance is a mere aggregate if its essence is just its parts [Leibniz] |
12779 | There is a reason why not every possible thing exists [Leibniz] |
10993 | Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read] |
14279 | Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey] |
12785 | Truth is mutually agreed perception [Leibniz] |
6894 | Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey] |
9418 | All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey] |
9420 | Causal laws result from the simplest axioms of a complete deductive system [Ramsey] |
12784 | Allow no more miracles than are necessary [Leibniz] |