Programmi - FacoltÓ di Lettere e Filosofia - UniversitÓ di Bari

inizio men¨ di scelta rapida

FacoltÓ di Lettere e Filosofia

A.A. 2004/2005

LOGICA

prof. Luciano Floridi

Tel. 0805714492; e-mail: luciano.floridi@filosofia.uniba.it

Corso di Laurea (triennale) in Filosofia
Programma di Logica, Prof. Luciano Floridi

Crediti attribuiti all’insegnamento: 8

Corso obbligatorio per la terza annualitÓ

Il corso Ŕ suddiviso in due parti, in ordine propedeutico. La prima parte introduce i concetti fondamentali della logica matematica classica di primo ordine: calcolo proposizionale e calcolo dei predicati, validitÓ, vero-funzionalitÓ, computabilitÓ, consistenza, completezza, decidibilitÓ. La seconda parte introduce la logica modale. Ci soffermeremo sui sistemi modali normali, proposizionali. Se ci sarÓ tempo studieremo anche un’applicazione della logica modale, la logica epistemica. Nel corso delle lezioni verranno messe in evidenza alcune delle principali questioni concettuali di interesse filosofico. Particolare attenzione sarÓ inoltre dedicata ai rapporti tra logica e informatica. Il sistema di dimostrazione adottato Ŕ quello standard, molto intuitivo, dei tableaux. Non si presuppone alcuna conoscenza tecnica.

ModalitÓ di valutazione: l’esame consiste in una prova scritta basata sul manuale del corso (Hodges, vedi sotto) e in una discussione orale dello scritto. Le due prove vengono valutate complessivamente. ╚ necessario iscriversi per sostenere l'esame.

Tesina: chi lo desidera, pu˛ concordare una tesina, di 8000 parole, che varrÓ ai fini della valutazione finale.

Testi d’esame:
1. Margherita Barile, Precorso o Percorso di Matematica (Bagnaria Arsa UD, Edizioni Goliardiche, 2004)
2. F. D’Agostini, Analitici e Continentali – Guida alla filosofia degli ultimi trent’anni (Milano: Cortina, 1997)
3. W. Hodges, Logica (Milano: Garzanti, 1986) e le dispense del corso (gratuite).
Testi consigliati:
1. G. Boniolo e P. Vidali, Strumenti per ragionare (Milano: Bruno Mondadori, 2002)
2. G. Boniolo e P. Vidali, Introduzoine alla filosofia della scienza (Milano: Bruno Mondadori, 2003)
3. F. D'Agostini e N. Vassallo (a cura di), Storia della filosofia analitica (Torino: Einaudi, 2002)
4. R. Girle, Modal logics and philosophy (Teddington: Acumen, 2000).
5. R. Vacca, Anche tu matematico (Milano: Garzanti, 2003).

Se sarÓ possibile, Ŕ in programma una serie di esercitazioni al computer per lo svolgimento degli esercizi di logica nell’aula multimediale.

Orario di ricevimento: tutti i giorni dopo la lezione.

Email: per ulteriori informazioni rivolgersi a luciano.floridi@filosofia.uniba.it

Sito web del corso: tutti i materiali (dispense, esercizi, soluzioni degli esercizi, testi degli esami degli anni accademici precedenti, software didattico) sono disponibili gratuitamente presso il sito web del corso: http://www.wolfson.ox.ac.uk/~floridi/bari/

 

Gli studenti che per motivi documentabili non possano frequentare, in tutto o in parte, le lezioni devono concordare col professore titolare dell’insegnamento le modalitÓ per l’esame.

 

Torna alla pagina dei programmi