Logik Vorlesung 3 Flashcards
Was besagen die Regeln der (einfachen) Konversion?
in i-Sätzen dürfen Subjekt und Prädikat vertauscht werden
in e-Sätzen dürfen Subjekt und Prädikat vertauscht werden
Probleme der Syllogistik?
Schlüsse mit mehr oder weniger als 2 Prämissen.
Mit welcher Form der Logik beschäftigten sich stoische Logiker hauptsächlich?
Aussagenlogik
Nenne einen stoischen Logiker!
Chrysippos von Soli
Zenon von Kitia
Wieviele unbeweisbare Schlussregeln gab es bei den Stoikern?
5
Nenne zwei der fünf unbeweisbaren Schlussregeln der Stoiker beim Namen!
modus ponens
modus tollens
Führe den Modus Ponens aus!
Wenn p, so q; nun aber p; also q
Nenne einen algebraischen Logiker!
George Boole
Augustus De Morgan
Womit beschäftigten sich Algebraiker?
Aussagenlogik und Klassen- oder Begrifflogik
Nenne ein typisches Gesetz der Boole’schen Algebra!
x + y = y + x
Welche wesentliche Neuerung bringt Frege in die Logik ein?
Frege gibt als erster ein vollständiges System der Prädikatenlogik (höherer Stufe) an und vereinigt damit die Aussagenlogik mit der Begriffs- oder Klassenlogik.
Definiere Freges Logizismus!
Logizismus ist die These, dass alle Wahrheiten der Mathematik auf Gesetze der Logik zurückführbar sind.
Welche These versucht Frege in den “Grundgesetzen der Arithmetik” zu verifizieren?
Logizismus
Woraus ergibt sich das Russell-Paradox?
Aus dem naiven Komprehensionsschema (das aus Freges Grundgesetz V folgt)