Grundzge der Mathematischen Logik [Paperback]

? 1. Prolegomena.- ? 2. Einf?hrung in die Satzlogik.- ? 3. Einf?hrung in die Regellogik. Der Zusammenhang von Satzlogik und Regellogik.- ? 4. Aufgabe und Charakter einer mathematischen Logik.- ? 5. Grundlagen einer metasprachlichen Aussagentheorie.- ? 6. Zur Logik und Symbolik der Metasprache.- ? 7. Zeichen f?r Zeichen.- Erstes Hauptst?ck: Aussagenkalk?l.- A) Konstituierung des Aussagenkalk?ls.- ? 10. Der Aussagenkalk?l (AK) auf semiotischer Basis.- ? 11. Semantische Begr?ndung des Aussagenkalk?ls.- B) Semantik.- I. Allgemeine Semantik.- ? 12. Grundlegende Theoreme zur Allgemeing?ltigkeit und Erf?llbarkeit eines A-Ausdrucks.- ? 13. Gleichheiten im Aussagenkalk?l.- ? 14. Operatorentheorie der Bewertungsfunktoren.- ? 15. Verallgemeinerungen der Assoziativit?t, Kommutativit?t und Distributivit?t.- II. Spezielle Semantik.- ? 16. Die Regeln der A-Einsetzung und der A-Ersetzung.- ? 17. Aequivalenztheoreme.- ? 18. Monotoniegesetze.- ? 19. Grundgesetze der Konjunktion und der Alternative.- ? 20. Pr?missentheorie.- ? 21. Theorie der Verneinung.- ? 22. Definierbarkeitsm?glichkeiten.- ? 23. Reduktions- und Reduzierbarkeitstheoreme. Die verneinungstechnische Umformung von A-Ausdr?cken.- ? 24. Die Dualit?t im Aussagenkalk?l.- ? 25. Das kanonische Darstellbarkeitstheorem.- ? 26. Das Repr?sentantentheorem des Aussagenkalk?ls.- ? 27. Das Boolesche Darstellbarkeitstheorem.- ? 28. Das Haubersche Theorem.- ? 29. Noch einmal die Regel der A-Ersetzung.- III. Begriff und Theorie der mengenrelativen Erf?llung Seite.- ? 30. Der mengenrelative Erf?llungsbegriff im Aussagenkalk?l.- ? 31. Das finit?re Erf?llungstheorem im Aussagenkalk?l.- C) Deduktionstheoretische Betrachtungen.- ? 32. Einf?hrung der semantischen Folgerungsrelation ?A.- ? 33. Einige grundlegende kalk?lunabh?ngige Eigenschaften Von ?A.- ? 34. Einige grundlegende kalk?labh?ngige Eigenschaften von ?A.- ? 35. Der Operator Fl?A.- ? 36. Ein Identit?tskriterium f?r Folgerungsoperatoren.- ? 37. Die Koinzidenz von Widerspruchsfreiheitlƒ'