Combining Philosophers

All the ideas for Albert Camus, Leon Battista Alberti and Feferman / Feferman

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

27 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
9247 Life will be lived better if it has no meaning [Camus]
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
6707 Suicide - whether life is worth living - is the one serious philosophical problem [Camus]
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
9245 To an absurd mind reason is useless, and there is nothing beyond reason [Camus]
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 / A. Overview of Logic / 3. Value of Logic
9244 Logic is easy, but what about logic to the point of death? [Camus]
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]
16. Persons / F. Free Will / 1. Nature of Free Will
9249 Whether we are free is uninteresting; we can only experience our freedom [Camus]
16. Persons / F. Free Will / 6. Determinism / b. Fate
9253 The human heart has a tiresome tendency to label as fate only what crushes it [Camus]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
18555 The beautiful is that from which nothing can be subtracted and to which nothing can be added [Alberti]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
9250 Discussing ethics is pointless; moral people behave badly, and integrity doesn't need rules [Camus]
22. Metaethics / B. Value / 2. Values / g. Love
9252 The more one loves the stronger the absurd grows [Camus]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
9251 One can be virtuous through a whim [Camus]
23. Ethics / F. Existentialism / 2. Nihilism
9243 If we believe existence is absurd, this should dictate our conduct [Camus]
6708 Happiness and the absurd go together, each leading to the other [Camus]
23. Ethics / F. Existentialism / 7. Existential Action
9242 Essential problems either risk death, or intensify the passion of life [Camus]
9246 Danger and integrity are not in the leap of faith, but in remaining poised just before the leap [Camus]
25. Social Practice / F. Life Issues / 4. Suicide
9248 It is essential to die unreconciled and not of one's own free will [Camus]