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.

2017W, VO, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

Überblick in die Entwicklung der Logik.

Didaktisches Vorgehen: Frontalvortrag mittels Folien.

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. Boole's Algebra der Logik
  4. Cantor
  5. Frege
  6. Logizismus:  Russell und Hilbert
  7. Brouwer und Gödel

Weitere Informationen

Achtung:

  • Beginn der VO: 20. Oktober, 11:00, im Seminarraum 8, Karlsplatz 13.
  • Keine VO am 27.10. und 3.11. Nächste VO 10.11., 10:00.
  • VO Termin am 1.12.: 11:00-14:00.
  • Nächste VO: 12.1. Ort: HS1 Theresianumgasse 27!
  • VO 19.1.: 12:00-14:00!

 ECTS Aufschlüsselung: 3 ECTS = 75 Stunden

  • Vorlesung 24h
  • Einführung 0.5h
  • Prüfungsvorbereitung 50h
  • Mündliche Prüfung 0.5h

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.10:00 - 14:0020.10.2017 - 19.01.2018Seminarraum 8 Lecture
Mi.12:00 - 14:0008.11.2017Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.12:00 - 14:0009.11.2017 - 30.11.2017Theresianumgasse HS 2 Lecture
Mi.12:00 - 15:0022.11.2017 - 17.01.2018Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.18:00 - 21:0012.12.2017EI 5 Hochenegg HS Additional lecture
Fr.10:00 - 12:0012.01.2018Theresianumgasse HS 1 - MWB Lecture
Geschichte der Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.20.10.201710:00 - 14:00Seminarraum 8 Lecture
Fr.27.10.201710:00 - 14:00Seminarraum 8 Lecture
Fr.03.11.201710:00 - 14:00Seminarraum 8 Lecture
Mi.08.11.201712:00 - 14:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.09.11.201712:00 - 14:00Theresianumgasse HS 2 Lecture
Fr.10.11.201710:00 - 14:00Seminarraum 8 Lecture
Do.16.11.201712:00 - 14:00Theresianumgasse HS 2 Lecture
Fr.17.11.201710:00 - 14:00Seminarraum 8 Lecture
Mi.22.11.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.23.11.201712:00 - 14:00Theresianumgasse HS 2 Lecture
Fr.24.11.201710:00 - 14:00Seminarraum 8 Lecture
Mi.29.11.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.30.11.201712:00 - 14:00Theresianumgasse HS 2 Lecture
Fr.01.12.201710:00 - 14:00Seminarraum 8 Lecture
Mi.06.12.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.12.12.201718:00 - 21:00EI 5 Hochenegg HS Additional lecture
Mi.13.12.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.15.12.201710:00 - 14:00Seminarraum 8 Lecture
Mi.20.12.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.22.12.201710:00 - 14:00Seminarraum 8 Lecture
LVA wird geblockt abgehalten

Leistungsnachweis

Mündliche Prüfung.

LVA-Anmeldung

Nicht erforderlich

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