L'insegnamento di Teorie Logiche 1 rientra nell'ambito delle attività Affini e Integrative del Cds in Scienze Filosofiche. Obiettivo del corso è di fornire una conoscenza rigorosa e approfondita delle problematiche e delle metodologie essenziali delle Teorie Logiche.Acquisire una conoscenza elementare della teoria assiomatica degli insiemi di Zermelo-Fraenkel.
scheda docente materiale didattico
B) IL POSITIVO E IL NEGATIVO: IL CALCOLO DEI SEQUENTI FOCALIZZATO PER LA LOGICA LINEARE, LA LUDICA
C) LA COMPLESSITA' IMPLICITA E LA LOGICA LINEARE
D) GEOMETRIA DELLE DIMOSTRAZIONI: LE RETI DIMOSTRATIVE IN LOGICA LINEARE
E) GLI INVARIANTI E LO SVILUPPO DELL’INTERAZIONE TRA DIMOSTRAZIONI: GLI SPAZI COERENTI, LA GEOMETRIA DELL'INTERAZIONE
Il corso si terrà nel II semestre dell’anno accademico 2018-19 (25.02.2019 – 04.04.2019) e consisterà in un'introduzione alla Logica Lineare tenuta da due docenti:
Prof. Jean-Baptiste Joinet (Université Lyon 3, Lyon, France)
Prof. Vito Michele Abrusci (Università Roma Tre, Roma, Italia)
Programma
- Dimostrabilità e dimostrazioni in logica lineare
- Semantica della dimostrabilità e delle dimostrazioni in logica lineare
- Complessità e logica lineare
- Applicazioni della logica lineare
Il programma sarà svolto nella prima parte del corso da Jean-Baptiste Joinet e nella seconda parte del corso da Vito Michele Abrusci, con due approcci complementari.
I parte: Lezioni di Jean-Baptiste Joinet
25.02.2019, 13:00-16:00
28.02.2019, 11:00-14:00
04.03.2019, 13:00-16:00
07.03.2019, 11:00-14:00
11.03.2019, 13:00-14:00
14.03.2019, 11:00-14:00
II parte: Lezioni di Vito Michele Abrusci
18.03.2019, 13:00-16:00
21.03.2019, 11:00-14:00
25.03.2019, 13:00-16:00
28.03.2019, 11:00-14:00
01.04.2019, 13:00-16:00
04.04.2019, 11:00-14:00
Le lezioni avranno luogo al seguente indirizzo:
Scuola di Lettere Filosofia Lingua
Via Ostiense 234
Roma
Metro B: Marconi
La partecipazione è libera. Chi ha intenzione di partecipare è invitato a comunicare il proprio nominativo appena possibile all’indirizzo vitomichele.abrusci@uniroma3.it
(Nota:
- per gli studenti della laurea magistrale in Filosofia dell’Università Roma Tre, il corso è denominato “Teorie Logiche 1”;
- per gli studenti della laurea magistrale in Matematica e per quelli della laurea magistrale in Scienze Comnputazionali dell’Università Roma Tre il corso è denominato “LM510”).
Programma
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEAREB) IL POSITIVO E IL NEGATIVO: IL CALCOLO DEI SEQUENTI FOCALIZZATO PER LA LOGICA LINEARE, LA LUDICA
C) LA COMPLESSITA' IMPLICITA E LA LOGICA LINEARE
D) GEOMETRIA DELLE DIMOSTRAZIONI: LE RETI DIMOSTRATIVE IN LOGICA LINEARE
E) GLI INVARIANTI E LO SVILUPPO DELL’INTERAZIONE TRA DIMOSTRAZIONI: GLI SPAZI COERENTI, LA GEOMETRIA DELL'INTERAZIONE
Il corso si terrà nel II semestre dell’anno accademico 2018-19 (25.02.2019 – 04.04.2019) e consisterà in un'introduzione alla Logica Lineare tenuta da due docenti:
Prof. Jean-Baptiste Joinet (Université Lyon 3, Lyon, France)
Prof. Vito Michele Abrusci (Università Roma Tre, Roma, Italia)
Programma
- Dimostrabilità e dimostrazioni in logica lineare
- Semantica della dimostrabilità e delle dimostrazioni in logica lineare
- Complessità e logica lineare
- Applicazioni della logica lineare
Il programma sarà svolto nella prima parte del corso da Jean-Baptiste Joinet e nella seconda parte del corso da Vito Michele Abrusci, con due approcci complementari.
I parte: Lezioni di Jean-Baptiste Joinet
25.02.2019, 13:00-16:00
28.02.2019, 11:00-14:00
04.03.2019, 13:00-16:00
07.03.2019, 11:00-14:00
11.03.2019, 13:00-14:00
14.03.2019, 11:00-14:00
II parte: Lezioni di Vito Michele Abrusci
18.03.2019, 13:00-16:00
21.03.2019, 11:00-14:00
25.03.2019, 13:00-16:00
28.03.2019, 11:00-14:00
01.04.2019, 13:00-16:00
04.04.2019, 11:00-14:00
Le lezioni avranno luogo al seguente indirizzo:
Scuola di Lettere Filosofia Lingua
Via Ostiense 234
Roma
Metro B: Marconi
La partecipazione è libera. Chi ha intenzione di partecipare è invitato a comunicare il proprio nominativo appena possibile all’indirizzo vitomichele.abrusci@uniroma3.it
(Nota:
- per gli studenti della laurea magistrale in Filosofia dell’Università Roma Tre, il corso è denominato “Teorie Logiche 1”;
- per gli studenti della laurea magistrale in Matematica e per quelli della laurea magistrale in Scienze Comnputazionali dell’Università Roma Tre il corso è denominato “LM510”).
Testi Adottati
V. MICHELE ABRUSCI, LEZIONI DI LOGICA LINEARE, 2018 (IN PREPARAZIONE)Modalità Erogazione
Quattro ore di lezione alla settimana, nella prima parte del semestreModalità Valutazione
Risposta (alla lavagna) ad alcune domande sul programma.