命题的语用逻辑

发布时间：2018-07-09 19:24

  本文选题：语用逻辑 + 语用行为　； 参考：《中国社会科学》1997年05期

【摘要】：语用逻辑是言语行为理论的逻辑分析工具和逻辑分析系统。本世纪中叶，奥斯汀创立了言语行为理论。１９８５年，塞尔和范德维克建立了一个非形式的语用逻辑体系。本文通过分析奥斯汀和塞尔的工作，明确了语用逻辑的研究对象，并对语用逻辑作了形式化的研究。在语形研究方面，作者构造了命题语用逻辑的形式公理系统ＰＦ，，在ＰＦ中证明了语用逻辑的三类定理：关于语用行为的定理、关于条件的语用行为的定理和关于语用力量的定理。在语义研究方面，作者构造了语用逻辑的语义模型，给出了系统的语义解释。在元逻辑的研究方面，作者证明了ＰＦ的可靠性、一致性和完全性。最后简要指出ＰＦ与塞尔和范德维克系统的区别以及语用逻辑的意义。
[Abstract]:Pragmatic logic is the logical analysis tool and logic analysis system of speech act theory. In the middle of this century, Austin founded the speech act theory. In 1985, Searle and van der Vickers established a non-formal pragmatic logic system. Based on the analysis of Austin and Searle's work, this paper clarifies the object of pragmatic logic and formalizes the study of pragmatic logic. In the aspect of morphological study, the author constructs the formal axiom system of propositional pragmatic logic (PFF), and proves three kinds of theorems of pragmatic logic in PF: the theorem on pragmatic behavior. The theorems about pragmatic acts of conditions and the theorems on pragmatic power. In the aspect of semantic research, the author constructs a semantic model of pragmatic logic and gives a systematic semantic explanation. In the research of meta logic, the author proves the reliability, consistency and completeness of PF. Finally, the differences between PF and Searle and van der Vickers system and the meaning of pragmatic logic are briefly pointed out.
【作者单位】： 全国哲学社会科学规划办公室
【分类号】：B81-05

【相似文献】

相关期刊论文 前10条

1 卢恋;;语言游戏论对语用逻辑形成和发展的影响[J];重庆理工大学学报(社会科学);2011年08期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前2条

1 蔡曙山;;语用逻辑研究[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 王静;;真的逻辑表达[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

相关硕士学位论文 前2条

1 郑科红;语用逻辑中的语境研究[D];西南大学;2008年

2 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年

本文编号：2110411