Inhaltsverzeichnis. Einleitung . MI IDPL SII SS D7 U IMII un un Un U MI ISI II MSI SII SII MSI AL un un N > On S 10. A4: 12 13 “ N D an SN - S o Erstes Kapitel. Der Aussagenkalkül. Einführung der logischen Grundverknüpfungen . Äquivalenzen; Entbehrlichkeit von brundverknupfungen S Normalform für die logischen Ausdrücke . AA Ta TI Charaktcrxmerung der immer richtigen Auqsagenverbmdunflen ; Das Prinzip der Dualität ; 1)1c disjunktive Normalform für loglsche Au>drucke ; Mannigfaltigkeit der Aussagenverbindungen, die aus gegebenen Grund— aussagen gebildet werden können : Ergänzende Bemerkungen zum Problem der A]1ffemungult1gkmt und Erfüllbarkeit . A A € Systematische Übersicht ubcr allc bo]gcrungen aus gegebenen Amomen Die Axiome des Aussagenkalküls 5 $ Beispiele für die Ableitung von Formeln aus den :\\101]'1(‚‘11 A Die Widerspruchsfreiheit des Axiomensystems . Die Unabhängigkeit und Vollständigkeit des Sy stema Zweites Kapitel. Der Prädikaten- und Klassenkalkül. Inhaltliche Umdeutung der Symbolik des Aussagenkalküls im Sinne des Prädikatenkalküls . Vereinigung des Prad1katenkqlkul% m1t dem —\ussagenkalkul Systematische Ableitung der traditionellen Aristotelischen Schlüsse Drittes Kapitel. Der engere Funktionenkalkül. Unzulänglichkeit des bisherigen Kalküls ; Methodische Grundgedanken des Funkt10nenk'tlkuls Vorläufige Orientierung über den Gebrauch des P11111