One can create axioms that make statements like "all bachelors are married" true. What is wrong with calling these truths analytic as a shorthand for the type of truth it is based on the type of axiom it is derived from, much in the way we use the adjectives arithmetic, set-theoretic, or logical to denote those types of formal truths? I feel like one could decide whether a truth is analytic by seeing which (kinds of) axioms need to involved in making it true.
Read another response by Gabriel Segal, Alexander George
Read another response about Truth