Scheda programma d'esame
LOGICA (S)
ENRICO MORICONI
Anno accademico2016/17
CdSFILOSOFIA E FORME DEL SAPERE
Codice227MM
CFU6
PeriodoSecondo semestre

ModuliSettoreTipoOreDocente/i
LOGICA (S)M-FIL/02LEZIONI36
ENRICO MORICONI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

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.

Knowledge

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.

Modalità di verifica delle conoscenze

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.

Assessment criteria of knowledge

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%

Capacità

Lo studente dovrà apprendere le procedure di costruzione della logica quantificazionale del I ordine, sapendo cogliere anche il significato teorico generale dei risultati esaminati.

Modalità di verifica delle capacità

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.

Comportamenti

Lo studente dovrà seguire attentamente le lezioni, intervenendo con osservazioni, domande e proponendo approfondimenti o estensioni di quanto discusso a lezione.

Modalità di verifica dei comportamenti

Il docente provvederà a controllare il grado di apprendimento facendo domande e proponendo esercizi durante la lezione.

Prerequisiti (conoscenze iniziali)

Il seminario si propone come continuazione del corso di logica triennale e quindi è assunta una conoscenza generale dei temi di quel corso.

Prerequisites

The seminar presupposes a general acquaintance with the material usually covered in a first course in logic, as the "triennale2 course.

Indicazioni metodologiche

Lo studente deve cercare di tenersi costantemente aggiornato sui temi presentati poiché la comprensione di ciascuno è presupposta per la comprensione dei successivi.

Teaching methods

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
Programma (contenuti dell'insegnamento)

 

  • Caratteristiche sintattiche e semantiche fondamentale della logica quantificazionale del I ordine
  • Potenzialità e limiti espressivi della logica quantificazionale del I ordine
Bibliografia e materiale didattico

Parti scelte del volume di Marletti, Moriconi, Mariani, Argomenti di Logica.

Bibliography

The material is covered in selected portions of the book "Argomenti di Logica", Pisa Univ. Press, by C. Marletti et al.

Indicazioni per non frequentanti

Il programma è lo stesso anche per i non frequentanti, i quali però faranno bene a contattare il docente stesso per ogni questione.

Modalità d'esame

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.

Assessment methods

The examination will consists in an oral part and a written report on a subject proposed by the teacher.

Note

Inizio del seminario: giovedì 2 marzo

Ultimo aggiornamento 10/05/2017 15:34