Metodi di logica: Quarta edizione

Recensioni dei lettori

Metodi di logica” di Quine è un testo fondamentale per l'apprendimento della logica del primo ordine, apprezzato per la sua chiarezza, profondità e sistematicità. Sebbene copra efficacemente le basi e offra tecniche perspicaci per tradurre il linguaggio naturale in forma logica, alcuni lettori lo trovano opprimente, complesso e carente in alcune aree come la logica modale.

⬤ Stile di scrittura chiaro e coerente; la prosa di Quine è precisa e accessibile.
⬤ Copertura completa delle funzioni di verità e della teoria della quantificazione.
⬤ Offre preziose tecniche per tradurre il linguaggio naturale in schemi logici.
⬤ Note storiche e bibliografia forniscono il contesto e incoraggiano ulteriori studi.
⬤ I metodi di Quine migliorano le capacità logiche e promuovono un pensiero rigoroso.

⬤ La complessità potrebbe sopraffare i lettori, in particolare i principianti.
⬤ L'esclusione della logica modale e della logica informale potrebbe far desiderare ai lettori un'introduzione più completa.
⬤ Alcuni lettori notano una notazione poco ortodossa e un contesto storico eccessivo che potrebbero distrarre dagli argomenti centrali.
⬤ Il testo può essere considerato arido da alcuni, privo di contenuti coinvolgenti.
⬤ Non è adatto come testo introduttivo a sé stante per i principianti assoluti; un background di logica aiuta.

(basato su 13 recensioni dei lettori)

Titolo originale:

Methods of Logic: Fourth Edition

Contenuto del libro:

Questo libro di testo di logica formale moderna, ampiamente utilizzato, offre ora una serie di nuove caratteristiche.

Con notazioni aggiornate, risposte selettive agli esercizi, un trattamento ampliato della deduzione naturale e nuove discussioni sulla logica dei funtori di predicati e sulle affinità tra la teoria degli insiemi superiori e la logica elementare dei termini, la nuova edizione di Quine sarà utile sia per la classe che per l'uso indipendente.