- Oggetto:
LOGICA MOD. 2 (LAUREA TRIENNALE)
- Oggetto:
Anno accademico 2008/2009
- Codice dell'attività didattica
- LF738
- Docente
- Prof. Maurizio Negri (Titolare del corso)
- Corso di studi
- [f005-c302] laurea i^ liv. in filosofia - a torino
- Anno
- 1° anno2° anno3° anno
- Periodo didattico
- Primo semestre - seconda parte
- Tipologia
- Per tutti gli ambiti
- Crediti/Valenza
- 5
- SSD dell'attività didattica
- M-FIL/02 - logica e filosofia della scienza
- Oggetto:
Sommario insegnamento
- Oggetto:
Programma
Il programma del secondo modulo di logica consiste nel proseguimento dello studio della logica classica iniziato nel primo modulo. Per questo motivo è consigliabile, pur non essendo indipensabile, aver frequentato il primo modulo. Dopo una presentazione dei concetti di struttura algebrica e di morfismo fra strutture, la semantica della logica enunciativa viene presentata come morfismo tra l'algebra delle formule e quella dei significati. Si introduce quindi un calcolo di sequenti e si dimostra il teorema di completezza. La stesso discorso, se si esclude la dimostrazione di completezza, viene replicato per la logica predicativa.
Il programma d'esame del secondo modulo di logica è costituito dai capitoli 1 (tranne 1.5 e 1.6), 2 (tranne 2.7), 3 (tranne 3.2, 3.10, 3.11), 4 (tranne 4.2 e i paragrafi da 4.5 alla fine) di:
M. Negri, Logica, la teoria classica dell'inferenza, LED, 2001.Testi consigliati e bibliografia
- Oggetto: