Truth

#
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.
Accepted:May 6, 2008

Accepted:

May 6, 2008