Проблема противоречивости в релевантных коннексивных логиках | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2025. № 84. DOI: 10.17223/1998863X/84/4

Проблема противоречивости в релевантных коннексивных логиках

Рассматривается проблема противоречивости в релевантной коннексивной логике CR. Показано, что свойство противоречивости может быть устранено путем отказа от семантического постулата идемпотентности. В результате такой модификации получена новая логическая теория CRW, в которой сохраняются свойства релевантности и коннексивности, но при этом гарантируется непротиворечивость. Автор заявляет об отсутствии конфликта интересов.

Скачать электронную версию публикации

Загружен, раз: 9

Ключевые слова

противоречивость, импликация, релевантная логика, коннексивная логика

Авторы

ФИО	Организация	Дополнительно	E-mail
Тимохин Арсентий Александрович	Московский государственный университет имени М.В. Ломоносова	бакалавр философии, магистрант философского факультета	flawlesstheory@inbox.ru

Всего: 1

Ссылки

Urquhart A. The Semantics of Entailment // PhD Thesis, University of Pittsburgh. 1973.

Urquhart A. Semantics for Relevant Logics // The Journal of Symbolic Logic. Mar., 1972. Vol. 37, № 1. P. 159-169.

Mortensen C. Aristotle's thesis in consistent and inconsistent logics // Studia Logica. 1984. Vol. 43. P. 107-116.

Аристотель. Сочинения : в 4 т. М. : Мысль. 1976. Т. 1.

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

Dunn J.M., Restall G. Relevance logic // Handbook of Philosophical Logic / eds. D. Gabbay, F. Guenthner. Vol. 6. 2nd edition. Kluwer Academic Publishers, 2002. P. 1-128.

McCall S. A History of Connexivity // Handbook of the History of Logic / eds. D. Gabbay, F. Pelletier, J. Woods. Vol. 11. Elsevier. Amsterdam, 2012. P. 415-449.

Belnap N.D. Entailment and Relevance // The Journal of Symbolic Logic. 1960. Vol. 25. P. 144-146.

Wansing H. Connexive Logic // The Stanford Encyclopedia of Philosophy / eds. N.Z. Edward, U. Nodelman. (Summer 2022 Edition).

Francez N. Relevant Connexive Logic // Logic and Logical Philosophy. 2019. Vol. 28. P. 409-425.

Omori H. A Simple Connexive Extension of the Basic Relevant Logic BD // IfCoLog Journal of Logics and their Applications. 2016. Vol. 3 (3). P. 467-478.

Weiss Y. The Pure Theories of Connexive Implication // Review of Symbolic Logic. 2022. Vol. 15, № 3. P. 591-606.