Combining Texts

All the ideas for 'fragments/reports', 'Plural Quantification Exposed' and 'Many, but almost one'

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

---

11 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension

10779

A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic

10781

A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]

5. Theory of Logic / G. Quantification / 6. Plural Quantification

10778

Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]

10783

Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]

7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic

15538

Semantic indecision explains vagueness (if we have precisifications to be undecided about) [Lewis]

9. Objects / A. Existence of Objects / 1. Physical Objects

10782

The modern concept of an object is rooted in quantificational logic [Linnebo]

9. Objects / B. Unity of Objects / 3. Unity Problems / b. Cat and its tail

15537

If cats are vague, we deny that the many cats are one, or deny that the one cat is many [Lewis]

9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects

15536

We have one cloud, but many possible boundaries and aggregates for it [Lewis]

19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity

15539

Basic to pragmatics is taking a message in a way that makes sense of it [Lewis]

25. Social Practice / E. Policies / 5. Education / b. Education principles

13304

Learned men gain more in one day than others do in a lifetime [Posidonius]

27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure

20820

Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]