The definition of "truth"

Wow! I had no idea they were still so confused about the definition(s) of "TRUE". So here it is:

We distinguish three types of truth: 

• Tautological truth - which follows from the mechanics of symbol definition and persistence of meaning.
• A priori truth - which follows from definitions
• A posteriori truth - which is an observable equating of different paths towards the same outcome

Tautological includes "A=A" and possible others

A Priori includes at least two kinds of definition. The "x is a kind of y", leads to "peanuts are legumes". And the "x is part of y" leads to "you need ingredient to cook".

A Posteriori is the most interesting version of truth. It says: Two methods for producing the same outcome are equal  - if all you care about is the outcome. For example "2+2=4" is TRUE. Note that it is NOT true if you are listing partitions of 4. The truth depends on the assumptions you make.

I gotta crow a little cuz several thousand years of philosophers never spotted that ignoring intermediate step and the equality of outcome, is the definition of "truth". 

Update: OK, OK, maybe there is another kind of truth. There are behaviors whose repetition guarantees certain things: Adding material is transitive ("More is more"). Containment is transitive ("if a in b and b in c, then a in c"). Getting from A to B is transitive because if I can get to C from B, then I can get from A to C - it just takes longer. Another is: is A can be substituted for B and B can be substituted for C, then A can be substituted for C.