Combining Texts

All the ideas for '', 'Pragmatism and Deflationism' and 'Believing the Axioms I'

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

27 ideas

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
19100 Truth makes disagreements matter, or worth settling [Misak]
19094 For pragmatists the loftiest idea of truth is just a feature of what remains forever assertible [Misak]
19099 'True' is used for emphasis, clarity, assertion, comparison, objectivity, meaning, negation, consequence... [Misak]
19103 'That's true' doesn't just refer back to a sentence, but implies sustained evidence for it [Misak]
19105 Truth isn't a grand elusive property, if it is just the aim of our assertions and inquiries [Misak]
19108 Truth is proper assertion, but that has varying standards [Misak]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
19101 Disquotation is bivalent [Misak]
19096 Disquotationalism resembles a telephone directory [Misak]
19106 Disquotations says truth is assertion, and assertion proclaims truth - but what is 'assertion'? [Misak]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
19098 Deflating the correspondence theory doesn't entail deflating all the other theories [Misak]
19104 Deflationism isn't a theory of truth, but an account of its role in natural language [Misak]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
13011 New axioms are being sought, to determine the size of the continuum [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
13014 Extensional sets are clearer, simpler, unique and expressive [Maddy]
13013 The Axiom of Extensionality seems to be analytic [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13022 Infinite sets are essential for giving an account of the real numbers [Maddy]
13021 The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
13023 The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13024 Efforts to prove the Axiom of Choice have failed [Maddy]
13026 A large array of theorems depend on the Axiom of Choice [Maddy]
13025 Modern views say the Choice set exists, even if it can't be constructed [Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
13019 The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
13018 Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
11211 If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
11212 The sense of a connective comes from primitively obvious rules of inference [Rumfitt]
11210 Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]
7. Existence / D. Theories of Reality / 4. Anti-realism
19109 The anti-realism debate concerns whether indefeasibility is a plausible aim of inquiry [Misak]
19. Language / F. Communication / 3. Denial
11214 We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt]