|
valep\(\mathsf{\TeX}\): conversion from \(\mathsf{\LaTeX}\) to HTML |
März 1933
Geehrter Herr Professor Carnap!
Gestern erwähnte ich Ihnen eine Idee, wodurch arithmetische Identität mit Hilfe vom Prädikat Gr(„größer als“) sich definieren läßt, nämlich
\(x = y .=. non\,Gr\,(x‚y) \cdot{} non\,Gr\,(y‚x) Df\)
Dagegen wendeten Sie ein, daß Ihre Definition von „Gr“ von den Begriffen „arithmetisch identisch“ und „größer oder gleich“ [Grgl] abhängt, obwohl dieser letzte Begriff, Grgl, unabhängig von Identität definiert ist.
Aber die arithmetische Identität läßt sich leicht durch Grgl definieren, nämlich
\(x = y\,.=.\,Grgl\,(x‚y) \cdot{} Grgl\,(y‚x) Df\)
Sehr wahrscheinlich haben Sie schon hieran gedacht.
Mit besten Grüßen‚
Ihr ergebener
Willard V. Quine
Brief, msl., 1 Seite, WQ; Briefkopf: msl. Prag, den 14. März 1933.
