Inhalt

Abstract:

Der Kurs "Einführung in die Aussagen- und Prädikatenlogik" beginnt mit einer kurzen thematischen Hinführung, die mit Aristoteles die Studenten direkt in die Logik einsteigen lässt. In den folgenden sechs Modulen werden die beiden Bereiche Aussagen- und Prädikatenlogik separat eingehender behandelt. Beide Teile starten jeweils mit einer formalen Einführung. In den Kapitel Syntax und Semantik werden verschiedene Methoden innerhalb der Logik erlernt. Eine spezielle Methode der Logik, der Fitch-Kalkül, wird abschließend widerum für beide Teilbereiche separat behandelt. Die Inhalte werden stets durch Beispiele veranschaulicht. Den TeilnehmerInnen wird außerdem immer wieder die Möglichkeit geboten, ihr Wissen in kleinen Aufgaben abzufragen und das Erlernte in Übungen zu erproben.

Gliederung:

Thematische Hinführung
Modul 1: Formalisierung Aussagenlogik
Modul 2: Syntax und Semantik der Sprache (Aussagenlogik)
Modul 3: Der Fitch-Kalkül (Aussagenlogik)
Modul 4: Formalisierung Prädikatenlogik
Modul 5: Semantik (Prädikatenlogik)
Modul 6: Der Fitch-Kalkül (Prädikatenlogik)
Prüfungsvorbereitung
Literaturverzeichnis

Detaillierter Inhalt:

Das erste Kapitel ist die "Formalisierung Aussagenlogik". Hier werden die "Argumente" und "Aussagen" sowie "Zusammengesetzte Aussagen" und "Übersetzungen" eingeführt, die die Grundlage für die weiteren Kapitel darstellen. Im darauffolgenden Kapitel "Syntax und Semantik der Sprache" werden die formalen Hintergründe von "Sätzen" und "Aussagen" vertieft. Außerdem wird die Wahrheitstafelmethode mit ihren verschiedenen Regeln eingeführt und die Verwendung sowohl der ausführlichen als auch der abgekürzten Methode erläutert. Im letzten Modul des Teilbereichs Aussagenlogik, erlernen die TeilnehmerInnen die Anwendung des "Fitch-Kalkül", das hilft, Konklusionen aus Prämissen, aber auch bestimmte Konklusionen ohne Prämissen herzuleiten und die logische Äquivalenz zweier Aussagen aufzuzeigen sowie aus einer Menge von Aussagen einen Widerspruch herzuleiten.
Der zweite Teilbereiche, die Prädikatenlogik, beginnt erneut mit der Formalisierung. Hier wird vorerst die Existenz der Prädikatenlogik neben der Aussagenlogik erklärt. Der Aufbau von Sätzen und Ausdrücken wird nun prädikatenlogik-spezifisch erarbeitet. Außerdem werden die neuen Begriffe "Quantoren", "Identität" und "Relationen" in der Logik eingeführt. Im zweiten Kapitel des zweiten Teilbereichs, "Semantik", geht es um die Bewertung von prädikatenlogischen Aussagen hinsichtlich ihres Wahrheitswertes. Es werden Methoden aufgezeigt, die es ermöglichen, prädikatenlogische Sätze als tautologisch, kontradiktorisch, logisch äquivalent, konsistent, kontingent oder gültig einzuordnen. Im allerletzten Modul des Kurses werden im Zusammenhang mit der Prädikatenlogik weitere Regeln der Methode "Fitch-Kalkül" vorgestellt. Abschließend erproben die TeilnehmerInnen in diesem Kapitel neben den neuen Regeln auch die Verwendung der bereits für die Aussagenlogik erworbenen Fähigkeiten im Bereich der Prädikatenlogik.

Lern-/Qualifikationsziele:

-

Lehrveranstaltungstyp:

Kurs

Interaktionsformen mit Betreuer/in:

E-Mail, Übungsaufgaben

Interaktionsformen mit Mitlernenden:

E-Mail, Forum

Kursdemo:

zur Kursdemo

Nutzung

Kurs ist konzipiert für:

-

Formale Voraussetzungen:

-

Erforderliche Vorkenntnisse:

-

Hinweise zur Nutzung:

-

Kursumsetzung (verwendete Medien):

-

Erforderliche Technik:

-

Nutzungsentgelte:

für andere Personen als (reguläre) Studenten der vhb Trägerhochschulen nach Maßgabe der Benutzungs- und Entgeltordnung der vhb

Rechte hinsichtlich des Kursmaterials:

-

Verantwortlich

Anbieterhochschule:

Uni München (LMU)

Anbieter:

Prof. Dr. Monika Betzler

Dr. André Chapuis

Autoren:

André Chapuis

Marlies Barkowski

Lea Antony

Betreuer:

Lea Antony

Bertold Ammer

Prüfung

Prüfungsangebot zur Lehrveranstaltung

Art der Prüfung:

schriftlicher Leistungsnachweis (Klausur)

Bemerkung:

schriftliche Prüfung in München bzw. Erlangen; nähere Informationen zur Prüfung im Kurs.

Prüfer:

Prof. Dr. Monika Betzler

Prüfungsanmeldung erforderlich:

ja

Anmeldeverfahren:

Nähere Informationen zur Prüfung und zur Prüfungsanmeldung erhalten Sie im Kurs.

Prüfungsanmeldefrist:

–

Prüfungsabmeldefrist:

–

Kapazität:

–

Prüfungsdatum:

Nach Absprache mit dem Prüfer

Prüfungsdauer:

90 Minuten

Prüfungsort:

München, Erlangen und ggf. weitere nach Rücksprache

Zuständiges Prüfungsamt:

Prüfungsamt der Heimathochschule der Studierenden

Zugelassene Hilfsmittel:

Formelblatt logischer Schlussregeln (wird gemeinsam mit der Aufgabenstellung zur Verfügung gestellt)

Formale Voraussetzungen für die Prüfungsteilnahme:

keine

Inhaltliche Voraussetzungen für die Prüfungsteilnahme:

Kursinhalte

Zertifikat:

Ja (benoteter Schein)

Anerkennung:

–