​ 
     Wenn man sagt, es wäre möglich, mit Hilfe der Tautologie
(En2x).fx & (En3x).Fx & Ind. .C. (En5x).fx V Fx. … A) zu addieren, so wäre das folgendermassen zu verstehen: Zuerst ist e[w|s] möglich, nach gewissen Regeln herauszufinden, dass
        (Enx).fx & (Enx).Fx & Ind. .C. (Enx,y):fx V Fx . & . fy V Fy tautologisch ist. (Enx).fx ist eine Abkürzung für
             (Ex).fx & non (Ex,y). fx & fy. Ich werde ferner Tautologien der Art A zur Abkürzung so schreiben: (E') & (E') C (E')
     So geht also aus den Regeln hervor, dass (E'x) & (E'x) C (E'x,y), (E'x,y) & (E'x) C (E'x,y,z) und andere Tautologien. Ich schreibe “und an[r|d]ere” und nicht “u.s.w. ad inf.), weil man mit diesem Begriff noch


 

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



To cite this element you can use the following URL:


BOXVIEW: http://www.wittgensteinsource.org/BTE/Ts-213,591r[2]_d

RDF: http://www.wittgensteinsource.org/BTE/Ts-213,591r[2]_d/rdf

JSON: http://www.wittgensteinsource.org/BTE/Ts-213,591r[2]_d/json