Unit 2

Schemi argomentativi deduttivi comuni e fallacie formali.

La logica proposizionale: forme argomentative, operatori logici, formalizzazione, sintassi e regole di formazione, semantica e tavole di verità, tautologie. Il calcolo proposizionale: regole d'inferenza di base, regole d'inferenza ipotetiche, regole derivate, teoremi, equivalenze.

Logica Categorica: asserzioni categoriche, diagrammi di Venn, inferenze dirette, quadrato aristotelico, sillogismi categorici.

Logica dei Predicati: quantificatori e variabili, predicati e nomi, sintassi e regole di formazione, semantica e modelli, l'identità.

• Varzi et al.: cap. 3, 5 e 6 (tranne par. 3.7, 6.5)
• Dispense: Teoria dell'Argomentazione (solo par. 4 e 10), Schemi argomentativi, Le fallacie (solo par. 1 e 2)
• Esercizi svolti: Sillogismi, Semantica Predicativa
• Eserciziari di autovalutazione: Quiz 2.1, Quiz 2.2, Quiz 2.3, Quiz 2.4, Quiz 2.5