Overview of formal logic, as applied to deductively valid inferences, and the analysis of informal or inductive reasoning. The cousre treats mainly of standard propositional and predicate logic, focusing on truth tables, semantic trees, natural deduction and Venn diagrams as methods to test for deductive validity.
Formal and informal fallacies. Short overview of types of inductive reasoning.
Erasmus students not speaking Ductch can get a reading plus exerciuses assignment, based on - Bergmann, M., Moor, James & Nelson Jack, The Logic Book, 4th edition, Boston MA: McGraw-Hill 2004.