Tractatus Logico-Philosophicus (English): Difference between revisions

Tractatus Logico-Philosophicus (English) (view source)

11 bytes added , 3 years ago

no edit summary

5,953

edits

@@ Line 1,589: / Line 1,589: @@
 In order that propositions connected together in a definite way may give a tautology they must have definite properties of structure. That they give a tautology when ''so'' connected shows therefore that they possess these properties of structure.
-.1201 That ''e.g.'' the propositions "''p''" and "~''p''" in the connexion "~(''p'' . ''~p'')" give a tautology shows that they contradict one another. That the propositions "''p'' ⊃ ''q''", "''p''" and "''q''" connected together in the form "(''p'' ⊃ ''q'') . (''p'') : ⊃ : (''q'')" give a tautology shows that "''q''" follows from "''p''" and "''p'' ⊃ ''q''". That "(''x'') . ''f x'' : ⊃ : ''f a''" is a tautology shows that ''fa'' follows from (''x'') . ''f x'', etc. etc.
+{{ParTLP|6.1201}} That ''e.g.'' the propositions "''p''" and "~''p''" in the connexion "~(''p'' . ''~p'')" give a tautology shows that they contradict one another. That the propositions "''p'' ⊃ ''q''", "''p''" and "''q''" connected together in the form "(''p'' ⊃ ''q'') . (''p'') : ⊃ : (''q'')" give a tautology shows that "''q''" follows from "''p''" and "''p'' ⊃ ''q''". That "(''x'') . ''f x'' : ⊃ : ''f a''" is a tautology shows that ''fa'' follows from (''x'') . ''f x'', etc. etc.
 {{ParTLP|6.1202}} It is clear that we could have used for this purpose contradictions instead of tautologies.