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.

Comments

I don't know what you mean by: "One can create axioms that make statements like 'all bachelors are married' true". I assume that by 'married' you mean 'unmarried'. But I still don't understand. Perhaps you mean that one can write down obviously true principles from which the truth of every analytic sentence, and no other sentence, follows. But we can't.

Not yet anyway.

There is nothing stopping you from defining an analytic theorem of a formal system to be one whose derivation requires appeal to at least one member of a designated subset of axioms. But on what basis are you deciding to single out that particular subset of axioms? If you say you're being guided by the fact that those particular axioms express truths about meanings, whereas other axioms express substantive truths about the world, then you owe an explanation of what that distinction amounts to -- and arguably, that will be no easier to give than an outright analysis of "analytic". (You might also look at W.V. Quine's discussion of Semantic Postulates in his paper "Two Dogmas of Empiricism.")

Read another response by Gabriel Segal, Alexander George

Read another response about Truth