Combining Texts

All the ideas for 'Mathematical Logic (revised)', 'works' and 'Set Theory and the Continuum Hypothesis'

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

11 ideas

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 / E. Structures of Logic / 4. Variables in Logic
12221 'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
19321 We might do without names, by converting them into predicates [Quine, by Kirkham]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
14248 We could accept the integers as primitive, then use sets to construct the rest [Cohen]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
10395 Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P]
10396 If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [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]
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]