Universität Wien

180026 UE M-03 Exercise Course in Logic (2022S)

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

Summary

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

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

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

Aims, contents and method of the course

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.

Assessment and permitted materials

- 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)

Minimum requirements and assessment criteria

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

Reading list

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.

Group 2

max. 45 participants
Language: English
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

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

Aims, contents and method of the course

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.

Assessment and permitted materials

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

Minimum requirements and assessment criteria

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.

Examination topics

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

Reading list

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

Group 3

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Please note that the exercise session from 02.06 will take place on Wednesday, 25.05 instead.

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

Aims, contents and method of the course

The aim of the exercise course is the acquisition of a deeper understanding of the contents of the lecture "Introduction to Logic" (propositional logic, first-order predicate logic, possibly modal propositional logic, etc.), which is made possible by solving concrete exercises (among others weekly exercise sheets). Through the practical exercises and exercises of application, a routine handling of formal languages and systems is to be learned.
During the course, the students and the instructor present the weekly exercises (that have to be prepared individually or in small groups) and discuss any ambiguities.

Assessment and permitted materials

Preparation of the weekly exercise sheets - these are to be uploaded by Tuesday, 12 noon; active participation in the exercise sessions; two written tests (in the middle and at the end of the semester); possibly written or oral additional tasks, for example in case of ambiguity about the independence of the performed work.

For the practice tests:
- You declare under oath by taking the test that you will take the test independently, without help from others and without unauthorized aids.
- Your test may be subject to a plagiarism check for verification purposes.
- Within the assessment period up to four weeks after the end of the course, the course instructor may also make oral follow-up questionings on the subject matter of the exam. This can also be done on a random basis without concrete suspicion.
- If unauthorized aids are used and/or an exercise test is not written independently, the course will not be assessed and will be documented with an X in the collective report. If the practice test is cancelled without giving an important reason or is not uploaded to Moodle within the given period of time, the practice test will be assessed with 0 points. In case of technical problems, contact the course management or the test supervisor immediately.

Minimum requirements and assessment criteria

Preparation of at least 75 percent of the practice examples as a necessary condition for positive evaluation. The correctness of these exercises will not be judged; however, it must be evident that the exercises have been attempted to be solved.
There are two practice tests (one in the middle of the semester, one at the end of the semester). The overall grade is calculated from the points achieved in the two exercise tests (up to 50% of the points...5; up to 62.5%...4; up to 75%...3; up to 87.5%...2; above...1).

Examination topics

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

Reading list

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

Group 4

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

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

Aims, contents and method of the course

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

Assessment and permitted materials

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

Minimum requirements and assessment criteria

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.

Examination topics

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.

Reading list

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’

Group 5

max. 45 participants
Language: English
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

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

Aims, contents and method of the course

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.

Assessment and permitted materials

- 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

Minimum requirements and assessment criteria

- 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

Examination topics

Solutions of exercise sheets discussed in class.

Reading list

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

Association in the course directory

Last modified: Th 11.05.2023 11:27