Combining Texts

All the ideas for 'Mathematical Methods in Philosophy', 'Assertion' and 'How Things Might Have Been'

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 / 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]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
11897 A principle of individuation may pinpoint identity and distinctness, now and over time [Mackie,P]
11898 Individuation may include counterfactual possibilities, as well as identity and persistence [Mackie,P]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
11883 A haecceity is the essential, simple, unanalysable property of being-this-thing [Mackie,P]
9. Objects / D. Essence of Objects / 1. Essences of Objects
11889 Essentialism must avoid both reduplication of essences, and multiple occupancy by essences [Mackie,P]
9. Objects / D. Essence of Objects / 3. Individual Essences
11877 An individual essence is the properties the object could not exist without [Mackie,P]
11882 No other object can possibly have the same individual essence as some object [Mackie,P]
11886 There are problems both with individual essences and without them [Mackie,P]
9. Objects / D. Essence of Objects / 5. Essence as Kind
11909 Unlike Hesperus=Phosophorus, water=H2O needs further premisses before it is necessary [Mackie,P]
11899 Why are any sortals essential, and why are only some of them essential? [Mackie,P]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
11906 The Kripke and Putnam view of kinds makes them explanatorily basic, but has modal implications [Mackie,P]
9. Objects / E. Objects over Time / 12. Origin as Essential
11894 Origin is not a necessity, it is just 'tenacious'; we keep it fixed in counterfactual discussions [Mackie,P]
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]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
11887 Transworld identity without individual essences leads to 'bare identities' [Mackie,P]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
11890 De re modality without bare identities or individual essence needs counterparts [Mackie,P]
11892 Things may only be counterparts under some particular relation [Mackie,P]
11893 Possibilities for Caesar must be based on some phase of the real Caesar [Mackie,P]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
11884 The theory of 'haecceitism' does not need commitment to individual haecceities [Mackie,P]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
11905 Locke's kind essences are explanatory, without being necessary to the kind [Mackie,P]
19. Language / F. Communication / 2. Assertion
18052 An assertion aims to add to the content of a context [Stalnaker, by Magidor]
19. Language / F. Communication / 5. Pragmatics / b. Implicature
14718 An assertion is an attempt to rule out certain possibilities, narrowing things down for good planning [Stalnaker, by Schroeter]
26. Natural Theory / B. Natural Kinds / 6. Necessity of Kinds
11907 Maybe the identity of kinds is necessary, but instances being of that kind is not [Mackie,P]