32 ideas
| 5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
| 19342 | Reason avoids multiplying hypotheses or principles [Leibniz] |
| 5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
| 5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
| 5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
| 5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
| 5735 | Maybe names and predicates can capture any fact [Melia] |
| 5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
| 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] |
| 5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
| 5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
| 5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
| 5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
| 5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
| 5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
| 5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
| 5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
| 5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
| 13085 | Leibniz is some form of haecceitist [Leibniz, by Cover/O'Leary-Hawthorne] |
| 5024 | Knowledge doesn't just come from the senses; we know the self, substance, identity, being etc. [Leibniz] |
| 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] |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| 5026 | Animals lack morality because they lack self-reflection [Leibniz] |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |