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

180043 UE-GKL Exercise in Logic (2015W)

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

Summary

1 Heinrich , Moodle
2 Eder , Moodle
3 Gottschall
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
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 12.10. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 19.10. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 09.11. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 16.11. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 23.11. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 30.11. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 07.12. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 14.12. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 11.01. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 18.01. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 25.01. 11:30 - 13:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien

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
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Thursday 15.10. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 22.10. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 29.10. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 05.11. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 12.11. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 19.11. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 26.11. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 03.12. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 10.12. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 17.12. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 07.01. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 14.01. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 21.01. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock
  • Thursday 28.01. 15:00 - 16:30 Hörsaal 3F NIG 3.Stock

Group 3

"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

Achtung!!! Die Uhrzeit 18.30-20.00 gilt erst ab 19.10.2015!!!

ACHTUNG!! Die LV beginnt erst am 19.10.2015 um 18:30-20.00 Uhr

  • Monday 12.10. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 19.10. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 09.11. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 16.11. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 23.11. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 30.11. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 07.12. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 14.12. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 11.01. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Monday 11.01. 20:15 - 22:00 Hörsaal 3E NIG 3.Stock
  • Monday 18.01. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
  • Tuesday 19.01. 20:15 - 22:00 Hörsaal 3E NIG 3.Stock
  • Monday 25.01. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock

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

  • Wednesday 14.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 21.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 28.10. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 04.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 11.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 18.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 25.11. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 02.12. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 09.12. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 16.12. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 13.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 20.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 20.01. 15:00 - 17:00 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 27.01. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228

Information

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, Modelltheorie; historische und aktuelle Diskussionen zu Status und Rolle von Logik beziehungsweise Logiken (Frege, Hahn, Brouwer, Carnap, Quine, Popper, Tarski)

Assessment and permitted materials

Übungsbeispiele, Mitarbeit und die Note des Übungstests fließen in die Gesamtbenotung ein. Für die beim Übungstest erlaubte Auswahl von Merkblättern siehe Moodle.

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

Examination topics

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

Reading list

erfolgen in Absprache mit der zugehörigen Vorlesung 'Grundkurs Logik'

Association in the course directory

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

Last modified: Mo 26.08.2024 00:12