Tractatus Logico-Philosophicus (English): Difference between revisions

no edit summary
No edit summary
No edit summary
Line 749: Line 749:
(For example, one cannot ask: “Are there unanalysable subject-predicate propositions?”)
(For example, one cannot ask: “Are there unanalysable subject-predicate propositions?”)


4.128 The logical forms are ''anumerical''.
{{ParTLP|4.128}} The logical forms are ''anumerical''.


Therefore there are in logic no pre-eminent numbers, and therefore there is no philosophical monism or dualism, etc.
Therefore there are in logic no pre-eminent numbers, and therefore there is no philosophical monism or dualism, etc.
Line 1,195: Line 1,195:
The proposition "''~~p''" does not treat of denial as an object, but the possibility of denial is already prejudged in affirmation.
The proposition "''~~p''" does not treat of denial as an object, but the possibility of denial is already prejudged in affirmation.


And if there was an object called "~", then "~~''p''" would have to say something other than "''p''". For the one proposition would then treat of ~ , the other would not.
And if there was an object called "~", then "~~''p''" would have to say something other than "''p''". For the one proposition would then treat of ~, the other would not.


{{ParTLP|5.441}} This disappearance of the apparent logical constants also occurs if "~(∃''x'') . ~''fx''" says the same as "(''x'') . ''fx''", or "(∃''x'') . ''fx'' . ''x'' = ''a''" the same as "''fa''".
{{ParTLP|5.441}} This disappearance of the apparent logical constants also occurs if "~(∃''x'') . ~''fx''" says the same as "(''x'') . ''fx''", or "(∃''x'') . ''fx'' . ''x'' = ''a''" the same as "''fa''".
Line 1,729: Line 1,729:
<p style="text-align:center;"><math>(\Omega ' \Omega)^{\prime} (\Omega ' \Omega)^{\prime} x = \Omega ' \Omega ' \Omega ' \Omega ' x = \Omega^{1 + 1 + 1 + 1 \prime} x = \Omega^{4 \prime} x</math></p>
<p style="text-align:center;"><math>(\Omega ' \Omega)^{\prime} (\Omega ' \Omega)^{\prime} x = \Omega ' \Omega ' \Omega ' \Omega ' x = \Omega^{1 + 1 + 1 + 1 \prime} x = \Omega^{4 \prime} x</math></p>


6.3 Logical research means the investigation of ''all regularity''. And outside logic all is accident.
{{ParTLP|6.3}} Logical research means the investigation of ''all regularity''. And outside logic all is accident.


{{ParTLP|6.31}} The so-called law of induction cannot in any case be a logical law, for it is obviously a significant proposition.—And therefore it cannot be a law a priori either.
{{ParTLP|6.31}} The so-called law of induction cannot in any case be a logical law, for it is obviously a significant proposition.—And therefore it cannot be a law a priori either.
Line 1,775: Line 1,775:
{{ParTLP|6.36111}} The Kantian problem of the right and left hand which cannot be made to cover one another already exists in the plane, and even in one-dimensional space; where the two congruent figures ''a'' and ''b'' cannot be made to cover one another without moving them out of this space. The right and left hand are in fact completely congruent. And the fact that they cannot be made to cover one another has nothing to do with it.
{{ParTLP|6.36111}} The Kantian problem of the right and left hand which cannot be made to cover one another already exists in the plane, and even in one-dimensional space; where the two congruent figures ''a'' and ''b'' cannot be made to cover one another without moving them out of this space. The right and left hand are in fact completely congruent. And the fact that they cannot be made to cover one another has nothing to do with it.


[[File:TLP 6.36111.png|330px|center|link=]]6.362 What can be described can happen too, and what is excluded by the law of causality cannot be described.
[[File:TLP 6.36111.png|330px|center|link=]]
 
{{ParTLP|6.362}} What can be described can happen too, and what is excluded by the law of causality cannot be described.


{{ParTLP|6.363}} The process of induction is the process of assuming the ''simplest'' law that can be made to harmonize with our experience.
{{ParTLP|6.363}} The process of induction is the process of assuming the ''simplest'' law that can be made to harmonize with our experience.