Non sono richiesti particolari prerequisiti.

Come valutare un’argomentazione? Come costruire dimostrazioni? Che cosa significa confutare una tesi? Il corso propone un itinerario che conduce dall’analisi dei ragionamenti svolti entro il linguaggio ordinario alla logica formale, trattando i principali temi della teoria dell’argomentazione, della logica proposizionale, della logica dei predicati del primo ordine e di alcune logiche non classiche.

Al termine dell'insegnamento lo studente dovrà sapere:

- in che cosa consiste la validità formale

- come è definito l'apparato simbolico della logica enunciativa

- come si usano le tavole di verità

- come si deriva una formula da un insieme di formule in un sistema di deduzione naturale

- come risolvere alcuni esercizi di logica

Per verificare le conoscenze acquisite, agli studenti sarà chiesto di svolgere prove scritte che prevedono esercizi e domande teoriche. Le prove scritte saranno mirate ad accertare la comprensione delle nozioni presentate nel corso e la capacità di fare alcune operazioni logiche elementari.

Scritto

12 giugno 2023, 21 giugno 2023, 10 luglio 2023, 16 ottobre 2023, 12 dicembre 2023, 13 febbraio 2024

Corso di logica matematica

II semestre

12 cfu

a.a. 2022/2023

Docente titolare: Prof. Giorgio Rizzo

Titolo del corso: Introduzione alla logica matematica

Presentazione

Come valutare un’argomentazione? Come costruire dimostrazioni? Che cosa significa confutare una tesi? Il corso propone un itinerario che conduce dall’analisi dei ragionamenti svolti entro il linguaggio ordinario alla logica formale, trattando i principali temi della teoria dell’argomentazione, della logica proposizionale, della logica dei predicati del primo ordine e di alcune logiche non classiche.

 

Prerequisiti

Non sono richiesti particolari prerequisiti.

 

Presentazione e struttura del corso

Logica proposizionale

Calcolo proposizionale

Logica dei predicati

Calcolo dei predicati

Logiche non classiche (modale, paraconsistente, dialettica, fuzzy, quantistica ed altre).

Accenni ai teoremi di incompletezza di Gödel.

 

Testi di riferimento

A. Varzi, J. Nolt, D. Rohatyn, Logica, McGraw-Hill, 2007;

D. Palladino, C. Palladino, Logiche non classiche, Carocci, Roma 2007.

F. F. Calemi, Argomentare, dimostrare, confutare, Carocci, Roma 2022.

D. Palladino, Corso di logica, Carocci, Roma 2002.

 

Bibliografia secondaria

Altri testi saranno messi a disposizione dello studente nel corso del laboratorio di logica matematica.

 

Conoscenze e abilità da acquisire

Al termine dell'insegnamento lo studente dovrà sapere:

- in che cosa consiste la validità formale

- come è definito l'apparato simbolico della logica enunciativa

- come si usano le tavole di verità

- come si deriva una formula da un insieme di formule in un sistema di deduzione naturale

- come risolvere alcuni esercizi di logica

Per verificare le conoscenze acquisite, agli studenti sarà chiesto di svolgere prove scritte che prevedono esercizi e domande teoriche. Le prove scritte saranno mirate ad accertare la comprensione delle nozioni presentate nel corso e la capacità di fare alcune operazioni logiche elementari.

 

Modalità d’esame

Orale e scritto (esercizi da risolvere)

 

Modalità di prenotazione dell’esame e date degli appelli

Gli studenti possono prenotarsi per l’esame finale esclusivamente utilizzando le modalità previste dal sistema VOL, nei tempi previsti sul portale di Ateneo.

 

Ricevimento

I giorni e l’orario di ricevimento saranno comunicati all’inizio del corso.

 

Commissione d’esame

Presidente Giorgio Rizzo

Commissario Daniela De Leo

Commissario Fabio Sulpizio

A. Varzi, J. Nolt, D. Rohatyn, Logica, McGraw-Hill, 2007;

D. Palladino, C. Palladino, Logiche non classiche, Carocci, Roma 2007.

F. F. Calemi, Argomentare, dimostrare, confutare, Carocci, Roma 2022.

D. Palladino, Corso di logica, Carocci, Roma 2002.