Richtigstellung
(max 500 Zeichen)
Captcha Code-Check*
Beanstandungen werden
nicht veröffentlicht.
Berka I 386
Syntax/Logik/Berka: Auch die von Hilbert begründete formalistische Auffassung der Mathematik hat zunehmend semantische Fragen beachtet. Das sieht man an den späteren Auflagen der "Grundzüge der Theoretischen Logik" (Hilbert Ackermann).
Syntax/Berka: Berechtigung:
1. Die Schaffung einer formalen Sprache ist schon eine notwendige und vor allem selbstständige Aufgabe.
2. Metalogik: Die Metalogik kann syntaktisch leichter aufgestellt und formuliert werden als semantisch.
Semantik/Logik/Berka: Semantik ist philosophisch nicht neutral. Es geht um Platonismus und Nominalismus.
Platonismus: Scholz (1941)
(1), Church (1951)
(2), Bernays (1935)
(3).
>
Semantik, >
Syntax, >
Formalismus, >
Platonismus, >
Nominalismus, >
Begründung, >
Letztbegründung, >
Fundierung, >
Formale Sprache.
1. H. Scholz: Metaphysik als strenge Wissenschaft, Köln 1841, Neudruck Darmstadt 1965.
2. A. Church: A formulation of the Logic of Sense and Denotation, in: Henle, P. (1951), S. 3-24.
3. P. Bernays, Sur le Platonisme dans les Mathématiques, L'Enseignement, math. 34, S. 52-69.