Template:Individual-TLP-paragraph-de-4.1273: Difference between revisions

← Older edit

Template:Individual-TLP-paragraph-de-4.1273 (view source)

Revision as of 20:45, 30 October 2022

1 byte removed , 2 years ago

m

Bot: Automated text replacement (-\{\{ParTLPwrapper\-de\|\n\{\{ParTLPde\| +{{ParTLPwrapper-de|{{ParTLPde|)

LWPBot

Bots, Editors

5,235

edits

@@ Line 1: / Line 1: @@
-{{ParTLPwrapper-de|
+{{ParTLPwrapper-de|{{ParTLPde|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'', (∃''x'') : ''aRx.xRb'', (∃''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 {{spaced text|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.)
-{{ParTLPde|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'', (∃''x'') : ''aRx.xRb'', (∃''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 {{spaced text|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.
 }}