Four valued logic Q&A plain text version 1998.5

        Q&A1234 1996.12

1.What is the proposition which can be treated by four valued logic,though it is not possible to be treated by binary logic? 　　

2.Russell assumed his logical paradox have to be excluded. How does four valued logic treat his paradox?

3.The many valued logic of Lukasiewicz does not have a contradiction law and a excluded middle. Why this four valued logic have them ?

4.What is the name of the third and fourth truth value of this four valued logic?

Q&A5678 1997.8

5.Russell's paradox is a model of the third valued proposition in four valued logic. So, what is a symbolic expression of the third valued proposition?

6.Which truth value have to be assigned to the assignment proposition of truth value to a certain proposition?

7.How to confirm the third valued proposition? Or, what is the identity of the third valued proposition very different from the identity of the true or false proposition?

8.Is it necessary to position the third truth value between "the true" and "the false" like J.Lukasiewicz ?

Q&A9101112  1998.5

9.What is a form of the 4^th valued proposition?

10.How does the 4-valued logic treat a self- reference proposition?

11.Berry's paradox is a third-valued proposition?

12.Liar paradox is a 3^rd-valued proposition?

Q&A13141516 1998.8

13:Material Equivalence and Paradoxical equivalence

14:Material Implication and Paradoxical implication

15:Where are the Contradiction of 4 valued logic different from of 2-valued logic ?

16:The logical rule of easy-to-use to live in 2-valued logic can be expanded.

Q&A17181920  1999.3  

17:Dual Implication will be hidden in the 3rd valued proposition except the pure paradox

18:The opposite propositions will be decomposed easily to dual Implication.

19:The extension of the correspondence theory of 2-valued logic

20:Truth table of negation :corrected. 1999.03

Q&A21222324  1999.8  

21:Samples of T3 proposition-----Indeterminate, Future, Moral proposition

22:Cause-effect rule of T3 proposition.

23:"Opposite" cohabits and "Contradiction" excludes.

24:T4 definition

Q&A25262728  2000.4   new!

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.

---

Mainmenu | fourvalue | lawoflogic | truthtable | Q&A | homepage

Copyright©nsmy@elix.com.1996.All rights reserved. last update00/04/01