Combining Texts

All the ideas for 'Intensional Logic', 'A Subject with No Object' and 'Knowledge, Possibility and Consciousness'

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


36 ideas

3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
'True' is only occasionally useful, as in 'everything Fermat believed was true' [Burgess/Rosen]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Modal logic gives an account of metalogical possibility, not metaphysical possibility [Burgess/Rosen]
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]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
The paradoxes are only a problem for Frege; Cantor didn't assume every condition determines a set [Burgess/Rosen]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Mereology implies that acceptance of entities entails acceptance of conglomerates [Burgess/Rosen]
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 / E. Structures of Logic / 6. Relations in Logic
A relation is either a set of sets of sets, or a set of sets [Burgess/Rosen]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-abstraction disambiguates the scope of modal operators [Fitting]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
The paradoxes no longer seem crucial in critiques of set theory [Burgess/Rosen]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
We should talk about possible existence, rather than actual existence, of numbers [Burgess/Rosen]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Structuralism and nominalism are normally rivals, but might work together [Burgess/Rosen]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Number words became nouns around the time of Plato [Burgess/Rosen]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
Abstract/concrete is a distinction of kind, not degree [Burgess/Rosen]
Much of what science says about concrete entities is 'abstraction-laden' [Burgess/Rosen]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
Mathematics has ascended to higher and higher levels of abstraction [Burgess/Rosen]
Abstraction is on a scale, of sets, to attributes, to type-formulas, to token-formulas [Burgess/Rosen]
9. Objects / F. Identity among Objects / 1. Concept of Identity
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
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
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
Definite descriptions pick out different objects in different possible worlds [Fitting]
15. Nature of Minds / A. Nature of Mind / 3. Mental Causation
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
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
It seems plausible that many animals have experiences without knowing about them [Perry]
17. Mind and Body / A. Mind-Body Dualism / 6. Epiphenomenalism
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
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
If physicalists stick with identity (not supervenience), Martian pain will not be like ours [Perry]
18. Thought / C. Content / 1. Content
Although we may classify ideas by content, we individuate them differently, as their content can change [Perry]
18. Thought / C. Content / 8. Intension
The intension of an expression is a function from possible worlds to an appropriate extension [Perry]
18. Thought / E. Abstraction / 2. Abstracta by Selection
The old debate classified representations as abstract, not entities [Burgess/Rosen]
19. Language / D. Propositions / 2. Abstract Propositions / b. Propositions as possible worlds
A proposition is a set of possible worlds for which its intension delivers truth [Perry]
19. Language / E. Analyticity / 3. Analytic and Synthetic
A sharp analytic/synthetic line can rarely be drawn, but some concepts are central to thought [Perry]
27. Natural Reality / C. Space / 2. Space
If space is really just a force-field, then it is a physical entity [Burgess/Rosen]