作　　者： ;

机构地区： 全国哲学社会科学规划办公室

出　　处： 《中国社会科学》 1997年第5期45-54,共10页

摘　　要： 语用逻辑是言语行为理论的逻辑分析工具和逻辑分析系统。本世纪中叶，奥斯汀创立了言语行为理论。１９８５年，塞尔和范德维克建立了一个非形式的语用逻辑体系。本文通过分析奥斯汀和塞尔的工作，明确了语用逻辑的研究对象，并对语用逻辑作了形式化的研究。在语形研究方面，作者构造了命题语用逻辑的形式公理系统ＰＦ，在ＰＦ中证明了语用逻辑的三类定理：关于语用行为的定理、关于条件的语用行为的定理和关于语用力量的定理。在语义研究方面，作者构造了语用逻辑的语义模型，给出了系统的语义解释。在元逻辑的研究方面，作者证明了ＰＦ的可靠性、一致性和完全性。最后简要指出ＰＦ与塞尔和范德维克系统的区别以及语用逻辑的意义。

关 键 词： 语用逻辑 语用行为 语用力量 言语行为理论 命题内容 经典命题逻辑 联结词 语境 逻辑系统 形式公理系统

领　　域： [哲学宗教]