Kann man nicht sagen: Es kommt nicht darauf an daß wir es mit nicht analysierbaren S.P.-Sätzen zu tun haben sondern darauf daß unsere S.P.-Sätze sich in jeder Beziehung so benehmen wie solche || ¤ wie solche benehmen d.h. also daß die Logik unserer S.P.-Sätze dieselbe ist wie die Logik jener anderen. Es kommt uns ja nur darauf an die Logik abzuschließen und unser Haupteinwand gegen die nicht-analysierten S.P.-Sätze war der, daß wir ihre Syntax nicht aufstellen können solange wir ihre Analyse nicht kennen. Muß aber nicht die Logik eines
scheinbaren S.P.-Satzes dieselbe sein wie die Logik eines wirklichen? Wenn eine Definition überhaupt möglich ist, die dem Satz die S.P.-Form gibt …?