Combining Texts

All the ideas for 'Intensional Logic', 'Coherence Theory of Truth and Knowledge' and 'Introduction to 'Language Truth and Logic''

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


23 ideas

3. Truth / D. Coherence Truth / 1. Coherence Truth
Coherence with a set of propositions suggests we can know the proposition corresponds [Davidson, by Donnellan]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
If terms change their designations in different states, they are functions from states to objects [Fitting]
Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-abstraction disambiguates the scope of modal operators [Fitting]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Definite descriptions pick out different objects in different possible worlds [Fitting]
11. Knowledge Aims / A. Knowledge / 4. Belief / b. Elements of beliefs
The concepts of belief and truth are linked, since beliefs are meant to fit reality [Davidson]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Davidson believes experience is non-conceptual, and outside the space of reasons [Davidson, by McDowell]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
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
Reasons for beliefs are not the same as evidence [Davidson]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / c. Empirical foundations
Basic propositions refer to a single experience, are incorrigible, and conclusively verifiable [Ayer]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
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
Coherent justification says only beliefs can be reasons for holding other beliefs [Davidson]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
Skepticism is false because our utterances agree, because they are caused by the same objects [Davidson]
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / c. Knowing other minds
The argument from analogy fails, so the best account of other minds is behaviouristic [Ayer]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
A statement is meaningful if observation statements can be deduced from it [Ayer]
Directly verifiable statements must entail at least one new observation statement [Ayer]
The principle of verification is not an empirical hypothesis, but a definition [Ayer]
19. Language / D. Propositions / 1. Propositions
Sentences only express propositions if they are meaningful; otherwise they are 'statements' [Ayer]
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
Davidson's Cogito: 'I think, therefore I am generally right' [Davidson, by Button]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / i. Prescriptivism
Moral approval and disapproval concerns classes of actions, rather than particular actions [Ayer]