21 ideas
12780 | We can grasp the wisdom of God a priori [Leibniz] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
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] |
15797 | All structures are dispositional, objects are dispositions sets, and events manifest dispositions [Fetzer] |
12775 | Things seem to be unified if we see duration, position, interaction and connection [Leibniz] |
12776 | Every substance is alive [Leibniz] |
15800 | All events and objects are dispositional, and hence all structural properties are dispositional [Fetzer] |
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] |
12785 | Truth is mutually agreed perception [Leibniz] |
15798 | Kinds are arrangements of dispositions [Fetzer] |
15799 | Lawlike sentences are general attributions of disposition to all members of some class [Fetzer] |
12784 | Allow no more miracles than are necessary [Leibniz] |