试析辛提卡的语言博弈论

辛提卡提出语言博弈理论旨在建立一种能用于系统分析或摹拟人的认识活动的过程及其结果的理论。这一理论以可能世界理论为基础 ,它把形式逻辑的模型集合建构看做一种特殊的博弈活动 ,用“寻找且找到博弈”描述以现实为对象的语言活动 ,并刻画了两种博弈之间的联系。“寻找且找到博弈”不同于运算 ,它的结局不是预先可断定的 ;而这一博弈规则是制约着语句F的整个证实过程的规则。

On Hintikka's Language-Game Theory

Hintikka's language game theory aims to found the theory that can be used to analyze systematically or mimic the process and results of epistemological activity. Hintikka's theory, which bases on the possible world semantics, considers model set construction of formal logic as an especial game, describes language activity which using reality as object by the game of searching and finding, and characterizes the relations between two games. The game of searching and finding differs from operation, because its conclusion cannot assertive in advance. And this rule of game restricts the whole process that substantiates sentence F.