Thomas Donaldson

True by Definition

Some of the logical empiricists defended the claim that the basic mathematical axioms are definitions and that the theorems of mathematics are consequently analytic. This position has subsequently fallen out of favor. Critics have alleged that the position was refuted by Gödel’s Incompleteness Theorems, that it is ob...