10 ideas
| 8833 | Why should we prefer coherent beliefs? [Klein,P] |
| Full Idea: A key question for a coherentist is, why should he or she adopt a coherent set of beliefs rather than an incoherent set? | |
| From: Peter Klein (Infinitism solution to regress problem [2005], 'Step 1') | |
| A reaction: The point of the question is that the coherentist may have to revert to other criteria in answering it. One could equally ask, why should I believe in tables just because I vividly experience them? Or, why believe 2+2=4, just because it is obvious? |
| 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… |
| 8834 | Infinitism avoids a regress, circularity or arbitrariness, by saying warrant just increases [Klein,P] |
| Full Idea: Infinitism can solve the regress problem, because it endorses a warrant-emergent form of reasoning in which warrant increases as the series of reasons lengthens. The theory can avoid both circularity and arbitrariness. | |
| From: Peter Klein (Infinitism solution to regress problem [2005], 'Step 2') | |
| A reaction: It nicely avoids arbitrariness by offering a reason for absolutely every belief. I think the way to go may to combine individual Infinitism with a social account of where to set the bar of acceptable justification. |
| 8838 | If justification is endless, no link in the chain is ultimately justified [Ginet on Klein,P] |
| Full Idea: An endless chain of inferential justifications can never ultimately explain why any link in the chain is justified. | |
| From: comment on Peter Klein (Infinitism solution to regress problem [2005]) by Carl Ginet - Infinitism not solution to regress problem p.148 | |
| A reaction: This strikes me as a mere yearning for foundations. I don't see sense-experience or the natural light of human reason (or the word of God, for that matter) as in any way 'ultimate'. It's all evidence to be evaluated. |
| 8839 | Reasons acquire warrant through being part of a lengthening series [Klein,P] |
| Full Idea: The infinitist holds that finding a reason, and then another reason for that reason, places it at the beginning of a series where each gains warrant as part of the series. ..Rational credibility increases as the series lengthens. | |
| From: Peter Klein (Infinitism solution to regress problem [2005], p.137) | |
| A reaction: A striking problem here for Klein is the status of the first reason, prior to it being supported by a series. Surprisingly, it seems that it would not yet be a justification. Coherence accounts have the same problem, if coherence is the only criterion. |
| 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. |