Games and Logic

The Baltic International Yearbook of Cognition Logic and Communication

Sandu, Gabriel¹ 

[1] University of Helsinki

关键词: game theory;    logic;   

DOI  :  10.4148/1944-3676.1072

学科分类：社会科学、人文和艺术（综合）

来源: New Prairie Press

【 摘 要 】

The idea behind these games is to obtain an alternative characterization of logical notions cherished by logicians such as truth in a model, or provability (in a formal system). We offer a quick survey of Hintikka's evaluation games, which offer an alternative notion of truth in a model for first-order langauges. These are win-lose, extensive games of perfect information. We then consider a variation of these games, IF games, which are win-lose extensive games of imperfect information. Both games presuppose that the meaning of the basic vocabulary of the language is given. To give an account of the linguistic conventions which settle the meaning of the basic vocabulary, we consider signaling games, inspired by Lewis' work. We close with IF probabilistic games, a strategic variant of IF games which combines semantical games with von Neumann's minimax theorem.

【 授权许可】

Unknown