Combining Texts

All the ideas for 'Reality and Representation', 'What is Cantor's Continuum Problem?' and 'Reference and Modality'

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


16 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
We perceive the objects of set theory, just as we perceive with our senses [Gödel]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Failure of substitutivity shows that a personal name is not purely referential [Quine]
5. Theory of Logic / G. Quantification / 1. Quantification
Quantifying into referentially opaque contexts often produces nonsense [Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
Set-theory paradoxes are no worse than sense deception in physics [Gödel]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg]
If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Basic mathematics is related to abstract elements of our empirical ideas [Gödel]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Quantification into modal contexts requires objects to have an essence [Quine]
10. Modality / A. Necessity / 4. De re / De dicto modality
To be necessarily greater than 7 is not a trait of 7, but depends on how 7 is referred to [Quine]
10. Modality / A. Necessity / 11. Denial of Necessity
Whether 9 is necessarily greater than 7 depends on how '9' is described [Quine, by Fine,K]
Necessity only applies to objects if they are distinctively specified [Quine]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
We can't quantify in modal contexts, because the modality depends on descriptions, not objects [Quine, by Fine,K]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
Belief truth-conditions are normal circumstances where the belief is supposed to occur [Papineau]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
We can't say 'necessarily if x is in water then x dissolves' if we can't quantify modally [Quine]