CdSFILOSOFIA E FORME DEL SAPERE
Codice227MM
CFU6
PeriodoSecondo semestre
LinguaItaliano
| Moduli | Settore/i | Tipo | Ore | Docente/i | |
| LOGICA (S) | M-FIL/02 | LEZIONI | 36 |
|
Nel seminario si riprenderanno e approfondiranno i temi del corso triennale di logica, e cioè le teorie della logica quantificazionale sia dal punto di vista sintattico della loro costruzione linguistica, sia da quello semantico della presentazione delle possibili strutture che possono essere considerate le interpretazioni o realizzazioni di quelle teorie. Si analizzeranno alcuni risultati che caratterizzano potenzialità e limitazioni espressive di quelle teorie, fino ad accennare ai famori risulati limitativi ottenuti da K. Goedel nel 1931 per le teorie dell'aritmetica.
The seminar will provide a deep rethinking of the logical structures studied in the "triennale" course in Logic. The first order Logic will be analysed both from the linguisitic and the deductivistic point of view. Further results will be proposed, like those concerning "identity" expressed at the first ordr level. Moreover, various alternatives to the classical logic will be presented; most notably the intuitionistic and the relevantist paradigm.
Le conoscenze acquisite saranno verificate sia con un esame orale conclusivo sia con la presentazione, da parte degli studenti, di una breve relazione su uno dei temi affrontati nel seminaruio.
The student will be assessed on his/her demonstrated ability to discuss the main course contents using the appropriate terminology. During the oral exam the student must be able to demonstrate his/her knowledge of the course material and be able to discuss the reading matter thoughtfully and with propriety of expression. With the oral presentation, to be made to the teacher and the other students, the student must demonstrate the ability to approach a circumscribed research problem, and organise an effective exposition of the results.
Methods:
- Final oral exam
- Written report
Further information:
Final oral exam 70%; seminar presentation 30%
Lo studente dovrà apprendere le procedure di costruzione della logica quantificazionale del I ordine, sapendo cogliere anche il significato teorico generale dei risultati esaminati.
Le capacità acquisite saranno verificate sia con un esame orale conclusivo sia con la presentazione, da parte degli studenti, di una breve relazione su uno dei temi affrontati nel seminaruio.
Lo studente dovrà seguire attentamente le lezioni, intervenendo con osservazioni, domande e proponendo approfondimenti o estensioni di quanto discusso a lezione.
Il docente provvederà a controllare il grado di apprendimento facendo domande e proponendo esercizi durante la lezione.
Il seminario si propone come continuazione del corso di logica triennale e quindi è assunta una conoscenza generale dei temi di quel corso.
The seminar presupposes a general acquaintance with the material usually covered in a first course in logic, as the "triennale2 course.
Lo studente deve cercare di tenersi costantemente aggiornato sui temi presentati poiché la comprensione di ciascuno è presupposta per la comprensione dei successivi.
Delivery: face to face
Learning activities:
- attending lectures
- participation in seminar
- preparation of oral/written report
- participation in discussions
- individual study
Attendance: Advised
Teaching methods:
- Lectures
- Seminar
- Caratteristiche sintattiche e semantiche fondamentale della logica quantificazionale del I ordine
- Potenzialità e limiti espressivi della logica quantificazionale del I ordine
Parti scelte del volume di Marletti, Moriconi, Mariani, Argomenti di Logica.
The material is covered in selected portions of the book "Argomenti di Logica", Pisa Univ. Press, by C. Marletti et al.
Il programma è lo stesso anche per i non frequentanti, i quali però faranno bene a contattare il docente stesso per ogni questione.
Le conoscenze acquisite saranno verificate sia con un esame orale conclusivo sia con la presentazione, da parte degli studenti, di una breve relazione su uno dei temi affrontati nel seminaruio.
The examination will consists in an oral part and a written report on a subject proposed by the teacher.
Inizio del seminario: giovedì 2 marzo