two types of recognition and verification

Four valued logic Q&A 2000.4

25:The truth value calculation in the 4 valued logic.

26:The 4-valued logician and Scientist, Realist, Religious person

27:Two types of recognition: the scientific recognition and the paradoxical or interactive recognition

28:The dual implications live in the T3 proposition and the self-denial live in the T4 proposition.

　

Q&A25:The truth value calculation in the 4 valued logic.

The truth value calculation and the scientific verification for 2-valued proposition have to be replaced with the truth value calculation and 2 methods of verification in 4-valued logic. This depends on the correspondence theory of the proposition in the 4 valued logic.

The T1 or T2 proposition by the truth value calculation will be verified by a scientific, or objective method. However, it is necessary to verify the 3^rd valued proposition and the 4^th valued proposition by realistic method (for example, by political method or by new products or by realistic trial of pure freedom that is not free from trial). That is, the truth value calculation is not important for T3 or T4 proposition but it is important to find the consequent or the antecedent from which the speech person tries to free.

However, it is important for proposition whether the 4^th value or 3^rd value or the 1st true value or 2nd false value is allocated in the proposition by the truth value calculation, because the method of verification is different from each other.

Q&A26:The 4-valued logician and Scientist, Realist, Religious person

1.Scientist assumes feelings to be unscientific propositions.

2.4-valued logician assumes feelings as a 3^rd valued or 4^th valued propositions.

　

1.Realist defines recognition as thought or as meaning.

2.4-valued logician defines recognition as the proposition which have 4 truth value.

　

1.Religious person bury the dead in a religious ceremony.

2.4-valued logician assumes the dead to be 4^th valued or 3^rd valued proposition.

　

1.Two-valued logician assumes opposite to be denied.

2.Four-valued logician assumes opposite to be translated into the paradoxical form.

Q&A27:Two types of recognition: the scientific recognition and the paradoxical or interactive recognition

Definition of paradoxical or interactive recognition: Recognition of objects includes the implication of recognition person.

When the recognition (or the proposition) is any impression or any hypothesis or any idea, the implication of the recognition person exists inside the recognition (or the proposition). Therefore, the denial of this kind of proposition is a denial of the person and the affirmative of the proposition becomes an affirmative of the person. This kind of proposition is not a true or false proposition but T3 and T4 proposition.

When your recognition is denied, you will be denied because you are included in your recognition. Oppositely, you will be affirmed when your recognition is affirmed , because you are included in your recognition. Your implication is found in your recognition.

“Russell’s sets that have not members of themselves” can be translated with “Recognition that does not includes the recognition person”. Moreover, the sets that have members of themselves can be translated with recognition that includes the recognition person.

But, recognition by a scientific observation is objective proposition, which is true or false. If you deny the true or false proposition or if you affirm its proposition, the influence of negation or affirmation is not exerted on the recognition person so much.

Reference: Russell’s paradox

Some classes have themselves as members: the class of all abstract objects, for example,　is an abstract objects. Others do not: the class of donkeys is not itself a donkey. Now consider the class of all classes that have not members of themselves. Is this class a member of itself? If it is, then it is not, and if it is not, then it is.（Oxford dictionary）

Q&A28:The dual implications live in the T3 proposition and the self-denial live in the T4 proposition.

Because a hidden dual implication exists in the T3 proposition, it is impossible to fix proposition as appearance like T1 and T2 proposition. T3 proposition will be fixed sometimes in the form of an opposite proposition. However, in the opposite form of proposition, the paradoxical form becomes incomprehensible.

Moreover, the T4 proposition has the hidden self-negative antecedent. Because this self-negative antecedent is not easily found, it is impossible to fix the T4 proposition as appearance like T1 and T2 proposition.

In the T4 proposition, antecedent being denied is hidden. Therefore, you do not catch easily the antecedent that will be denied. Therefore, this T4 proposition has reflexive character or paradoxical character as well as the T3 proposition.

When the hidden antecedent was found in the T4 proposition, this antecedent of implication had already been denied. When the hidden consequent in the T3 proposition is found, the clear consequent appears as a clear target that should be aimed.

This is a different living style of the T3 proposition and the T4 proposition.