- Oggetto:
- Oggetto:
LOGICA (LAUREA TRIENNALE)
- Oggetto:
Anno accademico 2012/2013
- Codice dell'attività didattica
- LET0310
- Docente
- Maurizio Negri (Titolare del corso)
- Corso di studi
- controllare nei Piani carriera a quali Corsi di studio è offerto l'insegnamento, a seconda della coorte di riferimento
- 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
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Orale
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
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.
- Oggetto:
Programma
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.
Testi consigliati e bibliografia
- Oggetto:
A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw-Hill, 2007 (II ed.)
A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw-Hill, 2007 (II ed.)
- Oggetto:
Note
- Oggetto: