- Oggetto:
- Oggetto:
LOGICA (LAUREA TRIENNALE)
- Oggetto:
Anno accademico 2011/2012
- Codice dell'attività didattica
- LET0310
- Docente
- Maurizio Negri (Titolare del corso)
- Corso di studi
- [f005-c701] Laurea in Lettere
[f005-c702] Laurea in Filosofia
[f005-c703] Laurea in Storia - Anno
- 1° anno 2° anno 3° anno
- Periodo didattico
- Primo semestre - prima parte
- Tipologia
- Per tutti gli ambiti
- Crediti/Valenza
- 6
- SSD dell'attività didattica
- M-FIL/02 - logica e filosofia della scienza
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
- Oggetto:
Programma
Logica classica, proposizionale e predicativa: il linguaggio formale, la semantica, la nozione di conseguenza logica, il calcolo logico di Fitch come analisi sintattica della nozione semantica di conseguenza.
Classical propositional and first order logic: the formal language, semantics, logical consequence, Fitch’s calculus as an analysis of logical consequence.
Testi consigliati e bibliografia
- Oggetto:
Programma da 5 crediti: A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw-Hill, 2007 (II ed.), Capitoli 3, 4, 6 (tranne 6.5 e 6.6), 7.
Programma da 6 crediti: A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw-Hill, 2007 (II ed.), Capitoli 3, 4, 5, 6 (tranne 6.5 e 6.6), 7.
Readings: A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw-Hill, 2007 (II ed.), Chapters 3, 4, 5, 6 (except for 6.5 e 6.6), 7.
- Oggetto:
Note
- Oggetto: