Tractatus Logico-Philosophicus (English): Difference between revisions

no 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''.