Logica

CODICE: 65151
SSD: M-FIL/02
DOCENTE: Marcello FRIXIONE

Logica M-FIL/02

Marcello FRIXIONE

II semestre

Crediti in totale: 9

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

Testi relativi al programma 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

Programma per gli studenti che utilizzano l'insegnamento per 9 cfu

1a parte: 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
2a parte: Ragionamento informale e argomentazione
- Inferenze logiche e ragionamenti ordinari
- Fallacie ed errori di ragionamento
- Inferenze non deduttive

Testi relativi al programma 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

Altre notizie

Eventuali materiali didattici aggiuntivi verranno forniti durante il corso. Per qualunque comunicazione con il docente, utilizzare il seguente indirizzo di posta elettronica: marcello.frixione@gmail.com

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. Esso consente inoltre di affrontare con consapevolezza l'apprendimento di numerose discipline filosofiche.

Marcello Frixione insegna logica presso l’Università degli Studi di Salerno. I suoi interessi di ricerca si situano nel settore delle scienze cognitive e della filosofia delle scienze cognitive. Ha pubblicato vari lavori su riviste scientifiche internazionali, ed alcuni libri in lingua italiana.
Home page