back to idea for this text


Single Idea 16886

[from 'On Euclidean Geometry' by Gottlob Frege, in 5. Theory of Logic / K. Features of Logics / 1. Axiomatisation ]

Full Idea

It is part of the concept of an axiom that it can be recognised as true independently of other truths.

Gist of Idea

The truth of an axiom must be independently recognisable

Source

Gottlob Frege (On Euclidean Geometry [1900], 183/168), quoted by Tyler Burge - Frege on Knowing the Foundations 4

Book Reference

Burge,Tyler: 'Truth, Thought, Reason (on Frege)' [OUP 2001], p.348


A Reaction

Frege thinks the axioms of arithmetic all reside in logic.