Combining Texts

All the ideas for 'The Case against Closure (and reply)', 'Abstract Objects' and 'The Structure of Paradoxes of Self-Reference'

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


23 ideas

5. Theory of Logic / L. Paradox / 1. Paradox
Typically, paradoxes are dealt with by dividing them into two groups, but the division is wrong [Priest,G]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / b. König's paradox
The 'least indefinable ordinal' is defined by that very phrase [Priest,G]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / c. Berry's paradox
'x is a natural number definable in less than 19 words' leads to contradiction [Priest,G]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / d. Richard's paradox
By diagonalization we can define a real number that isn't in the definable set of reals [Priest,G]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / c. Burali-Forti's paradox
The least ordinal greater than the set of all ordinals is both one of them and not one of them [Priest,G]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / e. Mirimanoff's paradox
The next set up in the hierarchy of sets seems to be both a member and not a member of it [Priest,G]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
There are Liar Pairs, and Liar Chains, which fit the same pattern as the basic Liar [Priest,G]
If you know that a sentence is not one of the known sentences, you know its truth [Priest,G]
9. Objects / A. Existence of Objects / 2. Abstract Objects / d. Problems with abstracta
How we refer to abstractions is much less clear than how we refer to other things [Rosen]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
Closure says if you know P, and also know P implies Q, then you must know Q [Dretske]
We needn't regret the implications of our regrets; regretting drinking too much implies the past is real [Dretske]
Knowing by visual perception is not the same as knowing by implication [Dretske]
Reasons for believing P may not transmit to its implication, Q [Dretske]
The only way to preserve our homely truths is to abandon closure [Dretske]
P may imply Q, but evidence for P doesn't imply evidence for Q, so closure fails [Dretske]
We know past events by memory, but we don't know the past is real (an implication) by memory [Dretske]
18. Thought / E. Abstraction / 2. Abstracta by Selection
The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen]
18. Thought / E. Abstraction / 5. Abstracta by Negation
Nowadays abstractions are defined as non-spatial, causally inert things [Rosen]
Chess may be abstract, but it has existed in specific space and time [Rosen]
Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen]
18. Thought / E. Abstraction / 6. Abstracta by Conflation
Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Functional terms can pick out abstractions by asserting an equivalence relation [Rosen]
Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen]