Combining Texts

All the ideas for 'The Problem of Empty Names', 'Empiricist View of Religion' and 'An Axiomatization of Set Theory'

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


4 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
     Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong.
     From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer]
     Full Idea: As speakers of the language, we unreflectively assume that there are nonexistents, and that reference to them is possible.
     From: Marga Reimer (The Problem of Empty Names [2001], p.499), quoted by Sarah Sawyer - Empty Names 4
     A reaction: Sarah Swoyer quotes this as a good solution to the problem of empty names, and I like it. It introduces a two-tier picture of our understanding of the world, as 'unreflective' and 'reflective', but that seems good. We accept numbers 'unreflectively'.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
All the axioms for mathematics presuppose set theory [Neumann]
     Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory.
     From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2
     A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this.
29. Religion / D. Religious Issues / 1. Religious Commitment / b. Religious Meaning
If meaning is use, then religious sentences have meaning because they are used to assert an intention about how to live [Braithwaite, by PG]
     Full Idea: If the meaning of statements is their use (as Wittgenstein claims), then religious people use religious claims to assert an intention to follow a religious life and morality, and this intention gives their sentences meaning.
     From: report of R.B. Braithwaite (Empiricist View of Religion [1955]) by PG - Db (ideas)