Combining Texts

All the ideas for 'The Logic of What Might Have Been', 'A Puzzle about Belief' and 'Knowledge by Agreement'

expand these ideas     |    start again     |     specify just one area for these texts


56 ideas

3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence could be with other beliefs, rather than external facts [Kusch]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Tarskians distinguish truth from falsehood by relations between members of sets [Kusch]
4. Formal Logic / D. Modal Logic ML / 2. Tools of Modal Logic / b. Terminology of ML
A world is 'accessible' to another iff the first is possible according to the second [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T
For metaphysics, T may be the only correct system of modal logic [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / f. System B
System B has not been justified as fallacy-free for reasoning on what might have been [Salmon,N]
In B it seems logically possible to have both p true and p is necessarily possibly false [Salmon,N]
System B implies that possibly-being-realized is an essential property of the world [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
What is necessary is not always necessarily necessary, so S4 is fallacious [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 modal logic ignores accessibility altogether [Salmon,N]
S5 believers say that-things-might-have-been-that-way is essential to ways things might have been [Salmon,N]
The unsatisfactory counterpart-theory allows the retention of S5 [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
Metaphysical (alethic) modal logic concerns simple necessity and possibility (not physical, epistemic..) [Salmon,N]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Any property is attached to anything in some possible world, so I am a radical anti-essentialist [Salmon,N]
10. Modality / A. Necessity / 3. Types of Necessity
Logical possibility contains metaphysical possibility, which contains nomological possibility [Salmon,N]
10. Modality / A. Necessity / 5. Metaphysical Necessity
In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N]
Metaphysical necessity is said to be unrestricted necessity, true in every world whatsoever [Salmon,N]
Bizarre identities are logically but not metaphysically possible, so metaphysical modality is restricted [Salmon,N]
Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [Salmon,N]
Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N]
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity is free of constraints, and may accommodate all of S5 logic [Salmon,N]
10. Modality / A. Necessity / 7. Natural Necessity
Nomological necessity is expressed with intransitive relations in modal semantics [Salmon,N]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Necessity and possibility are not just necessity and possibility according to the actual world [Salmon,N]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Impossible worlds are also ways for things to be [Salmon,N]
Denial of impossible worlds involves two different confusions [Salmon,N]
Without impossible worlds, how things might have been is the only way for things to be [Salmon,N]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds rely on what might have been, so they can' be used to define or analyse modality [Salmon,N]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds are maximal abstract ways that things might have been [Salmon,N]
Possible worlds just have to be 'maximal', but they don't have to be consistent [Salmon,N]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / c. Worlds as propositions
You can't define worlds as sets of propositions, and then define propositions using worlds [Salmon,N]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
We can have knowledge without belief, if others credit us with knowledge [Kusch]
11. Knowledge Aims / C. Knowing Reality / 4. Solipsism
Methodological Solipsism assumes all ideas could be derived from one mind [Kusch]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
Foundations seem utterly private, even from oneself at a later time [Kusch]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
Testimony is reliable if it coheres with evidence for a belief, and with other beliefs [Kusch]
The coherentist restricts the space of reasons to the realm of beliefs [Kusch]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / c. Coherentism critique
Individualistic coherentism lacks access to all of my beliefs, or critical judgement of my assessment [Kusch]
Individual coherentism cannot generate the necessary normativity [Kusch]
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
Cultures decide causal routes, and they can be critically assessed [Kusch]
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
Process reliabilism has been called 'virtue epistemology', resting on perception, memory, reason [Kusch]
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / a. Contextualism
Justification depends on the audience and one's social role [Kusch]
13. Knowledge Criteria / C. External Justification / 7. Testimony
Testimony is an area in which epistemology meets ethics [Kusch]
Powerless people are assumed to be unreliable, even about their own lives [Kusch]
Testimony does not just transmit knowledge between individuals - it actually generates knowledge [Kusch]
Some want to reduce testimony to foundations of perceptions, memories and inferences [Kusch]
Testimony won't reduce to perception, if perception depends on social concepts and categories [Kusch]
A foundation is what is intelligible, hence from a rational source, and tending towards truth [Kusch]
Vindicating testimony is an expression of individualism [Kusch]
13. Knowledge Criteria / C. External Justification / 8. Social Justification
Myths about lonely genius are based on epistemological individualism [Kusch]
Communitarian Epistemology says 'knowledge' is a social status granted to groups of people [Kusch]
Private justification is justification to imagined other people [Kusch]
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
To be considered 'an individual' is performed by a society [Kusch]
18. Thought / B. Mechanics of Thought / 5. Mental Files
Puzzled Pierre has two mental files about the same object [Recanati on Kripke]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
Our experience may be conceptual, but surely not the world itself? [Kusch]
19. Language / F. Communication / 1. Rhetoric
Often socialising people is the only way to persuade them [Kusch]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Communitarianism in epistemology sees the community as the primary knower [Kusch]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Natural kinds are social institutions [Kusch]
28. God / A. Divine Nature / 4. Divine Contradictions
Omniscience is incoherent, since knowledge is a social concept [Kusch]