Les paradoxes de la logique. (Q5923136)

Verf. sucht zu zeigen, daß die bekannten logischen Paradoxien, wie insbesondere die \textit{Russell}sche Paradoxie von der Menge aller Mengen, die sich nicht selbst enthalten, ferner der ``Lügner'' und \textit{Grelling}s Paradoxie ``heterologisch'', sämtlich von kontradiktorischen Prämissen ausgehen und daher bereits im Rahmen der klassischen Logik vermieden werden können, ohne daß Modifikationen der letzteren in der Art der Typentheorie oder der intuitionistischen Einschränkungen erforderlich würden. Verf. kündigt jedoch andererseits an, daß zur Vermeidung der Paradoxien eine ``leichte Modifikation der Definition der Klasse'' nötig sei, die erst in einem späteren Artikel veröffentlicht werden solle (und von der man also nicht übersehen kann, ob sie nicht z. B. mit der Typenregel gleichwertig sein wird).