Logica simbolica

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Symbolic Logic

Contenuto del libro:

Questo libro fornisce un'introduzione completa agli elementi essenziali della logica simbolica standard (classica). Gli argomenti principali trattati sono:

- La natura e l'ambito caratteristici della logica come disciplina.

- La costruzione di una serie di linguaggi formali con nomi distinti, adatti alla traduzione formale.

- Modelli semantici.

- La costruzione di procedure decisionali.

- L'esecuzione di sistemi teorici di prova come la deduzione naturale e i sistemi di sequenze di prove.

Il libro tratta sia la semantica che la teoria delle prove della logica sentenziale (proposizionale) e della logica dei predicati (del primo ordine). Altri argomenti trattati sono: il parsing degli alberi, l'estrazione di notazioni alternative (per esempio, la notazione polacca), la teoria delle prove in stile Fitch, i sistemi di prove sequenziali e "ad albero", i confronti e i contrasti con la logica intuizionistica e le presentazioni di modelli di logica dei predicati. Alla fine del testo si trova un capitolo accessorio sugli elementi della teoria degli insiemi, che comprende approfondimenti sulla sistematizzazione della teoria degli insiemi di Zermelo-Fraenkel. Viene esplorata anche la filosofia della logica.

Gli esercizi del testo forniscono istruzioni sull'induzione matematica per la costruzione di formule, sui test per la benformata della notazione polacca e sulla completezza funzionale.

Symbolic Logic è una lettura essenziale per tutti gli studenti di filosofia che frequentano corsi di logica formale di livello intermedio e piacerà anche agli studenti diligenti del primo anno di logica. Il testo è ricco di esercizi sia sui meccanismi formali sia sugli aspetti filosofici della logica.