Prima parte:

Nozioni basilari di logica informale e formale. La struttura dell'argomentazione corretta. Argomenti validi e argomenti fondati. Monotonia. Uso e menzione dei simboli.

dei simboli. Linguaggio e metalinguaggio. I connettivi vero-funzionali.
Le tavole di verità. Tautologie e contraddizioni. Conseguenza tautologica. La logica categorica (sillogistica).

Seconda parte (e Logica Filosofica)

Il linguaggio del calcolo dei predicati del primo ordine con identità. Variabili libere e variabili vincolate. Regole sintattiche di formazione per i quantificatori e l'identità. La semantica del calcolo dei predicati del primo ordine con identità. La definizione di verità Tarski. Traduzione dal linguaggio naturale al linguaggio simbolico. Il teorema semantico di deduzione. Cenni sui teoremi di validità, completezza, indedicidibilità.