Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Abstract Objects: a Case Study' and 'Deriving Kripkean Claims with Abstract Objects'

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

---

7 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility

18170

The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism

10580

Mathematics is both necessary and a priori because it really consists of logical truths [Yablo]

6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics

10579

Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo]

7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete

10577

Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo]

10578

We are thought to know concreta a posteriori, and many abstracta a priori [Yablo]

9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta

10558

Abstract objects are actually constituted by the properties by which we conceive them [Zalta]

18. Thought / E. Abstraction / 2. Abstracta by Selection

10557

Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta]