Ragionare significa estrarre conseguenze utili da un corpo di conoscenze preassegnate. La logica si occupa del ragionamento corretto e, specularmente, della rilevazione degli argomenti fallaci. Va da sé che tale disciplina si dimostra di fondamentale utilità in qualsiasi campo intellettuale, *in primis* la filosofia. Inoltre, la logica fornisce tradizionalmente lo strumentario di base per riflettere sulla metodologia delle scienze empiriche e sulla natura della conoscenza scientifica.
Il corso è concepito come un’introduzione alla logica classica proposizionale e al calcolo dei predicati con identità. Gli studenti impareranno a formalizzare gli enunciati del linguaggio naturale e ad applicare i metodi delle tavole di verità e degli alberi di refutazione al fine di determinare la validità logica delle formule e la correttezza logica delle forme argomentative.
Testi:
A. Varzi, J. Nolt, and D. Rohatyn, *Logica*, McGraw-Hill Italia. (Capitoli 3 e 6)
English
Italiano