Einführung in die mathematische Logik. (Die Einleitung der ``Principia Mathematica''). Ins Deutsche übertragen von \textit{Hans Mokre}. (Q568035): Difference between revisions

Das Buch gibt eine zuverlässige Übersetzung der Einleitungen zur 1. und zur 2. Auflage (1910, 1925; F. d. M. 41, 83; 51, 46) der ``Principia Mathematica''. Die erste Einleitung gibt einen Überblick über die Symbolik und über die Hauptprobleme der Logik der Principia; insbesondere werden die mit der Typentheorie (in ihrer ursprünglichen, verzweigten Form) zusammenhängenden Fragen ausführlich besprochen. - Die Einleitung zur 2. Aufgabe erörtert die Fortschritte, die seit dem Erscheinen der ersten Auflage auf dem Gebiet der mathematischen Logik erzielt worden sind; u. a. werden hier die Ergebnisse von \textit{Scheffer} und \textit{Nicod} über die Axiomatik des Aussagenkalküls berücksichtigt; ferner wird eine Erörterung der Versuche gegeben, das System der Logik und Mathematik ohne das von der verzweigten Typentheorie geforderte und in vielfacher Hinsicht anfechtbare Reduzibilitätsaxiom aufzubauen.