Elementare Logik [Paperback]

1 Aussagenlogik.- 1.1 Aussagenlogische Strukturen der Umgangssprache.- 1.1.1 S?tze.- 1.1.2 Satzstrukturen und Schl?sse.- 1.2 Theorie der Wahrheitsfunktionen.- 1.2.1 Symbolisierung aussagenlogischer Verkn?pfungen.- 1.2.2 Wahrheitstabellen.- 1.2.3 Vollst?ndige Systeme von Wahrheitsfunktionen.- 1.2.4 Wahrheitsentwicklungen.- 1.2.5 Fundamentale Theoreme der Aussagenlogik.- 1.2.6 Metatheoreme zur Aussagenlogik.- 1.2.7 R?ckblick.- 1.3 Eine Axiomatisierung der Aussagenlogik.- 1.3.1 Die Syntax der Sprache A.- 1.3.2 Die Semantik der Sprache A.- 1.3.3 Der Kalk?l A 1.- 1.3.4 Theoreme und Metatheoreme von A 1.- 1.3.5 Die Ad?quatheit von A 1.- 1.3.6 Die Grenzen der Aussagenlogik.- 2 Pr?dikatenlogik.- 2.1 Pr?dikatenlogische Strukturen in der Umgangssprache.- 2.1.1 Eigennamen und Pr?dikate.- 2.1.2 All- und Existenzs?tze.- 2.2 Die Sprache der Pr?dikatenlogik.- 2.2.1 Die Syntax der Sprache P.- 2.2.2 Interpretationen.- 2.3 Der Kalk?l P 1.- 2.3.1 Axiome und Deduktionsregeln.- 2.3.2 Theoreme und Metatheoreme von P 1.- 2.3.3 Die Ad?quatheit des Kalk?ls P 1.- 2.4 Formalisierungen des nat?rlichen Schlie?ens.- 2.4.1 Der Kalk?l P 2.- 2.4.2 Der Kalk?l P 3.- 3 Erweiterungen und Anwendungen der Pr?dikatenlogik.- 3.1 Die Identit?t.- 3.2 Kennzeichnungs- und Funktionsterme.- 3.3 Elementare Systeme.- 4 Die Pr?dikatenlogik der zweiten Stufe.- 4.1 Die Sprache der Pr?dikatenlogik der zweiten Stufe.- 4.2 Die Unvollst?ndigkeit der Pr?dikatenlogik der zweiten Stufe.- 4.3 Der Vollst?ndigkeitssatz von Henkin.- 4.4 Relationsprodukte und Relationsketten * *.- 4.5 Die Kategorizit?t der Peanoaxiome.- 5 Klassenlogik.- 5.1 Begriffe und Klassen.- 5.2 Die elementare Klassenalgebra 3?.- 5.3 Relationen und Funktionen 3*.- 5.4 Ein logisches Modell der Peanoaxiome.- 5.5 Das Problem der Geschlossenheit des Aufbaus der Logik.- 5.6 Die logischen Antinomien.- 6 Einige Themen aus der Geschichte der Logik.- 6.1 Die aristotelische Syllogistik..- 6.2 Die BooLESche Klassenlogik.- 6.3 FREGES Definitionslehre.- Verzeichnis der lƒ¼