Combining Texts

All the ideas for 'Frege on Apriority (with ps)', 'Set Theory and its Logic' and 'The Epistemology of Essence (draft)'

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

8 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
21717 Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
16901 The equivalent algebra model of geometry loses some essential spatial meaning [Burge]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
16902 Peano arithmetic requires grasping 0 as a primitive number [Burge]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
16978 If conceivability is a priori coherence, that implies possibility [Tahko]
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
16892 Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
16975 Essences are used to explain natural kinds, modality, and causal powers [Tahko]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
16976 Scientific essentialists tend to characterise essence in terms of modality (not vice versa) [Tahko]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
16977 If essence is modal and laws are necessary, essentialist knowledge is found by scientists [Tahko]