LOGICA - 150064

insegnamento
ID:
150064
Dettaglio:
SSD: LOGICA E FILOSOFIA DELLA SCIENZA Durata: 36 CFU: 6
Sede:
BERGAMO
Url:
FILOSOFIA, SCIENZE E SOCIETÀ - 181-R/Mente, conoscenza, realtà Anno: 2
Anno:
2026

Dati Generali

Periodo di attività

Primo Semestre (21/09/2026 - 18/12/2026)

Syllabus

Obiettivi Formativi

Il corso si propone di fornire gli strumenti concettuali di base per l'analisi logica del discorso dichiarativo (nomi, funtori, relazioni, connettivi, quantificatori) e delle argomentazioni razionali (tavole di verità, alberi di Beth, nozione di conseguenza logica), al fine di consolidare negli studenti le capacità analitiche necessarie all'organizzazione e alla comunicazione del pensiero filosofico.


Prerequisiti

Nessuno.

Metodi didattici

Lezioni frontali. Si darà comunque l'opportunità agli studenti frequentanti di costruire, durante la fase finale del corso, momenti di discussione seminariale intorno a testi e problemi della logica contemporanea.

Verifica Apprendimento

Esame scritto e orale.
L'esame si dividerà in due parti: la prima, tramite un esame scritto, è volta a verificare attraverso la soluzione di esercizi, la capacità di applicare a semplici problemi di analisi e di deduzione logica le nozioni apprese attraverso lo studio dei testi d'esame. La seconda parte, tramite un esame orale che si terrà non appena sarà terminata la prova scritta, mira a valutare la comprensione e la capacità di esporre chiaramente i risultati e i metodi utilizzati durante la prova scritta. Il voto finale sarà la media tra il risultato della prova scritta ed il risultato della prova orale.

Contenuti

1) Introduzione alla logica enunciativa e predicativa classica. Analisi logica e formalizzazione del discorso dichiarativo; - Concezione classica dei connettivi logici; - Tavole di verità; - Quantificatori logici; Metodo del controesempio di Beth (tableaux); Introduzione intuitiva alle logiche non classiche.


2) Introduzione storica al problema dei fondamenti della matematica tra il XIX e il XX secolo: la teoria degli insiemi e il problema del continuo.


Risorse Online

Altre informazioni

Testi d'esame:

1) A. CANTINI, P. MINARI, Introduzione alla logica. Linguaggio, significato, argomentazione, Mondadori Education, Milano, 2009 (solo le parti I e II).


2) Durante il corso, agli studenti frequentanti verranno distribuiti una serie di testi di storia della logica a cura del docente.


Corsi

Corsi

FILOSOFIA, SCIENZE E SOCIETÀ - 181-R 
Laurea Magistrale
2 anni
No Results Found

Persone

Altre Info

Insegnamento principale

LOGICA