Logica formale: Vol. 1: Teoria e procedure decisionali per la logica proposizionale

Titolo originale:

Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic

Contenuto del libro:

Questo testo, primo volume di un'opera in due volumi, approfondisce la logica proposizionale standard (detta anche classica).

Si tratta di un'opera teorica che mira a una presentazione filosoficamente esplorativa e tecnicamente rigorosa. Esempi dettagliati ed esercizi sono utilizzati per individuare le minuzie tecniche, consolidare la comprensione e indicare gli enigmi e le sfide logico-filosofiche; grazie a questa caratteristica, il testo può essere utilizzato anche per studiare la logica formale in modo rigoroso.

Lo studio della logica proposizionale può ricompensare lo studente dedicato e paziente svelando i misteri tecnici del pensiero critico e della risoluzione dei problemi, facendo luce su concetti rilevanti nello studio del ragionamento, mostrando come i potenti strumenti e metodi formali funzionano nelle applicazioni e svelando le cripte dell'analisi logica. Può affinare intuizioni che contribuiscono ulteriormente sia alla comprensione del funzionamento della logica sia alla preparazione di future attività nello studio del ragionamento formale.

Teks ini mencakup topik-topik tertentu dan mekanisme keputusan yang biasanya tidak ada dalam teks-teks Logika dan hanya dapat diketahui melalui pengenalan terhadap potongan-potongan yang lebih besar dari daftar pustaka yang masih ada. Topik-topik yang jarang dibahas dalam teks ini meliputi: analisis dunia-mungkin, analitik dan non-kognitivisme, investigasi rinci tentang relasi logis, sistem tata bahasa dan komputasi alternatif, tabel kebenaran untuk aliran informasi yang dinamis dan tabel kebenaran yang dikoreksi, pohon semantik negatif dan positif, bentuk-bentuk normal dan peta Karnaugh, deduksi alamiah intuisionistik, normalisasi dan harmoni dalam sistem teori-bukti, dan logika dialogis.