A truth operation is how a truth function originates from elemental propositions. According to the nature of truth operations, a truth function turns into a new truth-function just as an elemental proposition turns into its own truth function. Every application of a truth operator to truth functions of elemental propositions generates another truth function of elemental propositions, another proposition. Whenever a truth operator is applied to the results of truth operations on elemental propositions, there is always a single operation on elemental propositions that has the same result. Thus, every proposition is the result of truth operations on elemental propositions.
Truth value tables have a meaning even when 'p', 'q', 'r', etc. are not elemental propositions. And it is easy to see that a propositional sign in truth table form expresses a single truth-function of elemental propositions even when 'p' and 'q' are themselves truth-functions of other propositions. So all truth functions are the result of successive application of a finite number of truth operations to elemental propositions.
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 Logico-Philosophicus by Ludwig Wittgenstein translated by D. F. Pears & B. F. McGuinness (Routledge and Kegan Paul:1963)
Subscribe to:
Post Comments (Atom)
Labels
- Tractatus Logico-Philosophicus 1
- Tractatus Logico-Philosophicus 2
- Tractatus Logico-Philosophicus 2.01
- Tractatus Logico-Philosophicus 2.02
- Tractatus Logico-Philosophicus 2.03 to 2.063
- Tractatus Logico-Philosophicus 2.1
- Tractatus Logico-Philosophicus 2.2
- Tractatus Logico-Philosophicus 3
- Tractatus Logico-Philosophicus 3.0
- Tractatus Logico-Philosophicus 3.1
- Tractatus Logico-Philosophicus 3.2
- Tractatus Logico-Philosophicus 3.3
- Tractatus Logico-Philosophicus 3.32
- Tractatus Logico-Philosophicus 3.33
- Tractatus Logico-Philosophicus 3.34
- Tractatus Logico-Philosophicus 3.4 to 3.5
- Tractatus Logico-Philosophicus 4
- Tractatus Logico-Philosophicus 4.00
- Tractatus Logico-Philosophicus 4.01 to 4.022
- Tractatus Logico-Philosophicus 4.023 to 4.027
- Tractatus Logico-Philosophicus 4.03
- Tractatus Logico-Philosophicus 4.04
- Tractatus Logico-Philosophicus 4.05 to 4.0621
- Tractatus Logico-Philosophicus 4.1
- Tractatus Logico-Philosophicus 4.12 to 4.1213
- Tractatus Logico-Philosophicus 4.122 to 4.1252
- Tractatus Logico-Philosophicus 4.126 to 4.128
- Tractatus Logico-Philosophicus 4.2 to 4.28
- Tractatus Logico-Philosophicus 4.3 to 4.442
- Tractatus Logico-Philosophicus 4.45 TO 4.4661
- Tractatus Logico-Philosophicus 4.5 to 4.53
- Tractatus Logico-Philosophicus 5
- Tractatus Logico-Philosophicus 5 to 5.101
- Tractatus Logico-Philosophicus 5.05 to 5.156
- Tractatus Logico-Philosophicus 5.11 to 5.132
- Tractatus Logico-Philosophicus 5.133 to 5.143
- Tractatus Logico-Philosophicus 5.2 to 5.254
- Tractatus Logico-Philosophicus 5.3
- Tractatus Logico-Philosophicus 5.4 to 5.44
- Tractatus Logico-Philosophicus 5.45
- Tractatus Logico-Philosophicus 5.46 to 5.472
- Tractatus Logico-Philosophicus 5.473 to5.476
- Tractatus Logico-Philosophicus 5.5 to 5.503
- Tractatus Logico-Philosophicus 5.51
- Tractatus Logico-Philosophicus 5.52
- Tractatus Logico-Philosophicus 5.53 to 5.535
- Tractatus Logico-Philosophicus 5.5351 to 5.5352
- Tractatus Logico-Philosophicus 5.55 to 5.5571
- Tractatus Logico-Philosophicus 5.6 to 5.621
- Tractatus Logico-Philosophicus 5.63 to 5.641
- Tractatus Logico-Philosophicus 6
- Tractatus Logico-Philosophicus 6 to 6.01
- Tractatus Logico-Philosophicus 6.1 to 6.1202
- Tractatus Logico-Philosophicus 6.1203
- Tractatus Logico-Philosophicus 6.121 to 6.124
- Tractatus Logico-Philosophicus 6.125 to 6.1271
- Tractatus Logico-Philosophicus 6.13 to 6.2331
- Tractatus Logico-Philosophicus 6.234 to 6.3432
- Tractatus Logico-Philosophicus 6.342 to 6.372
- Tractatus Logico-Philosophicus 6.373 to 6.3751
- Tractatus Logico-Philosophicus 6.5
- Tractatus Logico-Philosophicus 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 truth-function 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