Sch[ä|e]ffers Entdeckung ist natürlich nicht die der Definition non-p & non-q = p|q. Diese Definition hätte Russell sehr wohl haben können, ohne doch damit das Scheffer'sche System zu besitzen, und anderseits hätte Scheffer auch ohne diese Definition sein System begründen können. Sein System ist ganz in dem Zeichen “non-p & non-p” für “non-p” und “non (non-p & non-q) & non (non-p & non-q)” für “p Vq” enthalten und “p|q” gestattet natürlich nur eine Abkürzung. Ja, man kann sagen, dass einer sehr wohl hätte das Zeichen “non (non-p & non-q) & non (non-p & non-q)” für “p Vq” kennen können, ohne das System p|q ․|․ p|q in ihm zu erkennen. Ja, es scheint daher, so absurd es klingt, dass man die Definition p|q ․|․ p|q = p Vq kennen könnte, ohne darauf zu kommen, dass man in dem “|” und “․|․” die gleiche Operation vor sich hat.

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.