5,963
edits
Template:Individual-TLP-paragraph-de-3.333: Difference between revisions
Template:Individual-TLP-paragraph-de-3.333 (view source)
Revision as of 16:40, 2 April 2022
, 2 years agono edit summary
m (Bot: Adding {{ParTLPwrapper-de|) |
No edit summary |
||
| Line 4: | Line 4: | ||
Nehmen wir nämlich an, die Funktion ''F'' (''fx'') könnte ihr eigenes Argument sein; dann gäbe es also einen Satz: „''F'' (''F'' (''fx''))“ und in diesem müssen die äussere Funktion ''F'' und die innere Funktion ''F'' verschiedene Bedeutungen haben, denn die innere hat die Form ''ϕ''(''fx''), die äussere, die Form ''ψ''(''ϕ''(''fx'')). Gemeinsam ist den beiden Funktionen nur der Buchstabe „''F'' “, der aber allein nichts bezeichnet. | Nehmen wir nämlich an, die Funktion ''F'' (''fx'') könnte ihr eigenes Argument sein; dann gäbe es also einen Satz: „''F'' (''F'' (''fx''))“ und in diesem müssen die äussere Funktion ''F'' und die innere Funktion ''F'' verschiedene Bedeutungen haben, denn die innere hat die Form ''ϕ''(''fx''), die äussere, die Form ''ψ''(''ϕ''(''fx'')). Gemeinsam ist den beiden Funktionen nur der Buchstabe „''F'' “, der aber allein nichts bezeichnet. | ||
Dies wird sofort klar, wenn wir statt „''F'' (''F'' (''u''))“ schreiben „(∃''ϕ'') : ''F'' (''ϕu'') ''. ϕu'' | Dies wird sofort klar, wenn wir statt „''F'' (''F'' (''u''))“ schreiben „(∃''ϕ'') : ''F'' (''ϕu'') ''. ϕu'' <nowiki>=</nowiki> ''Fu''“. | ||
Hiermit erledigt sich Russell’s Paradox. | Hiermit erledigt sich Russell’s Paradox. | ||
}} | }} | ||