Combining Texts

All the ideas for 'Identity and Spatio-Temporal Continuity', 'The Justification of Deduction' and 'An Analysis of Knowledge and Valuation'

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


17 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy aims to understand the world, through ordinary experience and science [Dummett]
2. Reason / E. Argument / 6. Conclusive Proof
A successful proof requires recognition of truth at every step [Dummett]
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett]
In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett]
Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett]
5. Theory of Logic / K. Features of Logics / 4. Completeness
Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
We rely on memory for empirical beliefs because they mutually support one another [Lewis,CI]
If we doubt memories we cannot assess our doubt, or what is being doubted [Lewis,CI]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
If anything is to be probable, then something must be certain [Lewis,CI]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
Congruents assertions increase the probability of each individual assertion in the set [Lewis,CI]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
An explanation is often a deduction, but that may well beg the question [Dummett]
18. Thought / C. Content / 8. Intension
Extension is the class of things, intension is the correct definition of the thing, and intension determines extension [Lewis,CI]
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett]