Verdad se usa con frecuencia para expresar que una proposición se corresponde con los hechos, la realidad o es fiel a algo original. Muchas actividades humanas se sirven del concepto de "verdad" si bien se presupone su significado intuitivo. El concepto de verdad se debate en este libro principalmente desde tres tradiciones distintas: la teoría clásica, la propuesta semántica y la opción alternativa. Comúnmente, la verdad se ve como la correspondencia del lenguaje o el pensamiento con una realidad independiente. Por el contrario, una teoría semántica de la verdad es una teoría que sostiene que la verdad es una propiedad de las proposiciones. Este punto de vista ha recalcado en presentar una definición satisfactoria que sea materialmente adecuada y formalmente correcta del predicado verdadero. La concepción semántica de verdad se relaciona de diferentes maneras tanto con la correspondencia como con las concepciones deflacionistas. Sin embargo, una convención que satisfaga el predicado de verdad para ciertos enunciados de un lenguaje dado no se puede definir dentro de ese lenguaje. Mediante esta propuesta se intenta resolver la paradoja del mentiroso. Por el contrario, las propuestas alternativas consideran que la definición de semántica es artificiosa empobreciendo así la dimensión veritativa del lenguaje ordinario en el que los hablantes se expresan. Su propuesta pretende devolver al lenguaje natural su significatividad original de "verdad".

Kripke demuestra que un lenguaje puede contener consistentemente su propio predicado de la verdad, algo que Alfred Tarski consideraba imposible. El enfoque se asienta en definir "verdad" como propiedad parcialmente definida sobre el conjunto de enunciados gramaticalmente bien formados en el lenguaje. El libro irá abordando los temas afines y presentando las pruebas y refutaciones propuestas en cada alternativa.