analytic truth

is defined insofar as it conveys no new information about the world at all except maybe about language.

whatever we end up thinking about that issue there's another way of thinking about analytic statements i've described them as things that are verbal truths but also as things that don't tell us anything about the world locke thinks of analytic truths as trifling propositions that is to say they give us no information about the world they convey no information at all except maybe about language like telling us what the word bachelor means and so they tell us nothing about the world as such

is verbal truth; definitional truths that don't tell us anything about the world (i.e. all bachelors are unmarried).

if we reflect on logical truths and truths by definition we can ask what they have in common and the answer seems to be this their truth value is determined by the meanings of the terms inside them a soul is a soul or bachelors are unmarried true if you just understand the basic terms like is or bachelor that's all you need everything else follows from language so we might describe these as purely verbal truths truths that don't tell us anything about the world

analytic truth, n.All

analytic truth