ЯВЛЯЕТСЯ ЛИ ТЕОРЕТИКО-ИГРОВАЯ СЕМАНТИКА В«ЕСТЕСТВЕННОЙ» ДЛЯ ДРУЖЕСТВЕННО-НЕЗАВИСИМОЙ ЛОГИКИ?
В.В. Целищев1,2
1Институт философии и права СО РАН, 630090, Новосибирск, ул. Николаева, 8
leitval@gmail.com
2Новосибирский национальный исследовательский государственный университет, 630090, Новосибирск, ул. Пирогова, 2
Ключевые слова: теоретико-игровая семантика, дружественно-независимая логика, синтаксис, сколемизация, композициональность, game-theoretical semantics, friendly- independent logic, syntax, skolemization, compositionality
Страницы: 31-45
Подраздел: Проблемы логики и методологии науки
Аннотация
В статье рассматривается вопрос о том, в какой степени теоретико-игровая семантика (GTS) естественна для дружественно-независимой логики (IFL). Показано, что GTS является альтернативной семантикой для логики первого порядка (FOL) семантике Тарского. Рассмотрен статус IFL как расширения FOL. Поставлена проблема, является ли это расширение достаточным основанием для адекватности GTS. Показано, что разрыв синтаксиса и семантики в случае IFL - общий феномен в каркасе игрового подхода к логике, позволяющего усилить выразительные возможности логических языков.
DOI: 10.15372/PS20170303 |
