Combining Texts

All the ideas for 'Laches', 'works' and 'Alfred Tarski: life and logic'

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

22 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
291 Don't assume that wisdom is the automatic consequence of old age [Plato]
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]
4. Formal Logic / G. Formal Mereology / 1. Mereology
10397 Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P]
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]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
10396 If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P]
10395 Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
15384 Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio]
10. Modality / A. Necessity / 4. De re / De dicto modality
8481 The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein]
18. Thought / E. Abstraction / 8. Abstractionism Critique
15385 Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard]
19. Language / C. Assigning Meanings / 3. Predicates
15383 Nothing external can truly be predicated of an object [Abelard, by Panaccio]
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
293 Being unafraid (perhaps through ignorance) and being brave are two different things [Plato]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
10398 Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P]