Dynamic Approximation of Self-Referential Sentences

• Autorzy: Vladimir A. Stepanov
• Języki publikacji: EN

Abstrakty

EN

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 arecompared 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. (original abstract)

Słowa kluczowe

EN

Logic; Linguistics; Approximation

PL

Logika; Językoznawstwo; Aproksymacja

• Czasopismo: Studia Humana
• Rocznik: 2022
• Tom: 11(3-4)
• Strony: 25--29

Twórcy

autor

Vladimir A. Stepanov

Bibliografia

• 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.
• Feferman S. Toward Useful Type-Free Theories I, The Journal of Symbolic Logic, 1984, 49, 75-111.
• Johnstone A. Self-reference, the Double Life and Godel, Logique et Analyse, 1981, 24, 35-47.
• Kauffman L.H., Knot Logic. In: Knots and Applications, ed. by L. Kauffman, World Scientific Pub., 1994, 1-110.
• Kleene S. C., Introduction to Metamathematics. D. Van Nostrand Co., Princeton, 1950.
• Konev B. Kontchakov R., Wolter F., Zakharyaschev M. On Dynamic Topological and Metric Logics, Studia Logica, 2006, 84, 129-160.
• Leitgeb H., Truth and the Liar in De Morgan-Valued Models, Notre Dame Journal of Formal Logic, 1999, 40(4), 496-514.
• Michael E., Peirce's Paradoxical Solution to the Liar's Paradox, Notre Dame Journal of Formal Logic, 1975. XII, No. 3, 369-374.
• Priest G., The Logic Paradox, Journal of Philosophical Logic, 1979, 8, 219-241.
• Stepanov V., In defense of the self-referencing quantifier Sx. Approximation of self-referential sentences by dynamic systems, Logico-Philosophical Studies, 2021, 19(2), 145-150, DOi: 10.52119/LPHS.2021.49.50.014.

Identyfikatory

DOI

10.2478/sh-2022-0013