Combining Texts

All the ideas for 'fragments/reports', 'The Logic of What Might Have Been' and 'The Metaphysics of Causation'

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


55 ideas

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]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Logical form can't dictate metaphysics, as it may propose an undesirable property [Schaffer,J]
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
There is only one fact - the True [Schaffer,J]
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]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
26. Natural Theory / C. Causation / 1. Causation
In causation there are three problems of relata, and three metaphysical problems [Schaffer,J]
Causation may not be transitive; the last event may follow from the first, but not be caused by it [Schaffer,J]
There are at least ten theories about causal connections [Schaffer,J]
26. Natural Theory / C. Causation / 4. Naturalised causation
Causation transcends nature, because absences can cause things [Schaffer,J]
Causation may not be a process, if a crucial part of the process is 'disconnected' [Schaffer,J]
A causal process needs to be connected to the effect in the right way [Schaffer,J]
Causation can't be a process, because a process needs causation as a primitive [Schaffer,J]
26. Natural Theory / C. Causation / 5. Direction of causation
At least four rivals have challenged the view that causal direction is time direction [Schaffer,J]
Causal order must be temporal, or else causes could be blocked, and time couldn't be explained [Schaffer,J]
Causal order is not temporal, because of time travel, and simultanous, joint or backward causes [Schaffer,J]
26. Natural Theory / C. Causation / 6. Causation as primitive
Causation is primitive; it is too intractable and central to be reduced; all explanations require it [Schaffer,J]
If causation is just observables, or part of common sense, or vacuous, it can't be primitive [Schaffer,J]
26. Natural Theory / C. Causation / 7. Eliminating causation
The notion of causation allows understanding of science, without appearing in equations [Schaffer,J]
Causation is utterly essential for numerous philosophical explanations [Schaffer,J]
26. Natural Theory / C. Causation / 8. Particular Causation / a. Observation of causation
If two different causes are possible in one set of circumstances, causation is primitive [Schaffer,J]
If causation is primitive, it can be experienced in ourselves, or inferred as best explanation [Schaffer,J]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Events are fairly course-grained (just saying 'hello'), unlike facts (like saying 'hello' loudly) [Schaffer,J]
Causal relata are events - or facts, features, tropes, states, situations or aspects [Schaffer,J]
One may defend three or four causal relata, as in 'c causes e rather than e*' [Schaffer,J]
If causal relata must be in nature and fine-grained, neither facts nor events will do [Schaffer,J]
The relata of causation (such as events) need properties as explanation, which need causation! [Schaffer,J]
26. Natural Theory / C. Causation / 8. Particular Causation / d. Selecting the cause
Our selection of 'the' cause is very predictable, so must have a basis [Schaffer,J]
Selecting 'the' cause must have a basis; there is no causation without such a selection [Schaffer,J]
26. Natural Theory / C. Causation / 8. Particular Causation / e. Probabilistic causation
The actual cause may make an event less likely than a possible more effective cause [Schaffer,J]
All four probability versions of causation may need causation to be primitive [Schaffer,J]