Combining Texts

All the ideas for 'Logicism and Ontological Commits. of Arithmetic', 'An Introduction to Modal Logic' and 'Apology for Raymond Sebond'

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

20 ideas

1. Philosophy / A. Wisdom / 2. Wise People
6259 Why can't a wise man doubt everything? [Montaigne]
1. Philosophy / A. Wisdom / 3. Wisdom Deflated
6263 No wisdom could make us comfortably walk a wide beam if it was high in the air [Montaigne]
3. Truth / A. Truth Problems / 3. Value of Truth
6258 Virtue is the distinctive mark of truth, and its greatest product [Montaigne]
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 / D. Theories of Reality / 3. Reality
6262 We lack some sense or other, and hence objects may have hidden features [Montaigne]
7. Existence / D. Theories of Reality / 7. Fictionalism
10023 Talk of mirror images is 'encoded fictions' about real facts [Hodes]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
6260 Sceptics say there is truth, but no means of making or testing lasting judgements [Montaigne]
15. Nature of Minds / A. Nature of Mind / 1. Mind / d. Location of mind
6261 The soul is in the brain, as shown by head injuries [Montaigne]