Compara correspondência, coerência, pragmatismo, deflacionismo e teorias semânticas da verdade. Paradoxos como o mentiroso servem para testar os compromissos de cada proposta.
