5,235
edits
Template:Individual-TLP-paragraph-de-4.1273: Difference between revisions
Template:Individual-TLP-paragraph-de-4.1273 (view source)
Revision as of 11:34, 2 April 2022
, 2 years agoBot: Adding {{ParTLPwrapper-de|
m (Bot: Adding - }}) |
m (Bot: Adding {{ParTLPwrapper-de|) |
||
| Line 1: | Line 1: | ||
{{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.) | ||