Combining Texts

All the ideas for 'Causation', 'talk' and 'works'

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


22 ideas

2. Reason / A. Nature of Reason / 1. On Reason
For clear questions posed by reason, reason can also find clear answers [Gödel]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett]
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner]
The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Convention, yes! Arbitrary, no! [Poincaré, by Putnam]
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]
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]