Universität Wien

180277 UE-GKL Exercise in Logic (2009W)

4.00 ECTS (2.00 SWS), SPL 18 - Philosophie
Continuous assessment of course work

Summary

1 Eder
2 Gottschall

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Registration information is available for each group.

Groups

Group 1

max. 45 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Thursday 08.10. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 15.10. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 22.10. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 29.10. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 05.11. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 12.11. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 19.11. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 26.11. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 03.12. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 10.12. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 17.12. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 07.01. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 14.01. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 21.01. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
  • Thursday 28.01. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228

Group 2

max. 35 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 12.10. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 19.10. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 09.11. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 16.11. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 23.11. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 30.11. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 07.12. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 14.12. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 11.01. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 18.01. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 25.01. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Information

Aims, contents and method of the course

Die Übung soll helfen, im Umgang mit Aussagen- und Prädikatenlogik (deren Theorie in der Vorlesung dargestellt wird) die Praxis zu erwerben, die nötig ist, um Aufgaben in diesen Logiken lösen zu können.

Im zweiten Teil der Vorlesung werden, je nachdem wie viel Zeit zur Verfügung steht, fortgeschrittene Themen der modernen Logik (Korrektheits- und Vollständigkeitssatz, Kompaktheit, Satz von Löwenheim-Skolem), Nichtklassische Logiken (Modallogik, Mehrwertige Logik, Prädikatenlogik zweiter Stufe), sowie Geschichte und Philosophie der Logik behandelt.

Assessment and permitted materials

Übungsbeispiele, die in der Übung präsentiert werden, sowie zwei (kleine) schriftliche Prüfungen.

Minimum requirements and assessment criteria

Examination topics

Reading list

siehe Vorlesung

Association in the course directory

BA M 3.2, § 3.2.5

Last modified: Sa 10.09.2022 00:19