. - Logica
PROF. SERGIO GALVAN
OBIETTIVO DEL CORSO
Introduzione al linguaggio formale.
PROGRAMMA DEL CORSO
1.1 Funzioni della logica.
1.2 Analisi del linguaggio dei predicati: dal linguaggio naturale al linguaggio
simbolico. Stato di cose. Fatto. Proposizione semplice. Soggetto e predicato.
Oggetto ed attributo. Proprietà e relazione. Descrizione definita. Termine
funzionale. Identità. Proposizioni complesse. Quantificatori. Connettivi
proposizionali. Quantificatori più connettivi. Intensione di una proposizione e sua
estensione. Valori di verità. Vari usi del metodo delle tabelle. Nozione di legge
logica proposizionale e di legge logica predicativa. Nozione di legge matematica
non logica. Alcune esemplificazioni.
1.3 Analisi del linguaggio intensionale: Modalità ontiche. Modalità deontiche.
Modalità epistemiche. Modalità pratico-intenzionali. Alcune leggi modali ed
intermodali. Loro significato filosofico.
BIBLIOGRAFIA
S. GALVAN, Logica, La Scuola Editrice, Brescia, 2012, (pp. 7-82).
Degli argomenti del programma gli studenti possono trovare la sintesi negli schemi messi on
line.
DIDATTICA DEL CORSO
Lezioni in aula con esercitazioni.
AVVERTENZE
Gli studenti di Giurisprudenza, che fanno l’esame di Logica (annuale), devono integrare
il programma con una parte del corso di Logica (corso magistrale) da concordare con il
docente.
Orario e luogo di ricevimento
Il Prof. Sergio Galvan riceve gli studenti come da avviso affisso all’albo.
