Логическое следование и выделенные значения.

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

D.V. Zaitsev

Abstract

We consider various connections between truth values and the entailment relation, and prove a theorem saying that in Belnap's four-valued logic the definition of entailment trough a lattice order introduces the same relation as the definition using {T, B} as the set of designated truth values.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Войшвилло Е.К. Семантическая информация. Понятия экстенсиональной и интенсиональной информации // Кибернетика и современное научное познание. М.: Наука, 1976. С. 165-179.

Войшвилло Е.К. Семантика релевантной логики и вопрос о природе логических законов // Разум и культура. М.: Изд. МГУ, 1983. С. 69-76.

Карпенко А.С. Современные исследования в философской логике // Вопросы философии. 2003. № 9. С. 54-75.

Попов О.В. Четарехзначная логика с двумя выделенными значениями // Логика и В.Е.К. Сб. научн. Тр. М.: Современные тетради, 2003. С. 196200 .

Смирнова Е.Д. Логическая семантика и философские основания логики. М.: Изд. МГУ, 1986.

Фреге Г. Логика и логическая семантика. Сб. трудов. М.: Аспект Пресс, 2000.

Шрамко Я.В. Релевантное следование сохраняет не-ложность (чисто семантическое доказательство) // Вестник Московского университета, Серия 7: Философия, 1994, №1. С. 61-64.

Шрамко Я. В. Американский план для интуиционистской логики 2: обобщенные интуиционистские модели // Online Journal "Logical Studies". 2000, No. 5.

Anderson A. R. and N.D. Belnap, Jr. Entailment The Logic of Relevance and Necessity. Vol. I. Princeton University Press, 1975.

Anderson A.R., N.D. Belnap Jr., and J. M. Dunnl Entailment The Logic of Relevance and Necessity. Vol. II. Princeton University Press, 1992.

Belnap N. A useful four-valued logic // J. M. Dunn and G. Epstein (eds.). Modem Uses of Multiple-Valued Logic. Dordrecht: D. Reidel Publish. Co., 1977. P. 8-37 (рус. пер. H. Белнап, T. Стил. Логика вопросов и ответов. М.: Прогресс, 1981).

Belnap N. How A computer should think // G. Ryle (ed.). Contemporary Aspects of Philosophy. Stocksfield: Oriel Press Ltd., 1977. P. 30-55 (pyc. пер. H. Белнап, T. Стил. Логика вопросов и ответов, М.: Прогресс, 1981).

Dunn J.M. Intuitive semantics for first-degree entailment and ‘coupled trees’ // Philosophical Studies. 1976. Vol. 29. P. 149-168.

Dunn J.M. Partiality and its dual 11 Studia Logica. 2000. Vol. 65. P. 5-40.

Lukasiewicz J. On three-valued logic // Selected Works. Oxford, 1970. P. 87-88.