Combining Texts

All the ideas for 'Counterpart theory and Quant. Modal Logic', 'Truth' and 'Propositions'

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


29 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
To explain a concept, we need its purpose, not just its rules of usage [Dummett]
2. Reason / E. Argument / 1. Argument
Arguers often turn the opponent's modus ponens into their own modus tollens [Merricks]
3. Truth / A. Truth Problems / 1. Truth
It is part of the concept of truth that we aim at making true statements [Dummett]
3. Truth / A. Truth Problems / 2. Defining Truth
We must be able to specify truths in a precise language, like winning moves in a game [Dummett]
3. Truth / F. Semantic Truth / 2. Semantic Truth
Tarski's truth is like rules for winning games, without saying what 'winning' means [Dummett, by Davidson]
'Snow is white' only contingently expresses the proposition that snow is white [Merricks]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Sentence logic maps truth values; predicate logic maps objects and sets [Merricks]
9. Objects / D. Essence of Objects / 1. Essences of Objects
Aristotelian essentialism says essences are not relative to specification [Lewis]
9. Objects / E. Objects over Time / 12. Origin as Essential
In twinning, one person has the same origin as another person [Merricks]
10. Modality / A. Necessity / 7. Natural Necessity
Causal necessities hold in all worlds compatible with the laws of nature [Lewis]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
It doesn't take the whole of a possible Humphrey to win the election [Lewis]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis]
Counterparts are not the original thing, but resemble it more than other things do [Lewis]
If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis]
Essential attributes are those shared with all the counterparts [Lewis]
18. Thought / E. Abstraction / 1. Abstract Thought
You can't infer a dog's abstract concepts from its behaviour [Dummett]
19. Language / A. Nature of Meaning / 1. Meaning
I don't accept that if a proposition is directly about an entity, it has a relation to the entity [Merricks]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
A sentence's truth conditions depend on context [Merricks]
19. Language / D. Propositions / 1. Propositions
Propositions are standardly treated as possible worlds, or as structured [Merricks]
'Cicero is an orator' represents the same situation as 'Tully is an orator', so they are one proposition [Merricks]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
Propositions are necessary existents which essentially (but inexplicably) represent things [Merricks]
True propositions existed prior to their being thought, and might never be thought [Merricks]
The standard view of propositions says they never change their truth-value [Merricks]
19. Language / D. Propositions / 3. Concrete Propositions
Propositions can be 'about' an entity, but that doesn't make the entity a constituent of it [Merricks]
Early Russell says a proposition is identical with its truthmaking state of affairs [Merricks]
19. Language / D. Propositions / 5. Unity of Propositions
Unity of the proposition questions: what unites them? can the same constituents make different ones? [Merricks]
We want to explain not just what unites the constituents, but what unites them into a proposition [Merricks]