Спросить
Войти
Кроме всего прочего, IF-логика ведет к ассимиляции некоторых интересных понятий с логическими, даже если они были сначала приняты как нелогические. Это еще больше подчеркивает нестрогое различие между логическим и нелогическими понятиями.
Л.А. Боброва
PIETARINEN A.-V. Semantic games in logic and epistemology // Logic, epistemology, and the unity of science / Ed. Rahman Sh. et al. -Dordrecht, 2009. - Vol. 1. - P. 57-103.
А.В. Питаринен (Ун-т Хельсинки, Финляндия) рассматривает современные направления развития теоретико-игровой семантики (GTS), сосредоточиваясь на эпистемологических вопросах.
Аналитическое и формальное использование игр не является изобретением XX в., а берет свое начало от Аристотеля. Современная эра игры и логики начинается с работ Л. Хенкина, Я. Хинтикки и Д. Скотта. Теоретика-игровая семантика была развита Я. Хин-тиккой в 1960-х годах и стала одним из главных подходов в логической и лингвистической семантиках.
GTS дает возможность использовать имеющийся формальный аппарат новым способом, унифицируя различные семантические подходы к естественному языку. Ее философский компонент опирается на анализ лексического и логического значений в терминах теоретико-игрового содержания.
Семантические игры могут быть рассмотрены как особый класс экстенсивных форм игр, который демонстрирует движение семантической информации и распределение стратегических действий играющих в течении актуальной игры. Варианты в информационной структуре играющих требуют различных видов логики, включая IF-логику, введенную в работах Я. Хинтикки и Г. Санду.
IF-логика позволяет выразить различные информационные независимости, и ее формулы коррелируются с играми имперфект-ной информации.
Различные логические семантики могут быть отделены от игр, которые также обеспечивают плодотворное исследование языка. Если игры изменяются, то, по-видимому, возникают различные логики, другие, чем классическая пропозициональная, первопорядковая или модальная. Это также дает возможность понять в структуре и семантике естественного языка намного больше, чем понимаем сегодня.
IF-логика и соответствующая игровая семантика открывают новые логические перспективы для эпистемологии. Это может быть достигнуто в контексте эпистемической логики. При смягчающем допущении идеальной информации в эпистемической логике допускается, что познающие агенты могут быть не в состоянии установить истину каждой конструкции их знания. Хотя будучи таким образом вынужденным сделать некоторые уступки скептицизму, процесс исследователя, пытающегося узнать истину познавательных утверждений агента, остается одной из определяющих характеристик семантических игр: аналогично играм интенсиональной логики (Я. Хинтикка) в эпистемической логике они служат в качестве расширенного медиатора между различными видами знания и мира посредством поиска и нахождения возможных миров.
Что делает игры полезным средством в логике? Базовая идея проста. Вы и Я соревнуемся друг с другом, рассматриваем множество правил, говорящих нам, какие действия легальны. Мы оба стремимся выиграть игру, выигрывая любой ход игры, и если кто-то из нас находит систематический способ делать так, он имеет выигрышную стратегию. Множество правил игры фиксируется логически активными компонентами в языке, который в случае пер-вопорядкового языка включает два квантора (общности и существования) и пропозициональные связки.
Поскольку все игры для первопорядковой логики являются детерминированными, т.е. всегда есть выигрышная стратегия для одного из игроков (и таким образом, другой, при условии, что игры строго соревновательные, проигрывает), идея игры как множества динамически развивающихся ходов с уважительным взаимодействием игроков стремится к завершению.
Семантические игры рассматриваются как игры экстенсивной формы в смысле классической теории игр. В этих играх именно то, что порции информации могут иметь различные свойства, зависит от рассматриваемого языка и от того, какие здесь могут быть синтаксические ограничения. Существуют языки, в которых perfect information не имеет успеха, проваливается. Одним из примеров может служить расширение обычного первопорядкового языка кванторами Хенкина. Imperfect-information игры обеспечивают семантику для independence-friendly (IF) логики.
Современная эпистемология бьется над такими понятиями, как «надежность знания», «скептицизм» (во всех его формах, от Платона до Дэвидсона), «процессы обоснования» в научном исследовании, и более современными, такими как «использование эволюционных моделей и метафор». Эти понятия, возможно, за исключением эволюционных моделей, исследуются с помощью формальных средств и по крайней мере спорадически, если не систематически, в контексте эпистемической логики (логики знания и веры) (с. 87).
Л. А. Боброва
IF-логика (independence-friendly logic) есть консервативное расширение традиционной первопорядковой логики, которое освобождает последнюю от ограничений линейности. Под линейностью имеются в виду рефлексивные, асимметричные, транзитивные отношения между логически активными компонентами формулы, главные компоненты которых - специальные кванторы общности и существования. IF-логика известна также как логика информационной независимости. Идея информационной независимости может быть расширена до применения к формулам модальной и эписте-мической логики.
IF-логика должна сопровождаться семантической теорией, из которой ее выражения получают свое значение. В данном случае используется теоретико-игровая семантика (GTS), развитая Я. Хин-тиккой. «Эта комбинация IF-логики и GTS, - считает автор, - может стимулировать новые вопросы в философии науки и в философии частных наук» (с. 105). В частности, в таких областях, как основания логики, математики, в лингвистике, в области логических подходов к квантовой теории и философии физики, в вычислительных науках и др.
