Logica. Lezioni di Primo Livello

Il volume è una nuova introduzione alla logica , senza prerequisiti, ed è strutturato come un corso di lezioni adatto per il primo livello degli studi universitari . La logica si occupa di ciò che è comune a tutte le branche della nostra attività conoscitive, a tutte le discipline scientifiche. Dopo l’esposizione dei principali temi della logica, nel volume viene illustrata la concezione che la logica classica ha su alcuni di essi, vengono presentati alcuni dei principali teoremi sulla logica (che mostrano come la logica non può chiudersi in se stessa) e vengono trattati concetti e metodi della logica che stanno alla base dell’informatica. Il libro è stato concepito avvalendosi delle idee innovative che sono emerse e stanno emergendo nella ricerca logica (in particolare dopo la nascita della logica lineare) e che riguardano anche la concezione della logica e il modo di insegnarla. STRUTTURA I. I temi della logica. II. Logica classica: proposizioni, dimostrazioni. III. Logica classica: connettivi principali. IV. Logica classica: quantificatori. V. La logica classica del primo ordine. VI. Logica classica: le classi e gli insiemi. VII. Codici binari e algebra di Boole. VIII. Macchina di Turing e calcolabilità. IX. Assiomatizzazione della logica del primo ordine.  Bibliografia.