8 ideas
| 10163 | Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman] |
| Full Idea: At the age of 19 Saul Kripke published a completeness proof of propositional modal logic. | |
| From: report of Saul A. Kripke (A Completeness Theorem in Modal Logic [1959]) by Feferman / Feferman - Alfred Tarski: life and logic Int V |
| 10760 | With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg] |
| Full Idea: Kripke gave a possible worlds semantics to a whole range of modal logics, and S4 and S5 turned out to be both sound and complete with this semantics. Hence more systems could be designed. S1-S3 failed in soundness, leading to 'impossible worlds'. | |
| From: report of Saul A. Kripke (A Completeness Theorem in Modal Logic [1959]) by Marcus Rossberg - First-order Logic, 2nd-order, Completeness §4 |
| 16189 | The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen] |
| Full Idea: Kripke's variable domain approach to quantified modal logic famously invalidates the Barcan Formula. | |
| From: report of Saul A. Kripke (A Completeness Theorem in Modal Logic [1959]) by Ori Simchen - The Barcan Formula and Metaphysics §3 | |
| A reaction: [p.9 and p.16] In a single combined domain all the possibilia must be present, but with variable domains objects in remote domains may not exist in your local domain. BF is committed to those possible objects. |
| 15132 | The Barcan formulas fail in models with varying domains [Kripke, by Williamson] |
| Full Idea: Kripke showed that the Barcan formula ∀x□A⊃□∀xA and its converse fail in models which require varying domains. | |
| From: report of Saul A. Kripke (A Completeness Theorem in Modal Logic [1959]) by Timothy Williamson - Truthmakers and Converse Barcan Formula §1 | |
| A reaction: I think this is why I reject the Barcan formulas for metaphysics - because the domain of metaphysics should be seen as varying, since some objects are possible in some contexts and not in others. Hmm… |
| 16751 | Unity by aggregation, order, inherence, composition, and simplicity [Conimbricense, by Pasnau] |
| Full Idea: The Coimbrans have five degrees of unity: by aggregation (stones), by order (an army), per accidens (inherence), per se composite unity (connected), and per se unity of simple things. | |
| From: report of Collegium Conimbricense (Aristotelian commentaries [1595], Phys I.9.11.2) by Robert Pasnau - Metaphysical Themes 1274-1671 24.3 | |
| A reaction: [my summary of Pasnau's summary] Take some stones, then order them, then glue them together, then melt them together. The unity of inherence is a different type of unity from these stages. This is a hylomorphic view. |
| 16720 | Secondary qualities come from temperaments and proportions of primary qualities [Conimbricense] |
| Full Idea: Colors, flavours, smells, and other secondary qualities arise from the various temperaments and proportions of the primary qualities. | |
| From: Collegium Conimbricense (Aristotelian commentaries [1595], I.10.4 Gen&C), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 21.2 | |
| A reaction: This is a bit more subtle than merely mixing the primary qualities. What about the powers of the primary qualities? Presumably that is the 'temperaments'? |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |