5,952
edits
Tagebücher 1914-1916: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 996: | Line 996: | ||
Die ab-Funktion bleibt nicht ''vor'' dem Elementarsatz stehen, sondern sie durchdringt ihn. | Die ab-Funktion bleibt nicht ''vor'' dem Elementarsatz stehen, sondern sie durchdringt ihn. | ||
Was gezeigt werden ''kann'', kann nicht gesagt werden. [4.1212.] | Was gezeigt werden ''kann'', kann nicht gesagt werden. [''S.'' 4.1212.] | ||
Ich glaube, man könnte das Gleichheitszeichen ganz aus unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u.U.) andeuten. Es wäre dann freilich ''φ''(a,a) kein spezieller Fall von (x,y).''φ''(x,y) und ''φ''a keiner von (∃x,y).''φ''x.''φ''y. Dann aber könnte man statt ''φ''x.''φ''y ⊃<sub>x,y</sub> x = y einfach schreiben ~(∃x,y).''φ''x.''φ''y. [''Vgl.'' 5.53 ''u.'' 5.533.] | Ich glaube, man könnte das Gleichheitszeichen ganz aus unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u. U.) andeuten. Es wäre dann freilich ''φ''(a,a) kein spezieller Fall von (x,y).''φ''(x,y) und ''φ''a keiner von (∃x,y).''φ''x.''φ''y. Dann aber könnte man statt ''φ''x.''φ''y ⊃<sub>x,y</sub> x = y einfach schreiben ~(∃x,y).''φ''x.''φ''y. [''Vgl.'' 5.53 ''u.'' 5.533.] | ||
Durch diese Notation verlören auch der Scheinsatz (x)x = a oder ähnliche allen Schein von Berechtigung. [''Vgl.'' 5.534.] | Durch diese Notation verlören auch der Scheinsatz (x)x = a oder ähnliche allen Schein von Berechtigung. [''Vgl.'' 5.534.] | ||