随着语言逻辑的不断发展,语用逻辑越来越显示出其重要地位。如果按照符号学三分法来考察当今语言逻辑的发展现状,目前语言逻辑对语形学和语义学的研究较为成熟,相对而言,语言逻辑对语用学领域的研究较为薄弱,特别是对会话隐涵的研究。　　 本文试图从语用逻辑的角度来研究会话隐涵,意在揭示人们是如何从语句的字面意义和语境中推导出会话隐涵的?会话隐涵(尤其是级差隐涵)在语句等语境中是如何显现或消去的?会话隐涵及其子类的逻辑特性或逻辑本质是什么?　　 本文共分四章。第一章是关于会话隐涵的“学术史”的研究,分别评述了Grice提出的合作原则及其首创的会话隐涵理论、新Grice主义的会话隐涵理论、后Grice主义的会话隐涵理论(即关联理论对会话隐涵推理的阐释)。本文认为:Grice会话隐涵理论的意义在于,开拓了逻辑学的新领域(语用领域),他对会话隐涵的产生机制给出了令人耳目一新的解释；但是Grice对会话隐涵发生机制的论述有漏洞,他未能对会话隐涵加以形式化的处理。Gazdar的语境转化理论为会话隐涵的形式化研究奠定了基础,并揭示了语境动态变化的内在机制,他对隐涵投射等语用难题给出了合理的解决方案,但是对会话隐涵的讨论仅仅局限在利用Grice的量的准则方面,忽视了对言外语境和私人语境的研究。Levinson的三原则既考虑到说话者的准则,又考虑到听话者的推论,这比前人更进了一步；但是Levinson对特殊会话隐涵的研究却比较单薄,也未能完全弥补Grice等人理论的先天不足。而关联理论将认知科学引入语用的研究中,开辟了语用学研究的一个新的方向——认知语用学方向,并将“显义”和“隐义”的研究统一到一个理论框架中；但关联理论暗含着解释循环,也未能揭示会话隐涵产生的社会文化的动因。　　 第二章论述会话隐涵推理的特性、推导过程与模式,会话隐涵推理的种类及其他相关问题。认为语用推理是从语句的字面意义推出其具体意义和隐涵意义的推理,而会话隐涵推理是一种重要的语用推理。会话隐涵推理具有非单调性、语境依赖性和经验性。会话隐涵推理遵循“双向式”推导模式,其关键因素是交际目的和交际任务的完成。本章还对作为语用否定之一的会话隐涵否定进行了逻辑分析,揭示了会话隐涵否定对于逻辑哲学“否定观”的启示,认为否定的角度和方式是多维的,否定不一定“非此即彼”,差异中包含着否定,量变中也包含着否定。　　 第三章探讨了会话隐涵推理的第一个类别——一般会话隐涵推理,重点探讨了级差会话隐涵的诸多富有争议的问题,系统地研究了级差会话隐涵的计算问题,还首次探讨了汉语中从句会话隐涵。本文认为:级差会话隐涵的内容有两种,一是确定的,即:K-ψ；二是不确定的,即:-Kψ？。级差会话隐涵应归为语用现象,它与规约隐涵有四点区别。级差会话隐涵必须要求包含级差关系的语句(或其预设)具有蕴涵关系。级差会话隐涵的计算包括:单一隐涵在简单句中的计算；单一隐涵在复合句中(甚至更广泛的上下文中)的计算；多个隐涵在简单句中的计算；多个隐涵在复合句中(甚至更广泛的上下文中)的计算。这四种计算各有其规律性,有时可保留级差会话隐涵,有时可取消它。而语用学者们热衷探讨的“隐涵投射”问题,其实也是一种计算,投射和计算应统一考虑。本文认为,汉语中从句会话隐涵会因从句类型的不同而有所变化。　　 第四章探讨了会话隐涵推理的第二个类别——特殊会话隐涵推理,集中论述了影响特殊会话隐涵推理的因素及其整合模式,特殊会话隐涵推理形式化的可能途径及其问题。本文认为,情景语境、意图、话题(或议题)、焦点(重音)、体态语等都会对特殊会话隐涵推理产生影响,但其中最重要的因素是意图和语境,为此本文提出了基于“意图-语境”的PCI推理整合模式。特殊会话隐涵推理形式化的途径可能有:语境主义、非单调逻辑、议题关联理论和分解式话语表征理论等,但这些途径均存在特定的问题。