(Obbligatorio per tutti gli studenti di Filosofia)
Intensivo I semestre - I ciclo
Inizio del corso : 5 ottobre 2005
Durata : 5 settimane
Orario
LUN aula III, via Zamboni 38
MAR aula III, via Zamboni 38
GIO aula III, via Zamboni 38
Crediti : 5 cfu
PROGRAMMA
Valido per l'esame scritto di giovedì 29 settembre 2005
Titolo: Elementi di logica formale
Concetti fondamentali: linguaggi formalizzati; linguaggio oggetto e metalinguaggio; vocabolario logico ed extralogico, conseguenza logica, consistenza.
Logica proposizionale: funzioni di verità, tautologie, validità e completezza.
Elementi di teoria del sillogismo.
Introduzione ai linguaggi predicativi: variabili e quantificatori.
Traduzione dal linguaggio naturale al linguaggio formale. Gli articoli. i quantificatori numerici.
Alberi semantici. Costruzione di contromodelli.
Elementi della logica dell'identità.
L'esame è solo scritto.
Bibliografia
Dario Palladino "Corso di logica", Carocci 2002, pp 15-244.
Dispense: