Universität Wien
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

180008 UE M-03 Übung zum Grundkurs Logik (2025S)

5.00 ECTS (2.00 SWS), SPL 18 - Philosophie
Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.

Gruppen

Gruppe 1

Hinweis der SPL Philosophie:

Das Abgeben von ganz oder teilweise von einem KI-tool (z.B. ChatGPT) verfassten Texten als Leistungsnachweis (z.B. Seminararbeit) ist nur dann erlaubt, wenn dies von der Lehrveranstaltungsleitung ausdrücklich als mögliche Arbeitsweise genehmigt wurde. Auch hierbei müssen direkt oder indirekt zitierte Textstellen wie immer klar mit Quellenangabe ausgewiesen werden.

Die Lehrveranstaltungsleitung kann zur Überprüfung der Autorenschaft einer abgegebenen schriftlichen Arbeit ein notenrelevantes Gespräch (Plausibilitätsprüfung) vorsehen, das erfolgreich zu absolvieren ist.

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").

    Termine (iCal) - nächster Termin ist mit N markiert

    • 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

    Diese Übung ist als Begleitung zur Vorlesung "Grundkurs Logik" gedacht und sollte parallel zu ihr belegt werden. Die Übung soll dementsprechend dazu dienen, in dieser Vorlesung erworbene Kenntnisse zu Logik (Satzlogik, Prädikatenlogik, und Modallogik) zu vertiefen und praktisch anwenden zu lernen. Hierzu werden wöchentlich Übungsaufgaben in Gruppen und individuell gelöst und besprochen. Dadurch soll ein routinierter Umgang mit der Syntax und Semantik dieser formalen Systeme erlernt werden. Ergänzt wird diese praktische Einführung, wo angebracht, durch weiterführendes Material (andere Logiken, metatheoretische Überlegungen, philosophische Reflexionen zu den Grundbegriffen der Logik).

    Art der Leistungskontrolle und erlaubte Hilfsmittel

    Die Leistungskontrolle besteht aus drei Teilen:
    (i) (Bis zu) wöchentlichen Übungsblättern
    (ii) Präsentationen von Übungsaufgaben
    (iii) Einem Abschlusstest

    Mindestanforderungen und Beurteilungsmaßstab

    Die Note setzt sich folgendermaßen zusammen:
    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 von Satz- und Prädikatenlogik, einschließlich einem Sequenzenkalkül
    Syntax und Semantik der propositionalen Modallogik
    Formalisierung natursprachlicher Argumente
    Sonstiger in der Übung behandelter Stoff

    Literatur

    Halbach, Volker (2010). The logic manual. New York: Oxford University Press.

    Gruppe 2

    Hinweis der SPL Philosophie:

    Das Abgeben von ganz oder teilweise von einem KI-tool (z.B. ChatGPT) verfassten Texten als Leistungsnachweis (z.B. Seminararbeit) ist nur dann erlaubt, wenn dies von der Lehrveranstaltungsleitung ausdrücklich als mögliche Arbeitsweise genehmigt wurde. Auch hierbei müssen direkt oder indirekt zitierte Textstellen wie immer klar mit Quellenangabe ausgewiesen werden.

    Die Lehrveranstaltungsleitung kann zur Überprüfung der Autorenschaft einer abgegebenen schriftlichen Arbeit ein notenrelevantes Gespräch (Plausibilitätsprüfung) vorsehen, das erfolgreich zu absolvieren ist.

    max. 45 Teilnehmer*innen
    Sprache: Deutsch

    Lehrende

    An/Abmeldung

    Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").

      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.

      • 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

      Inhalte:
      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

      - Abschlusstest
      - Übungsblätter
      - Mitarbeit (Tafelmeldungen)

      Mindestanforderungen und Beurteilungsmaßstab

      Mindestanforderungen:
      - Anwesenheit (höchstens 3 Fehleinheiten)
      - Absolvierung des Abschlusstests
      - Mindestens 30 Prozent der Übungsbeispiele

      Die 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

      Prüfungsrelevant sind alle Inhalte, die im Rahmen der UE anhand von Übungsbeispielen besprochen wurden.

      Literatur

      Alle notwendigen Unterlagen (Übungsblätter, Folien, sowie ergänzende Texte) werden den Studierenden im Moodle zur Verfügung gestellt. Weitere Literaturhinweise werden zu Beginn der LV angegeben und werden sich nach den in der Vorlesung 'Grundkurs Logik' besprochenen Inhalten und Literaturangaben richten.

      Gruppe 3

      Hinweis der SPL Philosophie:

      Das Abgeben von ganz oder teilweise von einem KI-tool (z.B. ChatGPT) verfassten Texten als Leistungsnachweis (z.B. Seminararbeit) ist nur dann erlaubt, wenn dies von der Lehrveranstaltungsleitung ausdrücklich als mögliche Arbeitsweise genehmigt wurde. Auch hierbei müssen direkt oder indirekt zitierte Textstellen wie immer klar mit Quellenangabe ausgewiesen werden.

      Die Lehrveranstaltungsleitung kann zur Überprüfung der Autorenschaft einer abgegebenen schriftlichen Arbeit ein notenrelevantes Gespräch (Plausibilitätsprüfung) vorsehen, das erfolgreich zu absolvieren ist.

      max. 45 Teilnehmer*innen
      Sprache: Deutsch

      Lehrende

      An/Abmeldung

      Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").

        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.

        • 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

        Inhalte:
        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

        - Abschlusstest
        - Übungsblätter
        - Mitarbeit (Tafelmeldungen)

        Mindestanforderungen und Beurteilungsmaßstab

        Mindestanforderungen:
        - Anwesenheit (höchstens 3 Fehleinheiten)
        - Absolvierung des Abschlusstests
        - Mindestens 30 Prozent der Übungsbeispiele

        Die 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

        Prüfungsrelevant sind alle Inhalte, die im Rahmen der UE anhand von Übungsbeispielen besprochen wurden.

        Literatur

        Alle notwendigen Unterlagen (Übungsblätter, Folien, sowie ergänzende Texte) werden den Studierenden im Moodle zur Verfügung gestellt. Weitere Literaturhinweise werden zu Beginn der LV angegeben und werden sich nach den in der Vorlesung 'Grundkurs Logik' besprochenen Inhalten und Literaturangaben richten.

        Gruppe 4

        Hinweis der SPL Philosophie:

        Das Abgeben von ganz oder teilweise von einem KI-tool (z.B. ChatGPT) verfassten Texten als Leistungsnachweis (z.B. Seminararbeit) ist nur dann erlaubt, wenn dies von der Lehrveranstaltungsleitung ausdrücklich als mögliche Arbeitsweise genehmigt wurde. Auch hierbei müssen direkt oder indirekt zitierte Textstellen wie immer klar mit Quellenangabe ausgewiesen werden.

        Die Lehrveranstaltungsleitung kann zur Überprüfung der Autorenschaft einer abgegebenen schriftlichen Arbeit ein notenrelevantes Gespräch (Plausibilitätsprüfung) vorsehen, das erfolgreich zu absolvieren ist.

        max. 45 Teilnehmer*innen
        Sprache: Englisch

        Lehrende

        An/Abmeldung

        Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").

          Termine (iCal) - nächster Termin ist mit N markiert

          • 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

          In our daily lives and philosophical studies, we frequently encounter arguments.
          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

          The assessment has two parts:
          (1) Successful completion of homework exercises
          (2) A final exam

          A 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

          (1) Successful completion of homework exercises
          (2) Completion of the final exam

          Prüfungsstoff

          Syntax, Semantics and Proof in Propositional Logic
          Syntax, Semantics and Proof in Predicate Logic
          Syntax and Semantics of Modal Logic

          Literatur

          Halbach, Volker (2010). The logic manual. New York: Oxford University Press.

          Zuordnung im Vorlesungsverzeichnis

          Letzte Änderung: Do 13.02.2025 13:26