The proposition (∃x)φx . x = a : ≡ : φa can be seen to be a tautology, if one expresses the conditions of the truth of (∃x).φx . x = a, successively, e.g. by saying: This is true if so & so; & this again is true, if so & so¤ etc. for (∃x).φx . x = a; and then also for φy. To express the matter in this way is itself a cumbrous notation, which is what is expressed more neatly || of which the a–b notation is a neater translation.

(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.org/BTE/Ms-301,26[1]_n

RDF: http://wittgensteinsource.org/BTE/Ms-301,26[1]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-301,26[1]_n/json