Logica proposizionale Terza edizione

Titolo originale:

Propositional Logics Third Edition

Contenuto del libro:

Logica proposizionale presenta la storia, la filosofia e la matematica dei principali sistemi di logica proposizionale. La logica classica, le logiche modali, le logiche a molti valori, l'intuizionismo, le logiche paraconsistenti e l'implicazione dipendente sono esaminate in capitoli separati.

Ciascuna di esse inizia con una motivazione nei termini propri degli autori, seguita dalla semantica formale standard, dalla sintassi e dal teorema di completezza. I capitoli sulle varie logiche sono in gran parte autosufficienti, in modo che il libro possa essere utilizzato come riferimento. Un'appendice riassume la semantica formale e le assiomatizzazioni delle logiche.

Il punto di vista che unifica l'esposizione è che le logiche proposizionali comprendono uno spettro. Al variare dell'aspetto delle proposizioni considerate, varia la logica.

Si dimostra che ogni logica rientra naturalmente in un quadro generale di semantica. Viene presentata una teoria delle traduzioni tra logiche che consente ulteriori confronti e vengono fornite le condizioni necessarie affinché una traduzione preservi il significato.

Per questa terza edizione il materiale è stato riorganizzato per rendere il testo più facile da studiare, ed è stata aggiunta una nuova sezione sulle logiche paraconsistenti con semantica semplice che mette in discussione i punti di vista standard sulla natura delle relazioni di conseguenza. Il testo comprende esempi di lavoro e centinaia di esercizi, da quelli di routine ai problemi aperti, che rendono il libro, con la sua esposizione chiara e accurata, ideale per i corsi o per lo studio individuale.