Lexicon of Arguments

Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
Berka I 386
Syntax/logic/Berka: also the formalistic view of mathematics, founded by Hilbert, has increasingly observed semantic questions. This can be seen in the later editions of the "Grundzüge der theoretischen Logik" (Hilbert Ackermann).
Syntax/Berka: authorization:
1. The creation of a formal language is already a necessary and above all an independent task.
2. Meta Logic: meta logic can be established and formulated syntactically easier than semantically.
Semantics/logic/Berka: semantics is not philosophically neutral. It is about platonism and nominalism.
Platonism: Scholz (1941)(1), Church (1951)(2), Bernays (1935)(3).
>Semantics, >Syntax, >Formalism, >Platonism, >Nominalism, >Foundation, >Formal Language.

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), pp. 3-24.
3. P. Bernays: Sur le platonisme dans les mathématiques, L'Enseignement math. 34, pp. 52-69.

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.