Combining Texts

All the ideas for 'Model Theory for Modal Logic I', 'Abduction and Induction' and 'Truth'

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

8 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
10838 To explain a concept, we need its purpose, not just its rules of usage [Dummett]
3. Truth / A. Truth Problems / 1. Truth
10837 It is part of the concept of truth that we aim at making true statements [Dummett]
3. Truth / A. Truth Problems / 2. Defining Truth
10840 We must be able to specify truths in a precise language, like winning moves in a game [Dummett]
3. Truth / F. Semantic Truth / 2. Semantic Truth
19171 Tarski's truth is like rules for winning games, without saying what 'winning' means [Dummett, by Davidson]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
9560 S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
14790 'Abduction' is beginning a hypothesis, particularly if it includes preference of one explanation over others [Peirce]
14791 Abduction involves original suggestions, and not just the testing involved in induction [Peirce]
18. Thought / E. Abstraction / 1. Abstract Thought
10839 You can't infer a dog's abstract concepts from its behaviour [Dummett]