Tractatus Logico-Philosophicus (English): Difference between revisions

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.

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

@@ 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.
-(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''.