合作原则的形式化改写方案

摘要

格赖斯使用会话隐含这一概念讨论一句话中单纯使用逻辑推理无法得到的那部分内容。而合作原则的提出则是为了研究以及规范会话隐含这种非逻辑意义的后承。1991年,盖默特给出了合作原则的一个较为形式化的改写方案,但是这一方案却并未能全面地体现格赖斯对合作原则的要求或规定,所以本文所要做的就是从这一改写方案入手,修正这一改写方案中的一些问题。于是,介绍格赖斯合作原则的基本内容;给出盖默特的改写方案以及这一改写方案中应进一步说清的问题;使用STIT理论给出合作原则一个形式化的改写方案;提出一些待解决的问题及进一步需做的工作。