Combining Texts

All the ideas for 'Review of Tait 'Provenance of Pure Reason'', 'Introduction to 'Language Truth and Logic'' and 'On Euclidean Geometry'

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

11 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13418 The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
16886 The truth of an axiom must be independently recognisable [Frege]
6. Mathematics / C. Sources of Mathematics / 8. Finitism
13419 If functions are transfinite objects, finitists can have no conception of them [Parsons,C]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
13417 If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / c. Empirical foundations
5163 Basic propositions refer to a single experience, are incorrigible, and conclusively verifiable [Ayer]
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / c. Knowing other minds
5167 The argument from analogy fails, so the best account of other minds is behaviouristic [Ayer]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
5164 A statement is meaningful if observation statements can be deduced from it [Ayer]
5165 Directly verifiable statements must entail at least one new observation statement [Ayer]
5166 The principle of verification is not an empirical hypothesis, but a definition [Ayer]
19. Language / D. Propositions / 1. Propositions
5162 Sentences only express propositions if they are meaningful; otherwise they are 'statements' [Ayer]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / i. Prescriptivism
5168 Moral approval and disapproval concerns classes of actions, rather than particular actions [Ayer]