Vai al contenuto principale
Coronavirus: aggiornamenti per la comunità universitaria / Coronavirus: updates for UniTo Community
Oggetto:
Oggetto:

Logic

Oggetto:

Logic

Oggetto:

Anno accademico 2017/2018

Codice dell'attività didattica
FIL0174
Docente
Andrea Iacona (Titolare del corso)
Corso di studi
laurea magistrale in Filosofia
Anno
1° 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
Inglese
Modalità di frequenza
Facoltativa
Tipologia d'esame
Scritto
Prerequisiti

Aver sostenuto un esame di logica elementare

English text

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 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 an introductory 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 del corso 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

- che cos'è la logica modale

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

- what is modal logic

Oggetto:

Modalità di insegnamento

Il corso prevede 36 ore di lezioni in aula, che includono esercitazioni.

Lectures (36 hours).

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.

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 elementary proofs.

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 forniti i rudimenti della logica modale.

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. The third part will provide the rudiments of modal logic.

Testi consigliati e bibliografia

Oggetto:

Andrea Iacona, 'Logic', 2016, capitoli 7-13.

Questo testo sarà disponibile nella pagina campusnet del corso e nella pagina personale del docente, https://unito.academia.edu/AndreaIacona, sotto 'teaching documents'.

Andrea Iacona, 'Logic', 2016, chapters 7-13.

This text will be available on the campusnet page of the course and on the teacher's homepage, https://unito.academia.edu/AndreaIacona, under 'teaching documents'.



Oggetto:

Orario lezioni

GiorniOreAula
Lunedì14:00 - 16:00Aula di Antica Palazzo Nuovo - Piano secondo
Martedì16:00 - 18:00Aula di Antica Palazzo Nuovo - Piano secondo
Mercoledì14:00 - 16:00Aula di Antica Palazzo Nuovo - Piano secondo

Lezioni: dal 06/11/2017 al 20/12/2017

Nota:
Lunedì 27/11 si terrà lezione dalle 14 alle 18.
Martedì 28/11, mercoledì 29/11, lunedì 4/12, martedì 5/12 e mercoledì 6/12 non si svolgerà lezione.
Lunedì 11/12 e lunedì 18/12 si terrà lezione dalle 14 alle 18.

Oggetto:

Note

 

Gli studenti che non hanno mai sostenuto un esame di logica ma intendono comunque iscriversi a questo corso possono sostenere l'esame con il programma del corso triennale.

English text

Oggetto:
Ultimo aggiornamento: 21/07/2017 10:35