​ 
  Logical functions all presuppose one another. Just as we can see ~p has no sense, if p has none; so we can also say p has none, if ~p has none. The case is quite different with φa, & a: since here a has a meaning independently of φa, though φa presupposes it.

 

(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-301,30[1]_d

RDF: http://wittgensteinsource.com/BTE/Ms-301,30[1]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-301,30[1]_d/json