If all the verifiers common to a number of propositions are also verifiers of a particular proposition, then the truth of that proposition follows from the truth of the others. In particular, the truth of one proposition (p) follows from the truth of another proposition (q) if all the verifiers of (q) are also verifiers of (p). In that case, the sense of (p) is contained in the sense of (q). If a god creates a world in which certain propositions are true, then by that very act he also creates a world in which all the propositions that follow from them come true. And similarly he could not create a world in which the proposition (p) was true without creating all its objects.
A proposition affirms every proposition that follows from it. (p.q) is a proposition that affirms (p) as well as (q).
(TFTF)(p,q) (p)
(TTFF)(p,q) (q)
(TFFF)(p,q) (p.q)
(^___)
Two propositions are opposed to one another if no proposition that makes sense affirms them both. Every proposition that contradicts another negates it.
One can see that the truth of one proposition follows from the truth of others from the structure of the propositions. When that is the case, the relations between the forms of the propositions express that. Furthermore, we need not associate them in a compound proposition. Rather, these relations are internal, an immediate consequence of the existence of the propositions.
When we infer q from (p∨q and ~p), the relation between the propositional forms of (p∨q) and (~p) is masked by our notation.
(TTTF)(p,q) (p∨q)
(FTFT)(p,q) (~p)
(TTFF)(p,q) (q)
(_^__)
But if instead of (p∨q) we write, for example, (pq .  . pq), and instead of (~p), (pp) where (pq = ~p.~q), then the internal relation becomes apparent.
(FFFT)(p,q) (~p.~q or pq)
(FTFT)(p,q) (~p)
(FFTT)(p,q) (~q)
(___^)
(TTTF)(p.q) (~(pp).~(pp))
(FTFT)(p,q) (pp)
(TTFF)(p,q) (q)
(_^__)
(That one can start with (x).fx and conclude fa shows that the symbol (x).fx itself is generalizable.)
If p follows from q, I can infer p from q; deduce p from q. The nature of the conclusion can be gathered only from the two propositions; only they themselves can justify the inference. 'Laws of inference', which are supposed to justify inferences, as in the works of Frege and Russell, have no purpose, and would be superfluous.
This log was inspired by "How to Read Wittgenstein" and "Ludwig Wittgenstein: the duty of genius" by Ray Monk. It is based on reading Tractatus LogicoPhilosophicus by Ludwig Wittgenstein translated by D. F. Pears & B. F. McGuinness (Routledge and Kegan Paul:1963)
Subscribe to:
Post Comments (Atom)
Labels
 Tractatus LogicoPhilosophicus 1
 Tractatus LogicoPhilosophicus 2
 Tractatus LogicoPhilosophicus 2.01
 Tractatus LogicoPhilosophicus 2.02
 Tractatus LogicoPhilosophicus 2.03 to 2.063
 Tractatus LogicoPhilosophicus 2.1
 Tractatus LogicoPhilosophicus 2.2
 Tractatus LogicoPhilosophicus 3
 Tractatus LogicoPhilosophicus 3.0
 Tractatus LogicoPhilosophicus 3.1
 Tractatus LogicoPhilosophicus 3.2
 Tractatus LogicoPhilosophicus 3.3
 Tractatus LogicoPhilosophicus 3.32
 Tractatus LogicoPhilosophicus 3.33
 Tractatus LogicoPhilosophicus 3.34
 Tractatus LogicoPhilosophicus 3.4 to 3.5
 Tractatus LogicoPhilosophicus 4
 Tractatus LogicoPhilosophicus 4.00
 Tractatus LogicoPhilosophicus 4.01 to 4.022
 Tractatus LogicoPhilosophicus 4.023 to 4.027
 Tractatus LogicoPhilosophicus 4.03
 Tractatus LogicoPhilosophicus 4.04
 Tractatus LogicoPhilosophicus 4.05 to 4.0621
 Tractatus LogicoPhilosophicus 4.1
 Tractatus LogicoPhilosophicus 4.12 to 4.1213
 Tractatus LogicoPhilosophicus 4.122 to 4.1252
 Tractatus LogicoPhilosophicus 4.126 to 4.128
 Tractatus LogicoPhilosophicus 4.2 to 4.28
 Tractatus LogicoPhilosophicus 4.3 to 4.442
 Tractatus LogicoPhilosophicus 4.45 TO 4.4661
 Tractatus LogicoPhilosophicus 4.5 to 4.53
 Tractatus LogicoPhilosophicus 5
 Tractatus LogicoPhilosophicus 5 to 5.101
 Tractatus LogicoPhilosophicus 5.05 to 5.156
 Tractatus LogicoPhilosophicus 5.11 to 5.132
 Tractatus LogicoPhilosophicus 5.133 to 5.143
 Tractatus LogicoPhilosophicus 5.2 to 5.254
 Tractatus LogicoPhilosophicus 5.3
 Tractatus LogicoPhilosophicus 5.4 to 5.44
 Tractatus LogicoPhilosophicus 5.45
 Tractatus LogicoPhilosophicus 5.46 to 5.472
 Tractatus LogicoPhilosophicus 5.473 to5.476
 Tractatus LogicoPhilosophicus 5.5 to 5.503
 Tractatus LogicoPhilosophicus 5.51
 Tractatus LogicoPhilosophicus 5.52
 Tractatus LogicoPhilosophicus 5.53 to 5.535
 Tractatus LogicoPhilosophicus 5.5351 to 5.5352
 Tractatus LogicoPhilosophicus 5.55 to 5.5571
 Tractatus LogicoPhilosophicus 5.6 to 5.621
 Tractatus LogicoPhilosophicus 5.63 to 5.641
 Tractatus LogicoPhilosophicus 6
 Tractatus LogicoPhilosophicus 6 to 6.01
 Tractatus LogicoPhilosophicus 6.1 to 6.1202
 Tractatus LogicoPhilosophicus 6.1203
 Tractatus LogicoPhilosophicus 6.121 to 6.124
 Tractatus LogicoPhilosophicus 6.125 to 6.1271
 Tractatus LogicoPhilosophicus 6.13 to 6.2331
 Tractatus LogicoPhilosophicus 6.234 to 6.3432
 Tractatus LogicoPhilosophicus 6.342 to 6.372
 Tractatus LogicoPhilosophicus 6.373 to 6.3751
 Tractatus LogicoPhilosophicus 6.5
 Tractatus LogicoPhilosophicus 7
Blog Archive

▼
2008
(69)

▼
April
(40)
 The world does not depend on me.
 The relative position of logic and science.
 Mathematics is a method of logic.
 Logic is transcendental.
 One can describe all true logical propositions in ...
 We can do without logical propositions.
 Recognizing a Tautology.
 The propositions of logic are tautologies.
 The General Form of a Truth Function.
 The microcosm.
 The boundary of my language represents the boundar...
 Elemental Propositions.
 Propositions occur in each other only as bases of ...
 Expressions.
 Identity.
 Truth Functions do not Include the Concept All.
 How is this useful?
 Every truthfunction an be obtained by successivel...
 Occam's rule points out that unnecessary signs mea...
 Signs for logical operations are punctuation marks...
 Logic must be clearly constructed from its primiti...
 Logical objects or logical constants in Frege's an...
 All propositions are the result of truth operators...
 The structures of propositions relate internally t...
 Propositions of probability.
 All deduction is a priori.
 Logical Inference.
 A proposition is a truth function of elemental pro...
 The general propositional form is the variable: 'I...
 Tautology and Contradiction.
 Truth Value Tables and Propositions.
 The sense of a proposition.
 A variable is the sign of a formal concept.
 Formal Properties and Relations.
 Logical Form  What can be shown, cannot be said.
 A proposition exhibits matters of fact which both ...
 Every proposition must make sense on its own.
 A proposition can be true or false only by being a...
 A proposition must have just as many degrees of fr...
 A sentence must use old expressions to tell us som...

▼
April
(40)
No comments:
Post a Comment