LV-Nummer 3130 L 016
Semester SoSe 2021
Ansprechpartner Centrone, Stefania
Verantwortlich Gelfert, Axel
Centrone, Stefania
Dozierend
Zugeordnet zu Technische Universität Berlin
Fakultät I
    ↳ Institut für Philosophie, Literatur-, Wissenschafts- und Technikgeschichte
        ↳ 31311100 FG Philosophie, mit dem Schwerpunkt theoretische Philosophie
URL https://isis.tu-berlin.de/course/view.php?id=23977
Label
Sprache Deutsch

Termine (13)


Mo., 12.04.2021 - Mo., 12.07.2021 (wöchentlich)

18:00 Uhr - 20:00 Uhr

Keine Räume/Campus
Einzeltermine ausklappen

Mo.

12.04.2021 - 18.04.2021 (SW 1)


Jedes Format bekommt eine Farbe

Jeder Campus bekommt eine Farbe
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
Mo., 12.04.2021

3130 L 016

Integrierte Veranstaltung


12.04.2021, 18:00 Uhr - 20:00 Uhr

Ohne Ort
Logik I. Aussagen- und Prädikatenlogik erster Stufe.
IV
Di., 13.04.2021
Mi., 14.04.2021
Do., 15.04.2021
Fr., 16.04.2021

Centrone, Stefania

  • Mo. 18-20
  • Online, überwiegend asynchron
  • Beginn: 12.04.2021

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).

Modulzuordnungen:

  • BA-KulT PHIL 2