Libro · 2019 · G. E. Hughes, D. G. Londey

The Elements of Formal Logic

Pubblicato originariamente nel 1965. Questo è un libro di testo di logica deduttiva moderna, progettato per principianti ma che conduce più a fondo nel cuore dell'argomento rispetto alla maggior parte degli altri libri di questo tipo. I campi trattati sono il Calcolo Proposizionale, le parti più elementari del Calcolo dei Predicati, e la Logica Sillogistica trattata da un punto di vista moderno. In ciascuno dei sistemi discussi, le principali enfasi sono su Procedure di Decisione e Axiomizzazione, e il materiale è presentato con quanto più rigore formale è compatibile con la chiarezza dell'esposizione. Le tecniche utilizzate non solo sono descritte, ma hanno anche una giustificazione teorica. Le dimostrazioni di Coerenza, Completezza e Indipendenza sono esposte in dettaglio. Le caratteristiche fondamentali dei vari sistemi studiati e le loro relazioni reciproche sono stabilite tramite prove meta-logiche, che sono utilizzate liberamente in tutte le sezioni del libro. Esercizi sono allegati alla maggior parte dei capitoli e sono fornite le risposte.