Logiche non classiche

Il testo costituisce un manuale di introduzione a vari sistemi logici che sonoestensioni e/o alternative alla logica classica. La logica classica - dettaanche "logica matematica" - infatti si fonda su alcuni presupposti che necircoscrivono l'ambito di applicazione a una parte limitata del complesso deiragionamenti umani. L'intento è offrire una panoramica di ampio respiro deimolteplici settori in cui oggi si articolano le ricerche logiche: le logichemodali, deontiche, epistemiche e temporali, le logiche polivalenti,paracoerenti e della rilevanza, la logica intuizionista, e alcune altrerecentemente sviluppate nell'ambito dell'Intelligenza Artificiale.