Universität Wien

180091 UE-GKL Übung Logik (2012S)

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

Zusammenfassung

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

Details: http://logik.phl.univie.ac.at/~chris/ss2012/ (ab Mitte Februar)

Anwesenheitspflicht bei der Vorbesprechung und bei beiden Prüfungsterminen.

Übung, d.h. (a) Anmeldung im Univis UND (b) Unterschrift in der Teilnehmer(innen)liste sind erforderlich, um eine Note zu bekommen. Abmeldung ist nur innerhalb der Abmeldefrist möglich, danach gibt es automatisch eine Note.

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

Lehrende

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

  • Montag 05.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 19.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 26.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 16.04. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 23.04. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 30.04. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 07.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 14.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 21.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 04.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 11.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 18.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 25.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock

Ziele, Inhalte und Methode der Lehrveranstaltung

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.

Gruppe 2

max. 35 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Freitag 09.03. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 16.03. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 23.03. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 30.03. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 20.04. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 27.04. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 04.05. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 11.05. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 18.05. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 25.05. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 01.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 08.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 15.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 22.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Freitag 29.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock

Ziele, Inhalte und Methode der Lehrveranstaltung

Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik': Syntax und Semanik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen

Art der Leistungskontrolle und erlaubte Hilfsmittel

Übungsbeispiele, die präsentiert werden und Abschlussprüfung

Mindestanforderungen und Beurteilungsmaßstab

Erwerb von Routine im Umgang mit formalen Sprachen und Beweisen, tieferes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen

Gruppe 3

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

Lehrende

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

  • Mittwoch 07.03. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 14.03. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 21.03. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 28.03. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 18.04. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 25.04. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 02.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 09.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 16.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 23.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 30.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 06.06. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 13.06. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 20.06. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 27.06. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock

Ziele, Inhalte und Methode der Lehrveranstaltung

Die Übung soll den Stoff der Einführungsvorlesung in die Logik erläutern und vertiefen, d.h. die Studierenden sollen die grundlegenden Begriffsbildungen von Aussagen- und Prädikatenlogik verstehen, in ihren historischen Zusammenhang einordnen und die Bedeutung der Logik innerhalb der Philosophie einzuschätzen lernen. Insbesondere sollen die Studierenden Fertigkeiten im Feststellen von syntaktischer und semantischer Gültigkeit von aussagen- und prädikatenlogischen Argumenten erwerben. Da dazu eine gewisse Routine nötig ist, wird ein Teil der Zeit darauf verwendet, mit den Studierenden Beispiele zu üben.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Der Zeugniserwerb ergibt sich durch aktive Mitarbeit, durch Lösung von Aufgaben (schriftlich und mündlich) und durch theoretische Präsentationen im Bereich der Aussagen- und Prädikatenlogik.

Mindestanforderungen und Beurteilungsmaßstab

Aussagen- und Prädikatenlogik sollen in ihren Kalkülen trainiert und beherscht werden.

Gruppe 4

Vorbesprechung am 7.3. um 16:15 Uhr. Erster Übungstermin: 14.3..
ACHTUNG!! Ersatztermin am 10.07.2012 im HS 3 F 9-11 Uhr!!

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

Lehrende

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

  • Mittwoch 07.03. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 14.03. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 21.03. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 28.03. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 18.04. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 25.04. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 02.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 09.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 16.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 23.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 30.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 06.06. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 13.06. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 20.06. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Mittwoch 27.06. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Dienstag 10.07. 09:00 - 11:00 Hörsaal 3F NIG 3.Stock

Ziele, Inhalte und Methode der Lehrveranstaltung

Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik': Syntax und Semantik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen

Art der Leistungskontrolle und erlaubte Hilfsmittel

Hausübungen, Mitarbeit, Leistung an der Tafel und Note der Abschlussprüfung fließen in die Gesamtbenotung ein

Mindestanforderungen und Beurteilungsmaßstab

Erwerb von Routine im Umgang mit formalen Sprachen und Beweisen, tieferes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen

Information

Prüfungsstoff

Vortrag, Diskussion, Aufgaben, Präsentationen und deren Besprechung.

Literatur

Als eine Mischung aus begleitender und vertiefender Einführungsliteratur (die aber nicht auf die Prüfungsbewältigung ausgerichtet ist) eignen sich vorzüglich Hodges: "Logic" (Penguin-Taschenbuch, also sehr erschwinglich) und Salmon: "Logik" (Reclam, also sehrsehr erschwinglich).

Weitere Informationen: http://logik.phl.univie.ac.at/~chris/lva-faq.html#literatur

Zuordnung im Vorlesungsverzeichnis

BA M 3.2, HPS M1.1

Letzte Änderung: Do 24.09.2020 00:24