Università degli Studi di Pavia

Dipartimento di Studi Umanistici

HomeDidatticaCorsi › Istituzioni di logica –a (Collegio Ghislieri)

Istituzioni di logica –a (Collegio Ghislieri)

Corsi di laurea:
Filosofia
Docenti:
Minari Pierluigi
Anno accademico:
2010/2011
Codice corso:
500364
Crediti formativi:
6
Ambito:
M-FIL/02 LOGICA E FILOSOFIA DELLA SCIENZA
Decreto Ministeriale:
270/04
Ore di lezione:
30
Periodo:
3º trimestre
Lingua di insegnamento:
Italiano

Modalità

Esame orale

Prerequisiti

Nessuno

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:

  1. Verità formale, consequenzialità logica, consistenza logica: nozioni intuitive.
  2. La forma logica: analisi logica del discorso dichiarativo.
  3. Logica proposizionale e logica dei predicati: rudimenti (concezione classica della connessione; metodo delle tavole di verità; semantica informale della quantificazione).
  4. Logica proposizionale e logica dei predicati: il metodo di Beth.
  5. Classi, relazioni, funzioni, cardinalità; teoremi di Cantor.
  6. Digressione sulla logica tradizionale (proposizioni categoriche, quadrato aristotelico, sillogismi).
  7. 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