Man könnte gewiß statt der Logik
der Tautologien eine Logik der Gleichungen setzen. D.h. man würde von einem wahren Satz zum folgenden durch Substitutionen gelangen. Und die Regeln nach denen diese Substitutionen vollzogen werden dürfen wären in Gleichungen niedergelegt.

(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://wittgensteinsource.com/BTE/Ms-105,15[5]et17[1]_n

RDF: http://wittgensteinsource.com/BTE/Ms-105,15[5]et17[1]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-105,15[5]et17[1]_n/json