Combining Texts

All the ideas for 'Logicism and Ontological Commits. of Arithmetic', 'An Introduction to Modal Logic' and 'Introduction to the Philosophy of Mind'

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

24 ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth
10017 Truth in a model is more tractable than the general notion of truth [Hodes]
10018 Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
9540 A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
9541 The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
9543 The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10015 Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10011 Identity is a level one relation with a second-order definition [Hodes]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10016 When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes]
5. Theory of Logic / K. Features of Logics / 4. Completeness
9544 A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
10027 Mathematics is higher-order modal logic [Hodes]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
10026 Arithmetic must allow for the possibility of only a finite total of objects [Hodes]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10021 It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes]
10022 Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes]
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]
7. Existence / D. Theories of Reality / 7. Fictionalism
10023 Talk of mirror images is 'encoded fictions' about real facts [Hodes]
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]
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]