Combining Texts

All the ideas for 'Stipulation, Meaning and Apriority', 'Philosophical Theology' and 'Frege versus Cantor and Dedekind'

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


16 ideas

1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Analytic philosophy focuses too much on forms of expression, instead of what is actually said [Tait]
2. Reason / D. Definition / 13. Against Definition
How do we determine which of the sentences containing a term comprise its definition? [Horwich]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The null set was doubted, because numbering seemed to require 'units' [Tait]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
We can have a series with identical members [Tait]
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich]
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
Understanding needs a priori commitment [Horwich]
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Meaning is generated by a priori commitment to truth, not the other way around [Horwich]
12. Knowledge Sources / A. A Priori Knowledge / 9. A Priori from Concepts
Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich]
If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich]
12. Knowledge Sources / A. A Priori Knowledge / 10. A Priori as Subjective
A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich]
18. Thought / E. Abstraction / 2. Abstracta by Selection
Abstraction is 'logical' if the sense and truth of the abstraction depend on the concrete [Tait]
Cantor and Dedekind use abstraction to fix grammar and objects, not to carry out proofs [Tait]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstraction may concern the individuation of the set itself, not its elements [Tait]
18. Thought / E. Abstraction / 8. Abstractionism Critique
Why should abstraction from two equipollent sets lead to the same set of 'pure units'? [Tait]
If abstraction produces power sets, their identity should imply identity of the originals [Tait]
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
Design is seen in the way ideas match the world, in the mechanisms of evolution, and in values [Tennant,FR, by PG]