- Oggetto:
- Oggetto:
Logica e linguaggio
- Oggetto:
Logic and language
- Oggetto:
Anno accademico 2018/2019
- Codice dell'attività didattica
- FIL0279
- Docente
- Andrea Iacona (Titolare del corso)
- Corso di studi
- laurea magistrale in Filosofia
- Anno
- 1° anno 2° anno
- 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
-
Inserire il testo
Inserire il testo
- 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 critica di alcune questioni filosofiche che riguardano la logica modale e la logica temporale.
The course is addressed to students who have already taken an introductory course in logic. Its aim is to provide a critical exposition of some philosophical questions that concern modal logic and temporal logic.
- Oggetto:
Risultati dell'apprendimento attesi
Alla fine del corso gli studenti dovranno sapere:
- come può essere definita la semantica di un linguaggio formale con operatori modali
- come può essere definita la semantica di un linguaggio formale con operatori temporali
- come è nato e come è stato affrontato nella storia della filosofia il problema dei futuri contingenti
- quali sono le implicazioni metafisiche più importanti di questo problema
At the end of the course the students will know:
- how can we define the semantics of a formal language with modal operators
- how can we define the semantics of a formal language with temporal operators
- the origins and historical development of the problem of future contingents
- the main metaphysical implications of the problem
- Oggetto:
Modalità di insegnamento
Il corso prevede 36 ore di lezioni in aula.
Lectures (36 hours)
- Oggetto:
Modalità di verifica dell'apprendimento
Esame orale
Oral exam
- Oggetto:
Programma
Il corso si divide in due parti. La prima spiega la semantica delle principali logiche modali e temporali. La seconda ripercorre lo sviluppo storico del problema dei futuri contingenti, dall'antichità fino ad alcuni testi classici della tradizione analitica.
The course has two parts. The first explains the semantics of the main modal and temporal logics. The second outlines the historical development of the problem of future contingents, from antiquity to some classical works of the analytic tradition.
Testi consigliati e bibliografia
- Oggetto:
- Andrea Iacona, 'Futuro', Il Mulino, 2018
- P. Ohrstrom and P. Hasle. Temporal Logic. From Ancient Ideas to Artificial Intelligence, Kluwer 1995
- Andrea Iacona, 'Futuro', Il Mulino, 2018
- P. Ohrstrom and P. Hasle. Temporal Logic. From Ancient Ideas to Artificial Intelligence, Kluwer 1995
Andrea Iacona, 'Futuro', Il Mulino, 2018
- P. Ohrstrom and P. Hasle. The Stanford Encyclopedia of Philosophy (Summer 2011 Edition), chapter Future Contingents.URL = <http://plato.stanford.edu/archives/sum2011/entries/futurecontingents/>, 2011.
- Oggetto:
Note
Inserire il testo
Inserire il testo
- Oggetto: