ИНТУИЦИЯ И ПРИНЦИПЫ IF-ЛОГИКИ: КОНЦЕПТУАЛЬНЫЙ БАЗИС VS ФОРМАЛЬНАЯ ТЕХНИКА
В.В. Целищев1,2
1Институт философии и права СО РАН, 630090, Новосибирск, ул. Николаева, 8
leitval@gmail.com
2Новосибирский национальный исследовательский государственный университет, 630090, Новосибирск, ул. Пирогова, 2
Ключевые слова: IF-логика, квантор, пропозициональные связки, сколемовские функции, теоретико-игровая семантика, IF logic, quantifier, propositional connectives, Skolem functions, game theoretic semantics
Страницы: 56-67
Подраздел: Проблемы логики и методологии науки
Аннотация
В статье рассматриваются усложнения аппарата IF-логики, вызванные необходимостью устранения ее контринтуитивных следствий. Показывается, что это приводит к усложнению концептуального аппарата IF-логики, которое входит в противоречие с ее изначальными целями. В частности, рассматриваются необходимость различения двух видов сколемизации, а также трактовка пропозициональных связок, ведущая к модификации концепции ветвящихся кванторов в IF-логике.
DOI: 10.15372/PS20180305 |
