Aquí es defineix la veritat com el resultat d’una inferència correcta a partir de proposicions correctes, o com la adequació entre conjunts de proposicions, d’acord amb les regles de la lògica: regles de formalització, de formació d’arguments, taules de veritat, fal·làcies, paradoxes, etc. Aquesta teoria només es refereix a la validesa formal de les proposicions: quines condicions ha de satisfer una proposició per adquirir el valor de veritat, en relació amb un conjunt de proposicions que sí són vertaderes (axiomes). Parlem, doncs, de matemàtica, de lògica formal, però no ens referim a coneixement directe sobre el món empíric. La veritat d’una proposició que es refereix al món empíric s’estableix mitjançant un altre criteri: la teoria de la correspondència. Característiques: Equival a coherència lògica , a resultats no contradictoris, etc. Una proposició és vertadera si es dedueix d'altres proposicions vertaderes. El problema de la deducció és que obtenim veritats formals, in...