6,089
edits
Tractatus Logico-Philosophicus (English): Difference between revisions
Tractatus Logico-Philosophicus (English) (view source)
Revision as of 11:01, 16 January 2021
, 3 years agono edit summary
No edit summary |
No edit summary |
||
| Line 1,356: | Line 1,356: | ||
5.5301 That identity is not a relation between objects is obvious. This becomes very clear if, for example, one considers the proposition "(''x'') : ''f x'' . ⊃ . ''x'' = ''a''" What this proposition says is simply that ''only'' ''a'' satisfies the function ''f'', and not that only such things satisfy the function ''f'' which have a certain relation to ''a''. | 5.5301 That identity is not a relation between objects is obvious. This becomes very clear if, for example, one considers the proposition "(''x'') : ''f x'' . ⊃ . ''x'' = ''a''" What this proposition says is simply that ''only'' ''a'' satisfies the function ''f'', and not that only such things satisfy the function ''f'' which have a certain relation to ''a''. | ||
One could of course say that in fact ''only'' | One could of course say that in fact ''only'' ''a'' has this relation to ''a'' but in order to express this we should need the sign of identity itself. | ||
5.5302 Russell's definition of "=" won't do; because according to it one cannot say that two objects have all their properties in common. (Even if this proposition is never true, it is nevertheless ''significant''.) | 5.5302 Russell's definition of "=" won't do; because according to it one cannot say that two objects have all their properties in common. (Even if this proposition is never true, it is nevertheless ''significant''.) | ||