EduXchange.EU

Logic and its Limits

CLA30204
Other subject area

About this course

Gegenstand ist zum einen die natürliche Sprache und die Analyse ihrer Form und Gestalt und zum anderen die sog. Mathematische Logik. Die Studierenden lernen die Reichhaltigkeit der natürlichen Sprache kennen und auch die Grenzen ihrer Analyse. Sie erkennen, wie wichtig und hilfreich eine formale Grammatik (=Logik) sein kann, aber auch, dass es mehre Grammatiken gibt und jede gewissen Grenzen gehorchen muss. Schließlich stellt sich die Frage nach universellen Grammatiken oder Logiken. Basierend auf der Sprachanalyse wird ein Logikkalkül aufgebaut und seine Grenzen analysiert (Gödel'sche Sätze) und auch auf Fragen der Spezifikation und automatischer Theorembeweiser eingegangen.

Learning outcomes

Nach dem Kurs sollten Sie die folgenden Fragen beantworten können: a) Sprache und Logik, was haben diese gemeinsam, was grenzt diese ab? b) Argumentation und Form c) Gibt es nur eine Logik? d) Was ist propositionale Logik? e) Was sind Quantoren und Prädikate und wie viele gibt es davon? f) Was ist Beweistheorie und was macht sie? g) Was kann die Logik oder einzelne Logiken und was nicht?

Examination

Klausur

Resources

Activities

Gruppenarbeit, Projekte, Aufgaben, Plenumsvortrag und Einweisung

Additional information

  • Credits
    ECTS 3
  • Contact hours per week
    2
  • Instructors
    Stefania Centrone, Alfred Slanitz, Margarita Anishchenko, Gerson Brea, Oliver Deiser, Rainhard Bengez, Nikolaus Schatt
  • Mode of instruction
    Hybrid
If anything remains unclear, please check the FAQ of TUM (Germany).

Offering(s)

  • Start date

    23 April 2025

    • Ends
      25 July 2025
    • Term *
      Summer 2025
    • Instruction language
    • Register between
      29 Oct - 29 Nov 2024
    Enrolment open
    Apply now
These offerings are valid for students of DTU (Denmark)