(Obbligatorio per tutti gli studenti di Filosofia)

Intensivo I semestre - I ciclo
Inizio del corso : martedi' 5 ottobre 2004
Durata : 5 settimane

Orario
LUN 13-15 aula III via Zamboni 38
MAR 13-15 aula III
GIO 15-17 aula III

Crediti : 5 cfu

PROGRAMMA

Valido per il prossimo esame scritto di fine 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à.

Classi e relazioni


L'esame è solo scritto.

Bibliografia

Dario Palladino "Corso di logica", Carocci 2002, pp 15-244.

Dispense