180008 UE M-03 Übung zum Grundkurs Logik (2025S)
Labels
Zusammenfassung
An/Abmeldung
- Anmeldung von Di 11.02.2025 09:00 bis Mo 17.02.2025 23:59
- Anmeldung von Mo 24.02.2025 09:00 bis Do 27.02.2025 23:59
- Abmeldung bis Mo 31.03.2025 23:59
Gruppen
Gruppe 1
Lehrende
An/Abmeldung
Termine (iCal) - nächster Termin ist mit N markiert
- N Mittwoch 19.03. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 26.03. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 02.04. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 09.04. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 30.04. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 07.05. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 14.05. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 21.05. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 28.05. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 04.06. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 11.06. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 18.06. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
- Mittwoch 25.06. 09:45 - 11:15 Hörsaal 3B NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Art der Leistungskontrolle und erlaubte Hilfsmittel
(i) (Bis zu) wöchentlichen Übungsblättern
(ii) Präsentationen von Übungsaufgaben
(iii) Einem Abschlusstest
Mindestanforderungen und Beurteilungsmaßstab
40% Übungsblätter: Acht der abzugebenden Übungsblätter sind sinnvoll und ernsthaft zu bearbeiten. Für die sinnvolle Bearbeitung dieser Blätter gibt es jeweils 5 Prozentpunkte, insgesamt also 40. Es ist dabei nicht notwendig, alle Aufgaben zu lösen, sondern lediglich notwendig, einen signifikanten Teil der Aufgaben ernsthaft bearbeitet zu haben.
10% Präsentation: Weitere 10 Prozentpunkte sind durch die Präsentation (einmalig oder zweimalig) ausgewählter Aufgaben (von den Übungsblättern) zu erreichen. Hierbei sind einerseits inhaltliche Passung und andererseits Verständlichkeit der Präsentation Bewertungskriterien.
50% Abschlusstest in der letzten Einheit (voraussichtlich)
Prüfungsstoff
Syntax und Semantik der propositionalen Modallogik
Formalisierung natursprachlicher Argumente
Sonstiger in der Übung behandelter Stoff
Literatur
Gruppe 2
Lehrende
An/Abmeldung
Termine (iCal) - nächster Termin ist mit N markiert
Die UE ist als Präsenz-LV geplant. Falls es Phasen geben sollte, in denen Präsenzlehre nicht möglich ist, wird die UE in diesen Phasen online (auf Zoom) stattfinden. Sollten Sie beim ersten Termin nicht erscheinen, werden Sie von der UE abgemeldet und die nächste Person aus der Warteliste wird dafür angemeldet. Wenn Sie beim ersten Termin verhindert sein sollten, melden Sie sich also bitte rechtzeitig mit einer kurzen Email an: guenther.eder@univie.ac.at.
- N Donnerstag 13.03. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 20.03. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 27.03. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 03.04. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 10.04. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 08.05. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 15.05. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 22.05. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 05.06. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 12.06. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
- Donnerstag 26.06. 18:30 - 20:00 Hörsaal 1 Hauptgebäude Tiefparterre Stiege 1 Hof 1
Ziele, Inhalte und Methode der Lehrveranstaltung
Durch Präsentation und Diskussion von Übungsbeispielen wird in dieser LV das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ vermittelten Methoden und Begriffe gefestigt und vertieft.
Im Zentrum der LV werden die Grundlagen der klassischen Aussagenlogik und der klassischen Prädikatenlogik erster Stufe stehen. Nach einer einführenden Diskussion des Verhältnisses von Rhetorik, formaler Logik, informaler Logik, und Philosophie, werden insbesondere folgende Themen besprochen: formale Sprachen und deduktive Systeme; die formale Sprache der Aussagenlogik (AL) und der Prädikatenlogik erster Stufe (PL); aussagenlogische und prädikatenlogische Formalisierung; Semantik der AL und der PL (Modelle, Wahrheit in einem Modell); semantischer Folgerungsbegriff für die AL und PL; formale Ableitungskalküle für die AL und PL (Kalkül des natürlichen Schließens) sowie entsprechende syntaktische Folgerungsbegriffe; Metatheorie der AL und PL (Korrekheit und Vollständigkeit). Darüber hinaus werden, in Abhängigkeit von den thematischen Schwerpunkten, die in der Vorlesung ‘Grundkurs Logik’ gesetzt werden, weitere philosophisch relevante Logiken (Modallogik, Mehrwertige Logiken) sowie ausgewählte Themen der Geschichte und Philosophie der Logik besprochen.Ziele:
Das Hauptziel der LV besteht darin, das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ eingeführten Begriffe und Methoden durch Übungen und Diskussion zu festigen und zu vertiefen, und den Studierenden ein umfassendes Bild des Werts der formalen Logik für die Philosophie zu vermitteln.Methoden:
Jede LV‐Einheit ist zweigeteilt. Im ersten Teil jeder Einheit werden die jeweils vorzubereitenden Übungsbeispiele besprochen. Einzelne Übungsbeispiele werden dazu von Studierenden präsentiert und danach gemeinsam diskutiert. Im zweiten Teil jeder Einheit werden durch Vortrag des LV‐Leiters die Inhalte vorgestellt, die für das Lösen des jeweils nächsten Übungsblattes erforderlich sind.
Um gewissen Ängsten gegenüber formalen Methoden und Begriffsbildungen vorzubeugen, ist es dem LV‐Leiter ein besonderes Anliegen, kleinschrittig vorzugehen und im ständigen Austausch mit den Studierenden eine offene und konstruktive Atmosphäre zu schaffen, in der Fragen und Diskussionen (im Rahmen des Möglichen) ausdrücklich erwünscht sind.
Art der Leistungskontrolle und erlaubte Hilfsmittel
- Übungsblätter
- Mitarbeit (Tafelmeldungen)
Mindestanforderungen und Beurteilungsmaßstab
- Anwesenheit (höchstens 3 Fehleinheiten)
- Absolvierung des Abschlusstests
- Mindestens 30 Prozent der ÜbungsbeispieleDie Gesamtnote setzt sich im Verhältnis 1 : 1 aus einer Mitarbeitsnote und der Note auf den Abschlusstest zusammen. Die Mitarbeitsnote ergibt sich wiederum aus zwei Teilen, (1) der Anzahl der rechtzeitig abgegebenen Übungsbeispiele und (2) der Anzahl der Tafelmeldungen. Tafelmeldungen sind freiwillig und als 'abgegebene Übungsbeispiele' gelten alle (aber auch nur die) ernsthaften Versuche ein Beispiel zu lösen. Insbesondere wird also die Korrektheit eines Lösungsversuchs nicht mit einbezogen. Basis der Mitarbeitsnote ist der Prozentsatz p der abgegebenen Übungsbeispiele im Verhältnis zu den möglichen. Der Wert p vermindert sich zunächst um 5 Prozentpunkte und erhöht sich dann für jede Tafelmeldung um 5 Prozentpunkte zum Mitarbeitswert p*. Die Mitarbeitsnote ergibt sich dann aus folgenden Festlegungen: p* >= 90 ... 1; 90 > p* >= 80 ... 2; 80 > p* >= 65 ... 3; 65 > p* >= 50 ... 4; 50 > p* ... 5.
Prüfungsstoff
Literatur
Gruppe 3
Lehrende
An/Abmeldung
Termine (iCal) - nächster Termin ist mit N markiert
Die UE ist als Präsenz-LV geplant. Falls es Phasen geben sollte, in denen Präsenzlehre nicht möglich ist, wird die UE in diesen Phasen online (auf Zoom) stattfinden. Sollten Sie beim ersten Termin nicht erscheinen, werden Sie von der UE abgemeldet und die nächste Person aus der Warteliste wird dafür angemeldet. Wenn Sie beim ersten Termin verhindert sein sollten, melden Sie sich also bitte rechtzeitig mit einer kurzen Email an: guenther.eder@univie.ac.at.
- N Donnerstag 13.03. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 20.03. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 27.03. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 03.04. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 10.04. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 08.05. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 15.05. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 22.05. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 05.06. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 12.06. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Donnerstag 26.06. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Ziele, Inhalte und Methode der Lehrveranstaltung
Durch Präsentation und Diskussion von Übungsbeispielen wird in dieser LV das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ vermittelten Methoden und Begriffe gefestigt und vertieft.
Im Zentrum der LV werden die Grundlagen der klassischen Aussagenlogik und der klassischen Prädikatenlogik erster Stufe stehen. Nach einer einführenden Diskussion des Verhältnisses von Rhetorik, formaler Logik, informaler Logik, und Philosophie, werden insbesondere folgende Themen besprochen: formale Sprachen und deduktive Systeme; die formale Sprache der Aussagenlogik (AL) und der Prädikatenlogik erster Stufe (PL); aussagenlogische und prädikatenlogische Formalisierung; Semantik der AL und der PL (Modelle, Wahrheit in einem Modell); semantischer Folgerungsbegriff für die AL und PL; formale Ableitungskalküle für die AL und PL (Kalkül des natürlichen Schließens) sowie entsprechende syntaktische Folgerungsbegriffe; Metatheorie der AL und PL (Korrekheit und Vollständigkeit). Darüber hinaus werden, in Abhängigkeit von den thematischen Schwerpunkten, die in der Vorlesung ‘Grundkurs Logik’ gesetzt werden, weitere philosophisch relevante Logiken (Modallogik, Mehrwertige Logiken) sowie ausgewählte Themen der Geschichte und Philosophie der Logik besprochen.Ziele:
Das Hauptziel der LV besteht darin, das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ eingeführten Begriffe und Methoden durch Übungen und Diskussion zu festigen und zu vertiefen, und den Studierenden ein umfassendes Bild des Werts der formalen Logik für die Philosophie zu vermitteln.Methoden:
Jede LV‐Einheit ist zweigeteilt. Im ersten Teil jeder Einheit werden die jeweils vorzubereitenden Übungsbeispiele besprochen. Einzelne Übungsbeispiele werden dazu von Studierenden präsentiert und danach gemeinsam diskutiert. Im zweiten Teil jeder Einheit werden durch Vortrag des LV‐Leiters die Inhalte vorgestellt, die für das Lösen des jeweils nächsten Übungsblattes erforderlich sind.
Um gewissen Ängsten gegenüber formalen Methoden und Begriffsbildungen vorzubeugen, ist es dem LV‐Leiter ein besonderes Anliegen, kleinschrittig vorzugehen und im ständigen Austausch mit den Studierenden eine offene und konstruktive Atmosphäre zu schaffen, in der Fragen und Diskussionen (im Rahmen des Möglichen) ausdrücklich erwünscht sind.
Art der Leistungskontrolle und erlaubte Hilfsmittel
- Übungsblätter
- Mitarbeit (Tafelmeldungen)
Mindestanforderungen und Beurteilungsmaßstab
- Anwesenheit (höchstens 3 Fehleinheiten)
- Absolvierung des Abschlusstests
- Mindestens 30 Prozent der ÜbungsbeispieleDie Gesamtnote setzt sich im Verhältnis 1 : 1 aus einer Mitarbeitsnote und der Note auf den Abschlusstest zusammen. Die Mitarbeitsnote ergibt sich wiederum aus zwei Teilen, (1) der Anzahl der rechtzeitig abgegebenen Übungsbeispiele und (2) der Anzahl der Tafelmeldungen. Tafelmeldungen sind freiwillig und als 'abgegebene Übungsbeispiele' gelten alle (aber auch nur die) ernsthaften Versuche ein Beispiel zu lösen. Insbesondere wird also die Korrektheit eines Lösungsversuchs nicht mit einbezogen. Basis der Mitarbeitsnote ist der Prozentsatz p der abgegebenen Übungsbeispiele im Verhältnis zu den möglichen. Der Wert p vermindert sich zunächst um 5 Prozentpunkte und erhöht sich dann für jede Tafelmeldung um 5 Prozentpunkte zum Mitarbeitswert p*. Die Mitarbeitsnote ergibt sich dann aus folgenden Festlegungen: p* >= 90 ... 1; 90 > p* >= 80 ... 2; 80 > p* >= 65 ... 3; 65 > p* >= 50 ... 4; 50 > p* ... 5.
Prüfungsstoff
Literatur
Gruppe 4
Lehrende
An/Abmeldung
Termine (iCal) - nächster Termin ist mit N markiert
- N Montag 10.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 17.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 24.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 31.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 07.04. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 28.04. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 05.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 12.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 19.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 26.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 02.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 16.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 23.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 30.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
Some of these are good arguments, some are not. Why are the good arguments good and the bad arguments bad?
In this course, we will use the methods of formal logic to analyze and assess the structure of arguments we encounter.
By the end of the course, you will have learned how to use a range of logical tools to evaluate arguments.More specifically, the course will cover the syntax, semantics and proofs of propositional, predicate and modal logic.
As an exercise course, we will learn by doing, with weekly exercise sheets and in-class tasks.It is recommended that participants take this course alongside the VO Fundamentals of Logic (DE: "Grundkurs Logik").
Art der Leistungskontrolle und erlaubte Hilfsmittel
(1) Successful completion of homework exercises
(2) A final examA good-faith attempt at both the homeworks and the exam is sufficient for a grade of 3.
Higher grades (2 and 1) are awarded on the basis of exam performances which exceed expectations.
Mindestanforderungen und Beurteilungsmaßstab
(2) Completion of the final exam
Prüfungsstoff
Syntax, Semantics and Proof in Predicate Logic
Syntax and Semantics of Modal Logic