Combining Texts

All the ideas for 'Defending the Axioms', 'fragments/reports' and 'Regressive Method for Premises in Mathematics'

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

23 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
17641 Discoveries in mathematics can challenge philosophy, and offer it a new foundation [Russell]
2. Reason / A. Nature of Reason / 6. Coherence
17638 If one proposition is deduced from another, they are more certain together than alone [Russell]
2. Reason / B. Laws of Thought / 3. Non-Contradiction
17632 Non-contradiction was learned from instances, and then found to be indubitable [Russell]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
17610 The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy]
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
17620 Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
17640 Finding the axioms may be the only route to some new results [Russell]
17629 Which premises are ultimate varies with context [Russell]
17630 The sources of a proof are the reasons why we believe its conclusion [Russell]
17605 Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy]
17625 If two mathematical themes coincide, that suggest a single deep truth [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
17615 Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
17627 It seems absurd to prove 2+2=4, where the conclusion is more certain than premises [Russell]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
17618 Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
17628 Arithmetic was probably inferred from relationships between physical objects [Russell]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
17614 The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy]
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
17637 The most obvious beliefs are not infallible, as other obvious beliefs may conflict [Russell]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
17639 Believing a whole science is more than believing each of its propositions [Russell]
14. Science / C. Induction / 2. Aims of Induction
17631 Induction is inferring premises from consequences [Russell]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
6012 We must choose in which of the virtues we wish to excel [Panaetius]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / b. Living naturally
6013 Panaetius said we should live according to our natural starting-points [Panaetius, by Asmis]
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
6014 Panaetius identified courage with great-mindedness, preferring civic courage to military [Panaetius, by Asmis]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
17633 The law of gravity has many consequences beyond its grounding observations [Russell]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
5888 Souls are born, since they are sensitive and inherited, so they must perish [Panaetius, by Cicero]