Kursinformation

Philosophical endeavors typically involve the analysis of existing arguments and the presentation of one's own arguments. In order to be able to carry out these activities successfully, one must be able to check existing arguments for logical correctness and be able to create logically correct arguments oneself. The mastery of elementary logical procedures and terminology therefore forms an important basis for studying philosophy, even for students who do not aim to specialize in logic. The course introduces classical propositional logic and then predicate logic, which in many contexts form a recognized standard for logically correct reasoning and on which other philosophically important logics are based. The textbook used in this class is the second edition of Language, Proof and Logic (LPL). In order to acquire the necessary logical skills, it is essential to practice the material taught. For this we will use a software package belonging to LPL. The book (electronic version is sufficient) should therefore be purchased as a new product together with the associated software package. If you purchase the book second-hand, you will not receive a valid registration key. Without a valid registration key (not transferable) you will not be able to use the extensive automatic correction options (https://www.gradegrinder.net/Products/lpl-index.html) for exercises. An electronic version of the book and the software can be purchased together as a "Paperless Package" via https://www.gradegrinder.net/Store/store.html. The courses ”To secure the final paths” form the first part of the module ”Logical Propaedeutics and Methodical Concept Formation”, which is concluded with a written exam after the second semester. We will work with the English text (2nd edition!). The entire class, including examinations, will be in English.