Period: Modul 2 (5/11–13/1)
Ämne: Filosofi, Kurser på engelska
Traditional logic has its roots in Aristotle, who investigated the validity of arguments by studying their formal structure. The question of what separates a valid argument from an invalid argument, as well as good argumentation from bad argumentation is one of the central issues in modern logic. In order to answer this question, symbolic logic develops methods for translating arguments expressed in natural languages into formal languages of symbolic logic. In this way, the logical structure stands out more clearly. Students will examine two such formal languages – propositional and predicate logic. The course will investigate different ways of evaluating the validity of arguments consisting of propositions in these two types of logical languages. In addition, the course will consider the question of what symbolic logic can and cannot tell us about the quality of arguments in different areas of argumentation and reasoning. Moreover, it will enhance abilities of analytical thinking and clear reasoning.
Uppsala: Tuesdays and Thursdays, 4 to 6 pm
Half-distance with obligatory meetings: November 13, December 11 and January 11 2019 (exam)
Course leader: Taeda Tomic