The logical paradoxes. (Q2605661)

Die Arbeit enthält eine kritische Auseinandersetzung mit dem vorstehend besprochenen Aufsatz von \textit{C. Perelman} (Mind 45 (1936), 204-208). Verf. betont, daß die von \textit{Perelman} erwähnten ``kontradiktorischen Prämissen'' der logischen Paradoxien zugleich \textit{analytische Sätze der klassischen Logik} seien; gerade hierin liege das Problem der sog. \textit{logischen} Antinomien (im Unterschied zur ``Paradoxie'' vom Dorfbarbier, die \textit{Perelman} zu Unrecht als gleichwertig mit der \textit{Russell}schen Paradoxie betrachte), und dies Problem werde durch \textit{Perelman}s Darlegungen nicht gelöst. Zum Schluß skizziert Verf. das \textit{Russell}sche Verfahren, die Grundlagen der Logik durch die Zusatzforderungen der Typentheorie von Widersprüchen nach Art der \textit{Russell}schen Paradoxie zu befreien, und die metamathematischen (oder syntaktischen) Methoden \textit{(Hilbert, Tarski, Carnap, Gödel)}, mittels deren man Paradoxien vom Typ des ``Lügners'' oder des Begriffs ``heterologisch'' vermeidet.