Две истины — одна логика

##plugins.themes.bootstrap3.article.main##

D.V. Zaitsev
O.M. Grigoriev

Abstract

In this paper we develop a new conception of two-component truth-values combining ontological and epistemological strands. In so doing we first present philosophical justification for this approach and then consider algebraic and semantical (valuational) systems of two-component truth.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Belnap N.D. A useful four-valued logic // Dunn J.M. and Epstein G.(eds.), Modern Uses of Multiple-Valued Logic. Reidel Publishing Company. Dordrecht, 1977. P. 8-37.
Belnap N.D. How a computer should think // Ryle G. (ed.). Contemporary Aspects of Philosophy. Oriel Press. 1977. P. 30-55.
Chang-Qing Shih. The two truths in Chinese Buddhism. Delhi, 2004.
Dunn J.M. The Algebra of Intensional Logics. Doctoral Dissertation. University of Pittsburgh, Ann Arbor, 1966 (University Microfilms).
Dunn J.M. An intuitive semantics for first degree relevant implications (abstract) // Journal of Symbolic Logic. 1971. Vol. 36. P. 362-363.
Dunn J.M. Intuitive semantics for first-degree entailment and coupled trees // Philosophical Studies. 1976. Vol. 29. P. 149-168.
Ellis B. Constructing an Ontology // Valore P. (ed.), Topics on General and Formal Ontology. Polimetrica. International Scientific Publisher. 2005. P. 15-26.
Ellis B. An Epistemological Concept of Truth // Brown R., Rollins C.D. (eds.), Contemporary Philosophy in Australia. 1969. Vol. 6. P. 52-72.
Shramko Y., Dunn J.M. and Takenaka T. The trilattice of constructive truth values // Journal of Logic and Computation. 2001. Vol. 11. P. 761-788.
Shramko Y., Wansing H. Some useful sixteen-valued logics: How a computer network should think // Journal of Philosophical Logic. 2005. Vol. 34. P. 121-153.
Thakchoe S. The relationship between the two truths: a comparative analysis of two Tibetan accounts I I Contemporary Buddhism. 2003. Vol. 4. P. 111-127,
Zaitsev D. A few more useful 8-valued logics for reasoning with tetralattice EIGHT 4 // Studia Logica. 2009. Vol. 92. P. 265-280.
Аналитическая философия: становление и развитие. М., 1998.
Ансельм Кентерберийский. Об истине // Антология средневековой мысли. СПб., 2001. С. 203-230.
Бочаров В.А., Маркин В.И. Введение в логику. М., 2007.
Ванзинг Г., Шрамко Я.В. Логика компьютерных сетей // Логические исследования. Вып. 12, М., 2005.
Мендельсон Э. Введение в математическую логику. М., 1971.
Шрамко Я.В. Обобщенные истинностные значения: решетки и мультирешетки // Логические исследования. Вып. 9. М., 2002. С. 264-291.