Logica del primo ordine

Recensioni dei lettori

Il libro “First Order Logic” di Raymond Smullyan riceve recensioni contrastanti: molti ne lodano la profondità e l'approccio unico alla logica, mentre alcuni ne criticano la brevità e la complessità per i principianti. È considerato un ottimo riferimento per chi ha già familiarità con la logica formale, ma non è adatto ai veri principianti.

⬤ Offre una copertura approfondita di importanti argomenti della logica del primo ordine
⬤ presenta i metodi dei tableaux in modo efficace
⬤ è molto apprezzato per la sua originalità e lo stile conciso
⬤ è un ottimo riferimento per i lettori esperti
⬤ approfondisce le teorie logiche avanzate.

⬤ Non è adatto ai principianti o a coloro che non hanno familiarità con la logica formale
⬤ troppo conciso e presuppone conoscenze pregresse, lasciando alcuni concetti non spiegati
⬤ alcuni lettori lo hanno trovato denso e difficile da comprendere
⬤ può essere percepito come eccessivamente focalizzato sulla logica booleana.

(basato su 23 recensioni dei lettori)

Titolo originale:

First-Order Logic

Contenuto del libro:

Questo studio completamente autosufficiente, ampiamente considerato il miglior libro del settore, è destinato a servire sia come introduzione alla teoria della quantificazione sia come esposizione di nuovi risultati e tecniche nei metodi analitici o cut-free. Colpito dalla semplicità e dall'eleganza matematica del punto di vista tableau, l'autore si concentra qui su di esso.

Dopo il materiale preliminare sui tress (necessario per il metodo dei tableau), la Parte I tratta la logica proposizionale dal punto di vista dei tableaux analitici, affrontando argomenti quali le formule o la logica proposizionale, le valutazioni booleane e gli insiemi di verità, il metodo dei tableaux e la compattezza.

La Parte II tratta la logica del primo ordine, offrendo una trattazione dettagliata di argomenti quali i tableaux analitici del primo ordine, la consistenza analitica, la teoria della quantificazione, gli insiemi magici e le proprietà di consistenza analitica e sintetica.

La Parte III continua la trattazione della logica del primo ordine. Tra gli argomenti trattati vi sono i sistemi di Gentzen, i teoremi di eliminazione, i tableaux prenex, i teoremi di completezza simmetrica e il ragionamento lineare dei sistemi.

Raymond M. Smullyan è un noto logico e inventore di enigmi matematici e logici. In questo libro ha scritto un'esposizione stimolante e impegnativa della logica del primo ordine che sarà accolta con favore da logici, matematici e da chiunque sia interessato al campo.