Combining Texts

All the ideas for 'Are there propositions?', 'The Structure of Science' and 'Believing the Axioms I'

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

25 ideas

3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
13985 A true proposition seems true of one fact, but a false proposition seems true of nothing at all. [Ryle]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
13984 Two maps might correspond to one another, but they are only 'true' of the country they show [Ryle]
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
13013 The Axiom of Extensionality seems to be analytic [Maddy]
13014 Extensional sets are clearer, simpler, unique and expressive [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13021 The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy]
13022 Infinite sets are essential for giving an account of the real numbers [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]
13025 Modern views say the Choice set exists, even if it can't be constructed [Maddy]
13026 A large array of theorems depend on the Axiom of Choice [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
13979 Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle]
7. Existence / C. Structure of Existence / 2. Reduction
3425 Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim]
7. Existence / D. Theories of Reality / 8. Facts / c. Facts and truths
13988 Many sentences do not state facts, but there are no facts which could not be stated [Ryle]
12. Knowledge Sources / B. Perception / 3. Representation
13983 Representation assumes you know the ideas, and the reality, and the relation between the two [Ryle]
18. Thought / A. Modes of Thought / 6. Judgement / a. Nature of Judgement
13980 If you like judgments and reject propositions, what are the relata of incoherence in a judgment? [Ryle]
19. Language / A. Nature of Meaning / 1. Meaning
13978 Husserl and Meinong wanted objective Meanings and Propositions, as subject-matter for Logic [Ryle]
19. Language / A. Nature of Meaning / 3. Meaning as Speaker's Intention
13977 When I utter a sentence, listeners grasp both my meaning and my state of mind [Ryle]
19. Language / D. Propositions / 1. Propositions
13976 'Propositions' name what is thought, because 'thoughts' and 'judgments' are too ambiguous [Ryle]
19. Language / D. Propositions / 4. Mental Propositions
13981 Several people can believe one thing, or make the same mistake, or share one delusion [Ryle]
13987 We may think in French, but we don't know or believe in French [Ryle]
19. Language / D. Propositions / 6. Propositions Critique
13989 There are no propositions; they are just sentences, used for thinking, which link to facts in a certain way [Ryle]
13982 If we accept true propositions, it is hard to reject false ones, and even nonsensical ones [Ryle]