Es scheint doch, als könnte die bloße Existenz der in "(∃x,ϕ). ϕx" enthaltenen Formen die Wahr- oder Falschheit dieses Satzes allein nicht bestimmen! Es scheint also nicht undenkbar, daß, z. B., die Verneinung keines Elementarsatzes wahr sei. Aber würde diese Aussage nicht schon den SINN der Verneinung betreffen? Offenbar können wir jeden ganz allgemeinen Satz auffassen als die Bejahung oder Verneinung der Existenz irgend einer Art von Tatsachen. Aber gilt dies nicht von allen Sätzen? Jede Zeichenverbindung, die etwas über ihren eigen Sinn auszusagen scheint, ist ein Scheinsatz (wie alle Sätze der Logik). Der Satz soll einen Sachverhalt logisch vorbilden. Das kann er aber doch nur dadurch, daß seinen Elementen willkürlich Gegen­stände zugeordnet wurden. Wenn dies nun im ganz allgemeinen Satz nicht der Fall ist, so ist nicht einzusehen, wie er etwas außerhalb ihm darstellen soll. Im Satze stellen wir – sozusagen – zur Probe die Dinge zusammen, wie sie sich in Wirklichkeit aber nicht zu verhalten brauchen, wir können aber nicht etwas Unlogisches zusammenstellen, denn dazu müßten wir in der Sprache aus der Logik heraus können. – Wenn aber der ganz allgemeine Satz nur "logische Konstante" enthält, so kann er für uns nicht mehr sein als – einfach – ein logisches Gebilde, und kann nicht mehr tun als uns seine eigenen logischen Eigenschaften zu zeigen. –– Wenn es ganz allgemeine Sätze gibt, – was stellen wir in ihnen probeweise zusammen?? Wenn man sich vor der Wahrheit fürchtet (wie ich jetzt), so ahnt man nie die volle Wahrheit. Ich habe hier die Beziehungen der Satz-Elemente zu ihren Bedeutungen gleichsam als Fühler betrachtet, durch welche der Satz mit der Außenwelt in Berührung steht; und das Verallgemeinern eines Satzes gleicht dann dem Einziehen der Fühler; bis endlich der ganz allgemeine Satz ganz isoliert ist. Aber stimmt dieses Bild? (Ziehe ich wirklich einen Fühler ein, wenn ich statt ϕa, (∃x).ϕx sage?)