Combining Texts

All the ideas for 'works', 'Building Blocks of Mathematical Logic' and 'A Priori Knowledge'

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

---

8 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699

Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

10. Modality / A. Necessity / 11. Denial of Necessity

20475

Maybe modal sentences cannot be true or false [Casullo]

10. Modality / D. Knowledge of Modality / 1. A Priori Necessary

20476

If the necessary is a priori, so is the contingent, because the same evidence is involved [Casullo]

12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori

20471

Epistemic a priori conditions concern either the source, defeasibility or strength [Casullo]

20477

The main claim of defenders of the a priori is that some justifications are non-experiential [Casullo]

12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities

20472

Analysis of the a priori by necessity or analyticity addresses the proposition, not the justification [Casullo]

13. Knowledge Criteria / A. Justification Problems / 1. Justification / c. Defeasibility

20474

'Overriding' defeaters rule it out, and 'undermining' defeaters weaken in [Casullo]