У статті аналізуються головні положення теорії ігор, які можуть бути застосовані в логічному аналізі. Розглядаються взаємозв"язки теорії ігор і символічної логіки. Окреслюються головні риси теоретико-ігрової семантики. Досліджуються приклади найтиповіших ігор.
В статье анализируются основные положения теории игр, которые могут быть применены в логическом анализе. Рассматриваются взаимоотношения теории игр и символической логики. Описываются основные черты теоретико-игровой семантики. Исследуются примеры наиболее типичных игр.
This article deals with the key points of game theory that can be used in logical analysis. It is considered the relations between game theory and symbolic logic. It is described the main features of game-theoretic semantics. It is investigated examples of the most known games.