Ideas from 'On Euclidean Geometry' by Gottlob Frege [1900], by Theme Structure

[found in 'The Frege Reader' by Frege,Gottlob (ed/tr Beaney,Michael) [Blackwell 1997,978-0-631-19445-3]].

green numbers give full details    |     back to texts     |     unexpand this idea


5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The truth of an axiom must be independently recognisable
                        Full Idea: It is part of the concept of an axiom that it can be recognised as true independently of other truths.
                        From: Gottlob Frege (On Euclidean Geometry [1900], 183/168), quoted by Tyler Burge - Frege on Knowing the Foundations 4
                        A reaction: Frege thinks the axioms of arithmetic all reside in logic.