Tractatus Logico-Philosophicus (English): Difference between revisions
No edit summary |
No edit summary |
||
| Line 711: | Line 711: | ||
Similarly the series of propositions “''aRb''”, | Similarly the series of propositions “''aRb''”, | ||
::“(∃''x''):''aRx.xRb''”, | |||
:: “(∃''x''):''aRx.xRb''”, | ::“(∃''x,y''):''aRx.xRy.yRb''”, etc. | ||
:: “(∃''x,y''):''aRx.xRy.yRb''”, etc. | |||
(If ''b'' stands in one of these relations to ''a'', I call ''b'' a successor of ''a''.) | (If ''b'' stands in one of these relations to ''a'', I call ''b'' a successor of ''a''.) | ||
| Line 741: | Line 740: | ||
Wherever the word “object” (“thing”, “entity”, etc.) is rightly used, it is expressed in logical symbolism by the variable name. | Wherever the word “object” (“thing”, “entity”, etc.) is rightly used, it is expressed in logical symbolism by the variable name. | ||
For example in the proposition “there are two objects which …”, by “( | For example in the proposition “there are two objects which …”, by “(∃''x'',''y'')…”. | ||
Wherever it is used otherwise, ''i.e.'' as a proper concept word, there arise senseless pseudo-propositions. | Wherever it is used otherwise, ''i.e.'' as a proper concept word, there arise senseless pseudo-propositions. | ||