Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Review of Chihara 'Struct. Accnt of Maths'' and 'Evidentialism'

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


9 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [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]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
If the only aim is to believe truths, that justifies recklessly believing what is unsupported (if it is right) [Conee/Feldman]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
We don't have the capacity to know all the logical consequences of our beliefs [Conee/Feldman]