36
(∃x).fx ⌵ fa = (∃x).fx, (∃x).fx & fa = fa Wie weiß ich das? (denn das Obere habe ich sozusagen bewiesen). Man möchte etwa sagen: “ich verstehe ‘(∃x).fx’ eben”. (Ein herrliches Beispiel dessen, was ‘verstehen’ heißt.)
     Ich könnte aber ebensogut fragen “wie weiß ich, daß (∃x).fx aus fa folgt” und antworten: “weil ich ‘(∃x).fx’ verstehe”. Wie weiß ich aber wirklich, daß es folgt? – Weil ich so kalkuliere.

(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/Ts-212,IX-66-2[1]_n

RDF: http://wittgensteinsource.com/BTE/Ts-212,IX-66-2[1]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-212,IX-66-2[1]_n/json