Оглавление
Игровая семантика
-
Основы игровой семантики
- Игровая семантика – это подход к логике, основанный на играх, в которых игроки взаимодействуют и делают ходы.
- Игры используются для изучения и обоснования логики, а не только как технические средства.
-
История и развитие
- Игровая семантика возникла в 1930-х годах, но получила развитие в 1950-х благодаря работам Алонзо Чёрча и Уилфрида Ходжеса.
- Ходжес предложил композиционную семантику, эквивалентную игровой семантике для IF-логики.
- Шахид Рахман и его команда разработали зависимости и независимости в диалогической логике.
-
Логика вычислимости
- Логика вычислимости Джапаридзе рассматривает игры как цели логики и интерпретирует семантику, а не синтаксис.
- Игры рассматриваются как вычислительные задачи, и выигрышные стратегии машины являются решениями этих задач.
- Логика вычислимости устойчива к изменениям сложности стратегий и применима в информатике.
-
Другие подходы и перспективы
- Существуют различные подходы к логике, включая классическую логику, логику, ориентированную на независимость, и другие.
- В игровой семантике используются игры для изучения и обоснования логики, в отличие от классической логики, ориентированной на синтаксис.
-
Библиография
- В статье представлены книги и статьи, связанные с игровой семантикой и логикой.
- Ссылки на внешние ресурсы, такие как домашняя страница логики вычислимости и статьи в Стэнфордской энциклопедии философии, также включены.
Полный текст статьи: