Scopo del corso è offrire un’introduzione ai concetti di base della logica. Verranno trattate le nozioni di linguaggio formale e di calcolo logico con riferimento alla logica delle proposizioni; verrà presentato il linguaggio della logica dei predicati del primo ordine; ampio spazio sarà dedicato alla formalizzazione di enunciati del linguaggio ordinario e all'esecuzione di esercizi e di inferenze con il metodo degli alberi semantici. Verranno introdotte infine alcune nozioni relative al ragionamento informale e a tipi di ragionamento non deduttivo. 
 

Prerequisiti

Nessuno. 
 

Contenuto del Corso 

Nozioni logiche di base. Linguaggio della logica proposizionale e della logica dei predicati del primo ordine. Alberi semantici per la logica proposizionale. Ragionamento formale e ragionamento ordinario. Errori di ragionamento. Forme di ragionamento non deduttivo. 
 

Testi di riferimento 

D. Palladino, Corso di Logica, Carocci, 2003: introduzione e capp. 1, 2, 3, 4, 5 e 8. 
M. Frixione, Come Ragioniamo, Laterza, 2007.