L'avenir de la logique russellienne. (Q2621413): Difference between revisions

Verf. schildert, wie sich aus dem Bedürfnis, einerseits die Logik nach dem Vorbild der Mathematik zu formalisieren, andrerseits die Grundlagen der Mathematik einer Analyse zu unterziehen, die Logistik entwickelte und mit ihr die Idee des Logizismus, die Mathematik formal aus der Logik herzuleiten. Bisher ist dieser Versuch allerdings nicht geglückt, und selbst \textit{Ramsey}, der auf Grund \textit{Wittgenstein}scher Überlegungen das Reduzibilitätsaxiom der Typentheorie als überflüssig zu erweisen suchte, empfindet die derzeitige Situation des Logizismus noch als unbefriedigend, da es nicht gelang, das Unendlichkeitsaxiom als Tautologie nachzuweisen.