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

180026 UE M-03 Übung zum Grundkurs Logik (2022S)

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

Zusammenfassung

1 DIGITAL Heinrich , Moodle
2 Lauvsland , Moodle
3 Weisgerber , Moodle
4 Linsbichler , Moodle
5 Brotero De Rizzo , 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
Lernplattform: Moodle

Lehrende

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

  • Montag 07.03. 09:45 - 11:15 Digital
  • Montag 14.03. 09:45 - 11:15 Digital
  • Montag 21.03. 09:45 - 11:15 Digital
  • Montag 28.03. 09:45 - 11:15 Digital
  • Montag 04.04. 09:45 - 11:15 Digital
  • Montag 25.04. 09:45 - 11:15 Digital
  • Montag 02.05. 09:45 - 11:15 Digital
  • Montag 09.05. 09:45 - 11:15 Digital
  • Montag 16.05. 09:45 - 11:15 Digital
  • Montag 23.05. 09:45 - 11:15 Digital
  • Montag 30.05. 09:45 - 11:15 Digital
  • Montag 13.06. 09:45 - 11:15 Digital
  • Montag 20.06. 09:45 - 11:15 Digital
  • Montag 27.06. 09:45 - 11:15 Digital

Ziele, Inhalte und Methode der Lehrveranstaltung

Ziel der Übung ist der Erwerb eines tieferen Verständnisses der Inhalte der Vorlesung "Einführung in die Logik", das durch das Lösen von wöchentlich gestellten Übungsaufgaben ermöglicht wird. Die Übung wird in enger Anlehnung an die Vorlesung gestaltet.

Während der UE werden die von den Studierenden vorbereiteten Übungsaufgaben in einem BigBlueButton-Meeting besprochen. Dazu werde ich - nach Erlaubnis der betreffenden Studierenden - abgegebene Lösungen teilen, kommentieren und ergänzen.

Art der Leistungskontrolle und erlaubte Hilfsmittel

- wöchentliche hochzuladende Aufgaben (abzugeben jeweils bis Samstag 18 Uhr in der Woche vor der jeweiligen Übung)
- 2 online-Tests (in der Mitte und am Ende des Semesters)

Mindestanforderungen und Beurteilungsmaßstab

Für den Erwerb einer pos. Note sind erforderlich:
- mind. 75 % abgegebene Aufgaben (die Richtigkeit dieser Aufgaben wird nicht beurteilt; es muss nur erkennbar sein, dass die Aufgaben zu lösen versucht worden sind)
- mind. 50% der Punkte auf jeden der beiden Tests
- Anwesenheit bei den online-Treffen (3maliges Fehlen ist erlaubt)

Beurteilung:
Die Richtigkeit der gelösten Übungsaufgaben fließt nicht in die Übungsnote ein.
Bei beiden Tests zusammengenommen werden insgesamt 18 Punkte zu erzielen sein.
Gesamtnote:
18-16 Pkte: Sehr gut, 15-14 Pkte: Gut, 13-11 Pkte: Befriedigend, 10-9 Pkte: Genügend, 8-0 Pkte: Nicht Genügend

Literatur

Die Angaben für die Übungsaufgaben werden wöchentlich auf moodle zur Verfügung gestellt. Die Kenntnisse, die man im Rahmen der Vorlesung GKL erwerben kann, sind zum Lösen dieser Aufgaben erforderlich.
Weitere Literatur ist für die Absolvierung der Übung nicht erforderlich.

Gruppe 2

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

Lehrende

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

  • Montag 07.03. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 14.03. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 21.03. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 28.03. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 04.04. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 25.04. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 02.05. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 09.05. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 16.05. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 23.05. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 30.05. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 13.06. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 20.06. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Montag 27.06. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien

Ziele, Inhalte und Methode der Lehrveranstaltung

The aim of the course is to acquire a deeper understanding of the contents of the lecture "Grundkurs Logik" (syntax, semantics, proof theory of propositional and predicate logic, and possibly syntax, semantics of modal propositional logic). This is first and foremost to be achieved by practical involvement and application of the material, i.e., solving exercise sheets. By the end of the course, the students should have gained practical and theoretical understanding of the methods of formal logic and how they can be put to use in philosophical reasoning and argumentation.
Students should prepare for each seminar by working through the exercise sheet for that week, the solutions of which will be discussed in class.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Weekly exercise sheets, active participation in class, and two written tests; in the middle and in the end of the semester.

Mindestanforderungen und Beurteilungsmaßstab

Preparation of at least 50 percent of the exercise sheets is a necessary condition for a positive assessment. There are two written practice tests. The test grade is calculated from the points achieved in both tests (up to 50% of the points...5; up to 62.5%...4; up to 75%...3; up to 87.5%...2 ; above it...1). Based on the test grade, the final grade may to a certain extent (+/- one grade) be influenced by the degree of participation and level of understanding the student has expressed throughout the course.

By registering for the course, students automatically agree that their written performances will be checked using Turnitin. If the teaching format has to be changed to online, the following applies to the practice tests:
- By taking part in the test, students declare under an oath that they will take the test independently, without the help of third parties and without unauthorized aids.
- Your exam can be subjected to a plagiarism check.
- Within the assessment period of up to four weeks after the end of the course, the course leader can ask oral questions about the subject matter of the examination. This can also be done on a random basis without concrete suspicion.
- If unauthorized aids are used and/or a practice test is not written independently, the course will not be assessed and documented with an X in the transcript.
- If the practice test is canceled without giving an important reason or is not uploaded to Moodle within the specified period, the practice test will be awarded 0 points.
- In the event of technical problems, students are encouraged to contact the course management or the test supervisor immediately.

Prüfungsstoff

Topics from the exercise sheets and what has otherwise been discussed in class.

Literatur

No literature required. Optional literature will be provided in Moodle.

Gruppe 3

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

Lehrende

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

Bitte beachten Sie, dass die Übung vom 02.06. stattdessen am Mittwoch, dem 25.05., stattfinden wird.

  • Donnerstag 10.03. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 17.03. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 24.03. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 31.03. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 07.04. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 28.04. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 05.05. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 12.05. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 19.05. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Mittwoch 25.05. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Donnerstag 09.06. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 23.06. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Donnerstag 30.06. 09:45 - 11:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien

Ziele, Inhalte und Methode der Lehrveranstaltung

Ziel der UE (Übung) ist der Erwerb eines tieferen Verständnisses der Inhalte der Vorlesung "Einführung in die Logik" (Aussagenlogik, Prädikatenlogik 1. Stufe, evtl. modale Aussagenlogik, etc.), welches durch das Lösen von konkreten Übungsaufgaben (unter anderem wöchentliche Übungsblätter) ermöglicht wird. Durch die praktischen Übungen und Anwendungsaufgaben soll ein routinierter Umgang mit formalen Sprachen und Systemen erlernt werden.
Während der UE werden jeweils die wöchentlich vorzubereitenden Übungsaufgaben (individuell oder in kleinen Gruppen) von den Studierenden und der Übungsleitung vorgestellt und Unklarheiten besprochen.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Vorbereitung der wöchentlichen Übungsblätter - diese sind jeweils bis Dienstag, 12 Uhr, hochzuladen; aktive Teilnahme an den Übungseinheiten; zwei schriftliche Tests (in der Mitte und am Ende des Semesters); evtl. schriftliche oder mündliche Zusatzaufgaben, etwa bei Unklarheiten über die Selbstständigkeit der erbrachten Leistungen.

Für die Übungstests gilt:
- Sie erklären eidesstattlich mit der Teilnahme an dem Test, dass Sie den Test selbständig, ohne Hilfe Dritter und ohne unerlaubte Hilfsmittel ablegen.
- Ihre Prüfung kann zur Kontrolle einer Plagiatsprüfung unterzogen werden.
- Innerhalb der Beurteilungsfrist bis vier Wochen nach Ende der Lehrveranstaltung kann der Lehrveranstaltungsleiter auch mündliche Nachfragen zum Stoffgebiet der Prüfung vornehmen. Dies kann auch stichprobenartig ohne konkreten Verdacht erfolgen.
- Werden unerlaubte Hilfsmittel verwendet und/oder ein Übungstest nicht selbständig geschrieben, wird die Lehrveranstaltung nicht beurteilt und mit einem X im Sammelzeugnis dokumentiert. Wird der Übungstest ohne Angabe eines wichtigen Grundes abgebrochen oder innerhalb des vorgegebenen Zeitraumes nicht auf Moodle hochgeladen, wird der Übungstest mit 0 Punkten beurteilt. Bei technischen Problemen wenden Sie sich sofort an die Lehrveranstaltungsleitung oder die Testaufsicht.

Mindestanforderungen und Beurteilungsmaßstab

Vorbereitung von mindestens 75 Prozent der Übungsbeispiele als notwendige Bedingung für positive Beurteilung. Die Richtigkeit dieser Aufgaben wird nicht beurteilt; es muss aber erkennbar sein, dass die Aufgaben zu lösen versucht worden sind.
Es gibt zwei Übungstests (einen in der Mitte des Semesters, einen am Ende des Semesters). Die Gesamtnote errechnet sich aus den erreichten Punkten der beiden Übungstests (bis 50% der Punkte...5; bis 62,5%...4; bis 75%...3; bis 87,5%...2; darüber...1).

Prüfungsstoff

Die in der Übung besprochenen Inhalte und Beispiele.

Literatur

Keine notwendige Literatur. Optionale Literatur wird auf Moodle bereitgestellt.

Gruppe 4

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

Lehrende

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

  • Dienstag 08.03. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 15.03. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 22.03. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 29.03. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 05.04. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 26.04. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 03.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 10.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 17.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 24.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 31.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 14.06. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 21.06. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Dienstag 28.06. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Donnerstag 07.07. 15:00 - 16:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Ziele, Inhalte und Methode der Lehrveranstaltung

Inhalte: Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik', insbesondere der formalen Aspekte: Formationsregeln, Syntax (Kalkül des Natürlichen Schließens und axiomatische Kalküle) 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, Modelltheorie, Modallogik; eventuell Ausblick auf historische und aktuelle Diskussionen zu erkenntnistheoretischem Status und Rolle von Logik beziehungsweise Logiken (Frege, Hahn, Brouwer, Carnap, Quine, Popper, Tarski, Prior, Suppes, Burgess, G. Russell, Leitgeb)

Ziele: vertieftes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen (Aussagenlogik, Prädikatenlogik erster Stufe, Modallogik); Erwerb von Routine im Umgang mit Definitionen, formalen Sprachen und Beweisen; eventuell Kennenlernen und Reflektieren verschiedener Blickwinkel auf die Rolle und den erkenntnistheoretischen Status von Logik beziehungsweise Logiken

Methoden: Wiederholung und Vertiefung formaler Aspekte der Vorlesung: Vortrag; Präsentation von Übungsbeispielen durch Übungsleiter und durch Studierende; Erarbeiten von Übungsbeispielen in Kleingruppen; Diskussion von Problemen und Fragen

Art der Leistungskontrolle und erlaubte Hilfsmittel

Vorbereitung von Übungsbeispielen; aktive Teilnahme an Lehrveranstaltung; zwei schriftliche Übungstest; eventuell schriftliche oder mündliche Zusatzaufgaben, etwa bei Unklarheiten über Selbstständigkeit der erbrachten Leistungen

Mindestanforderungen und Beurteilungsmaßstab

Vorbereitung von mindestens 50 Prozent der Übungsbeispiele als notwendige Bedingung für positive Beurteilung. Es gibt zwei schriftliche Übungstests (einen in der Mitte des Semesters, einen zu Ende des Semesters). Aus den bei den beiden Übungstests erreichten Punkten errechnet sich die Testnote (bis 50% der Punkte...5; bis 62,5%...4; bis 75%...3; bis 87,5%...2; darüber...1). Ausgehend von der Testnote kann sich die Gesamtnote durch Mitarbeit und Bonusbeispiele um einen Grad, in Ausnahmefällen um zwei Grade verändern. Mit Anmeldung zur Lehrveranstaltung stimmen Studierende automatisch zu, dass ihre schriftlichen Teilleistungen mittels Turnitin geprüft werden.

Falls das Format auf online umgestellt werden muss, gilt für die Übungstests: Studierende erklären eidesstattlich mit der Teilnahme an dem Test, dass sie den Test selbständig, ohne Hilfe Dritter und ohne unerlaubte Hilfsmittel ablegen. Ihre Prüfung kann zur Kontrolle einer Plagiatsprüfung unterzogen werden. Innerhalb der Beurteilungsfrist bis vier Wochen nach Ende der Lehrveranstaltung kann der Lehrveranstaltungsleiter auch mündliche Nachfragen zum Stoffgebiet der Prüfung vornehmen. Dies kann auch stichprobenartig ohne konkreten Verdacht erfolgen. Werden unerlaubte Hilfsmittel verwendet und/oder ein Übungstest nicht selbständig geschrieben, wird die Lehrveranstaltung nicht beurteilt und mit einem X im Sammelzeugnis dokumentiert. Wird der Übungstest ohne Angabe eines wichtigen Grundes abgebrochen oder innerhalb des vorgegebenen Zeitraumes nicht auf Moodle hochgeladen, wird der Übungstest 0 Punkten beurteilt. Bei technischen Problemen sind Studierende angehalten, sich sofort an die Lehrveranstaltungsleitung oder die Testaufsicht zu wenden.

Prüfungsstoff

Aussagenlogik: Formationsregeln, Kalkül des Natürlichen Schließens, axiomatische Kalküle, Semantik
Prädikatenlogik erster Stufe: Formationsregeln, informelle Semantik, Semantik, Kalküle
Etwaiger zusätzlicher Stoff (Modallogik, Geschichte der Logik, Philosophie der Logik, nichtklassische Logiken, Prädikatenlogik höherer Stufe, ...) wird je nach Fortschritten in zugehöriger Vorlesung und Übung rechtzeitig vor Übungstests bekannt gegeben.

Literatur

Literatur im engeren Sinn ist für die Übung nicht erforderlich. Hinweise auf optionale vertiefende Literatur erfolgen in Absprache mit der zugehörigen Vorlesung ‘Grundkurs Logik’

Gruppe 5

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

Lehrende

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

  • Montag 07.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 14.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 21.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 28.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 04.04. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 25.04. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 02.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 09.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 16.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 23.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 30.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 13.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 20.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Montag 27.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Ziele, Inhalte und Methode der Lehrveranstaltung

This course will deal with the topics of the lecture 'Grundkurs Logik' (syntax and semantics of sentential logic; syntax and semantics of first order Logic; syntax and semantics of sentential modal logic).
We will discuss and solve pre-assigned exercises on these topics in class.

Art der Leistungskontrolle und erlaubte Hilfsmittel

- weekly assigned exercises sheets should be sent via e-mail before the corresponding class (submission of at least 50% of all exercise sheets is a requirement);
- 2 tests

Mindestanforderungen und Beurteilungsmaßstab

- at least 50% of the exercise sheets should be submitted (whether the solutions are correct or not will not influence the final grade);
- Final grade = 0.4 x grade of first test + 0.6 x grade of final test;

The conversion from grades (percentage of points) in the tests to the Austrian system adopted is this:
88 -- 100 = 1
76 -- 87 = 2
63 -- 75 = 3
50 -- 62 = 4
0 -- 49 = 5

- Minimal final grade (converted) for approval in the course is 4

Prüfungsstoff

Solutions of exercise sheets discussed in class.

Literatur

Halbach, Volker, The Logic Manual. Oxford University Press, 2010.
Lemmon, E.J. Beginning Logic. Chapman and Hall/CRC, 1987.

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Sa 24.08.2024 00:12