Collapse

Annotate using Feed The Pundit

The prop. (∃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; that & 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,

of wh.
wh. is what is expressed more neatly b

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://www.wittgensteinsource.org/BTE/Ms-301,26[1]_d

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

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