Grundzge der Theoretischen Logik [Paperback]

Erstes Kapitel Der Aussagenkalk?l.- ? 1. Einf?hrung der logischen Grundverkn?pfungen.- ? 2. Die Aussagenverkn?pfungen als Wahrheitsfunktionen.- ? 3. Einf?hrung von Variablen; allgemeing?ltige Aussagenformen.- ? 4. ?quivalenzen; Entbehrlichkeit von Grundverkn?pfungen.- ? 5. Die konjunktive und die disjunktive Normalform f?r Ausdr?cke.- ? 6. Das Prinzip der Dualit?t.- ? 7. Mannigfaltigkeit der Aussageformen, die mit gegebenen Aussage variablen gebildet werden k?nnen.- ? 8. Erf?llbarkeit einer Aussageform; Folgerungen aus gegebenen Axiomen.- ? 9. Axiomatik des Aussagenkalk?ls.- *? 10. Der intuitionistische Aussagenkalk?l.- *? 11. Der Begriff einer strengen Implikation.- ?bungen zum ersten Kapitel.- Zweites Kapitel Der Klassenkalk?l.- ? 1. Klassenverkn?pfungen und die Beziehungen zwischen Klassen.- ? 2. Die allgemeing?ltigen Ausdr?cke des Klassenkalk?ls.- ? 3. Systematische Ableitung der traditionellen Aristotelischen Schl?sse.- ?bungen zum zweiten Kapitel.- Drittes Kapitel Der engere Pr?dikatenkalk?l.- ? 1. Unzul?nglichkeit des bisherigen Kalk?ls.- ? 2. Methodische Grundgedanken des Pr?dikatenkalk?ls.- ? 3. Ausdr?cke und ihre Allgemeing?ltigkeit.- ? 4. Ein Axiomensystem f?r die allgemeing?ltigen Ausdr?cke.- ? 5. S?tze ?ber das Axiomensystem.- ? 6. Die Ersetzungsregel; Bildung des Gegenteils eines Ausdrucks; das Dualit?tsprinzip.- ? 7. Die pr?nexe Normalform; die Skolemsche Normalform.- ? 8. Die Widerspruchsfreiheit, Unabh?ngigkeit und Vollst?ndigkeit des Axiomensystems.- ? 9. Der Pr?dikatenkalk?l mit Identit?t.- ? 10. Axiomatik wissenschaftlicher Theorien; mehrsortiger Pr?dikatenkalk?l; Axiomensysteme der ersten und der zweiten Stufe.- ? 11. Das Entscheidungsproblem.- ? 12. Der Begriff derjenige, welcher; Einf?hrung von Funktionen.- ?bungen zum dritten Kapitel.- Viertes Kapitel Der erweiterte Pr?dikatenkalk?l.- ? 1. Erweiterung des Pr?dikatenkalk?ls durch Hinzunahme der Quantoren f?r Pr?dikaten variable.- ? 2. Einf?hrung von Pr?dikatenpr?dikaten; logische Behandlung l#: