184.266 Geschichte der Logik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VO, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Hybrid

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage die wichtigsten Meilensteine in der Enwicklung der formalen Logik zu benennen und zu erläutern, sowie theoretische Zusammenhänge und ihre Relevanz für die moderne Logik korrekt zu argumentieren.

Inhalt der Lehrveranstaltung

Formale Logik weist eine jahrhundertelange Tradition auf und ist heute ein mächtiges Werkzeug der Wissensrepräsentation. In dieser Lehrveranstaltung wird ein Streifzug durch die Geschichte der Logik anhand der Arbeiten ihrer wichtigsten Pionieregeboten. Aus dem Inhalt:

  1. Der Syllogismus von Aristoteles
  2. Leibniz's Arbeiten zur Logik (algebraische Kalküle, die Idee einer vollständigen, automatisierten Sprache des Schließens ("calculus ratiocinator")
  3. Algebra und Geometrie
  4. Boole's Algebra der Logik
  5. Cantor's Theorie der Mengen
  6. Frege's Logik
  7. Whitehead and Russell's Principia Mathematica
  8. Hilbert und Gödel

Methoden

Frontalvortrag.

Achtung: Die VO ist dieses Semester als Präsenzlehrveranstaltung geplant mit einem möglichen Wechsel zu einem Onlinemodus. Die mündliche Prüfung kann ebenfalls online stattfinden.

Prüfungsmodus

Mündlich

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.16:00 - 18:0010.03.2022 - 31.03.2022EI 2 Pichelmayer HS - ETIT Lecture
Do.16:00 - 18:0028.04.2022 - 09.06.2022EI 2 Pichelmayer HS - ETIT Lecture
Do.18:00 - 19:0009.06.2022EI 2 Pichelmayer HS - ETIT Lecture
Mi.16:00 - 19:0022.06.2022 - 29.06.2022EI 2 Pichelmayer HS - ETIT Lecture
Do.16:00 - 19:0023.06.2022 - 30.06.2022EI 4 Reithoffer HS Lecture
Fr.16:00 - 19:0024.06.2022EI 2 Pichelmayer HS - ETIT Lecture
Geschichte der Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.10.03.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.17.03.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.24.03.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.31.03.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.28.04.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.05.05.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.12.05.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.19.05.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.02.06.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.09.06.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Lecture
Do.09.06.202218:00 - 19:00EI 2 Pichelmayer HS - ETIT Lecture
Mi.22.06.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Lecture
Do.23.06.202216:00 - 19:00EI 4 Reithoffer HS Lecture
Fr.24.06.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Lecture
Mi.29.06.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Lecture
Do.30.06.202216:00 - 19:00EI 4 Reithoffer HS Lecture
LVA wird geblockt abgehalten

Leistungsnachweis

Mündliche Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
01.03.2022 14:00 31.03.2022 23:55 31.03.2022 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Logic and Computation Gebundenes Wahlfach

Literatur

Kneale & Kneale: The Development of Logic

Nidditch: The Development of Mathematical Logic

Doxiadis & Papadimitriou:Logicomix - An Epic Search for Truth

Cryan, Shatil, & Mayblin: Logic - A Graphic Guide

Vorkenntnisse

Elementare Kenntnisse der formalen Logik.

Vertiefende Lehrveranstaltungen

Sprache

Englisch