Artikel
Zusammenfassung
VIII Fiktion der Bedeutungslosigkeit der Syntax der mathematischen Logik
Dez. 2022. David Hilbert sah einen „völlig befriedigenden Weg“, den Antinomien der Mengenlehre zu entkommen. Er fordert durch seinen Formalismus die Bedeutungslosigkeit der Syntax der mathematischen Logik. Die Semantik soll dann nur widerspruchsfreie Interpretationen erlauben. Der Überblick über die syntaktischen Zeichen, Formeln und Regeln zeigt, daß die Interpretation bereits inhärent ist. Die angebliche Bedeutungslosigkeit ist eine irreale Fiktion, die auch nicht vor Inkonsistenz schützte.