LOGICA

LOGICA

_
iten
Codice
65151
ANNO ACCADEMICO
2017/2018
CFU
9 cfu al 1° anno di 8455 FILOSOFIA (L-5) GENOVA
SETTORE SCIENTIFICO DISCIPLINARE
M-FIL/02
LINGUA
Italiano
SEDE
GENOVA (FILOSOFIA )
periodo
2° Semestre

PRESENTAZIONE

Il corso costituisce una introduzione ai principi di base della logica e delle teorie del ragionamento.

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.

Modalità didattiche

lezione frontale

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

Ricevimento: giovedì dalle 14 alle 16, studio del docente

Commissione d'esame

MARCELLO FRIXIONE (Presidente)

MASSIMILIANO VIGNOLO

NICLA VASSALLO

ANDREA OLDOFREDI

MARIA CRISTINA AMORETTI

CARLO PENCO

LEZIONI

Modalità didattiche

lezione frontale

INIZIO LEZIONI

13 febbraio 2018

ORARI

LOGICA

ESAMI

Modalità d'esame

esame orale

Modalità di accertamento

esame orale