Combining Philosophers

All the ideas for Herodotus, Joseph Butler and Feferman / Feferman

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

20 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10147 The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman]
10148 Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman]
10149 Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman]
10150 The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman]
10146 Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10158 A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman]
10162 Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10160 Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman]
10159 Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10161 If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 7. Decidability
10156 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman]
10155 Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman]
9. Objects / F. Identity among Objects / 5. Self-Identity
3144 Everything is what it is, and not another thing [Butler]
9. Objects / F. Identity among Objects / 9. Sameness
21315 A tree remains the same in the popular sense, but not in the strict philosophical sense [Butler]
16. Persons / B. Nature of the Self / 4. Presupposition of Self
21317 Despite consciousness fluctuating, we are aware that it belongs to one person [Butler]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / a. Memory is Self
21313 If consciousness of events makes our identity, then if we have forgotten them we didn't exist then [Butler]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / c. Inadequacy of mental continuity
21314 Consciousness presupposes personal identity, so it cannot constitute it [Butler]
16. Persons / D. Continuity of the Self / 5. Concerns of the Self
21318 If the self changes, we have no responsibilities, and no interest in past or future [Butler]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
8066 Butler exalts conscience, but it may be horribly misleading [Anscombe on Butler]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
1513 The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus]