|
|
Logica - mod.1
- CFU 6
- Prerequisiti
Nessuno
- Obiettivi formativi
Affinamento delle capacità di ragionamento formale e informale, capacità di
individuare la struttura logico-semantica di tipi di enunciato di particolare
interesse (traducibili nel linguaggio della logica del prim'ordine), capacità di
utilizzare tavole di verità, alberi di refutazione e deduzione naturale e
consapevolezza delle principali tecniche argomentative della logica informale.
Conoscenza della logica classica proposizionale e del prim'ordine.
- Programma del corso
Introduzione alla logica
- Struttura delle argomentazioni e nozioni di validità e verità logica.
- Cenni alla distinzione tra logica classica e logiche non-classiche.
- Tavole di verità per la logica classica proposizionale.
- Alberi di refutazione per la logica classica proposizionale.
- Deduzione naturale per la logica classica proposizionale.
- Deduzione naturale per la logica classica del prim'ordine.
- Teoria dell'identità.
- Teoria delle descrizioni.
Non ci sono differenze di programma per i non frequentanti.
Per 6 CFU, gli studenti sono tenuti a studiare le seguenti parti del libro di testo
adottato:
pp. 1-119, pp. 151-216 (escluse le parti su modelli e alberi di refutazione), pp.
321-324.
Chi sostiene l'esame per meno di 6 CFU può concordare con il docente una
riduzione del programma.
Chi sostiene l'esame per più di 6 CFU deve concordare con il docente un
incremento del programma.
-
Testi (A)dottati, (C)onsigliati
-
1.
(A)
A. Varzi, J. Nolt, D. Rohatyn
Logica (2a ed.)
Mcgraw-hill
2007
» Pagine/Capitoli: pp. 1-119, 151-216, 321-324.
-
2.
(C)
F. Berto
Logica
Laterza
2007
-
3.
(C)
M.L. Dalla Chiara, F. Giuntini, F. Paoli
Sperimentare la logica
Liguori
2004
-
4.
(C)
R. Davies
Gli oggetti della logica
Mimesis
2009
-
5.
(C)
G. Rigamonti
Introduzione alla logica
bollati boringhieri
2005
-
6.
(C)
S. Galvan
Logica
La scuola
2012
- Altre informazioni / materiali aggiuntivi
La frequenza non è obbligatoria, ma è estremamente importante in un corso di logica. Chi intende sostenere l'esame da non frequentante è invitato a contattare il docente per opportuni consigli.
- Metodi didattici
- Agli studenti frequentanti saranno assegnati durante il corso esercizi per casa che
verranno corretti ed eventualmente discussi in classe.
- Modalità di valutazione
- Agli studenti frequentanti sarà data la possibilità di sostituire l'esame orale con la
valutazione degli esercizi per casa (10% del voto), un esame scritto intermedio
(40% del voto) e un esame scritto finale (50% del voto).
Gli studenti non frequentanti o i frequentanti che non optano per il metodo di
valutazione sopra indicato sosterranno un esame orale in cui saranno chiamati a
rispondere a domande analoghe a quelle degli esami scritti.
- Lingue, oltre all'italiano, che possono essere utilizzate per l'attività didattica
nessuna
- Lingue, oltre all'italiano, che si intende utilizzare per la valutazione
nessuna
MATERIALI DIDATTICI
|
News
-
Lezioni 10-11 di LOGICA
02/12/2013
Per errore era stato inserito il powerpoint delle lezioni 7-8 al posto di quello delle lezioni 10-11. Questo errore è stato adesso corretto.
|
