Combining Texts

All the ideas for 'Truth and the Past', 'Plural Quantification Exposed' and 'Collins Dictionary of Philosophy'

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

---

17 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 / D. Assumptions for Logic / 1. Bivalence

8195	Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett]

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

10783

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

10778

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

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')

8194	Surely there is no exact single grain that brings a heap into existence [Dummett]

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism

8190	Intuitionists rely on the proof of mathematical statements, not their truth [Dummett]

7. Existence / B. Change in Existence / 1. Nature of Change

8198	A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett]

7. Existence / D. Theories of Reality / 4. Anti-realism

8192	I no longer think what a statement about the past says is just what can justify it [Dummett]

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

10782

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

11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism

8199	The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett]

12. Knowledge Sources / B. Perception / 4. Sense Data / b. Nature of sense-data

6457	Sensations are mental, but sense-data could be mind-independent [Vesey]

19. Language / A. Nature of Meaning / 5. Meaning as Verification

8193	Verification is not an individual but a collective activity [Dummett]

19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics

8189	Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett]

8191	The truth-conditions theory must get agreement on a conception of truth [Dummett]

27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism

8197	Maybe past (which affects us) and future (which we can affect) are both real [Dummett]

27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths

8196	The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett]