Combining Texts

All the ideas for 'works', 'First-order Logic, 2nd-order, Completeness' and 'Coherence Theory of Truth and Knowledge'

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

20 ideas

3. Truth / D. Coherence Truth / 1. Coherence Truth
19081 Coherence with a set of propositions suggests we can know the proposition corresponds [Davidson, by Donnellan]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10751 Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10759 There are at least seven possible systems of semantics for second-order logic [Rossberg]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10753 Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
10752 Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
10754 In proof-theory, logical form is shown by the logical constants [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10756 A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10758 If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10761 Completeness can always be achieved by cunning model-design [Rossberg]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10755 A deductive system is only incomplete with respect to a formal semantics [Rossberg]
11. Knowledge Aims / A. Knowledge / 4. Belief / b. Elements of beliefs
8806 The concepts of belief and truth are linked, since beliefs are meant to fit reality [Davidson]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
8252 Davidson believes experience is non-conceptual, and outside the space of reasons [Davidson, by McDowell]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
8255 Davidson says the world influences us causally; I say it influences us rationally [McDowell on Davidson]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
8804 Reasons for beliefs are not the same as evidence [Davidson]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
8802 Sensations lack the content to be logical; they cause beliefs, but they cannot justify them [Davidson]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
8801 Coherent justification says only beliefs can be reasons for holding other beliefs [Davidson]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
8805 Skepticism is false because our utterances agree, because they are caused by the same objects [Davidson]
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
18703 Davidson's Cogito: 'I think, therefore I am generally right' [Davidson, by Button]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
7667 There are two sides to men - the pleasantly social, and the violent and creative [Diderot, by Berlin]