Introduzione alla logica simbolica e alle sue applicazioni

Recensioni dei lettori

Il libro è considerato un classico della logica simbolica, apprezzato per la sua profondità e l'integrazione di vari argomenti correlati. Tuttavia, è considerato impegnativo, soprattutto per coloro che non hanno una solida preparazione matematica.

⬤ Forte presentazione della logica simbolica
⬤ copre molti argomenti correlati con chiarezza
⬤ considerato un classico e un contributo significativo alla filosofia
⬤ utile per comprendere i concetti più profondi della logica
⬤ trattamento completo delle teorie assiomatiche.

⬤ Difficile da capire per i non matematici
⬤ alcuni lo trovano pedante e datato
⬤ manca la copertura di alcuni metodi moderni della logica
⬤ non include applicazioni pratiche come la deduzione naturale o la ricorsione.

(basato su 8 recensioni dei lettori)

Titolo originale:

Introduction to Symbolic Logic and Its Applications

Contenuto del libro:

Questo libro è una delle più chiare, complete e rigorose introduzioni alla logica simbolica moderna disponibili in qualsiasi lingua. Il professor Carnap, un'autorità mondiale in materia di logica simbolica, sviluppa l'argomento partendo da concetti elementari e da semplici esercizi fino alla costruzione e all'analisi di una serie di linguaggi logici relativamente complessi.

Prende poi in considerazione, in modo molto dettagliato, l'applicazione della logica simbolica alla chiarificazione e all'assiomatizzazione di varie teorie in matematica, fisica e biologia. Argomenti come la natura e l'uso di costanti e variabili, i predicati, i connettivi sentenziali, le tabelle di verità, le frasi universali ed esistenziali, le definizioni, l'identità, l'isomorfismo, i sistemi sintattici e semantici e le relazioni tra di essi, il sistema dei tipi, le varietà di relazioni, ordine lineare, operatori speciali, strutture e numeri cardinali, descrizioni, concetti finiti e infiniti, continuità, linguaggi di cose, linguaggi di coordinate, sistemi di assiomi per la teoria degli insiemi, l'aritmetica, la geometria, la topologia spazio-temporale, i concetti biologici e molti altri argomenti.

La logica delle relazioni è trattata in modo particolarmente esteso. Centinaia di problemi, esempi ed esercizi sono inclusi per dare agli studenti la possibilità di esercitarsi nelle tecniche della logica simbolica e nel loro utilizzo.