​ 
     Take (φ).φ!x. Then if we describe the kind of symbolschˇ, for which φ! stands & which, by the above, is enough to determine the type, then automatically “([x|φ]).φ!x” cannot be fi[ll|tt]ed by this descri[l|p]tion[.|,] because it contains „φ!x” & the description is to describe all that symbolizes in symbols of the φ! – kind. If the description is thus complete vicious circles can just as little occur as if for instance in
(φ).(x)φ
(φ).φ(x)
 (where (x)φ is a subject-predicat prop)


1


 

(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-201a1,a7[3]_d

RDF: http://wittgensteinsource.com/BTE/Ts-201a1,a7[3]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-201a1,a7[3]_d/json