- Oggetto:
LOGICA MOD. 2 (LAUREA TRIENNALE)
- Oggetto:
Anno accademico 2009/2010
- Docente
- Prof. Maurizio Negri (Titolare del corso)
- Corso di studi
- [f005-c702] laurea in filosofia
- Anno
- 1° anno 2° anno 3° anno
- Periodo didattico
- Primo semestre - seconda 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: strutture e omomorfismi, definizioni induttive, algebra delle formule, semantica come omomorfismo dell’algebra delle formule nell’algebra dei significati, calcolo dei sequenti, teorema di validità. Teorema di completezza per la logica proposizionale.
Programma da 5 crediti: M. Negri, Logica, la teoria classica dell’inferenza, LED, 2001. 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).
Programma da 6 crediti: M. Negri, Logica, la teoria classica dell’inferenza, LED, 2001. 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.10 alla fine).
Classical propositional and first order logic: structures and homomorphisms, inductive definitions, the algebra of formulas, semantics as a homomorphism from the algebra of formulas to the algebra of meanings, a sequent calculus, the soundness theorem. The completeness theorem for propositional logic.
Readings. M. Negri, Logica, la teoria classica dell’inferenza, LED, 2001. Chapters 1 (except for 1.5 e 1.6), 2 (except for 2.7), 3 (except for 3.2, 3.10, 3.11), 4 (except for 4.2 and paragraphs from 4.10 to the end).
Testi consigliati e bibliografia
- Oggetto:
-
- Oggetto:
Note
- Oggetto:
