Collapse

Annotate using Feed The Pundit

So beschreibe ich die Kontrolle der Teilbarkeit (etc.). Ist die Zahl durch 8 teilbar so … nicht „ist 128 durch 8 teilbar so …”.
So gibt es für die Sätze (∃x) etc. & ~(∃x) eine Kontrolle wenn es sich um endliche Klassen von Zahlen handele.
Denken wir nun an die Frage: hat die Gleichung x² + ax + b = 0 eine reelle Lösung? Hier gibt es wieder eine Kontrolle & die Kontrolle scheidet zwischen den Fällen (∃) etc. & ~(∃) etc.

Ms-154,55v

Kann ich aber in demselben Sinne auch fragen & kontrollieren ob die Gleichung eine Lösung hat, es sei denn daß ich diesen Fall wieder mit anderen zusammenstelle, in ein System bringe?

(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-154,55r[1]et55v[1]_n

RDF: http://www.wittgensteinsource.org/BTE/Ms-154,55r[1]et55v[1]_n/rdf

JSON: http://www.wittgensteinsource.org/BTE/Ms-154,55r[1]et55v[1]_n/json