Home › Didattica › Corsi › Istituzioni di logica –b (Collegio Ghislieri) mutuato da DM 270
Istituzioni di logica –b (Collegio Ghislieri) mutuato da DM 270
- Corsi di laurea:
- Scienze filosofiche
- Docenti:
- Minari Pierluigi
- Anno accademico:
- 2009/2010
- Codice corso:
- 52367
- Crediti formativi:
- 5
- Ambito:
- M-FIL/02 LOGICA E FILOSOFIA DELLA SCIENZA
- Decreto Ministeriale:
- 509/99
- Ore di lezione:
- 30
- Lingua di insegnamento:
- Italiano
Modalità
Prerequisiti
Aver frequentato il corso di Istituzioni di Logica -a, oppure essere in possesso di conoscenze equivalenti (da accertare in un colloquio con il docente).
Programma
Il corso introduce gli studenti alla riflessione metalogica e alle logiche modali, fornendo le conoscenze basilari relative a: deduzione naturale; semantica tarskiana; teorema di completezza di Gödel, semantica a mondi possibili. Programma dettagliato:
- Morfologia e semantica tarskiana della logica elementare (definizioni induttive e dimostrazioni per induzione; linguaggi elementari; problemi della concezione classica della verità e paradossi semantici; strutture, soddisfacibilità, modelli; conseguenza logica.
- Caratterizzazioni formali della deducibilità al livello elementare (nozione informale di prova / deduzione; paradigma Frege-Russell-Hilbert e paradigma Gentzen; calcoli di tipo assiomatico; il calcolo della deduzione naturale).
- Il teorema di adeguatezza generale per la logica elementare (validità, completezza, adeguatezza, compattezza; dimostrazione del teorema di validità; dimostrazione del teorema di completezza; corollari: compattezza, Löwenheim-Skolem; limiti della logica elementare).
- Logiche modali e semantica di Kripke. Logiche non-classiche.
Bibliografia
Appunti distribuiti dal docente. Per approfondimenti:
- E. Casari, Introduzione alla Logica, UTET, Torino 1997 (capitoli 1-8);
- D. van Dalen, Logic and Structure, Springer, Berlin Heidelberg 2004 (capitoli 1-3 e 6).
Elenco appelli e prove
Nessuna prova presente
Dipartimento di Studi Umanistici
Università degli Studi di Pavia
Segreteria amministrativa: Piazza Botta, 6 - 27100 Pavia
Segreteria didattica: Corso Strada Nuova, 65 - 27100 Pavia
Sezioni del Dipartimento
Email: webmaster.lettere (at) unipv.it