Aber “p ⊃ q ≠ taut.” ist doch ein Satz der Geometrie der Sätze einer gewissen Art. Und es ist nun

entweder ein geometrisches Faktum, daß dieser Satz selbst eine Tautologie ist, oder, daß er keine ist. Angenommen das Faktum, er sei eine so kann doch, daß ich ihn nun einfach ⊢p ⊃ q schreiben will, daran || hieran nichts ändern! || . Denn ⊢p ⊃ q sagt doch nun genau dasselbe aus, wie jener || der längere Satz. Aber wenn ich annehme, er sei eine Tautologie, so nehme ich || ich nehme doch also an, daß gewisse Transformationen, die ich zulasse, ihn zu einer Tautologie

100

machen. Und die Frage ist ob ich solche Transformationen des Satzes zulassen soll, wenn ich die Schreibweise ⊢p ⊃ q zulasse & den Beweis daß p ⊃ q keine Tautologie ist.

(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.