Vai al contenuto principale
Oggetto:
Oggetto:

Logica (corso avanzato)

Oggetto:

Logic (advanced)

Oggetto:

Anno accademico 2020/2021

Codice dell'attività didattica
FIL0304
Docente
Andrea Iacona (Titolare del corso)
Corso di studi
laurea triennale in Filosofia
Anno
2° anno
Periodo didattico
Primo semestre
Tipologia
Caratterizzante
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
Orale
Prerequisiti
Aver sostenuto l'esame di Logica.
Oggetto:

Sommario insegnamento

Oggetto:

Obiettivi formativi

L'insegnamento si rivolge a studenti di filosofia che abbiano già superato l'esame di Logica. Il suo scopo è quello di fornire un'esposizione dettagliata della logica predicativa e di illustrare alcuni importanti risultati metateorici che la riguardano.

 

The course is addressed to students who have already taken a course in Logic. Its aim is to provide a detailed exposition of predicate logic and to outline some important metatheoretical results concerning it.

 

Oggetto:

Risultati dell'apprendimento attesi

Alla fine dell'insegnamento gli studenti dovranno sapere:
- come si formalizzano enunciati di una lingua naturali in un linguaggio predicativo;
- come è definita la semantica di un linguaggio predicativo;
- come è definito un sistema assiomatico di logica predicativa;
- quali sono e come si dimostrano i principali risultati metateorici sulla logica predicativa.

 

 

At the end of the course the students will know:
- how to formalize sentences of a natural language in a first-order language;
- how the semantics of a first-order language is defined;
- how an axiomatic system of first-order logic is defined;
- the main metatheoretical results on first-order logic.

 

Oggetto:

Modalità di insegnamento

Il corso prevede 36 ore di lezioni in aula o in modalità telematica, che includono esercitazioni. Sarà usata la piattaforma moodle.

 

 

Lectures (36 hours), inclusive of hands-on activities, to be held either in class or online. Teaching materials will be available in Moodle. 

 

Oggetto:

Modalità di verifica dell'apprendimento

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.

 

Students will be asked to take written tests that include exercises and theoretical questions. The written tests will be intended to assess the understanding of the notions presented in class and the capacity to carry out some elementary proofs.

 

Oggetto:

Attività di supporto

Esercitazioni su moodle.

Oggetto:

Programma

L'insegnamento si divide in tre parti. Nella prima saranno dimostrati alcuni risultati fondamentali a proposito della logica proposizionale. Nella seconda 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 terza 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.

 

The course has three parts. The first presents some basic results about propositional logic. The second introduces some fundamental notions of the theory of predicate logic, presents a predicate language and an axiomatic system based on that language. In the third 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. 

 

 

Testi consigliati e bibliografia

Oggetto:

A. Iacona, Logic. Lecture Notes, 2016, capitoli 8-18.

Questo testo sarà disponibile nella pagina campusnet del corso.

 

 

A. Iacona, Logic. Lecture Notes, 2016, chapters 8-18.

 



Oggetto:

Note

 

Le lezioni si svolgeranno su webex a partire dal 30/11, al seguente indirizzo:

 

nformazioni riunione

Collegamento riunione:
https://unito.webex.com/unito/j.php?MTID=m175f0735d8ab2309d40397f329e2b2a3
Numero riunione:
121 377 2101
Password:
VeNUdvHm532
Chiave organizzatore:
269910
 

 

 

The exam can be taken in English.

 

Oggetto:
Ultimo aggiornamento: 01/12/2020 15:52

Non cliccare qui!