Em seu artigo "Outline of a Theory of Truth", de 1975, Kripke mostrou que uma linguagem pode consistentemente conter seu próprio predicado da verdade, o que foi considerado impossível por Alfred Tarski, um dos pioneiros na área de teorias formais da verdade.