Logica dei predicati

Recensioni dei lettori

Il libro è un esame formale e rigoroso della logica dei predicati, che si concentra sulle sue basi filosofiche piuttosto che sull'applicazione pratica. Sebbene possa essere utile per lo studio avanzato della filosofia o della logica, manca di esercizi pratici e strumenti di apprendimento che sono essenziali per i principianti o per coloro che cercano di applicare direttamente la logica dei predicati.

⬤ Fornisce ampie informazioni sui fondamenti filosofici della logica dei predicati.
⬤ Adatto a corsi di laurea o di specializzazione di livello superiore.
⬤ Potrebbe essere interessante per coloro che sono profondamente impegnati nella logica e nei suoi presupposti.

⬤ Non è una guida pratica per imparare a usare la logica dei predicati.
⬤ Gli esercizi non sono sufficientemente collegati all'applicazione pratica e non vengono fornite risposte.
⬤ Prezzo elevato rispetto ad altri testi di logica più accessibili e pratici.

(basato su 3 recensioni dei lettori)

Titolo originale:

Predicate Logic

Contenuto del libro:

Le forme e l'ambito della logica poggiano su presupposti di come il linguaggio e il ragionamento si collegano all'esperienza. In questo volume l'analisi del significato e della verità fornisce le basi per lo studio delle moderne logiche proposizionali e dei predicati.

I capitoli sulla logica proposizionale, sul parsing delle proposizioni, sul significato, sulla verità e sul riferimento forniscono una base per i criteri che possono essere utilizzati per giudicare le formalizzazioni degli argomenti in linguaggio ordinario. Oltre 120 esempi pratici di formalizzazioni di proposizioni e argomenti illustrano la portata e i limiti della logica moderna, analizzati nei capitoli sull'identità, i quantificatori, i nomi descrittivi, le funzioni e la logica del secondo ordine.

Il capitolo sulla logica del secondo ordine illustra come le diverse concezioni dei predicati e delle proposizioni non portino a una base comune per la quantificazione sui predicati, come invece accade per la quantificazione sulle cose. Notevole per la sua chiarezza espositiva e integrato da numerosi esercizi, questo volume è adatto a filosofi, linguisti, matematici e informatici che desiderano comprendere meglio gli strumenti che utilizzano per formalizzare il ragionamento.