HOME TOP UP PREV NEXT ENGLISH MAP      Logisch-philosophische Abhandlung 5.1311

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.)

HOME TOP UP PREV NEXT ENGLISH MAP      Logisch-philosophische Abhandlung 5.1311