​ 
Nehmen wir z.B. an die Welt bestün[g|d]e aus den Dingen A und B und der Eigenschaft F und es wäre „F(A)” wahr der fall und nicht F(B)
Diese Welt könnten wir auch durch die folgenden Sätze beschreiben:
      (∃x,y) . (∃φ) . φx .φ x ≠ y . φx.~φy. (∃φ) . φ[x|u] . φ[y|z] . ⊃ . [x|u] = [y|z]         (∃φ).(ψ).ψ = φ
     (∃x,y).(z).z = x ⌵ z = y
Und hier braucht man auch Sätze von der art der letzten zwei nur die Gegenstände identifizieren zu können.

 

(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-101,49r[1]_d

RDF: http://wittgensteinsource.com/BTE/Ms-101,49r[1]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-101,49r[1]_d/json