- Oggetto:
- Oggetto:
LOGICA MOD. 1 (LAUREA TRIENNALE)
- Oggetto:
Anno accademico 2010/2011
- Codice dell'attività didattica
- LET0310
- Docente
- Maurizio Negri (Titolare del corso)
- Corso di studi
- [f005-c702] Laurea in Filosofia
- 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
Logica classica, proposizionale e predicativa del primo ordine: il linguaggio formale, la semantica, la nozione di conseguenza logica, il calcolo logico come analisi sintattica della nozione semantica di conseguenza.
Classical propositional and first order logic: formal language, semantics, logical consequence, the logical calculus as a syntactical analysis of the semantic notion of consequence.
- Oggetto:
Programma
Programma da 5 crediti: A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw Hill, 2004 (II ed.), capitoli 3, 4, 6 (tranne 6.5, 6.6), 7.
Programma da 6 crediti: A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw Hill, 2004 (II ed.), capitoli 3, 4, 5, 6 (tranne 6.5, 6.6), 7.
The 5 credit program: A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw Hill, 2004 (II ed.), capitoli 3, 4, 6 (tranne 6.5, 6.6), 7.
The 6 credit program: A. Varzi, J. Nolt, D. Rohathyn, Logica, McGraw Hill, 2004 (II ed.), capitoli 3, 4, 5, 6 (tranne 6.5, 6.6), 7.
Testi consigliati e bibliografia
- Oggetto:
- Oggetto:
Note
- Oggetto: