44506 - ISTITUZIONI DI LOGICA (1)

Conoscenze e abilità da conseguire

Questo è un corso obbligatorio per tutti gli studenti di Filosofia e si propone di introdurre gli studenti ad alcuni temi di base della logica come si è andata sviluppando negli ultimi due secoli. Questi temi costituiscono il prerequisito per uno studio sistematico della logica e per un approccio formale all'epistemologia in generale. Il corso sara` disponibile on line all`indirizzo, http://www.moodle.unibo.it/course/category.php?id=23 "Le basi della logica on-line", sì che gli studenti possano svolgere esercitazioni in forma interattiva assistiti da apposito software.

Contenuti

Concetti fondamentali: linguaggi formalizzati, linguaggio oggetto e metalinguaggio; vocabolario logico ed extralogico, forma logica, conseguenza logica, consistenza. Logica proposizionale: funzioni di verità, tautologie. Validità e completezza. Introduzione ai linguaggi predicativi: variabili e quantificatori. La teoria del sillogismo. Traduzione dal linguaggio naturale al linguaggio formale. Gli articoli. I quantificatori numerici. Alberi semantici. Costruzione di modelli. Elementi della logica dell'identità. Cenni di teoria della dimostrazione. Deduzione naturale.

Testi/Bibliografia

"Le basi della logica" on line all`indirizzo http://www.moodle.unibo.it/course/category.php?id=23

Dario Palladino, Corso di Logica, Carocci, 2002.

Metodi didattici

Lezioni ed esercitazioni sia in classe che on-line.

Modalità di verifica e valutazione dell'apprendimento

Esame scritto (non è consentita la consultazione di appunti).

Tests degli anni precedenti sono consultabili a http://www.cs.unibo.it/~corsi/FolderDidattica/tests_precedenti.html

Strumenti a supporto della didattica

Uso di apposito software http://www.moodle.unibo.it/course/category.php?id=23 "Le basi della logica on-line". Lavagna, lavagna luminosa.

Link ad altre eventuali informazioni

http://www.moodle.unibo.it/course/category.php?id=23

Orario di ricevimento

Consulta il sito web di Giovanna Corsi