Combining Texts

All the ideas for 'Defending the Axioms', 'Empty Names' and 'On Eternal and Immutable Morality'

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

20 ideas

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 / F. Referring in Logic / 1. Naming / a. Names
18935 Semantic theory should specify when an act of naming is successful [Sawyer]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
18945 Millians say a name just means its object [Sawyer]
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
18934 Sentences with empty names can be understood, be co-referential, and even be true [Sawyer]
18938 Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
18947 Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
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 / 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 / c. Against mathematical empiricism
17614 The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / c. Tabula rasa
6230 If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
6228 Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / a. Physicalism critique
6229 Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth]
22. Metaethics / B. Value / 1. Nature of Value / c. Objective value
6227 Keeping promises and contracts is an obligation of natural justice [Cudworth]
25. Social Practice / D. Justice / 2. The Law / c. Natural law
6225 Obligation to obey all positive laws is older than all laws [Cudworth]
28. God / A. Divine Nature / 4. Divine Contradictions
6224 An omnipotent will cannot make two things equal or alike if they aren't [Cudworth]
28. God / A. Divine Nature / 6. Divine Morality / d. God decrees morality
6223 If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth]
6226 The requirement that God must be obeyed must precede any authority of God's commands [Cudworth]