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

180094 UE-GKL Übung Logik (2014W)

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

Zusammenfassung

1 Gottschall
2 Antos-Kuby
3 Eder , Moodle
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

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

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

Art der Leistungskontrolle und erlaubte Hilfsmittel

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.

Gruppe 2

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

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

Ziele, Inhalte und Methode der Lehrveranstaltung

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.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.

Gruppe 3

max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

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

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

Ziele, Inhalte und Methode der Lehrveranstaltung

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.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Der positive Abschluss erfordert
- aktive und regelmäßige Teilnahme
- eine positive Note auf zwei kleinere Test (einer Mitte, einer Ende des Semesters)
- lösen der wöchentlich aufgegebenen Übungen

Prüfungsstoff

Vortrag, Übungsbeispiele

Gruppe 4

empfohlen zusammen mit Vorlesung 'Grundkurs Logik'

max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

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

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

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

Art der Leistungskontrolle und erlaubte Hilfsmittel

Übungsbeispiele, Mitarbeit und insbesondere die Note des Übungstests fließen in die Gesamtbenotung ein

Prüfungsstoff

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

Information

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

Literatur

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

Zuordnung im Vorlesungsverzeichnis

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

Letzte Änderung: So 11.09.2022 00:19