5.473 Die Logik muß für sich selber sorgen. 逻辑必须自己管自己 | 古典音乐与哲学

5.473 Die Logik muß für sich selber sorgen.
逻辑必须自己管自己。

Ein mögliches Zeichen muß auch bezeichnen können.
一个可能的记号必须能起标示作用。

Alles was in der Logik möglich ist, ist auch erlaubt.
凡在逻辑中为可能的就是容许的。

(„Sokrates ist identisch” heißt darum nichts, weil es keine Eigenschaft gibt, die „identisch” heißt.
（“苏格拉底是同一的”之所以什么都没说出，是因为不存在称为“同一的”这种属性。

Der Satz ist unsinnig, weil wir eine willkürliche Bestimmung nicht getroffen haben, aber nicht darum, weil das Symbol an und für sich unerlaubt wäre.)
这个命题所以无意义，是因为我们无法作出任何一种定准，而不是因为符号在自身和为自身是不容许的。）

Wir können uns, in gewissem Sinne, nicht in der Logik irren.
在某种意义上，我们在逻辑上是不会出错的。