Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice (e.g. cancellation of on-site teaching and conversion to online exams). Register for courses/exams via u:space, find out about the current status on u:find and on the moodle learning platform.

Further information about on-site teaching can be found at https://studieren.univie.ac.at/en/info.

180051 UE M-03 Exercise Course in Logic (2020W)

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

Summary

1 Ramharter , Moodle
Mo 30.11. 13:15-14:45 Digital
Tu 01.12. 18:30-20:00 Digital

Registration/Deregistration

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 12.10. 13:15 - 14:45 Digital
Monday 19.10. 13:15 - 14:45 Digital
Monday 09.11. 13:15 - 14:45 Digital
Monday 16.11. 13:15 - 14:45 Digital
Monday 23.11. 13:15 - 14:45 Digital
Monday 07.12. 13:15 - 14:45 Digital
Monday 14.12. 13:15 - 14:45 Digital
Monday 11.01. 13:15 - 14:45 Digital
Monday 18.01. 13:15 - 14:45 Digital
Monday 25.01. 13:15 - 14:45 Digital

Aims, contents and method of the course

Ziele und Inhalte: der Stoff der Vorlesung wird durch Übungsaufgaben vertieft

Methode: Angaben zu Übungsaufgaben werden auf moodle wöchentlich zur Verfügung gestellt, von Studierenden bearbeitet und die Lösungen auf moodle hochgeladen; nach Ende der Abgabefrist lade ich richtige Lösungen für die Übungen und Rückmeldungen hoch

An einigen Terminen (aus den oben angebebenen!, ca. 4-5 Termine, nach Bedarf der Studierenden) wird es Online-Meetings geben, um Rückfragen zu stellen, Probleme zu besprechen, zusätzliche Erklärungen zu erhalten, etc. Diese Termine werden rechtzeitigen bekanntgegeben; es besteht bei diesen Terminen Online-Anwesenheitspflicht.

Assessment and permitted materials

zwei schriftliche Online-Tests (open book), 1. Test zur Aussagenlogik und Modallogik, 2. Test zur Modallogik und Prädikatenlogik,

Hausübungen müssen auf moodle hochgeladen werden, Anwesenheit bei den ca. 4-5 Online-Meetings

Minimum requirements and assessment criteria

für ein positive Note erforderlich:
- mind. 2/3 der Aufgaben müssen bearbeitet sein
- Anwesenheit bei den zwei verpflichtenden Online-Meetings
- beide Tests müssen positiv sein (jeweils mind. 50% der Gesamtpunkte)
Die Note errechnet sich als Durchschnitt der Testnoten.
(Das Ausbessern eines negativen Tests durch einen Ersatztest ist u.U. möglich, zwei negative Testnoten bedeuten aber jedenfalls eine negative Endnote.)

Examination topics

Aufgaben wie in der Übung besprochen

Reading list

keine (den Übungen liegt wie der Vorlesung das Buch "Philosophical and Mathematical Logic" von Harrie de Swart zugrunde)

Group 2

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Tuesday 13.10. 18:30 - 20:00 Digital
Tuesday 20.10. 18:30 - 20:00 Digital
Tuesday 27.10. 18:30 - 20:00 Digital
Tuesday 03.11. 18:30 - 20:00 Digital
Tuesday 10.11. 18:30 - 20:00 Digital
Tuesday 17.11. 18:30 - 20:00 Digital
Tuesday 24.11. 18:30 - 20:00 Digital
Tuesday 15.12. 18:30 - 20:00 Digital
Tuesday 12.01. 18:30 - 20:00 Digital
Tuesday 19.01. 18:30 - 20:00 Digital
Tuesday 26.01. 18:30 - 20:00 Digital

Aims, contents and method of the course

Die Übung dient dazu, sich mit dem Stoff der Vorlesung anhand konkreter Beispiele auseinanderzusetzen. Dazu werden wöchentlich selbständig Aufgaben zu lösen sein, welche dann auf moodle hochgeladen werden. Jene Aufgaben, die die Studierenden gelöst haben, werden von diesen in einer Kreuzerlliste (moodle) eingetragen.

Die Beispiele werden dann auf Basis der abgegeben Hausübungen und den sich daraus ergebenen Fragestellungen in den wöchentlichen online Einheiten (Zugang jeweils direkt über moodle zu den oben angegebenen Zeiten) von der LV-Leitung besprochen. Hierbei wird einerseits die Lösung selbst präsentiert, andererseits aber auch etwaige Fehler, die in den abgegebenen Beispielen vorkommen, behandelt. Zudem wird im Rahmen dieser Besprechung auch der Stoff der nächsten Übungsbeispiele behandelt.

Assessment and permitted materials

Die Leistung der Studierenden setzt sich aus der Mitarbeitsleistung (max. 24 Pkt.) und der Testleistung (max. 76 Pkt.) zusammen.

Die Mitarbeitsleistung ergibt sich aus der Anzahl der in der Kreuzerlliste eingetragenen Übungsbeispiele (max. 24 Pkt). Kreuze können dabei für all jene Beispiele gesetzt werden, für die eine Lösung (inklusive dokumentiertem Lösungsweg) auf moodle abgegeben wurde. (In Bezug auf diese Beispiele kann es auch zu direkten Nachfragen der LV-Leitung bei den Studierenden kommen!)

Die Testleistung wird auf Basis zweier schriftlicher Tests ermittelt (jeweils max. 38 Pkt.), welche in der Mitte und am Ende des Semesters online im Open-Book-Format abgehalten werden. D.h. es wird vorab ein Zeitfenster bekannt gegeben. Mit Beginn dieses Zeitfensters steht auf moodle ein Fragebogen zum Download bereit. Die Lösungen können hernach bis zum Ende dieses Zeitfensters wieder auf moodle hochgeladen werden.

Minimum requirements and assessment criteria

Für eine positive Beurteilung müssen folgende Kriterien erfüllt sein:

- mindestens 60% der Übungsbeispiele müssen bearbeitet werden
- bei beiden Tests müssen jeweils mindestens 15 Punkte erreicht werden
- insgesamt müssen mindestens 50 Punkte erreicht werden

Examination topics

Die in der Übung besprochenen Inhalte und Beispiele.

Reading list

Den Studierenden werden neben den Beispielen auch wöchentlich Handouts zur Verfügung gestellt (moodle), die die Inhalte, auf denen die Beispiele aufbauen, nochmals kurz zusammenfassen.

Group 3

max. 45 participants
Language: English
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Wednesday 14.10. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 21.10. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 28.10. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 04.11. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 11.11. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 18.11. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 25.11. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 09.12. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 16.12. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 13.01. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 20.01. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Wednesday 27.01. 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

This is an exercise course that accompanies the Fundamentals of Logic (Grundkurs Logik) course run by Professor Ramharter. The purpose of this exercise group is to practice the skills and techniques learned in Professor Ramharter’s course with special emphasis on being able to use these skills in wider philosophy.

Each week will consist of a worksheet followed by a virtual group meeting to discuss the problems on the sheet and any other questions arising for the content. The time in these sessions belongs to you. Whatever you are all struggling with, we will spend more time trying to understand. After each meeting I will release the solutions to the exercise in the form of a video where I solve the problems for you.

Please note that both teaching and assessment will be in English, not German.

Any questions can be direct to gareth.pearce@univie.ac.at

Assessment and permitted materials

The course will be assessed by two exams. The first will be on propositional logic and the second will be on predicate and modal logics. The first exam will take place during the semester and the second in the exam period.

The exams will be take-home exams, but students are expected to complete them in a closed book fashion.To ensure that students treat the exam as closed book, a small number will be asked to take part in an additional verbal exam.

Worksheets will not count towards a final grade. The purpose of the worksheets is to give you an opportunity to practice and develop your skills, not to test you.

Minimum requirements and assessment criteria

The final grade will be determined equally by the two exams.

70% = 1
60% = 2
50% = 3
40% = 4
>40% = 5

Examination topics

Exam 1: translating natural languages into formal propositional languages. Basic model theory of propositional logic. Proving theorems in propositional logic.

Exam 2: Translation of natural languages into formal modal or quantified languages. Finite model theory for modal and propositional logic.

Reading list

Follows the readings of the Fundamentals of Logic course

Association in the course directory

Last modified: Tu 13.10.2020 11:09