Högskola och universitet hos Newmaninstitutet, 7,5 högskolepoäng.
A central question in modern logic is what constitutes a valid argument and a good argumentation. In order to answer this question, arguments expressed in natural languages are translated into formal languages of symbolic logic, whereby their logical structure becomes much clearer. In this course, two such formal languages are studied: propositional and predicate-logic language. Several methods in logic for analysis of validity of arguments are also studied. The methods are used in many academic disciplines and are useful for everyday life.