Combining Philosophers

All the ideas for Stilpo, Feferman / Feferman and Friedrich Schelling

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

24 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]
7. Existence / A. Nature of Existence / 3. Being / c. Becoming
22076 Being is only perceptible to itself as becoming [Schelling]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
22072 Schelling always affirmed the absolute status of freedom [Schelling, by Courtine]
21925 For Schelling the Absolute spirit manifests as nature in which self-consciousness evolves [Schelling, by Lewis,PB]
22045 Metaphysics aims at the Absolute, which goes beyond subjective and objective viewpoints [Schelling, by Pinkard]
22074 We must show that the whole of nature, because it is effective, is grounded in freedom [Schelling]
16. Persons / B. Nature of the Self / 4. Presupposition of Self
22073 The basis of philosophy is the Self prior to experience, where it is the essence of freedom [Schelling]
16. Persons / F. Free Will / 2. Sources of Free Will
22075 Only idealism has given us the genuine concept of freedom [Schelling]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / g. Will to power
20956 Ultimately, all being is willing. The nature of primal being is the same as the nature of willing [Schelling]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
20957 We don't choose our characters, yet we still claim credit for the actions our characters perform [Schelling]
26. Natural Theory / A. Speculations on Nature / 1. Nature
22057 Schelling sought a union between the productivities of nature and of the mind [Schelling, by Bowie]
22031 Schelling made organisms central to nature, because mere mechanism could never produce them [Schelling, by Pinkard]
28. God / C. Attitudes to God / 5. Atheism
3029 Stilpo said if Athena is a daughter of Zeus, then a statue is only the child of a sculptor, and so is not a god [Stilpo, by Diog. Laertius]