Logic 1 3501-DAO1L
This course is an introduction to formal logic and formal methods in philosophy. The course covers the following topics: Informal methods of evaluating arguments; Formal methods of evaluating arguments: Sentential (propositional) logic, Categorical logic, Predicate (quantificational) logic; Elementary set theory; Relations; Inductive reasoning; Fallacies; Refutations; Probability; Paradoxes; Extensions and alternatives to classical logic: Modal logic, Intuitionistic logic, Fuzzy logic.
Type of course
Bibliography
Course textbooks:
Fogelin, Robert; Sinnott-Armstrong, Walter, Understanding Arguments. An Introduction to Informal Logic, Harcourt Brace College Publishers 1997.
Forbes, Graeme, Modern Logic. A Text in Elementary Symbolic Logic, Oxford University Press, New York - Oxford 1994.
Fisher, Alec, The Logic of Real Arguments, Cambridge University Press, Cambridge 1988.
Supplementary Reading:
Thomson, Anne: Critical Reasoning, Routledge.
Walton, Douglas: Informal Logic, Cambridge University Press.
Forbes, Graeme: Modern Logic, Oxford University Press.