Табличная теория доказательств для CWPL

Main Article Content

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

Аннотация

В одной из недавних статей я представил логику для кросс-мировой предикации (CWPL, crossworld predication logic). Кросс-мировая предикация — это атрибуция отношений объектам, каждый из которых ассоциирован с некоторым возможным миром. (Интуитивно, объект, ассоциированный с возможным миром — это объект, каков он в этом мире). CWPL — это модальная логика первого порядка с равенством и λ-оператором. Ее преимущество перед другими известными мне логиками для кросс-мировой предикации (в частности, перед логиками, разработанными Баттерфилдом и Стерлингом, Вемайером и Коцуреком) состоит в том, что она базируется на стандартном языке модальной логики первого порядка. В семантическом плане CWPL основана на кросс-мировой интерпретации предикатов, при которой n-местный предикат получает экстенсионал для каждой упорядоченной n-ки возможных миров, а не для каждого отдельного возможного мира. Использование кросс-мировой интерпретации предикатов при оценке формулы в семантике CWPL оказывается возможным благодаря тому, что истинностное значение формул релятивизировано к частичным функциям от предметных переменных к возможным мирам. В упомянутой выше статье описаны синтаксис и семантика CWPL; в настоящей статье разработана табличная теория доказательств для CWPL и показана ее слабая корректность и полнота.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Борисов Е. В. Табличная теория доказательств для CWPL // Логические исследования / Logical Investigations. 2025. Т. 31. № 1. C. 74-96.
Раздел
Неклассические логики

Литература

Borisov, 2020 – Borisov, E.V. “Logika dlya kross-mirovoy predikatsii” [A logic for crossworld predication], Nauka kak obshchestvennoye blago [Science as a public good], Vol. 4, ed. by I.T. Kasavin and L.V. Shipovalova. Moscow: Russian Society for History and Philosophy of Science, 2020, pp. 205–209. (In Russian)
Borisov, 2023 – Borisov, E.V. “A Nonhybrid Logic for Crossworld Predication”, Logical Investigations, 2023, Vol. 29, No. 2, pp. 125–147.
Butterfield, Stirling, 1987 – Butterfield, J., Stirling, C. “Predicate modifiers in tense logic”, Logique et Analyse, 1987, Vol. 30, pp 31–50.
Fitting, Mendelsohn, 2023 – Fitting, M.C., Mendelsohn, R. First-Order Modal Logic.
Second edition. Dordrecht: Springer Science+Business Media, 2023. 460 pp.
Kocurek, 2016 – Kocurek, A.W. “The problem of cross-world predication”, Journal of Philosophical Logic, 2016, Vol. 45, pp. 697–742.
Stalnaker, Thomason, 1968 – Stalnaker, R.C., Thomason, R.H. “Abstraction in First-Order Modal Logic”, Theoria, 1968, Vol. 34, pp. 203–207.
Wehmeier, 2012 – Wehmeier, K. F. “Subjunctivity and cross-world predication”, Philosophical Studies, 2012, Vol. 159, pp. 107–122.
Wehmeier, Rückert, 2019 – Wehmeier, K., Rückert, H. “Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic”, Topoi, 2019, Vol. 38, pp. 361–377.