Programmi

 

LF/0022 - ISTITUZIONI DI LOGICA

Anno Accademico ​2015/2016

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




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 e logica proposizionale classica.
Analisi logica del linguaggio naturale. Connettivi logici. Tavole di verità. Cenni di teoria dell'argomentazione. Il calcolo alla Hilbert per la logica proposizionale classica. Il teorema di adeguatezza.

Seconda parte. Estensioni della logica classica.
Logiche modali. Logiche epistemiche. Logiche deontiche.

Terza parte: alternative alla logica classica.
Logica intuizionista. Logiche rilevanti. Logiche polivalenti. La paraconsistenza. Logiche condizionali.

Metodi Didattici

Lezioni frontali

Verifica dell'apprendimento

Esame orale

Testi

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

D. Palladino, C. Palladino, Logiche non classiche: un'introduzione, Carocci, Roma, 2007.

Dispense del docente.

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

Nascondi la toolbar