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


4.1273
Wollen wir den allgemeinen Satz "b ist ein Nachfolger von a" in der Begriffsschrift ausdrücken, so brauchen wir hierzu einen Ausdruck für das allgemeine Glied der Formenreihe: aRb, ( EXISTS x) : aRx . xRb, ( EXISTS x, y) : aRx . xRy . yRb, . . . Das allgemeine Glied einer Formenreihe kann man nur durch eine Variable ausdrücken, denn der Begriff: Glied dieser Formenreihe, ist ein formaler Begriff. (Dies haben Frege und Russell übersehen; die Art und Weise wie sie allgemeine Sätze, wie den obigen, ausdrücken wollen, ist daher falsch; sie enthält einen circulus vitiosus.)

Wir können das allgemeine Glied der Formenreihe bestimmen, indem wir ihr erstes Glied angeben und die allgemeine Form der Operation, welche das folgende Glied aus dem vorhergehenden Satz erzeugt.


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