5,953
edits
Tractatus Logico-Philosophicus (English): Difference between revisions
Tractatus Logico-Philosophicus (English) (view source)
Revision as of 08:55, 8 February 2022
, 2 years agono edit summary
No edit summary |
No edit summary |
||
| Line 1,048: | Line 1,048: | ||
{{ParTLP|5.1311}} When we conclude from ''p''v''q'' and ~''p'' to ''q'' the relation between the forms of the propositions "''p''v''q''" and "~''p''" is here concealed by the method of symbolizing. But if we write, ''e.g.'' instead of "''p''v''q''" "''p''|''q'' .|. ''p''|''q''" and instead of "~''p''" "''p''|''p''" (''p''|''q'' = neither ''p'' nor ''q''), then the inner connexion becomes obvious. | {{ParTLP|5.1311}} When we conclude from ''p''v''q'' and ~''p'' to ''q'' the relation between the forms of the propositions "''p''v''q''" and "~''p''" is here concealed by the method of symbolizing. But if we write, ''e.g.'' instead of "''p''v''q''" "''p''|''q'' .|. ''p''|''q''" and instead of "~''p''" "''p''|''p''" (''p''|''q'' = neither ''p'' nor ''q''), then the inner connexion becomes obvious. | ||
(The fact that we can infer ''fa'' from (x)''fx'' shows that generality is present also in the symbol "(''x'').''fx''". | (The fact that we can infer ''fa'' from (x)''fx'' shows that generality is present also in the symbol "(''x'').''fx''".) | ||
{{ParTLP|5.132}} If ''p'' follows from ''q'', I can conclude from ''qp'' to ''p''; infer ''p'' from ''q''. | {{ParTLP|5.132}} If ''p'' follows from ''q'', I can conclude from ''qp'' to ''p''; infer ''p'' from ''q''. | ||