35 ideas
| 2098 | The principle of sufficient reason is needed if we are to proceed from maths to physics [Leibniz] |
| 3646 | There is always a reason why things are thus rather than otherwise [Leibniz] |
| 2104 | No reason could limit the quantity of matter, so there is no limit [Leibniz] |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| 17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
| 17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
| 17520 | Events do not have natural boundaries, and we have to set them [Ayers] |
| 19385 | All simply substances are in harmony, because they all represent the one universe [Leibniz] |
| 21346 | The ratio between two lines can't be a feature of one, and cannot be in both [Leibniz] |
| 17519 | To express borderline cases of objects, you need the concept of an 'object' [Ayers] |
| 17510 | Speakers need the very general category of a thing, if they are to think about it [Ayers] |
| 17522 | We use sortals to classify physical objects by the nature and origin of their unity [Ayers] |
| 17515 | Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers] |
| 17511 | Recognising continuity is separate from sortals, and must precede their use [Ayers] |
| 17517 | Could the same matter have more than one form or principle of unity? [Ayers] |
| 17513 | If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers] |
| 17523 | Sortals basically apply to individuals [Ayers] |
| 17521 | You can't have the concept of a 'stage' if you lack the concept of an object [Ayers] |
| 17514 | Temporal 'parts' cannot be separated or rearranged [Ayers] |
| 17509 | Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers] |
| 17512 | If diachronic identities need covering concepts, why not synchronic identities too? [Ayers] |
| 2105 | Things are infinitely subdivisible and contain new worlds, which atoms would make impossible [Leibniz] |
| 2106 | The only simple things are monads, with no parts or extension [Leibniz] |
| 2102 | Atomism is irrational because it suggests that two atoms can be indistinguishable [Leibniz] |
| 20965 | Leibniz upheld conservations of momentum and energy [Leibniz, by Papineau] |
| 2103 | The idea that the universe could be moved forward with no other change is just a fantasy [Leibniz] |
| 2100 | Space and time are purely relative [Leibniz] |
| 2107 | No time exists except instants, and instants are not even a part of time, so time does not exist [Leibniz] |
| 2101 | If everything in the universe happened a year earlier, there would be no discernible difference [Leibniz] |
| 22894 | If time were absolute that would make God's existence dependent on it [Leibniz, by Bardon] |
| 2099 | The existence of God, and all metaphysics, follows from the Principle of Sufficient Reason [Leibniz] |