Home › Didattica › Corsi › Istituzioni di logica –a (Collegio Ghislieri) mutuato da DM 270
Istituzioni di logica –a (Collegio Ghislieri) mutuato da DM 270
- Corsi di laurea:
- Scienze filosofiche
- Docenti:
- Minari Pierluigi
- Anno accademico:
- 2009/2010
- Codice corso:
- 52325
- 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
Programma
Il corso introduce gli studenti alle principali problematiche della logica contemporanea, fornendo le conoscenze basilari relative alla logica enunciativa e dei predicati. Programma dettagliato:
- Verità formale, consequenzialità logica, consistenza logica: nozioni intuitive.
- La forma logica: analisi logica del discorso dichiarativo.
- Logica proposizionale e logica dei predicati: rudimenti (concezione classica della connessione; metodo delle tavole di verità; semantica informale della quantificazione).
- Logica proposizionale e logica dei predicati: il metodo di Beth.
- Classi, relazioni, funzioni, cardinalità; teoremi di Cantor.
- Digressione sulla logica tradizionale (proposizioni categoriche, quadrato aristotelico, sillogismi).
- Computabilità: rudimenti (nozioni informali di algoritmo, decidibilità, semidecidibilità, computabilità; macchine di Turing).
Bibliografia
A. Cantini, P. Minari,
INTRODUZIONE ALLA LOGICA. Linguaggio, significato, argomentazione.
Mondadori Education, Milano 2009.
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