Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

180094 UE-GKL Exercise in Logic (2014W)

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

Summary

1 Gottschall
2 Antos-Kuby
3 Eder , Moodle
4 Linsbichler , Moodle

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

"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.

max. 45 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 06.10. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 13.10. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 20.10. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 27.10. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 03.11. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 10.11. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 17.11. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 24.11. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 01.12. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 15.12. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 12.01. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 19.01. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Monday 26.01. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Assessment and permitted materials

Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.

Group 2

"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.

max. 45 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

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

Aims, contents and method of the course

Die "Übung Logik" findet begleitend zu der Vorlesung "Grundkurs Logik" statt. In ihr sollen die inhaltlichen Schwerpunkte der Vorlesung (Semantik und Syntax der Aussagen- und Prädikatenlogik) angewendet und vertieft werden. Besonders soll das praktische Arbeiten mit Aufgaben aus der Logik geübt werden, zum Beispiel Wahrheitswerttabellen und Ableitungen im Kalkül des natürlichen Schließens.

Assessment and permitted materials

Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.

Group 3

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 10.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 17.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 24.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 31.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 07.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 14.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 21.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 28.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 05.12. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 12.12. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 09.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 16.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 23.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Friday 30.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228

Aims, contents and method of the course

"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, calculus of natural deduction and semantics of predicate logic.

Assessment and permitted materials

Grading will consist of
- active and constant participation
- two exams (one halfway through, the other at the end of the course)
- solving exercises which are given every week

Examination topics

Vortrag, Übungsbeispiele

Group 4

"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 06.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 13.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 20.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 27.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 03.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 10.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 17.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 24.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 01.12. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 15.12. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 07.01. 13:15 - 14:45 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 12.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 19.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Monday 26.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228

Aims, contents and method of the course

Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik', insbesondere der formalen Aspekte: Formationsregeln, Syntax und Semantik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen wie Vollständigkeitssatz, Kompaktheitssatz, Unvollständigkeitssätze, Nichtklassische Logiken, Prädikatenlogik mit unendlich langen Ausdrücken, Typentheorie; eventuell Einblicke in historische und aktuelle Diskussionen zu Status und Rolle von Logik beziehungsweise Logiken (Frege, Hahn, Brouwer, Carnap, Quine, Tarski)

Assessment and permitted materials

Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.

Examination topics

Wiederholung und Vertiefung formaler Aspekte der Vorlesung: Vortrag; Präsentation der Übungsbeispiele durch Studierende; Diskussion von Problemen und Fragen

Information

Minimum requirements and assessment criteria

vertieftes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen; Erwerb von Routine im Umgang mit Definitionen, formalen Sprachen und Beweisen; Kennenlernen und Reflektieren verschiedener Blickwinkel auf die Rolle von Logik beziehungsweise Logiken

Reading list

erfolgen in Absprache mit der zugehörigen Vorlesung ‚Grundkurs Logik‘; Niko Strobach – Einführung in die Logik

Association in the course directory

BA M 3.2, HPS (alt), M1.1, HPS (neu): M1.1, M1.3

Last modified: Su 11.09.2022 00:19