Untersuchungen über das logische Schließen. II. (Q2619865): Difference between revisions

Es handelt sich hier um die Fortsetzung der kurz zuvor erschienenen, gleichbetitelten Arbeit (1934; F. d. M. \(60_{\text{I}}\), 20). Von dem dort abgeleiteten Hauptsatz weren Anwendungen gemacht. Zunächst gelingt es, ein Entscheidungsverfahren für den von \textit{Heyting} aufgestellen intuitionistischen Aussagenkalkül zu gewinnen und damit für die Nicht-Herleitbarkeit des Satzes vom ausgeschlossenen Dritten in diesem Kalkül, die von \textit{Heyting} auf anderem Wege gezeigt wurde, einen neuen Beweis zu geben. Nachdem ferner der Hauptsatz schärfer gefaßt worden ist, liefert er einen neuen Beweis für die Widerspruchsfreiheit der Arithmetik mit Ausschluß der vollständigen Induktion. - Zuletzt zeigt Verf. die Äquivalenz der von ihm aufgestellten Kalküle mit denen von \textit{Russell} und \textit{Hilbert}, bzw. von \textit{Heyting}, so daß die in seinem System erzielten Resultate bei Zugrundelegung der üblichen Formalismen gültig bleiben.