Nessuno

Il corso si propone di offrire un’introduzione ai metodi della logica e al suo rapporto con il linguaggio naturale e il ragionamento scientifico e di senso comune. Si introdurranno elementi di base di logica classica, sia proposizionale che del primo ordine, elementi di ragionamento insiemistico e probabilistico, e cenni su logiche modali.

Capacità di argomentare in maniera rigorosa e competenza nella traduzione tra linguaggio naturale e linguaggi formali. Competenza di base nel formalismo matematico della logica, e capacità di ragionare con i suoi aspetti sintattici e semantici.

- Didattica frontale.

- Esercitazioni in classe, svolte dal docente e dagli studenti, allo scopo di familiarizzare coi concetti principali di logica e probabilità e chiarire eventuali incomprensioni.

Prova scritta, con discussione orale dei risultati. Si verificherà la conoscenza delle nozioni principali e la capacità di utilizzare i formalismi sintattici e semantici della logica proposizionale e del primo ordine.

Gli appelli e la commissione d'esame saranno disponibili sul sito dell'insegnamento, appena definiti

Introduzione alla logica e all’argomentazione. Fallacie di ragionamento.

Logica proposizionale: linguaggio, semantica e sistemi di deduzione.

Logica del primo ordine: linguaggio, semantica e sistemi di deduzione.

Elementi di ragionamento su insiemi e relazioni.

Elementi di ragionamento probabilistico

Cenni su logiche modali.

Un manuale di logica, a scelta tra:

- D. Palladino, M.Frixione (cura).  Corso di logica. Introduzione elementare al calcolo dei predicati. Carrocci Editore, 2021.

- A. Varzi, J.Nolt, D.Roatyn. Logica. McGraw-Hill

 Dispense fornite dal docente, caricate online dopo le lezioni

Per approfondimenti (opzionali):

- Open Logic Project (Manuale di logica disponibile gratuitamente online, a cura di diversi docenti di logica internazionali) https://openlogicproject.org/

- M.D’Agostino, H. Hosni. Logica. Idee, metodi e applicazioni in tre percorsi facili. Einaudi 2024

- A. Ciabattoni, A. Asperti. Logica ad Informatica. McGraw-Hill