В данной статье рассматривается истинность в том виде, в котором она задается в диалоговой логике Пауля Лоренцена и Куно Лоренца и в теоретико-игровой семантике (GTS), предложенной Яакко Хинтиккой и разрабатываемой Габриелем Санду. В ходе рассмотрения выявляются и сравниваются основные характеристики семантических концепций, присущих теоретико-игровому подходу (GTS) и диалоговой логике. Таким образом, в статье рассматриваются две концепции истинности, а именно: истинность в теоретико игровой

more »

... антике (GTS) и в диалоговой логике. Истинность формулы в обоих подходах определяется как наличие выигрышной стратегии для игрока, отстаивающего данную формулу. Связь между ними заключается в возможности преобразования выигрышной стратегии для игроков в рамках одной системы в выигрышную стратегию для соответствующих игроков в другой посредством строго определенного и конечного алгоритма. Результат данного сравнения позволяет получить определенное представление об отношении между теоретикомодельным подходом и подходом в рамках теории доказательства.