Die Regel „Aus π folgt S” also π ∙ S = π könnte man auch ganz gut
weglassen; die Regel β tut denselben Dienst.
     Schreibt man S in der Form φ0 ∙ ψ0 . ⌵ . φ1 ∙ ψ1 . ⌵ . φ2 ∙ ψ2 . ⌵ . … ad inf. so kann man mit grammatischen Regeln die der gewohnten Sprache entsprechen leicht π ∙ S = π ableiten. Denn
(φ0 ∙ ψ0 . ⌵ . φ1 ∙ ψ1 etc. ad inf.) ∙ π = φ0 ∙ ψ0 ∙ π ⌵ φ1 ∙ ψ1 ∙ π ⌵ etc. ad inf.) = φ0 ∙ π ⌵ φ1 ∙ π ⌵ φ2 ∙ π ⌵ etc. ad inf. = π ∙ (φ0 ⌵ φ1 ⌵ φ2 ⌵ etc. ad inf. = π. Der Satz „φ0 ⌵ φ1 ⌵ φ2 ⌵ etc. ad inf.” muß als Tautologie behandelt werden.

(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-113,21r[3]et21v[1]_n

RDF: http://wittgensteinsource.com/BTE/Ms-113,21r[3]et21v[1]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-113,21r[3]et21v[1]_n/json