Combining Texts

All the ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Episteme and Logos in later Plato' and 'Sets and Numbers'

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


11 ideas

2. Reason / A. Nature of Reason / 2. Logos
The logos enables us to track one particular among a network of objects [Nehamas]
A logos may be short, but it contains reference to the whole domain of the object [Nehamas]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
The master science is physical objects divided into sets [Maddy]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy]
Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy]
Numbers are properties of sets, just as lengths are properties of physical objects [Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Sets exist where their elements are, but numbers are more like universals [Maddy]
Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
If mathematical objects exist, how can we know them, and which objects are they? [Maddy]
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy]