35 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
19335 | Reasonings have a natural ordering in God's understanding, but only a temporal order in ours [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] |
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] |
19367 | Saying we must will whatever we decide to will leads to an infinite regress [Leibniz] |
19351 | Perfections of soul subordinate the body, but imperfections of soul submit to the body [Leibniz] |
5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
19331 | Will is an inclination to pursue something good [Leibniz] |
19346 | Most people facing death would happily re-live a similar life, with just a bit of variety [Leibniz] |
19340 | Metaphysical evil is imperfection; physical evil is suffering; moral evil is sin [Leibniz] |
19366 | You can't assess moral actions without referring to the qualities of character that produce them [Leibniz] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |
19326 | God must be intelligible, to select the actual world from the possibilities [Leibniz] |
19327 | The intelligent cause must be unique and all-perfect, to handle all the interconnected possibilities [Leibniz] |
19344 | God prefers men to lions, but might not exterminate lions to save one man [Leibniz] |
19330 | If justice is arbitrary, or fixed but not observed, or not human justice, this undermines God [Leibniz] |
19325 | God is the first reason of things; our experiences are contingent, and contain no necessity [Leibniz] |
19329 | The laws of physics are wonderful evidence of an intelligent and free being [Leibniz] |
19437 | Prayers are useful, because God foresaw them in his great plan [Leibniz] |
19337 | How can an all-good, wise and powerful being allow evil, sin and apparent injustice? [Leibniz] |
19345 | Being confident of God's goodness, we disregard the apparent local evils in the visible world [Leibniz] |