试析辛提卡的语言博弈论

摘要

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