One can create axioms that make statements like "all bachelors are married" true

One can create axioms that make statements like "all bachelors are married" true

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
Print