×

Mathematical logic as based on the theory of types. (English) JFM 39.0085.03

Russell stellt in den Formeln seiner mathematischen Logik, die in Kürze erläutert werden, einige logische Paradoxien auf, wie den Epimenides oder Lügner, Richards Paradoxon, Burali-Fortis Antinomie usw., und zeigt, wie der logische Kalkül die Lösung derselben ermöglicht.