分析哲学的基本观点在于把意义看成为语言哲学的核心问题。因而,如何用语言符号的精确性来确保日常表述的清晰性是一个值得持续研究的话题。在这方面,除了一度盛行的模型理论语义学观点外,还存在着其他的语义阐述方法。其中比较有影响的就是当前的证明理论语义学。概括地讲,证明理论语义学是一种通过系统地使用证明规则来确定逻辑常项意义的语义学方案。本文通过回顾其发展历程,着重探讨了这种语义学的意义阐述机制及其优势,表明其未来研究的方向与前景。第一章介绍了证明理论语义学的研究传统和发展历史,简要概括了证明理论语义学的基本内涵,并通过与模型理论语义学的对比、分析,表明了相关研究者提出的论证和质疑,呈现了对证明理论语义学的一种综合性概览。第二章侧重分析证明理论语义学意义呈现机制。首先,把这种语义学看成是当代逻辑哲学研究的一项重要内容,确定了证明理论的自然演绎系统,表明了使用推理来对语言中逻辑意义形式化阐述的合理性;其次,阐述了证明理论语义学意义“证明”机制,明确了这种语义学在意义阐述上的认知特征。因为使用推理和证明来对自然语言意义的呈现,不仅表明了由此而来的语义是外在的,同时它也涉及到人的内在认知。意义分析的“自然化”与认知倾向是证明理论语义学的特点,其语义系统具有协调性、完全性的优势。第三章主要讨论了证明理论语义学的发展前景及其意义。另一方面,证明理论语义学已经取得了与更广泛的语义学方法相竞争的实质性成果,表明它有可能为逻辑学、分析哲学的发展以及不同学科之间的互动提供新视角。