Tagebücher 1914-1916: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 1,252: Line 1,252:
{{ParTB|7. 3. 15.}}
{{ParTB|7. 3. 15.}}


Wie ~ξ, ~ξ ∨ ~ξ etc. dieselbe Funktion ist, so ist auch ~η ∨ η, η ⊃ η, etc. dieselbe – nämlich die tautologische – Funktion. Wie die anderen, so kann auch sie – und vielleicht mit Vorteil – untersucht werden.
Wie ~''ξ'', ~''ξ'' ∨ ~''ξ'' etc. dieselbe Funktion ist, so ist auch ~''η'' ''η'', ''η'' ''η'', etc. dieselbe – nämlich die tautologische – Funktion. Wie die anderen, so kann auch sie – und vielleicht mit Vorteil – untersucht werden.




Line 1,885: Line 1,885:
''Ganze Sätze'' verschwinden!
''Ganze Sätze'' verschwinden!


Schon das, daß "p.q ∨ ~q" von "q" unabhängig ist, obwohl es das Schriftzeichen "q" offenbar enthält, zeigt uns, wie Zeichen von der Form η ∨ ~η scheinbar, aber doch nur ''scheinbar'' existieren können.
Schon das, daß "p.q ∨ ~q" von "q" unabhängig ist, obwohl es das Schriftzeichen "q" offenbar enthält, zeigt uns, wie Zeichen von der Form ''η'' ∨ ~''η'' scheinbar, aber doch nur ''scheinbar'' existieren können.


Dies kommt natürlich daher, daß diese Zusammenstellung "p ∨ ~p" zwar äußerlich möglich ist, aber nicht den Bedingungen genügt unter welchen ein solcher Komplex ''etwas sagt'', also ein Satz ist.
Dies kommt natürlich daher, daß diese Zusammenstellung "p ∨ ~p" zwar äußerlich möglich ist, aber nicht den Bedingungen genügt unter welchen ein solcher Komplex ''etwas sagt'', also ein Satz ist.
Line 2,277: Line 2,277:
Es gibt eben auch Operationen mit zwei Basen. Und die "|"-Opera­tion ist von dieser Art.
Es gibt eben auch Operationen mit zwei Basen. Und die "|"-Opera­tion ist von dieser Art.


| (ξ, η) ... ist ein beliebiges Glied der Reihe der Operationsresultate.
| (''ξ'', ''η'') ... ist ein beliebiges Glied der Reihe der Operationsresultate.


(∃x).''φ''x
(∃x).''φ''x