Combining Texts

All the ideas for 'Understanding and Essence', 'What is Cantor's Continuum Problem?' and 'Carnap and Logical Truth'

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

23 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
19259 If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
8679 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
9942 Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13010 In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
9002 Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13681 Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13829 If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
18062 Set-theory paradoxes are no worse than sense deception in physics [Gödel]
9003 Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
10868 The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg]
13517 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
10271 Basic mathematics is related to abstract elements of our empirical ideas [Gödel]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
9004 If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
9006 Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
19262 Essential properties are necessary, but necessary properties may not be essential [Vaidya]
10. Modality / A. Necessity / 6. Logical Necessity
9001 Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
19267 Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / c. Possible but inconceivable
19268 Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya]
11. Knowledge Aims / A. Knowledge / 2. Understanding
19265 Can you possess objective understanding without realising it? [Vaidya]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
9005 Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / b. Gettier problem
19260 Gettier deductive justifications split the justification from the truthmaker [Vaidya]
19266 In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya]
18. Thought / C. Content / 1. Content
19264 Aboutness is always intended, and cannot be accidental [Vaidya]