- Oggetto:
- Oggetto:
Logica
- Oggetto:
Anno accademico 2013/2014
- Codice dell'attività didattica
- LET0310 - 6 cfu
- Docente
- Prof. Andrea Iacona (Titolare del corso)
- Corso di studi
- laurea magistrale in Filosofia
- Anno
- 1° anno 2° anno
- Tipologia
- Per la tipologia dell'attività controllare il piano carriera
- Crediti/Valenza
- 6
- SSD dell'attività didattica
- M-FIL/02 - logica e filosofia della scienza
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Scritto
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Il corso si rivolge a studenti di filosofia (o di altre discipline) che abbiano già frequentato un corso introduttivo di logica. Il suo scopo è quello di fornire ulteriori chiarimenti sulla logica predicativa e di illustrare alcuni importanti risultati metateorici che la riguardano.
The course is addressed to students who have already taken an introductory course in logic. Its aim is to provide further clarifications about predicate logic and to outline some important metatheoretical results concerning it.
- Oggetto:
Risultati dell'apprendimento attesi
Per verificare le conoscenze acquisite, agli studenti sarà chiesto di svolgere prove scritte che prevedono esercizi e domande teoriche. Le prove scritte saranno mirate ad accertare la comprensione delle nozioni presentate nel corso e la capacità di fare alcune dimostrazioni elementari.
To verify the knowledge acquired, students will be asked to do written tests that include exercises and theoretical questions. The written tests will be intended to check their understanding of the notions presented in the course and their capacity to carry out some dimostrazioni elementari.
- Oggetto:
Programma
Il corso si divide in tre parti. Nella prima saranno introdotte alcune nozioni fondamentali della teoria della logica predicativa, sarà presentato un linguaggio predicativo e sarà definito un sistema assiomatico basato su quel linguaggio.
Nella seconda parte saranno illustrate alcune proprietà sintattiche del sistema, sarà definita la nozione di teoria del prim'ordine e saranno presentati alcuni risultati che valgono per le teorie del prim'ordine.
Nella terza parte saranno dimostrati alcuni risultati importanti, tra i quali i teoremi di correttezza e di completezza, e alcuni loro corollari.
The course has three parts. In the first, some fundamental notions of the theory of predicate logic will be introduced, a predicate language will be presented, and an axiomatic system based on that language will be defined.
In the second part, some syntactic properties of the system will be illustrated, the notion of first-order theory will be defined, and some results concerning first-order theories will be presented.
In the third part, some important results will be proved, among which the soundness and completeness theorems, and some of their corollaries.
Testi consigliati e bibliografia
- Oggetto:
- A. Iacona e S. Cavagnetto, Teoria della logica del prim'ordine, Carocci.
- A. Iacona and S. Cavagnetto, Teoria della logica del prim'ordine, Carocci.
- Oggetto:
Note
- Oggetto: