HOME TOP UP PREV NEXT 1 ENGLISH MAP      Logisch-philosophische Abhandlung 5.131

5.131

Folgt die Wahrheit eines Satzes aus der Wahrheit anderer, so drückt sich dies durch Beziehungen aus, in welchen die Formen jener Sätze zu einander stehen; und zwar brauchen wir sie nicht erst in jene Beziehungen zu setzen, indem wir sie in einem Satze miteinander verbinden, sondern diese Beziehungen sind intern und bestehen, sobald, und dadurch daß, jene Sätze bestehen.

5.1311

Wenn wir von p v q und ~p auf q schließen, so ist hier durch die Bezeichnungsweise die Beziehung der Satzformen von "p v q" und "~p" verhüllt. Schreiben wir aber z.B. statt "p v q" "p | q .|. p | q" und statt "~p" "p | p" (p | q = weder p, noch q), so wird der innere Zusammenhang offenbar.

(Daß man aus(x) . fx auf fa schließen kann, das zeigt, daß die Allgemeinheit auch im Symbol "(x) . fx" vorhanden ist.)