Combining Texts

All the ideas for 'Symbolic Reasoning', 'The Ways of Paradox' and 'Review of Chihara 'Struct. Accnt of Maths''

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


14 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The null class is the class with all the non-existents as its members [MacColl, by Lackey]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
The set scheme discredited by paradoxes is actually the most natural one [Quine]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Russell's antinomy challenged the idea that any condition can produce a set [Quine]
5. Theory of Logic / L. Paradox / 3. Antinomies
Antinomies contradict accepted ways of reasoning, and demand revisions [Quine]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
Whenever the pursuer reaches the spot where the pursuer has been, the pursued has moved on [Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
A barber shaves only those who do not shave themselves. So does he shave himself? [Quine]
Membership conditions which involve membership and non-membership are paradoxical [Quine]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
If we write it as '"this sentence is false" is false', there is no paradox [Quine]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set theory is the standard background for modern mathematics [Burgess]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess]
There is no one relation for the real number 2, as relations differ in different models [Burgess]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
If set theory is used to define 'structure', we can't define set theory structurally [Burgess]
Abstract algebra concerns relations between models, not common features of all the models [Burgess]
How can mathematical relations be either internal, or external, or intrinsic? [Burgess]