Conseguenze logiche: Teoria e applicazioni: Introduzione. 2a edizione

Titolo originale:

Logical Consequences: Theory and Applications: An Introduction. 2nd Edition

Contenuto del libro:

La teoria delle conseguenze logiche è centrale nella logica moderna e nelle sue applicazioni. Tuttavia, è per lo più dispersa in un'abbondanza di articoli spesso di difficile accesso, e raramente viene trattata tenendo conto delle applicazioni.

Questo libro raccoglie gli aspetti più fondamentali di questa teoria e offre al lettore le basi delle sue applicazioni in informatica, intelligenza artificiale e scienze cognitive, per citare solo i campi più importanti in cui questa nozione trova le sue numerose applicazioni. Vengono discusse sia le conseguenze deduttive che quelle non deduttive. Il punto di partenza è la consequenzialità deduttiva classica: la logica classica è il sistema di riferimento e i sistemi deduttivi non classici sono visti come sue estensioni, deviazioni o variazioni.

La discussione sulle conseguenze deduttive non classiche si concentra sulle conseguenze logiche multivariate, intuizionistiche, modali, paraconsistenti e sottostrutturali. L'argomento delle conseguenze non deduttive viene elaborato dal punto di vista delle logiche abduttive, induttive e probabilistiche.

Nel complesso, vengono discusse le principali classi di sistemi logici contemporanei. L'approccio è essenzialmente matematico e il background matematico, fondato principalmente sulle relazioni d'ordine, è trattato in modo approfondito e accessibile anche ai non matematici.