CODICE 65151 ANNO ACCADEMICO 2016/2017 CFU 9 cfu anno 1 FILOSOFIA 8455 (L-5) - SETTORE SCIENTIFICO DISCIPLINARE M-FIL/02 LINGUA Italiano SEDE PERIODO 2° Semestre OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI Introdurre ai due capitoli di base della logica classica: la logica delle proposizioni e la logica dei predicati. Indicare che lo studio della correttezza delle deduzioni mediante strumenti di calcolo appositamente elaborati abitua all'impiego appropriato e consapevole del linguaggio naturale, alla precisione e al rigore nelle argomentazioni e aiuta a organizzare con coerenza i discorsi e la nostra attività di ragionamento. 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: Operatori non verofunzionali, ragionamento informale e argomentazione - cenni di logica modale - Inferenze logiche e ragionamenti ordinari - Fallacie ed errori di ragionamento - Inferenze non deduttive TESTI/BIBLIOGRAFIA Bibliografia per gli studenti che utilizzano l'insegnamento per 6 cfu Dario Palladino, Corso di logica, Carocci, Roma, 2002: introduzione, capp. dall'1 al 5, 8 e 9 Bibliografia per gli studenti che utilizzano l'insegnamento per 9 cfu 1a parte: Dario Palladino, Corso di logica, Carocci, Roma, 2002: introduzione, capp. dall'1 al 5, 8 e 9 2a parte: Marcello Frixione, Come ragioniamo, Laterza, Roma-Bari, 2007 Ulteriori materiali integrativi verranno forniti durante il corso e resi disponibili su aula web. DOCENTI E COMMISSIONI MARCELLO FRIXIONE Commissione d'esame MARCELLO FRIXIONE (Presidente) MARIA CRISTINA AMORETTI ANDREA OLDOFREDI CARLO PENCO NICLA VASSALLO MASSIMILIANO VIGNOLO LEZIONI INIZIO LEZIONI 14 febbraio 2017 Orari delle lezioni LOGICA ESAMI MODALITA' D'ESAME Orale MODALITA' DI ACCERTAMENTO esame orale Calendario appelli Data appello Orario Luogo Tipologia Note 30/03/2017 15:00 GENOVA Orale 08/06/2017 15:00 GENOVA Orale 22/06/2017 15:00 GENOVA Orale 06/07/2017 15:00 GENOVA Orale 14/09/2017 09:00 GENOVA Orale