Affiliation:
1. Independent researcher , Moscow , Russia
Abstract
Abstract
Non-classical logic via approximation of self-referential sentences by dynamical systems are consistently presented. The new 6-valued truth values <T, va, A, V, av, F> (here A=Liar, V=TruthTeller) are presented as a function of the classical truth values x
i ∈ {0,1}, which resulted in a philosophical standpoint known as Suszko’s Thesis. Three-valued truth tables were created corresponding to Priest’s tables of the same name. In the process of constructing 4-valued truth tables, two more new truth values (va, av) were revealed that do not coincide with the four original ones. Therefore, the closed tables turned out to be 6-valued. Prof Dunn’s 4-valued truth tables are compared with our 4-valued truth tables. De Morgan’s laws are confirmed by six-valued truth tables. Constructed 3-, 4- and 6-valued lattices obeying De Morgan’s laws.
Reference10 articles.
1. 1. Dunn J.M., Two, three, four, infinity: The path to the four-valued logic and beyond, New Essays on Belnap-Dunn Logic, ed. by H. Omori and H. Wansing, Cham: Springer, 2019, 77-97.10.1007/978-3-030-31136-0_6
2. 2. Feferman S. Toward Useful Type-Free Theories I, The Journal of Symbolic Logic, 1984, 49, 75-111.10.2307/2274093
3. 3. Johnstone A. Self-reference, the Double Life and Godel, Logique et Analyse, 1981, 24, 35-47.
4. 4. Kauffman L.H., Knot Logic. In: Knots and Applications, ed. by L. Kauffman, World Scientific Pub., 1994, 1-110.10.1142/9789812796189_0001
5. 5. Kleene S. C., Introduction to Metamathematics. D. Van Nostrand Co., Princeton, 1950.