Seminar: 4.03.232 Syntax und Semantik der Aussagen- und Prädikaten-Logik erster Stufe - Details

Seminar: 4.03.232 Syntax und Semantik der Aussagen- und Prädikaten-Logik erster Stufe - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Seminar: 4.03.232 Syntax und Semantik der Aussagen- und Prädikaten-Logik erster Stufe
Untertitel
Veranstaltungsnummer 4.03.232
Semester WiSe17/18
Aktuelle Anzahl der Teilnehmenden 15
Heimat-Einrichtung Institut für Philosophie
Veranstaltungstyp Seminar in der Kategorie Lehre
Erster Termin Montag, 16.10.2017 12:00 - 14:00, Ort: A14 1-113
Art/Form
Lehrsprache deutsch

Themen

Einleitung. Klassische Aussagenlogik, Wertigkeit. Bivalenz. Wahrheitswertsfunktionalität. Sprache der Klassischen Aussagenlogik. Einteilung in Syntax und Semantik, Kalkül NK. Beweise mit Konjunktion und Disjunktion Einführung, Kalkül NK des Natürlichen Schließens. Erläuterung der Regeln, NK. Gebrauch der Implikation_Einführung. Herleitung-Praxis., Syllogistik, Prädikatenlogik erster Stufe. Sprache, Kalkül NK für die Prädikatenlogik erster Stufe, Beweise mit Quantoren, fällt aus. Wird am 5 Februar nachgeholt, Beweise der Syllogismen in NK. Tarski Semantik, Tarski Semantik

Räume und Zeiten

A14 1-113
Montag: 12:00 - 14:00, wöchentlich (13x)
Montag, 05.02.2018 12:00 - 19:00
A07 0-031
Montag, 26.02.2018 12:00 - 16:00

Modulzuordnungen

Kommentar/Beschreibung

Dieser Kurs zielt darauf ab, den Studierenden das formale Instrumentarium der elementaren Logik zur Verfügung zur stellen. Unter „elementarer Logik“ versteht man: die Aussagen- und die Prädikatenlogik erster Stufe. Im Seminar werden die Syntax und die Semantik der Aussagen- und Prädikatenlogik erster Stufe präzise erklärt. Der Kurs ist folgendermaßen aufgebaut:
i) Aussagenlogik: Formale Sprache, Wahrheit und logische Folgerung, Korrektheit, Vollständigkeit
ii) Prädikatenlogik: Formale Sprache, Tarski-Semantik für die prädikatenlogische Sprache, Korrektheit, Vollständigkeit (Idee des Beweises)
iii) Kalkül des natürlichen Schließens für die Aussagen- und Prädikatenlogik erster Stufe

Skripte werden im STUDIP bereitgestellt.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.