Combining Texts

All the ideas for 'A Pragmatic Conception of the A Priori', 'Logical Consequence' and 'Introduction to the Philosophy of Mind'

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

25 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
9358 There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
18755 Validity is explained as truth in all models, because that relies on the logical terms [McGee]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
9357 Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
18751 Natural language includes connectives like 'because' which are not truth-functional [McGee]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
9364 Names represent a uniformity in experience, or they name nothing [Lewis,CI]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
18761 Second-order variables need to range over more than collections of first-order objects [McGee]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
18753 An ontologically secure semantics for predicate calculus relies on sets [McGee]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
18754 Logically valid sentences are analytic truths which are just true because of their logical words [McGee]
5. Theory of Logic / K. Features of Logics / 3. Soundness
18757 Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
18760 The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
3523 Shadows are supervenient on their objects, but not reducible [Maslin]
7. Existence / D. Theories of Reality / 1. Ontologies
3517 'Ontology' means 'study of things which exist' [Maslin]
10. Modality / A. Necessity / 11. Denial of Necessity
9362 Necessary truths are those we will maintain no matter what [Lewis,CI]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
9365 We can maintain a priori principles come what may, but we can also change them [Lewis,CI]
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / d. Other minds by analogy
3538 Analogy to other minds is uncheckable, over-confident and chauvinistic [Maslin]
16. Persons / B. Nature of the Self / 7. Self and Body / b. Self as brain
3540 If we are brains then we never meet each other [Maslin]
16. Persons / C. Self-Awareness / 3. Limits of Introspection
3518 I'm not the final authority on my understanding of maths [Maslin]
17. Mind and Body / D. Property Dualism / 2. Anomalous Monism
3530 Denial of purely mental causation will lead to epiphenomenalism [Maslin]
17. Mind and Body / D. Property Dualism / 3. Property Dualism
3520 Token-identity removes the explanatory role of the physical [Maslin]
18. Thought / E. Abstraction / 2. Abstracta by Selection
9361 We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI]
19. Language / F. Communication / 2. Assertion
18762 A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee]
26. Natural Theory / C. Causation / 9. General Causation / b. Nomological causation
3528 Causality may require that a law is being followed [Maslin]
26. Natural Theory / D. Laws of Nature / 7. Strictness of Laws
3525 Strict laws make causation logically necessary [Maslin]
3527 Strict laws allow no exceptions and are part of a closed system [Maslin]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
9363 Science seeks classification which will discover laws, essences, and predictions [Lewis,CI]