autore

il testo costituisce un manuale di introduzione a vari sistemi logici che sono estensioni e/o alternative alla logica classica. la logica classica - detta anche "logica matematica" - infatti si fonda su alcuni presupposti che ne circoscrivono l`ambito di applicazione a una parte limitata del complesso dei ragionamenti umani. l`intento e` offrire una panoramica di ampio respiro dei molteplici settori in cui oggi si articolano le ricerche logiche: le logiche modali, deontiche, epistemiche e temporali, le logiche polivalenti, paracoerenti e della rilevanza, la logica intuizionista, e alcune altre recentemente sviluppate nell`ambito dell`intelligenza artificiale.

la logica e` una disciplina le cui origini risalgono all`antichita` e che si e` molto sviluppata negli ultimi decenni anche per le sempre piu` numerose applicazioni nelle discipline scientifiche e umanistiche. il dizionario, comprendente piu` di 300 lemmi, si rivolge ad un pubblico non specializzato e ha lo scopo di illustrare i concetti fondamentali della disciplina. si propone inoltre di far conoscere i piu` importanti teoremi relativi alle teorie formali e le caratteristiche di alcuni sistemi logici che estendono o sono alternativi a quelli classici.