10 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… |
6871 | We can't only believe things if we are currently conscious of their justification - there are too many [Goldman] |
Full Idea: Strong internalism says only current conscious states can justify beliefs, but this has the problem of Stored Beliefs, that most of our beliefs are stored in memory, and one's conscious state includes nothing that justifies them. | |
From: Alvin I. Goldman (Internalism Exposed [1999], §2) | |
A reaction: This point seems obviously correct, but one could still have a 'fairly strong' version, which required that you could always call into consciousness the justificiation for any belief that you happened to remember. |
6872 | Internalism must cover Forgotten Evidence, which is no longer retrievable from memory [Goldman] |
Full Idea: Even weak internalism has the problem of Forgotten Evidence; the agent once had adequate evidence that she subsequently forgot; at the time of epistemic appraisal, she no longer has adequate evidence that is retrievable from memory. | |
From: Alvin I. Goldman (Internalism Exposed [1999], §3) | |
A reaction: This is certainly a basic problem for any account of justification. It will rule out any strict requirement that there be actual mental states available to support a belief. Internalism may be pushed to include non-conscious parts of the mind. |
6874 | Internal justification needs both mental stability and time to compute coherence [Goldman] |
Full Idea: The problem for internalists of Doxastic Decision Interval says internal justification must avoid mental change to preserve the justification status, but must also allow enough time to compute the formal relations between beliefs. | |
From: Alvin I. Goldman (Internalism Exposed [1999], §4) | |
A reaction: The word 'compute' implies a rather odd model of assessing coherence, which seems instantaneous for most of us where everyday beliefs are concerned. In real mental life this does not strike me as a problem. |
6873 | Coherent justification seems to require retrieving all our beliefs simultaneously [Goldman] |
Full Idea: The problem of Concurrent Retrieval is a problem for internalism, notably coherentism, because an agent could ascertain coherence of her entire corpus only by concurrently retrieving all of her stored beliefs. | |
From: Alvin I. Goldman (Internalism Exposed [1999], §3) | |
A reaction: Sounds neat, but not very convincing. Goldman is relying on scepticism about short-term memory, but all belief and knowledge will collapse if we go down that road. We couldn't do simple arithmetic if Goldman's point were right. |
6875 | Reliability involves truth, and truth is external [Goldman] |
Full Idea: Reliability involves truth, and truth (on the usual assumption) is external. | |
From: Alvin I. Goldman (Internalism Exposed [1999], §6) | |
A reaction: As an argument for externalism this seems bogus. I am not sure that truth is either 'internal' or 'external'. How could the truth of 3+2=5 be external? Facts are mostly external, but I take truth to be a relation between internal and external. |
19945 | Jew and Greeks, bond and free, male and female, are all one in Christ [Paul] |
Full Idea: There is neither Jew nor Greek, there is neither bond nor free, there is neither male nor female; for ye are all one in Christ Jesus. | |
From: St Paul (09: Galatians [c.55], 3.28) | |
A reaction: No wonder women and slaves were enthusiastic about Christianity. This verse is powerful and influential, even if it was largely ignored by Christian rulers. Consider the relative positions of women in Islam and Christendom. |