Event Timeslots (1)
Block
-
Solving a wide variety of problems in formal logic requires a great deal of knowledge about which logical techniques can or may be used. Therefore, the aim of this course is to introduce students to various logical techniques and representations of logics, be they proof-theoretical, model-theoretical, of algebraic nature or other, so that they can concentrate on a logical problem itself to be solved. In this course we plan on giving an overview of various forms of proof theoretical representations for (classical and non-classical) logics, as there are axiomatic calculi, tableau calculi, systems of natural deduction, sequent calculi. We will discuss algebraic representations and introduce various model theoretic approaches to problems in formal logic. Thus providing a rich tool kit for prospective logicians. Furthermore, in exercises interwoven with the seminar students will practice the acquired logical techniques in a way such that they ideally learn to select the most suitable for a given problem.
CP can be earned by a graded written exam.
Event times:
Mo (07.04.2025), 16:00 bis 18:00, GABF 04/358
Fr (16.05.2025), 10:00 bis 18:00, GABF 04/358
Sa (17.05.2025), 10:00 bis 18:00, GABF 04/358
Fr (20.06.2025), 10:00 bis 12:00, GABF 04/358
Sa (21.06.2025), 10:00 bis 12:00, GABF 04/358