话语生成与话语理解是语用学研究的两大主题。关联理论的提出为语用学研究提供了一个崭新的理论框架与研究视角,它为认知语用学奠定了基础,并将语用学的研究重点从话语的生成转移到话语的理解。根据关联理论,话语理解涉及解码和推理,并且需要两个基本工具：表征和计算。在此基础上,关联理论学者(Blakemore,Wilson & Sperber)区分了两种基本编码意义：与表征相联系的概念意义及与计算相联系的程序意义。程序意义自提出之后经历了飞速的发展,在“关联理论在线参考文献”中,“概念意义与程序意义”占据了一个论题专区,并汇集了世界各国学者在此方面的研究文献一百五十多项。程序意义在关联理论近期的发展中扮演了重要角色,然而国内对此进行系统、详细研究的文献却很少。本文试图对程序意义从提出到发展现状进行较为系统详细地介绍,并对其中的一些热点问题进行讨论和研究。本文共由五部分组成。第一章是全文的导言,介绍了本文的研究课题,研究的目的和意义,以及全文的框架结构。第二章为话语理解与关联理论,首先介绍了话语理解的三种主要模式：语码模式、推理模式及明示-推理模式,然后介绍了关联理论的基本框架。第三章探讨了有关程序意义的一些热点问题：如何区分概念意义与程序意义,概念／程序意义区分与真值／非真值意义区分是否同构问题,程序意义的分类,程序意义与语义学／语用学区分问题。第四章详细分析了几类编码程序意义的语言表达形式,如话语连接语、代词、语气指示词、施事／态度小品词,等等。第五章对全文进行了归纳和总结,并指出了研究的不足和今后研究的方向。