Combining Philosophers

All the ideas for Melvin Fitting, Tom Clark and Tim Button

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

17 ideas

3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
18696 The vagueness of truthmaker claims makes it easier to run anti-realist arguments [Button]
3. Truth / D. Coherence Truth / 1. Coherence Truth
18701 The coherence theory says truth is coherence of thoughts, and not about objects [Button]
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 / 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
18694 Permutation Theorem: any theory with a decent model has lots of models [Button]
7. Existence / D. Theories of Reality / 2. Realism
18692 Realists believe in independent objects, correspondence, and fallibility of all theories [Button]
7. Existence / D. Theories of Reality / 4. Anti-realism
18693 Indeterminacy arguments say if a theory can be made true, it has multiple versions [Button]
18695 An ideal theory can't be wholly false, because its consistency implies a true model [Button]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
13. Knowledge Criteria / D. Scepticism / 2. Types of Scepticism
18700 Cartesian scepticism doubts what is true; Kantian scepticism doubts that it is sayable [Button]
14. Science / A. Basis of Science / 4. Prediction
18698 Predictions give the 'content' of theories, which can then be 'equivalent' or 'adequate' [Button]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / d. Purpose of consciousness
4741 A very powerful computer might have its operations restricted by the addition of consciousness [Clark,T]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
18697 A sentence's truth conditions are all the situations where it would be true [Button]