命题的语用逻辑

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