Logica modale introduttiva

Recensioni dei lettori

Il libro è un'apprezzata introduzione alla logica modale, lodata per la sua chiarezza, le intuizioni filosofiche e l'approccio strutturato. Tuttavia, molti recensori hanno notato un inconveniente significativo: la mancanza di soluzioni agli esercizi, che ha reso difficile l'autovalutazione. Il libro è accessibile ma a volte disordinato, con occasionali errori negli esercizi. Sebbene richieda una conoscenza preliminare della logica proposizionale, è considerato utile per chi è interessato agli aspetti filosofici dell'argomento.

⬤ Presentazione chiara e strutturata.
⬤ Discussioni filosofiche coinvolgenti relative alla logica modale.
⬤ Ottimo per chi ha una certa preparazione in logica simbolica.
⬤ Panoramica completa dei concetti della logica modale.
⬤ Molti esempi di prove in tutto il testo.

⬤ Mancano le risposte agli esercizi, rendendo difficile l'autovalutazione.
⬤ Alcuni problemi di chiarezza e occasionali errori nelle prove/esercizi.
⬤ Considerato un po' ingombrante per l'eccesso di regole nei sistemi deduttivi.
⬤ Potrebbe non essere adatto a principianti assoluti senza una precedente conoscenza della logica proposizionale.

(basato su 13 recensioni dei lettori)

Titolo originale:

Introductory Modal Logic

Contenuto del libro:

La logica modale, sviluppata come estensione della logica proposizionale classica e della teoria della quantificazione del primo ordine, integra le nozioni di possibilità e necessità e di implicazione necessaria. Gli argomenti la cui comprensione dipende da una conoscenza fondamentale della logica modale sono sempre stati importanti in filosofia della religione, metafisica ed epistemologia.

Inoltre, la logica modale è diventata sempre più importante con l'uso del concetto di “mondi possibili” in queste aree. Introductory Modal Logic soddisfa la necessità di un testo di base sulla logica modale, accessibile agli studenti di logica simbolica elementare.

Kenneth Konyndyk presenta una trattazione in deduzione naturale della logica modale proposizionale e della logica modale quantificata, informazioni storiche sul suo sviluppo e discussioni sulle questioni filosofiche sollevate dalla logica modale. Caratterizzato da spiegazioni chiare e concrete, esempi appropriati ed esercizi vari e stimolanti, Introductory Modal Logic rende sia la logica modale che la metafisica dei mondi possibili facilmente accessibili allo studente di livello introduttivo.