CODICE 84346 ANNO ACCADEMICO 2018/2019 CFU 6 cfu anno 1 METODOLOGIE FILOSOFICHE 8465 (LM-78) - GENOVA 6 cfu anno 2 METODOLOGIE FILOSOFICHE 8465 (LM-78) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE M-FIL/02 LINGUA Italiano SEDE GENOVA PERIODO 2° Semestre MATERIALE DIDATTICO AULAWEB PRESENTAZIONE Oggetto del corso sono i concetti base della logica modale proposizionale. 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: semantioca 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, Iaquinto, Vignolo, Introduzione alle logiche modali, Laterza, capp. 1-4 2) Un articolo da presentare in aula tra quelli che verranno resi disponibili su Aulaweb. Studenti NON frequentanti 1) Frixione, Iaquinto, Vignolo, Introduzione alle logiche modali, Laterza, capp. 1-4 2) Due articoli a scelta tra quelli che verranno resi disponibili su Aulaweb. DOCENTI E COMMISSIONI MARCELLO FRIXIONE Ricevimento: Giovedì 14-16 DAFIST, sezione di Filosofia, Via Balbi 4, II piano Commissione d'esame MARCELLO FRIXIONE (Presidente) MARIA CRISTINA AMORETTI FILIPPO DOMANESCHI MICHELE MARSONET ANDREA OLDOFREDI DAVIDE SERPICO NICLA VASSALLO MASSIMILIANO VIGNOLO LEZIONI INIZIO LEZIONI martedì 30 ottobre 2018 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. ALTRE INFORMAZIONI Coloro che non frequentano le lezioni sono tenuti a mettersi in contatto con la docente.