Pubblicato originariamente nel 1962. Questo libro dà conto dei concetti e dei metodi di una parte fondamentale della logica. Nel capitolo I vengono spiegate le idee elementari, comprese quelle dell'argomento funzionale alla verità e della validità funzionale alla verità. Il capitolo II inizia con un resoconto più completo della funzionalità della verità; Vengono descritte le caratteristiche principali delle più importanti funzioni di verità monadiche e diadiche e vengono esposte le diverse notazioni in uso. La parte principale del libro descrive e spiega tre diversi metodi per verificare la validità degli agumenti funzionali di verità e delle forme di agumenti: il metodo veritiero, il metodo deduttivo e il metodo delle forme normali; A beneficio soprattutto dei lettori che non hanno acquisito, in un modo o nell'altro, una generale facilità nella manipolazione dei simboli, alcune delle procedure sono state descritte in modo un po' più dettagliato di quanto non sia comune in testi di questo tipo. Nel capitolo finale l'autore discute e rifiuta la visione basata in gran parte sui cosiddetti paradossi dell'implicazione materiale secondo cui la logica funzionale alla verità non è applicabile in alcun modo veramente importante agli argomenti del discorso ordinario. . Lingua: Inglese