Combining Texts

All the ideas for 'Intensional Logic', 'Knowing One's Own Mind' and 'Knowledge, Possibility and Consciousness'

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

22 ideas

3. Truth / C. Correspondence Truth / 1. Correspondence Truth
4901 Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
15375 If terms change their designations in different states, they are functions from states to objects [Fitting]
15376 Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
9. Objects / F. Identity among Objects / 1. Concept of Identity
4885 Identity is a very weak relation, which doesn't require interdefinability, or shared properties [Perry]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
4899 Possible worlds thinking has clarified the logic of modality, but is problematic in epistemology [Perry]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
4898 Possible worlds are indices for a language, or concrete realities, or abstract possibilities [Perry]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
15. Nature of Minds / A. Nature of Mind / 3. Mental Causation
4887 We try to cause other things to occur by causing mental events to occur [Perry]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
4884 Brain states must be in my head, and yet the pain seems to be in my hand [Perry]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / f. Higher-order thought
4888 It seems plausible that many animals have experiences without knowing about them [Perry]
17. Mind and Body / A. Mind-Body Dualism / 6. Epiphenomenalism
4891 If epiphenomenalism just says mental events are effects but not causes, it is consistent with physicalism [Perry]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
4900 Prior to Kripke, the mind-brain identity theory usually claimed that the identity was contingent [Perry]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
4892 If physicalists stick with identity (not supervenience), Martian pain will not be like ours [Perry]
18. Thought / C. Content / 1. Content
4889 Although we may classify ideas by content, we individuate them differently, as their content can change [Perry]
18. Thought / C. Content / 6. Broad Content
6175 External identification doesn't mean external location, as with sunburn [Davidson, by Rowlands]
18. Thought / C. Content / 8. Intension
4896 The intension of an expression is a function from possible worlds to an appropriate extension [Perry]
19. Language / D. Propositions / 2. Abstract Propositions / b. Propositions as possible worlds
4897 A proposition is a set of possible worlds for which its intension delivers truth [Perry]
19. Language / E. Analyticity / 3. Analytic and Synthetic
4890 A sharp analytic/synthetic line can rarely be drawn, but some concepts are central to thought [Perry]