Combining Philosophers

All the ideas for Mulligan/Simons/Smith, Melvin Fitting and Horsten,L/Pettigrew,R

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

22 ideas

3. Truth / B. Truthmakers / 2. Truthmaker Relation
10911 Part-whole is the key relation among truth-makers [Mulligan/Simons/Smith]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
10909 Truth-makers cannot be the designata of the sentences they make true [Mulligan/Simons/Smith]
10906 Moments (objects which cannot exist alone) may serve as truth-makers [Mulligan/Simons/Smith]
10907 The truth-maker for a sentence may not be unique, or may be a combination, or several separate items [Mulligan/Simons/Smith]
10912 Despite negative propositions, truthmakers are not logical complexes, but ordinary experiences [Mulligan/Simons/Smith]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
10908 Correspondence has to invoke facts or states of affairs, just to serve as truth-makers [Mulligan/Simons/Smith]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
15375 If terms change their designations in different states, they are functions from states to objects [Fitting]
15376 Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
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 / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
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]
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
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]