Lehre

Lehrtätigkeit im Wintersemester 2023/24

501.403

RE

Übung zur Elementaren Logik I

Übung zur Elementaren Logik

Einen Text mit einigen allgemeinen Informationen über den Ablauf der Übung zur Elementaren Logik (einschließlich Kriterien für eine positive Absolvierung) im Wintersemester 2023/24 finden Sie »hier«.

Die Bildschirmpräsentation aus der Vorbesprechung finden Sie »hier«.

Ein Tool zur Erzeugung der Dateinamen für Ihre Abgaben finden Sie »hier«.

Einführung in die Philosophie [...], Proseminar

Vorbesprechung: Bildschirmpräsentation

Lehre: Archiv

Eine Aufstellung meiner vergangenen Lehrtätigkeit finden Sie »hier«.

Handouts zur Elementaren Logik

Elementare Logik: Klassische Aussagen- und Prädikatenlogik

• Logik 0: Einführung, als Bildschirmpräsentation und als Handout
• Syntaktik: Der Satzvorrat der Aussagenlogik, als Bildschirmpräsentation
• Der aussagenlogische und der prädikatenlogische Kalkül des natürlichen Schließens und Beweisstrategien
• Beispiele für Ableitungen im Kalkül des natürlichen Schließens
• Ableitungen im Kalkül des natürlichen Schließens als Lückentexte — und die Lösungen dazu
• Formalisierungen in der Aussagenlogik, als Bildschirmpräsentation
• Bildschirmpräsentation: Paradoxien der materialen Implikation (Vorlesung zur Elementaren Logik I vom 28.11.2017)
• Syntaktik: Der Satzvorrat der Prädikatenlogik, auch als Bildschirmpräsentation und als Handout dazu
• Einsetzen (Substituieren), in Anlehnung an ein Merkblatt von Univ.-Prof. Dr. R. Kamitz
• Gesetze der Prädikatenlogik: Folgerungsbeziehungen und Äquivalenzen, in Anlehnung an ein Merkblatt von Univ.-Prof. Dr. R. Kamitz
• Bildschirmpräsentation: Quantorentauschgesetze und der Quantorentausch-Fehlschluss
• Zahlenangaben in Prädikatenlogik mit Identität
• Lösungen zur Übungseinheit 7

Der Satz von Alonzo Church: Die Unentscheidbarkeit der Prädikatenlogik

Skriptum

Ein Skriptum zu diesem Kurs gibt es »hier«.

Kriterien für eine positive Absolvierung

• Bearbeitung von Übungsaufgaben
• mündliche Diskussionsbeiträge in den Sitzungen der Lehrveranstaltung
• Abschlusskolloquium

Bilschirmpräsentationen

• Administratives & Einleitung
• Der infinite Abacus

Grenzen der Beweisbarkeit: Der erste Gödelsche Unvollständigkeitssatz

Bildschirmpräsentationen

• Administratives & Einleitung
• Historisch-systematische Einführung
• Arithmetik
• Gödelisierung (Handout-Version)
• Rekursive Funktionen
• Zwischenbilanz I
• Arithmetisierung der Metamathematik (Handout-Version)
• Zwischenspiel: Eine rekursive Funktion, die nicht primitiv-rekursiv ist
• Repräsentierbarkeit und die „Gödel-Relation“ (Handout-Version)
• „Gödels Trick“ (Handout-Version)
• Diagonalverfahren, Diagonalbeweise (Handout-Version)
• Abschluss

Übungsaufgaben

Übungseinheit 1

Handouts zur Elementaren Logik – ALT

Die folgenden Handouts sind aufgrund der Umstellungen der Lehre der Elementaren Logik in Graz in jüngerer Zeit veraltet.

Elementare Logik I: Klassische Junktorenlogik

• Die „CND-Expressmethode“ zum Ausfüllen von Wahrheitstafeln
• Vorlesung über die Semantik der Junktorenlogik
• Folgerungen und Äquivalenzen (1), nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
• Der aussagenlogische Kalkül des natürlichen Schließens und Beweisstrategien
• Abriss über den Baumkalkül (1)
• Erste Schritte zum Formalisieren, nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
• Wiederholung zur Elementaren Logik I, als PowerPoint-Präsentation

Elementare Logik II: Klassische Quantorenlogik

• Einsetzen, nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
• Folgerungen und Äquivalenzen (2), nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
• Abriss über den Baumkalkül (2)
• Der quantorenlogische Kalkül des natürlichen Schließens
• Merkblatt zum Formalisieren in der Quantorenlogik, nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
• Vorlesung zum Formalisieren in der Quantorenlogik

Handouts zur Elementaren Logik – ALT (Fortsetzung)

Elementare Logik II: Formale Semantik

• Ableitungsregeln für die Formale Semantik
• Beispiel: Prädikatsmodifikation („Stadt in Texas“)
• Beispiel: Quantoren („Manches verschwindet“)
• Beispiel: Quantoren („Nichts verschwindet“)
• Beispiel: Quantoren („Jeder Logiker raucht“)
• Beispiel: Intensionale Semantik („Anna glaubt, dass Jan arbeitet“)

Elementare Logik II [Varia Logica]

• Syntaktik: Der Satzvorrat der Prädikatenlogik, auch als Bildschirmpräsentation
• Einsetzen (Substituieren), in Anlehnung an ein Merkblatt von Univ.-Prof. Dr. R. Kamitz
• Der aussagenlogische und der prädikatenlogische Kalkül des natürlichen Schließens und Beweisstrategien
• Zahlenangaben in Prädikatenlogik mit Identität