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. NOTE: Courses where at least one unit is on-site are currently marked "on-site" in u:find.

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

180013 UE Basic course in logic (2021S)

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

Summary

1 Reinhard , Moodle
Tu 15.06. 09:45-11:15 Digital
2 Linsbichler , Moodle
We 16.06. 15:00-16:30 Digital
3 Danowski , Moodle
Mo 14.06. 11:30-13:00 Digital
4 Pascucci , Moodle
Fr 18.06. 15:30-17:00 Digital

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first serve).
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

Die Übungseinheiten finden online statt. Für die Teilnahme sind u.a. Webcam, Headset (oder Mikrofon und Lautsprecher) erforderlich, sowie die Möglichkeit, Lösungen zu den Übungsaufgaben in Moodle hochzuladen.

Tuesday 09.03. 09:45 - 11:15 Digital
Tuesday 16.03. 09:45 - 11:15 Digital
Tuesday 23.03. 09:45 - 11:15 Digital
Tuesday 13.04. 09:45 - 11:15 Digital
Tuesday 20.04. 09:45 - 11:15 Digital
Tuesday 27.04. 09:45 - 11:15 Digital
Tuesday 04.05. 09:45 - 11:15 Digital
Tuesday 11.05. 09:45 - 11:15 Digital
Tuesday 18.05. 09:45 - 11:15 Digital
Tuesday 01.06. 09:45 - 11:15 Digital
Tuesday 08.06. 09:45 - 11:15 Digital
Tuesday 22.06. 09:45 - 11:15 Digital
Tuesday 29.06. 09:45 - 11:15 Digital

Aims, contents and method of the course

In the UE, we will focus on the contents of the VO ‘Introduction to Logic’ (propositional logic, predicate logic, modal logic) through concrete exercises (weekly exercise sheets). The aim of the UE is to develop a routine in dealing with formal languages, definitions, and proofs.

In the first part of the UE, students will present and discuss their solutions to the weekly exercise sheet. In the second part of the UE, we will review the topics needed to solve the next exercise sheet.

Assessment and permitted materials

Preparation of the weekly exercise sheets; active participation; two written exams (in the middle and the end of the semester); possible additional written or oral exercises.

For the exams, the following applies:
- By taking the exams, you declare that you solved the exam independently, without the help of others or unauthorised resources.
- The exams can be subject to a plagiarism assessment.
- Within a period of four weeks after the respective exam, the lecturer can request an additional oral exam on the exam contents. This can happen on a random basis and without a particular reason.
- In case unauthorised resources are used and/or an exam is not taken independently, the student will not receive a final grade and the course will be marked with an X on the transcript.
- In case an exam is not finished and uploaded on Moodle in the specified timeframe without explanation, the student will receive 0 points.
- If you have technical difficulties during the exam, please contact the lecturer immediately.

Minimum requirements and assessment criteria

For a positive final grade, the following requirements need to be met:
- Participation (max 4 absences, excluding emergencies, illnesses …),
- At least 75% of the weekly exercise sheets need to be solved and uploaded to Moodle in time,
- Positive grade in both exams (at least 50% of the points in each exam).

The final grade is calculated from the points of the two exams (from 50% of the points ... 5; 62,5% ... 4; 75% ... 3; 87,5% ... 2; above ... 1).

Examination topics

Contents of the UE.

Reading list

No necessary literature. Optional literature will be uploaded to Moodle.

Group 2

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Die Übungseinheiten finden online statt. Für die Teilnahme sind sind daher unter anderem Webcam und Headset (oder Mikrofon und Lautsprecher) erforderlich sowie die Möglichkeit, Beispiellösungen in Moodle hochzuladen.

Wednesday 10.03. 15:00 - 16:30 Digital
Wednesday 17.03. 15:00 - 16:30 Digital
Wednesday 24.03. 15:00 - 16:30 Digital
Wednesday 14.04. 15:00 - 16:30 Digital
Wednesday 21.04. 15:00 - 16:30 Digital
Wednesday 28.04. 15:00 - 16:30 Digital
Wednesday 05.05. 15:00 - 16:30 Digital
Wednesday 12.05. 15:00 - 16:30 Digital
Wednesday 19.05. 15:00 - 16:30 Digital
Wednesday 26.05. 15:00 - 16:30 Digital
Wednesday 02.06. 15:00 - 16:30 Digital
Wednesday 09.06. 15:00 - 16:30 Digital
Wednesday 23.06. 15:00 - 16:30 Digital
Wednesday 30.06. 15:00 - 16:30 Digital

Aims, contents and method of the course

Aims: deeper understanding of the topics of the associated lecture course "Basic Logic" (propositional logic, first order predicate logic, modal logic); acquiring experience in dealing with definitions, formal languages and proofs; possibly becoming acquainted and reflecting upon the role and the epistemological status of logic (or logics respectively)

Contents: application and consolidation of the main topics of the associated lecture course "Basic Logic", particularly of the formal aspects: formation rules, syntax (calculi of natural deduction and axiomatic calculuses), and sematics of propositional logic and of first order predicate logic; possibly outlook on further topics such as completeness theorem, compactness theorem, incompleteness theorems, non-classical logics, predicate logic with terms with infinite length, model theory, modal logic; possibly outlook on historical and contemporary discussions regarding the epistemological status and the role of logic or logics respectively (Frege, Hahn, Brouwer, Carnap, Quine, Popper, Tarski, Prior, Suppes, Burgess, G. Russell, Leitgeb)

Methods: reiteration and consolidatin of formal aspects of the lecture course: lecture; presentation of exercise examples by the lecturer and by students; discussion of problems and questions

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.

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 0 Punkten beurteilt. Bei technischen Problemen wenden Sie sich sofort an die Lehrveranstaltungsleitung oder die Testaufsicht.

Minimum requirements and assessment criteria

Vorbereitung von mindestens 50 Prozent der Übungsbeispiele als notwendige Bedingung für positive Beurteilung.
Es gibt zwei Ü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 aktive Mitarbeit und Bonusbeispiele um einen Grad, in Ausnahmefällen um zwei Grade verändern.

Mit Ihrer Anmeldung stimmen Sie automatisch zu, dass Ihre schriftlichen Teilleistungen mittels Turnitin
geprüft werden.

Examination topics

formation rules, syntax (calculuses of natural deduction and axiomatic calculuses), and sematics of propositional logic and first order predicate logic; possible additional assessment load (modal logic, ...) depends on progress in lecture course and exercise course and will be announced timely before the exercise tests

Reading list

Literatur im engeren Sinn ist für die Übung nicht erforderlich. Hinweise auf optionale vertiefende Literatur erfolgen in Moodle.

Group 3

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Monday 08.03. 11:30 - 13:00 Digital
Monday 15.03. 11:30 - 13:00 Digital
Monday 22.03. 11:30 - 13:00 Digital
Monday 12.04. 11:30 - 13:00 Digital
Monday 19.04. 11:30 - 13:00 Digital
Monday 26.04. 11:30 - 13:00 Digital
Monday 03.05. 11:30 - 13:00 Digital
Monday 10.05. 11:30 - 13:00 Digital
Monday 17.05. 11:30 - 13:00 Digital
Monday 31.05. 11:30 - 13:00 Digital
Monday 07.06. 11:30 - 13:00 Digital
Monday 21.06. 11:30 - 13:00 Digital
Monday 28.06. 11:30 - 13:00 Digital

Aims, contents and method of the course

Ziel der LV ist eine Praktische Auseinandersetzung mit den Themen aus dem Grundkurs Logik. Durch praktische Übungen und Anwendungsaufgaben soll ein routinierter Umgang mit formalen Sprachen und Systemen erlernt werden.

Die Praktischen Aufgaben stehen dementsprechend im Zentrum dieser LV. Jede Woche werden die Teilnehmer*innen der LV unabhängig oder in kleinen Gruppen Aufgaben bearbeiten, deren Lösungen und Bedeutung wir dann gemeinsam in der LV besprechen. Inhaltlich orientieren wir uns dabei generell an den Themen der Logik-Vorlesung, u.a. Ausagenlogik, Prädikatenlogik, und Modallogik.

Die selbstständige Bearbeitung der Übungsaufgaben ist dabei unumgänglich für die Teilnahme an der LV. Die Dikussionen in der LV dienen dabei vor allem zur Nachbearbeitung und zur Einordnung der wöchentlichen Übungen, und sind nur im Bezug auf diese zu verstehen.

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.
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 0 Punkten beurteilt. Bei technischen Problemen wenden Sie sich sofort an die Lehrveranstaltungsleitung oder die Testaufsicht.

Minimum requirements and assessment criteria

Vorbereitung von mindestens 75% der wöchentlichen Übungsbeispiele als notwendige Bedingung für positive Beurteilung. Generell gilt eine Entschuldingungs-Pflicht bei dem Ausfall von Übungsaufgaben. Zu häufige, nicht entschuldigte Nicht-Bearbeitungen der Übungsaufgaben führt zur negativen Bewertung der Kursleistungen.

Es gibt zwei Ü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).

Examination topics

Die in der Übung besprochenen Inhalte und Beispiele. Dabei vor allem: Formalisierung, Theoreme testen, und formales Schließen. Näheres wird in der LV bekannt gegeben.

Reading list

Auf Grund der praktischen Orientierung dieser LV gibt es keine notwendige Literatur.

Group 4

max. 45 participants
Language: English
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Friday 19.03. 15:30 - 17:00 Digital
Friday 26.03. 15:30 - 17:00 Digital
Friday 16.04. 15:30 - 17:00 Digital
Friday 23.04. 15:30 - 17:00 Digital
Friday 30.04. 15:30 - 17:00 Digital
Friday 07.05. 15:30 - 17:00 Digital
Friday 14.05. 15:30 - 17:00 Digital
Friday 21.05. 15:30 - 17:00 Digital
Friday 28.05. 15:30 - 17:00 Digital
Friday 04.06. 15:30 - 17:00 Digital
Friday 11.06. 15:30 - 17:00 Digital
Friday 25.06. 15:30 - 17:00 Digital
Wednesday 30.06. 15:30 - 17:00 Digital

Aims, contents and method of the course

The course will allow students to strengthen their acquaintance with formal methods for
deductive reasoning. In particular, they will be trained in solving exercises concerning the
syntactic and semantic analysis of classical propositional and first-order logic.
The syntactic analysis will rely on axiomatic calculi and
natural deduction calculi. Students will assess the advantages and disadvantages of both
approaches.
The semantic analysis will rely on truth-tables (propositional logic) and basic
model-theory (first-order logic). Students will learn how to exploit Reductio ad Absurdum
arguments to prove the validity of propositional formulas, and to build minimal countermodels to
prove the validity of first-order formulas. Within the semantic analysis of first-order logic,
students will also use elementary notions of set theory. Finally, the course will provide insights into modal extensions of classical logic.

Assessment and permitted materials

Two written tests: one after the first half of the course and the other at the end of the course.

Minimum requirements and assessment criteria

In order to pass the exam, students will have to attend at least 75% of the classes, to receive an
overall positive grade in the two written tests (up to 50% of the points ... 5; up to 62.5% ... 4; up to 75% ... 3; up to 87.5% ... 2; above ... 1), and to address at least 75% of the written tasks assigned on a weekly
basis.

The standard rules to ensure independent work apply to the two written tests, as in the other modules for this course. In particular, please beware of the following aspects:
• Candidates need to take part in the written exams without the help of third parties and without unauthorized aids.
• By registering for this course, candidates give their consent to having all electronic submissions checked by Turnitin.
• Within the assessment period of up to four weeks after the end of the course, a further oral test can take place if needed.
• If unauthorized aids are used and/or the exam tasks are not addressed independently, the exam cannot be evaluated.
Candidates encountering technical obstacles with Moodle are recommended to contact the course director or the exam supervisor immediately.

Examination topics

Building syntactic and semantic derivations within propositional logic, first-order logic and some modal logics.

Reading list

The course will be mainly based on the following textbooks:
- D. van Dalen (2013). Logic and Structure . Fifth Edition. Berlin: Springer.
[ Relevant parts: Chapters 1-2].
- E.J. Lemmon (1998). Beginning Logic . Second Edition. London: Chapman & Hall.
Additional notes on modal logics will be available during the course.

Association in the course directory

Last modified: Tu 08.06.2021 12:08