\brief{W.V.O. Quine an Rudolf Carnap, 29. Juni 1934}{Juni 1934}

%Cambridge, Mass, U.S.A.

%June 29, 1934\fnE{Terminol for ``Syntax''}

\anrede{Dear Professor Carnap,}

\haupttext{We are leaving Cambridge tomorrow night, for the summer. During these last days in Cambridge I have been kept extremely
busy with proofs of my book\IW{\quinebuch}; it was desirable that I accomplish as much as possible of that work before my departure.
Now, finally, I have an hour's respite.

We shall spend the summer with my parents, at the following address:

16 Orchard Road, \uline{Akron}, Ohio, U.S.A.

While there I shall finish all proof-reading and indexing of my book\IW{\quinebuch}, which will appear about Sept.\,1 under the title
\uline{A System of Logistic}. Also I hope to have time for a little other writing. On Sept.\,13 we shall leave on a
three-weeks' cruise to Haiti. By Oct.\,5 we shall be back here in Cambridge again, at a not yet determinate address. (But
I can always be reached care of Department of Philosophy, Harvard University\II{\harvard}.)

I have arranged with the \uline{Philosophical Review}\II{} to review\IW{} your \uline{Logische Syntax}\IC{\logischesyntax}, and the editor has
arranged with the Springe Verlag\II{\springerverlag} to send me a copy. I shall set to work at it immediately when my copy arrives. I am very
eager to see the book\IC{\logischesyntax}.~\neueseite{}

Regarding your terminological questions, I agree with your suggestions to the following extent:

1) \uline{Satz} = Sentence,

3) \uline{Gehalt} = Content,

6) \uline{Ausdruck} = Expression,

10) \uline{Ableitung} = derivation,

11) \uline{Beweis} = proof,

12) \uline{ableitbar} = derivable,

13) \uline{beweisbar} = demonstrable,

20) \uline{gültig} = valid

22) \uline{determiniert} = determinate,

23) \uline{indeterminiert} = indeterminate,

25) \uline{freie}, \textit{gebundene} \textit{Variable} = free, bound variable.

In my book also I have used ``free, bound'' in preference over ``real, apparent.''

Perhaps (11) and (13) seem inconsistent choices. They represent, however, commonest usage: for (a) ``proof'' is the more
natural noun in English, and ``demonstration'' a laborious \uline{mot savant}, whereas (b)
``provable'' is a \uline{tour de force}, like
``doable,'' ``eatable,'' etc., and is hence usually avoided in
favor of the purer Latin adjective ``demonstrable'' (just as ``doable'' and ``eatable'' are avoided in favor of ``feasible'' and ``edible'').

Regarding (2), I should prefer

2) Folge = consequence.

``Conclusion'' does not quite serve, but answers rather to ``\uline{Schluß}.''

As to (4), ``\uline{Gehaltgleich}'', I agree that a single word is desirable. This requires the introduction of a
special technical word for the purpose. I suggest ``equipollent,'' which according to my dictionary, had much the \neueseite{} desired
meaning in traditional logic years ago. Etymologically also ``equipollent'' seems appropriate for the purpose. I heartily
recommend its use.

If however you should decline this word in favor of a phrase such as ``equal in content,'' I suggest that you adopt
rather the phrase ``\uline{alike} in content.'' (Even if you use ``equipollent,'' this point is relevant when you come
to define that word.) ``Alike'' is of course etymologically cognate with ``\uline{gleich}.'' The word ``equal''
suggests rather likeness of quantity; ``equal in content'' would thus mean ``having the same \uline{amount} of content''.
(``Equal'' and ``\uline{gleich}'' thus coincide only in the comparison of numbers, \uline{e.\,g.}, $5 = 3 + 2$.)

As to (5), your suggestion of ``universal operator'' for ``\uline{Alloperator}'' is admissible. But in my own work I
have preferred to adopt ``universal \uline{quantifier},'' on the basis of fairly prevalent English usage. But this is an
unimportant matter; meaning is clear in either case.

As to (7), I suggest

7) \uline{Strich} = accent.

It is usual in English to read $x'$ as ``x prime'', but to refer to the mark $'$ itself as an \uline{accent} (\uline{not}
a ``prime''). As you say, ``stroke'' would create confusion with Sheffer'sßIN{\sheffer} sign; furthermore it would not suggest the
mark $'$ to an English reader even unacquainted with Sheffer's\IN{\sheffer} notion. ``Dash'' is impossible, for a dash is always
horizontal. \neueseite{}

Perhaps (8), then, should be construed thus:

8) \uline{Strichausdruck} = accented expression.

Under (9) I advise

9) \uline{Spielraum} = range,

when the word is used in Wittgenstein's\IN{\wittgenstein} sense. One speaks also of the \uline{range} of a variable. The word ``domain''
is better confined to the technical sense of \uline{Principia Mathematica}\IW{\principiamathematica} (= \uline{Bereich}, or \uline{Vorbereich}).
Finally in the case of the \uline{Spielraum} or \uline{Bereich} of an operator, meaning thereby the segment of a given expression which the operator governs, the proper translation is
``scope.''

For (14) I suggest

14) \uline{widerlegbar} = refutable.

``Disprovable'' has the shortcoming attributed earlier to ``provable.''

(15) and (16) are difficult, as shown by the fact that even in English the German words
``\uline{Entscheidungsproblem}'' and ``\uline{Entscheidungsverfahren}'' are frequently used. Of course that procedure
is undesirable. But against ``decidable'' and ``indecidable'' there are two objections:

a) ``Decide'' does not, like ``entscheiden,'' suggest the determination of the truth or falsity of a proposition; in any
case, therefore, use of the word would amount to the introduction of a special technical usage.

b) ``Decidable'' is an uncommon word, and grates upon the English ear because it has no French or Latin precedents
``d\'{e}cidable'', ``decidabilis''. \neueseite{}

As one alternative I suggest

15) \uline{entscheidbar} = determinable,

16) \uline{unentscheidbar} = indeterminable,

if you do not object to thus emphasizing the parallelism with (22) and (23). Otherwise I suggest

15) \uline{entscheidbar} = resoluble,

16) \uline{unentscheidbar} = irresoluble.

Very likely this last choice is best. The verb corresponding to ``\uline{entscheiden}'' would then become ``resolve''.

\begin{center}--\end{center}

June 30

Our furniture, books etc. are now all packed and moved into storage. In two hours we shall be off for Ohio. I have made
the sad discovery that I have packed your last letter, leaving out the next to the last by mistake. So I shall have to
attempt to finish answering your terminological questions from memory.

According to my suggestion under (2), your tentative terminology ``conclusion-series,'' for ``\uline{Folgereihe},''
would have to become ``consequence-series'' instead. But doesn't the mediaeval terminology ``sorites'' fit the meaning?

Similarly your ``conclusion-class'' or ``class of conclusions'', under ``\uline{Folgeklasse},'' would become
``consequence-class'' or ``class of consequences''. But I thought you identified this with
\uline{content}-\uline{Gehalt}. If that is the case, and the word ``\uline{Folgeklasse}'' is used only temporarily for
expository purposes leading up to that identification, then use ``class of consequences'' for that temporary purpose
rather than ``consequence-class''; the latter is more a technical word than a description, and its introduction would be \neueseite{}
justified only by permanent use.

I believe that disposes of (17) and (18). I have forgotten what (19) was, but will send a postscript \blockade{Pfeil am Rand von Autor} next week covering
it. Your letter is somewhere in our Ohio-bound baggage, rather than in storage.

As to (21), I think you will have to coin a word, as you suggest. But you had best make a finished job of the coinage by
omitting the hyphen, thus:

21) \uline{widergültig} = contravalid

I have just now remembered (19). It duplicates (2), which you had crossed out.

19) \uline{Folge} = consequence.

As to (24), I suggest the following:

24) \uline{Zahlausdruck} = numerical expression

\uline{Zahlzeichen} = numeral

\uline{Zahlvariable} = numerical variable

Please pardon the hasty and unfinished character of this letter; it is unavoidable unless the letter be delayed until we
get to Ohio. Despite the haste of writing, the above conclusions have all been carefully considered; I had made all the
decisions with full deliberation a day earlier than the beginning of this letter. I hope the suggestions will be of help,
and am very glad that the English translation of your book is coming.

I am very grateful to you for my copy of \uline{The Unity of Science}\IC{\unityofscience} or \uline{Physics as a Universal Language}\IC{}. It
makes a splendid little volume, and I greatly enjoyed reading it through again in translation. On the whole I thought the
translation fairly successful.

Thanks also for the reprint of your two book-\neueseite{}reviews\IC{} \IC{}. I have not yet had a chance to read it thoroughly, so I am taking
it along with me.

I am told that members of the psychology department here are becoming much interested in your writings
regarding that subject.

Naomi\IN{\quinefrau} and I are very unhappy not to be able to look forward to seeing you in America this autumn. Surely however you
will have news of something in America before very long.

You ask my opinion of Malisoff's\IN{\malisoff} translation. I thought it rather ordinary, but not definitely bad. Meaning was clear
throughout, but idiom might have been improved somewhat. I think however that there would be no harm in having him
translate further articles; I noticed no serious faults in his work.

We were glad to hear of your invitation to the University of London\II{\universitaetlondon}. You will enjoy it, and it will be good training in
the language. I hope your stay in London will be followed shortly by a one-way trip to America!

Naomi\IN{\quinefrau} joins me in greetings and best wishes to you both\IN{\ina}.}

\grussformel{Sincerely yours,\\
W. V. Quine}

\ebericht{Brief, hsl., 7 Seiten, \href{https://doi.org/10.48666/853816}{RC 102-60-09}; Briefkopf: hsl. \original{Cambridge, Mass, U.S.A. \,/\, Terminol. for ,,\blockade{ksl.}`` June\,29, 1934}.}