Logica: dimostrazioni e modelli al primo ordine

Description

Lo scopo di questa opera, in due volumi, è quello di aiutare il lettore a raggiungere una adeguata formazione universitaria a livello specialistico nella logica, una disciplina che è un naturale luogo di interazione tra filosofia, matematica e informatica. L’opera è largamente ispirata dalle novità introdotte dalla ricerca contemporanea, in particolare da quella che è stata promossa dalla logica lineare. Supponiamo che il lettore abbia qualche dimestichezza con i temi e le nozioni principali della logica, quale quella che si può ottenere con un primo corso preliminare di logica (ad esempio, attraverso il volume [1]), o almeno una qualche familiarità con la pratica matematica quale quella che si può acquisire con un percorso universitario di primo livello in matematica o in informatica. Le dimostrazioni dei teoremi nei due volumi dell’opera saranno “rigorose”, nel senso che si cercherà di fornire tutti gli elementi tecnici necessari, evitando però l’eccesso di rigore, il “rigor mortis”, ossia evitando di eccedere nei dettagli che d’altronde in buona parte possono essere trovati nella letteratura. Approfondimenti ed esercizi sui temi trattati in questa opera potranno essere trovati sul sito web dedicato che potrà essere un luogo di dialogo tra gli autori ed i lettori: http://logica.uniroma3.it/˜ tortora/Libro.html