Ramsey schlägt vor, den Satz, daß unendlich viele Gegenstände eine Funktion befriedigen dadurch auszudrücken, daß er alle Sätze verneint von der Form:
non.neg(∃x)fx
(∃x)fx & non (∃x,y)fx & fy etc.
Aber nehmen wir nun an, daß es nur drei Gegenstände gibt, d.h. daß nur drei Namen Bedeutung haben. Dann können wir den vierten Satz der Reihe gar nicht mehr hinschreiben, denn es hat dann keinen Sinn zu schreiben: non.neg(∃x,y,z,u)fx & fy & fz & fu. Durch die Verneinung aller Sätze jener Reihe komme ich also nicht zum Unendlichen.

(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/Ts-208,11r[2]_n

RDF: http://wittgensteinsource.org/BTE/Ts-208,11r[2]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ts-208,11r[2]_n/json