CODICE 65151 ANNO ACCADEMICO 2020/2021 CFU 9 cfu anno 2 FILOSOFIA 8455 (L-5) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE M-FIL/02 SEDE GENOVA PERIODO 2° Semestre MATERIALE DIDATTICO AULAWEB PRESENTAZIONE Il corso costituisce una introduzione ai principi di base della logica proposizionale e dei predicati, e della logica modale proposizionale. OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI Il corso Introduce le basi della logica classica per lo studio delle argomentazioni. In particolare, il corso fornisce le basi della logica delle proposizioni e della logica dei predicati e indica a alcuni elementi di logica modale. Obiettivo del corso è acquisire la consapevolezza teorica e pratica che lo studio delle deduzioni mediante gli strumenti della logica abitua all'impiego appropriato e consapevole del linguaggio naturale, esercita la precisione e il rigore nelle argomentazioni, e aiuta a organizzare con coerenza i discorsi e la nostra attività di ragionamento. OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO Introdurre le basi dell’apparato concettuale e terminologico della logica classica; - Introdurre le basi della logica proposizionale; - Introdurre la logica dei predicati del primo ordine e le principali nozioni semantiche; - Introdurre i principi base della formalizzazione logica delle argomentazioni; - Introdurre la metodologia degli alberi semantici per la logica proposizionale e per la logica dei predicati; - Introdurre i concetti base della logica modale. - Esercitare la capacità di formalizzare argomentazioni in un linguaggio naturale mediante gli strumenti della logica; - Esercitare la capacità di analizzare e valutare la correttezza delle argomentazioni. Al termine del corso, lo studente dovrà essere in grado di: - Conoscere il vocabolario tecnico e l’apparato concettuale di base della logica; - Comprendere i concetti di base della logica proposizionale, dei predicati del primo ordine, e della logica modale proposizionale; - Formalizzare usando la logica semplici enunciati del linguaggio naturale; - Valutare usando i calcoli introdotti le inferenze logiche. - Analizzare e valutare semplici esempi di ragionamento in linguaggio naturale. PREREQUISITI È necessario aver frequentato il corso RAGIONAMENTO E TEORIA DELLA SCIENZA del primo anno. MODALITA' DIDATTICHE Lezioni frontali ed esercitazioni. La frequenza è caldamente consigliata. Gli studenti sono tenuti a iscriversi ad Aulaweb, dove saranno caricati materiali utili per il corso. PROGRAMMA/CONTENUTO Programma per gli studenti che utilizzano l'insegnamento per 6 cfu Logica delle proposizioni e logica dei predicati - Che cos'è e cosa studia la logica - La nozione di inferenza - La logica delle proposizioni - Inferenze proposizionali con il metodo degli alberi semantici - Il linguaggio della logica dei predicati - Formalizzare enunciati mediante il linguaggio predicativo - Inferenze predicative con il metodo degli alberi semantici Programma per gli studenti che utilizzano l'insegnamento per 9 cfu 1a parte: Logica delle proposizioni e logica dei predicati - Che cosa è e cosa studia la logica - La nozione di inferenza - La logica delle proposizioni - Inferenze proposizionali con il metodo degli alberi semantici - Il linguaggio della logica dei predicati - Formalizzare enunciati mediante il linguaggio predicativo - Inferenze predicative con il metodo degli alberi semantici 2a parte: Semantica formale; introduzione alla logica modale proposizionale - Il concetto di sistema formale - semantica formale per la logica dei predicati del primo ordine - cenni di logica modale - i sistemi di logica modale proposizionale TESTI/BIBLIOGRAFIA Bibliografia da 6 cfu: Materiali che verranno resi disponibili su aulaweb (dispense, slides, esercizi, bibliografia aggiuntiva). Testi di approfondimento o supporto: D. Palladino, Corso di Logica, Carocci, 2010. Bibliografia da 9 cfu: Materiali che verranno resi disponibili su aulaweb (dispense, slides, esercizi, bibliografia aggiuntiva). Testi di approfondimento o supporto: D. Palladino, Corso di Logica, Carocci 2010. E. Mendelson, Introduzione alla Logica Matematica, Bollati Boringhieri. DOCENTI E COMMISSIONI DANIELE PORELLO Commissione d'esame DANIELE PORELLO (Presidente) MARCELLO FRIXIONE MARIA CRISTINA AMORETTI (Supplente) LEZIONI INIZIO LEZIONI 8 marzo 2021 L'orario di tutti gli insegnamenti è consultabile su EasyAcademy. Orari delle lezioni LOGICA ESAMI MODALITA' D'ESAME Esame scritto: per valutare la capacità di risolvere semplici esercizi utilizzando le tecniche introdotte. Esame orale: vertente sul contenuto delle lezioni e sulle dispense fornite oppure sui testi in bibliografia. La preiscrizione all’esame è obbligatoria e deve essere effettuata almeno una settimana prima dell’appello prescelto. MODALITA' DI ACCERTAMENTO L’esame valuta la capacità dello studente di conoscere e di applicare i concetti fondamentali della disciplina. Calendario appelli Data appello Orario Luogo Tipologia Note 21/01/2021 09:00 GENOVA Esame su appuntamento 21/01/2021 09:00 GENOVA Orale 04/02/2021 09:00 GENOVA Esame su appuntamento 04/02/2021 09:00 GENOVA Orale 09/06/2021 10:00 GENOVA Orale 09/06/2021 10:00 GENOVA Orale 30/06/2021 10:00 GENOVA Orale 30/06/2021 10:00 GENOVA Orale 13/07/2021 10:00 GENOVA Orale 13/07/2021 10:00 GENOVA Orale 07/09/2021 10:00 GENOVA Orale ALTRE INFORMAZIONI Coloro che fossero impossibilitati a frequentare le lezioni sono tenuti a mettersi in contatto con i docenti.