Einführung in die mathematische Logik. (Die Einleitung der ``Principia Mathematica''). Ins Deutsche übertragen von \textit{Hans Mokre}. (Q568035): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1519862 |
Changed an Item |
||
Property / author | |||
Property / author: Bertrand A. W. Russell / rank | |||
Normal rank |
Revision as of 21:40, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Einführung in die mathematische Logik. (Die Einleitung der ``Principia Mathematica''). Ins Deutsche übertragen von \textit{Hans Mokre}. |
scientific article |
Statements
Einführung in die mathematische Logik. (Die Einleitung der ``Principia Mathematica''). Ins Deutsche übertragen von \textit{Hans Mokre}. (English)
0 references
1932
0 references
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.
0 references