К вопросу о «релевантном» принципе дедукции

А. Ю. Моисеева

Аннотация


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

Полный текст:

PDF

Литература


Орлов И. Е. Исчисление совместности предложений. Математический сборник, 1928, т. 35, вып. 3–4, с. 263–286.

Сидоренко Е. А. Релевантная логика (предпосылки, исчисления, семантика). М.: ИФ РАН, 2000.

Смирнов В. А. Формальный вывод и логические исчисления. М.: Наука, 1972.

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

Dunn J. M. Relevance Logic and Entailment. Handbook of Philosophical Logic. Vol. III / ed. by F. Guenthner, D. Gabbay. Dordrecht: Reidel, 1986, p. 117–124.

Mares E. Relevance Logic. The Stanford Encyclopedia of Philosophy (Spring 2024 Edition). URL: https://plato.stanford.edu/archives/spr2024/entries/logic-relevance (accessed: 26.03.2024).

Mares E. Relevant logic and the theory of information. Synthese 109.3, 1996, p. 345–360.




DOI: https://doi.org/10.52119/LPHS.2024.87.29.004

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2024 А. Ю. Моисеева

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.