Universität Wien
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

180043 UE-GKL Übung Logik (2015W)

4.00 ECTS (2.00 SWS), SPL 18 - Philosophie
Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

1 Heinrich , Moodle
2 Eder , Moodle
3 Gottschall
4 Linsbichler , Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.

Gruppen

Gruppe 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 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

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

Gruppe 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 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

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

Gruppe 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 Teilnehmer*innen
Sprache: Deutsch

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

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

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

Gruppe 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 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

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

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

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)

Art der Leistungskontrolle und erlaubte Hilfsmittel

Ü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.

Mindestanforderungen und Beurteilungsmaßstab

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

Prüfungsstoff

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

Literatur

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

Zuordnung im Vorlesungsverzeichnis

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

Letzte Änderung: Mo 26.08.2024 00:12