En dicho libro se analizan las propuestas lógico-semánticas y modales de Saul Kripke.