\brief{Rudolf Carnap an Heinrich Behmann, 17. April 1932}{April 1932}

%, den 17.April 1932.

\anrede{Lieber Herr Behmann!}

\haupttext{Ich habe das MS\IC{\logischesyntax} mit Ihren zahlreichen Bemerkungen erhalten und möchte Ihnen noch einmal herzlich danken für die viele
Mühe, die Sie sich damit gegeben haben.

Zur \uline{Frage der Arithmetisierung}. Ich hatte ursprünglich die Metalogik der Modellsprache in nicht-arithmetisierter Form
aufgestellt, sah dann aber schließlich, daß an einem bestimmten Punkt nicht durchzukommen war. Ich hatte eine Reihe von
Grundbegriffen (z.\,B. Prädikate für die verschiedenen Zeichenarten) und Axiome aufgestellt. Ich konnte fast alle
metalogischen Begriff auf diese Weise definieren: die der Syntax und die der Basis der Schlußlehre (,,Grundformel``,
,,unmittelbare Folge``); auch: ,,x ist Beweis für y`` u. dgl.; aber nicht: Beweisbarkeit (ohne Bezug auf einen bestimmten
Beweis) und Ableitbarkeit. Vgl. beiliegendes Blatt (bitte zurück), das ich zur Erläuterung in das MS\IC{\logischesyntax} einfügen will. Ich
kam mit meinen Überlegungen zu dem Ergebnis, daß es zwar theoretisch auch möglich sein müsse, diese Möglichkeitsbegriffe
ohne Arithmetisierung zu definieren. Ich fand aber keinen Weg, der praktisch einfacher wäre als die Gödelsche\IN{\goedel}
Arithmetisierung; ja auch keinen, den ich als praktisch durchführbar (d.\,h. nicht ungeheuer umständlich) erkannt hätte
(obwohl es vielleicht einen solchen geben mag).

Zur \uline{formalistischen Auffassung der Logik}. Man kann die formale Logik allerdings auch auf Gedanken beziehen (so wie die
Arithmetik auf Äpfel); aber mir scheint, das für die Logik allein Relevante an dem Gedanken ist die syntaktische Form
(wie für die Arithmetik nur Identität und Verschiedenheit der Dinge relevant sind). Der Fregeschen\IN{\frege} Forderung, daß man
den Zahlzeichen auch eine Bedeutung geben müsse, stimme ich zu. Aber ich glaube, daß man zur Erfüllung dieser Forderung
nicht aus der Metalogik hinausgehen muß. Nach meiner Auffassung ist die Forderung dann erfüllt, wenn durch Aufstellung
bestimmter syntaktischer und Schluß-Regeln die Anwendung von Zahlzeichen in empirischen Sätzen ermöglicht wird.
,,Eine Deutung für einen Kalkül (hier: für die Arithmetik) geben`` heißt: ,,den Kalkül einordnen in eine Gesamtsprache
(d.\,h. eine solche, die auch empirische Sätze enthält)``. Mit dieser Auffassung glaube ich Logizismus (Frege\IN{\frege}) und
Formalismus (Hilbert\IN{\hilbert}) ihrer grundsätzlichen Einstellung nach zu versöhnen. Vielleicht wird meine Auffassung Ihnen noch
klarer werden durch das letzte Kapitel des zweiten Teils, in dem ich zu zeigen versuche, daß alle (sinnvollen)
philosophischen Fragen metalogische Fragen sind.

Ich arbeite jetzt an diesem zweiten Teil, der wahrscheinlich \neueseite{} ebenso lang wird, wie der erste. Ich hoffe, in den
nächsten Monaten damit fertig zu werden. Vielleicht darf ich ihn Ihnen dann auch zuschicken.

Der Terminus ,,Semantik`` sagt mir zu; auch Gödel\IN{\goedel} schlug ihn gleichzeitig vor. Neurath\IN{\neurath} aber findet ihn unsympathisch und
gelehrtenhaft; er schlägt ,,Syntax`` vor. Zur Vermeidung der Verwechslung mit der philologischen S[yntax] müßte man dann wohl
häufig ,,logische Syntax`` sagen.

Anstatt ,,Prädikat`` und ,,Qualität`` will ich lieber ,,Relation`` sagen (u. zwar für das Zeichen!) und unterscheiden:
arithm[etische] Relation, deskriptive Relation. Auch Weyl\IN{\weyl} spricht von ein- und mehrstelligen Relationen. Die Abweichung vom
üblichen Sprachgebrauch im Falle der einstelligen R[elationen] dürfte wohl keine allzu schlimme Härte sein.

Hoffentlich haben wir im Sommer einmal Gelegenheit, uns mündlich ausführlicher über verschiedene Probleme, besonders
über die formalistische Auffassung, zu besprechen.

Mit besten Grüßen}

\grussformel{Ihr\\
R. Carnap}

\ebericht{Brief, msl., 2 Seiten, \href{https://doi.org/10.48666/871270}{RC 115-10-19}; Briefkopf: gestempelt \original{Prof. Dr. Rudolf Carnap \,/\, Prag XVII, N. Motol, Pod Homolkou}, msl. \original{den 17.\,April 1932}.}
