PRESENTAZIONE

Oggetto del corso sono i concetti base della logica modale proposizionale. Verranno anche esaminate le loro applicazioni filosofiche (epistemiche, deontiche, temporali, metafisiche).

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Introdurre alcuni temi avanzati di logica, con particolare attenzione alle relazioni che sussistono con problemi inerenti varie discipline filosofiche, quali semantica, ontologia e metafisica.

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

Obiettivi dell'insegnamento sono:

- consolidare le competenze di logica apprese durante il corso di studio triennale;

- apprendere alcune nozioni metateoriche fondamentali (quali sistema formale, modello, correttezza e completezza di un sistema formale);

- apprendere le nozioni chiave della logica modale proposizionale;

- approfondire la comprensione della rilevanza delle tecniche logiche per l’argomentazione filosofica.

Al termine dell'insegnamento, lo studente dovrà essere in grado di:

- utilizzare i concetti chiave della logica modale proposizionale e della semantica intensionale;

- impiegare tali concetti nell’argomentazione filosofica;

- comprendere, spiegare e sintetizzare alcuni testi di logica filosofica.

PREREQUISITI

L’insegnamento presuppone alcune competenze base di logica, che corrispondono ai contenuti dell’insegnamento di Logica del corso di laurea triennale in filosofia. 

MODALITA' DIDATTICHE

- La prima parte del corso prevede lezioni frontali tenute dal docente;

- la seconda parte del corso prevede presentazioni in classe tenute dagli studenti frequentanti.

Durante il corso, compatibilmente con le risorse disponibili, potrebbero essere invitati esperti esterni a tenere seminari su temi specifici.

Gli studenti sono tenuti a iscriversi ad Aulaweb, dove saranno caricati materiali utili per il corso.

PROGRAMMA/CONTENUTO

Prima parte del corso:

- introduzione di alcune nozioni semantiche fondamentali (estensione, intensione) a partire dagli sviluppi storici della semantica filosofica;

- introduzione di alcune nozioni metateoriche di base: sistema formale, modello, teoremi di correttezza e completezza;

- introduzione dei concetti fondamentali della logica modale proposizionale aletica: semantica di Kripke, sistemi K, T, S4, S5;

- cenni di logica modale deontica e temporale;

- cenni di logica epistemica; il problema dell’onniscienza logica e i limiti della semantica di Kripke.

Seconda parte del corso:

- presentazione a carattere seminariale di alcuni articoli inerenti i temi trattati nella prima parte.

TESTI/BIBLIOGRAFIA

Studenti frequentanti

1) Frixione M., Iaquinto S., Vignolo M., Introduzione alle logiche modali, Laterza, capp. 1-4.

2) Palladino D., Palladino C., 2007, Logiche Non Classiche: Un’introduzione, Carocci (i capitoli che verranno indicati a lezione).

3) Un articolo da presentare in aula tra quelli che verranno resi disponibili su Aulaweb.

Studenti NON frequentanti

1) Frixione M., Iaquinto S., Vignolo M., Introduzione alle logiche modali, Laterza, capp. 1-4.

2) Palladino D., Palladino C., 2007, Logiche Non Classiche: Un’introduzione, Carocci (per i capitoli da studiare contattare il docente)

3) Due articoli a scelta tra quelli che verranno resi disponibili su Aulaweb.

DOCENTI E COMMISSIONI

Commissione d'esame

DANIELE PORELLO (Presidente)

MARCELLO FRIXIONE

MARIA CRISTINA AMORETTI (Supplente)

LEZIONI

INIZIO LEZIONI

7 aprile 2021

Orari delle lezioni

LOGICA (LM)

ESAMI

MODALITA' D'ESAME

Studenti frequentanti: presentazione in classe ed esame orale. Le modalità e i tempi della presentazione saranno concordate a lezione.

Studenti NON frequentanti: esame orale.

La preiscrizione all’esame è obbligatoria e deve essere effettuata almeno una settimana prima dell’appello prescelto.

MODALITA' DI ACCERTAMENTO

Studenti frequentanti:

- la presentazione in classe (15 punti su 30) valuta la capacità dello studente di comprendere, sintetizzare ed esporre un testo di logica filosofica, e di applicare gli strumenti del ragionamento logico a problemi di tipo filosofico;

- l’esame orale (15 punti su 30) valuta la capacità dello studente di comprendere, ritenere, spiegare ed applicare concetti e ragionamenti di logica filosofica.

Studenti NON frequentanti: 

l’esame orale valuta la capacità dello studente di comprendere, ritenere, spiegare ed applicare concetti e ragionamenti di logica filosofica.

In entrambi i casi, ai fini della valutazione saranno presi in considerazione l'uso corretto del lessico tecnico, la qualità dell'esposizione, nonché la capacità di ragionamento critico e argomentativo.

Calendario appelli

ALTRE INFORMAZIONI

Coloro che non frequentano le lezioni sono tenuti a mettersi in contatto con il docente.