Combining Texts

All the ideas for 'On the Foundations of Logic and Arithmetic', 'Speaking of Objects' and 'Introduction to 'Absolute Generality''

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


15 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano]
Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logic already contains some arithmetic, so the two must be developed together [Hilbert]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
We can only see an alien language in terms of our own thought structures (e.g. physical/abstract) [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
"No entity without identity" - our ontology must contain items with settled identity conditions [Quine, by Melia]
8. Modes of Existence / B. Properties / 12. Denial of Properties
There is no proper identity concept for properties, and it is hard to distinguish one from two [Quine]
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
Our conceptual scheme becomes more powerful when we posit abstract objects [Quine]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
I prefer 'no object without identity' to Quine's 'no entity without identity' [Lowe on Quine]
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
You could know the complete behavioural conditions for a foreign language, and still not know their beliefs [Quine]
Translation of our remote past or language could be as problematic as alien languages [Quine]