Zusatzinformationen

Bemerkung

BA-KulT Phil 2, 3

BA-KulT IS 4

FW-BA 4, 6
 

 

Inhalt

Der Kurs zielt darauf ab, den Studierenden das formale Instrumentarium der elementaren Logik zur Verfügung zu 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:

1. Formalisierung von Aussagen der natürlichen Sprache;
2. Traditionelle Logik
3. Aussagenlogik:
   3.1 Begriff einer formalen Sprache
   3.2. Kalkül des natürlichen Schließens für die klassische Aussagenlogik
   3.3. Begriffe der (aussagenlogischen) Wahrheit und der logischen Folgerung
   3.4. Korrektheit
   3.5. Vollständigkeit
4. Prädikatenlogik erster Stufe:
   4.1. Formale Sprache für die Prädikatenlogik erster Stufe
   4.2. Kalkül des natürlichen Schließens für die Prädikatenlogik erster Stufe
   4.3. Tarski-Semantik für die prädikatenlogische Sprache
   4.4.Korrektheit
   4.5.Vollständigkeit (Idee des Beweises).

Gruppe
Termingruppe 0

Organisationseinheiten
Institut für Philosophie, Literatur-, Wissenschafts- und Technikgeschichte, 01301200 FG Philosophie, 31311500 FG Philosophie, mit dem Schwerpunkt praktische Philosophie, 31311100 FG Philosophie, mit dem Schwerpunkt theoretische Philosophie