Il corso intende introdurre gli studenti alla logica formale, strumento indispensabile per il ragionamento corretto. Nel corso delle lezioni saranno affrontate le tematiche elencate di seguito. 1. Definizione e scopo della logica. 2. Nozioni basilari: verità, validità, dimostrazione, tautologia e contraddizione. 3. Presentazione del calcolo proposizionale e teoria della dimostrazione - con esercitazioni. 4. La sillogistica aristotelica. 5. Cenni sul calcolo moderno dei predicati del primo ordine: somiglianze e differenze con la sillogistica. 6. Cenni sulla teoria delle inferenze: abduzione, induzione e deduzione. 7. Riepilogo ed esercitazione finale. È previsto un esame orale.
Bibliografia
Auletta G., Introduzione alla logica, 2ª ed., Antonianum, Roma, 2004.
I. Colagè
|
