Salta al contenuto principale
CODICE 65151
ANNO ACCADEMICO 2016/2017
CFU
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

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