Combining Texts

All the ideas for 'Causation', 'Vagueness, Truth and Logic' and 'On the General Idea of Proof Theory'

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


28 ideas

1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Excluded Middle, and classical logic, may fail for vague predicates [Fine,K]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logic holding between indefinite sentences is the core of all language [Fine,K]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Vagueness is semantic, a deficiency of meaning [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / e. Higher-order vagueness
A thing might be vaguely vague, giving us higher-order vagueness [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness
A vague sentence is only true for all ways of making it completely precise [Fine,K]
Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K]
Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K]
With the super-truth approach, the classical connectives continue to work [Fine,K]
Borderline cases must be under our control, as capable of greater precision [Fine,K]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
If dispositions are more fundamental than causes, then they won't conceptually reduce to them [Bird on Lewis]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
Vagueness can be in predicates, names or quantifiers [Fine,K]
10. Modality / B. Possibility / 9. Counterfactuals
For true counterfactuals, both antecedent and consequent true is closest to actuality [Lewis]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
Determinism says there can't be two identical worlds up to a time, with identical laws, which then differ [Lewis]
19. Language / D. Propositions / 2. Abstract Propositions / b. Propositions as possible worlds
A proposition is a set of possible worlds where it is true [Lewis]
26. Natural Theory / C. Causation / 5. Direction of causation
A theory of causation should explain why cause precedes effect, not take it for granted [Lewis, by Field,H]
I reject making the direction of causation axiomatic, since that takes too much for granted [Lewis]
26. Natural Theory / C. Causation / 8. Particular Causation / d. Selecting the cause
It is just individious discrimination to pick out one cause and label it as 'the' cause [Lewis]
The modern regularity view says a cause is a member of a minimal set of sufficient conditions [Lewis]
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
Regularity analyses could make c an effect of e, or an epiphenomenon, or inefficacious, or pre-empted [Lewis]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
The counterfactual view says causes are necessary (rather than sufficient) for their effects [Lewis, by Bird]
Lewis has basic causation, counterfactuals, and a general ancestral (thus handling pre-emption) [Lewis, by Bird]
Counterfactual causation implies all laws are causal, which they aren't [Tooley on Lewis]
My counterfactual analysis applies to particular cases, not generalisations [Lewis]
One event causes another iff there is a causal chain from first to second [Lewis]
26. Natural Theory / D. Laws of Nature / 9. Counterfactual Claims
Lewis's account of counterfactuals is fine if we know what a law of nature is, but it won't explain the latter [Cohen,LJ on Lewis]