Module 26-LOGIK Logic

In dieser zweisemestrigen Vorlesungsveranstaltung und den dazugehörigen Begleittutorien erwerben die Studierenden grundlegende Kenntnisse der Aussagen- und Prädikatenlogik. Die Studierenden lernen, aussagenlogische und prädikatenlogische Methoden anzuwenden, um umgangssprachliche Sätze zu analysieren und umgangssprachliche Argumente zu beurteilen. Außerdem erwerben Sie die Fähigkeit, gültige von nicht gültigen deduktiven Argumenten zu unterscheiden und logisch wahre Sätze zu identifizieren. Die Studierenden erwerben zudem ein Grundverständnis der Verwendung formaler Methoden in der Philosophie jenseits der Aussagen- und Prädikatenlogik. Dies geschieht durch die Auseinandersetzung mit weiteren ausgewählten formalen Theorien. In Frage kommen hier z.B. die traditionelle Syllogistik, die Modallogik, die Theorie induktiven Schließen, die Entscheidungstheorie, die Sozialwahltheorie, die Spieltheorie, die philosophische formale Semantik oder die Mengenlehre. Die Studierenden entwickeln ein Verständnis für die Grundideen und –annahmen der jeweils behandelten Theoriefelder, lernen die betreffenden formalen Vorgehensweisen kennen und erwerben die Fähigkeit, die relevanten Methoden auf einfache Problemstellungen anzuwenden.

In den Tutorien üben die Studierenden die Anwendung der erlernten Methoden. Grundwissen im Bereich Aussagen- und Prädikatenlogik sowie elementare Kompetenz im Umgang mit formalen Methoden aus den behandelten Theoriefeldern weisen die Studierenden durch zwei Klausuren nach, die jeweils die Inhalte eines Vorlesungsteils abprüfen.

Die Vorlesung erarbeitet die Grundzüge der elementaren formalen Standardlogik (Aussagenlogik und Prädikatenlogik erster Stufe) einschließlich der Analyse umgangssprachlicher Sätze sowie der Beurteilung umgangssprachlicher Argumente mit aussagenlogischen und prädikatenlogischen Mitteln. Die Vorlesung erarbeitet zudem die inhaltlichen und formalen Grundlagen weiterer ausgewählter formale Theorien, die für die Philosophie zentral sind. In Frage kommen hier z.B. die traditionelle Syllogistik, die Modallogik, die Theorie induktiven Schließen, die Entscheidungstheorie, die Sozialwahltheorie, die Spieltheorie, die philosophische formale Semantik oder die Mengenlehre. Im Zentrum steht dabei die Vermittlung eines Grundverständnisses der Verwendung formaler Methoden in der heutigen Philosophie.

In den Begleittutorien werden Übungsaufgaben besprochen, die den Stoff der Vorlesungen vertiefen.

—

—