Combining Texts

All the ideas for 'Three Varieties of Knowledge', 'Carnap and Logical Truth' and 'Model Theory'

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

24 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
8868 Objective truth arises from interpersonal communication [Davidson]
2. Reason / D. Definition / 7. Contextual Definition
10476 The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13010 In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
9002 Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13681 Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10477 |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13829 If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10474 |= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
9003 Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
9004 If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
9006 Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine]
10. Modality / A. Necessity / 6. Logical Necessity
9001 Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine]
11. Knowledge Aims / A. Knowledge / 4. Belief / e. Belief holism
8867 A belief requires understanding the distinctions of true-and-false, and appearance-and-reality [Davidson]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
9005 Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine]
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
10347 Objectivity is intersubjectivity [Davidson]
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / b. Scepticism of other minds
8866 If we know other minds through behaviour, but not our own, we should assume they aren't like me [Davidson]
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / c. Knowing other minds
10346 Knowing other minds rests on knowing both one's own mind and the external world [Davidson, by Dummett]
19. Language / F. Communication / 4. Private Language
8870 Content of thought is established through communication, so knowledge needs other minds [Davidson]
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
8869 The principle of charity attributes largely consistent logic and largely true beliefs to speakers [Davidson]