180013 UE Basic course in logic (2021S)
Continuous assessment of course work
Labels
REMOTE
Summary
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 is open from Fr 12.02.2021 09:00 to We 17.02.2021 10:00
- Registration is open from We 24.02.2021 09:00 to Mo 01.03.2021 10:00
- Deregistration possible until We 31.03.2021 23:59
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 15.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.
- 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).
- 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 16.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.
• 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.
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 14.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.
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 18.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.
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.
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.
- 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: Fr 12.05.2023 00:18