Combining Texts

All the ideas for 'Mathematical Methods in Philosophy', 'The Nature of Existence vol.2' and 'Causal and Metaphysical Necessity'

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

29 ideas

5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
18739 Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
18741 Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
15091 Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths [Shoemaker]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
18744 Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
7. Existence / A. Nature of Existence / 1. Nature of Existence
18740 If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew]
7. Existence / B. Change in Existence / 1. Nature of Change
15200 How could change consist of a conjunction of changeless facts? [McTaggart, by Le Poidevin]
14761 Change is not just having two different qualities at different points in some series [McTaggart]
8. Modes of Existence / B. Properties / 1. Nature of Properties
15095 A property's causal features are essential, and only they fix its identity [Shoemaker]
15097 I claim that a property has its causal features in all possible worlds [Shoemaker]
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
15094 I now deny that properties are cluster of powers, and take causal properties as basic [Shoemaker]
10. Modality / A. Necessity / 5. Metaphysical Necessity
15099 If something is possible, but not nomologically possible, we need metaphysical possibility [Shoemaker]
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
15101 Once you give up necessity as a priori, causal necessity becomes the main type of necessity [Shoemaker]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
15098 Empirical evidence shows that imagining a phenomenon can show it is possible [Shoemaker]
15100 Imagination reveals conceptual possibility, where descriptions avoid contradiction or incoherence [Shoemaker]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
18745 A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew]
18747 The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
18748 Epistemic logic introduced impossible worlds [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
18746 Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew]
18750 Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew]
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
15096 'Grue' only has causal features because of its relation to green [Shoemaker]
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
15093 We might say laws are necessary by combining causal properties with Armstrong-Dretske-Tooley laws [Shoemaker]
27. Natural Reality / D. Time / 1. Nature of Time / b. Relative time
2608 For McTaggart time is seen either as fixed, or as relative to events [McTaggart, by Ayer]
27. Natural Reality / D. Time / 1. Nature of Time / i. Denying time
22936 A-series time positions are contradictory, and yet all events occupy all of them! [McTaggart, by Le Poidevin]
4231 Time involves change, only the A-series explains change, but it involves contradictions, so time is unreal [McTaggart, by Lowe]
27. Natural Reality / D. Time / 2. Passage of Time / a. Experience of time
8591 There could be no time if nothing changed [McTaggart]
27. Natural Reality / D. Time / 2. Passage of Time / d. Time series
22935 The B-series can be inferred from the A-series, but not the other way round [McTaggart, by Le Poidevin]
7802 A-series uses past, present and future; B-series uses 'before' and 'after' [McTaggart, by Girle]
4230 A-series expressions place things in time, and their truth varies; B-series is relative, and always true [McTaggart, by Lowe]
15199 The B-series must depend on the A-series, because change must be explained [McTaggart, by Le Poidevin]