Кондициональная логика с λ-оператором

Евгений Васильевич Борисов

doi:10.47850/RL.2026.7.2.22-29

Авторы

Евгений Васильевич Борисов Институт философии и права СО РАН (г. Новосибирск)

DOI:

https://doi.org/10.47850/RL.2026.7.2.22-29

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

условные предложения, кондициональные логики, семантика возможных миров de re, de dicto, λ-оператор

Аннотация

Кондициональные логики разработаны для моделирования рассуждений на естественном языке, содержащих условные предложения (кондиционалы). Такие логики содержат кондициональный оператор, соответствующий союзу «если ..., то ...», как он употребляется в естественном языке. Кондициональный оператор является интенсиональным, поэтому в кондициональных логиках первого порядка его взаимодействие с нежестко интерпретируемыми индивидными константами порождает дистинкцию de re / de dicto. В некоторых модальных логиках первого порядка для ее отображения используется λ-оператор. В статье показано, что этот инструмент репрезентации данной дистинкции может быть перенесен в кондициональные логики первого порядка.

Биография автора

Евгений Васильевич Борисов, Институт философии и права СО РАН (г. Новосибирск)

доктор философских наук, главный научный сотрудник

Библиографические ссылки

Chellas, B. F. (1980). Modal Logic. An Introduction. Cambridge. Cambridge University Press. Fitting, M., Mendelsohn, R. L. (2023). First-Order Modal Logic. Dordrecht. Springer.

Grahne, G. (1998). Updates and Counterfactuals. Journal of Logic and Computation. Vol. 8. Iss. 1. Pp. 87-117.

Nute, D., Cross, C. B. (2001). Conditional Logic. In Gabbay, D. M., Guenthner, F. (eds.) Handbook of Philosophical Logic. Vol. 4. Dordrecht. Kluwer. Pp. 1-98.

Nute, D. (1980). Topics in Conditional Logic. Dordrecht, Boston, London. Reidel.

Priest, G. (2008). An Introduction to Non-Classical Logic. From If to Is. Cambridge. Cambridge University Press.