A note on Nicod's postulate. (Q562840)

In dem Buch von \textit{J. Jörgensen}, A treatise of formal logic (1931; F. d. M. \(57_{\text{I}}\), 50) wird die Ableitung des \textit{Russell}schen elementaren Aussagenkalküls aus dem einen Axiom \textit{Nicod}s \[ [p/(q/r)]/\{[t/(t/t)]/[(s/q)/((p/s)/(p/s))]\} \] zum ersten Male im einzelnen ausgeführt, während \textit{Russell} die Tatsache der Ableitung nur erwähnte und \textit{Nicod} selbst sich auf kurze Andeutungen beschränkte. Leider enthält jedoch, wie Verf. zeigt, die Ableitung von \textit{Jörgensen} zwei Fehler, die dadurch entstanden sind, daß die etwas dunklen Andeutungen \textit{Nicod}s mißverstanden wurden. Diese Fehler sind \textit{Jörgensen} bei der Ableitung des sogenannten Prinzips der Identität, \(t/(t/t)\), unterlaufen, das gerade als Grundlage für die weiteren Ableitungen dient. Verf. zeigt, daß sich die entstandene Lücke in einwandfreier Weise ausfüllen läßt, so daß dann auch die Deduktion im ganzen ihre Gültigkeit behält.