Programmi

 

LF/0022 - ISTITUZIONI DI LOGICA

Anno Accademico ​2014/2015

Docente
FRANCESCO ​PAOLI (Tit.)
Periodo
Secondo Semestre ​
Modalità d'Erogazione
Convenzionale ​
Lingua Insegnamento
ITALIANO ​



Informazioni aggiuntive

CorsoPercorsoCFUDurata(h)
[20/39] ​ ​FILOSOFIA [39/00 - Ord. 2013] ​ ​PERCORSO COMUNE945
Obiettivi

Far acquisire alcuni concetti e metodi di base della logica, come pure delle sue applicazioni alla metodologia delle teorie deduttive e all’analisi dell’argomentazione e del ragionamento quotidiano.

Prerequisiti

Nessuno

Contenuti

Prima parte: rudimenti di logica.
Analisi logica del linguaggio naturale. Connettivi logici. Quantificatori. Tavole di verità.

Seconda parte: logica informale.
Cos’è un argomento. Argomenti validi, corretti, forti, buoni. Ragionare per analogia. Ambiguità e vaghezza. Fallacie argomentative. Decision making.

Terza parte: logica formale.
Il calcolo alla Hilbert per la logica classica del primo ordine. Semantica tarskiana. Teoremi di deduzione, di Lindenbaum-Henkin e di completezza. Cenni sull'aritmetica del primo ordine e sui teoremi limitativi.

Metodi Didattici

Lezioni frontali

Verifica dell'apprendimento

Esame orale

Testi

F. Paoli, C. Crespellani Porcella, G. Sergioli, Ragionare nel quotidiano, Mimesis, Milano, 2012.

A. Iacona, S. Cavagnetto, Teoria della logica del prim'ordine, Carocci, Roma, 2010.

credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar