Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'The Iliad or the Poem of Force' and 'Grundlagen der Arithmetik (Foundations)'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Frege agreed with Euclid that the axioms of logic and mathematics are known through self-evidence [Frege, by Burge]
     Full Idea: Frege maintained a sophisticated version of the Euclidean position that knowledge of the axioms and theorems of logic, geometry, and arithmetic rests on the self-evidence of the axioms, definitions, and rules of inference.
     From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Tyler Burge - Frege on Apriority Intro
     A reaction: I am inclined to agree that they are indeed self-evident, but not in a purely a priori way. They are self-evident general facts about how reality is and how (it seems) that it must be. It seems to me closer to a perception than an insight.