Libri di Claudia Palladino

Nell'Ottocento sono state elaborate le geometrie non euclidee - iperbolica ed ellittica - ossia sistemi geometrici in cui le figure hanno molte proprietà diverse da quelle che hanno nella geometria euclidea. La possibilità logica di queste nuove geometrie è stata riconosciuta e provata al termine di un interessante percorso storico che risale all'antichità. Il testo si propone di dare una visione delle nuove geometrie senza presupporre nel lettore conoscenze matematiche preliminari, a parte un minimo di nomenclatura e di proprietà delle figure che si acquisiscono già nella scuola secondaria di primo grado.

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 è 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 è una disciplina le cui origini risalgono all'antichità e che si è molto sviluppata negli ultimi decenni anche per le sempre più numerose applicazioni nelle discipline scientifiche e umanistiche. Il dizionario, comprendente più 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 più importanti teoremi relativi alle teorie formali e le caratteristiche di alcuni sistemi logici che estendono o sono alternativi a quelli classici.