Две истины — одна логика
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
обобщенные истинностные значения, релевантная логика первого уровня, логика Данна—Белнапа, двухкомпонентная истинность, редукция истинностных значений
Main Article Content
Аннотация
В этой статье мы развиваем новую концепцию двухкомпонентных истинностных значений, объединяющих онтологические и эпистемологические линии. При этом мы сначала приводим философское обоснование этого подхода, а затем рассматриваем алгебраические и семантические (оценочные) системы двухкомпонентной истины.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Зайцев Д., Григорьев О. Две истины — одна логика // Логические исследования / Logical Investigations. 2011. Т. 17. C. 121-139.
Выпуск
Раздел
Статьи
Литература
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.
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.