证明理论语义学的意义阐述机制研究

发布时间：2021-08-09 01:04

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

【文章来源】：山西大学山西省

【文章页数】：63 页

【学位级别】：硕士

【部分图文】：

量词的推演规则有四条，分别是全称量词引入规则，全称量词消去规则，存在

证明理论语义学的意义阐述机制研究14量词引入规则和存在量词消去规则：图2.2它们印证了证明性的解释思想。p：A→B表示，“对每个a：A，（p（a）：B）”。而这里的“→E”，表达的是，如果我们由A的推演D，还有A→B的推演D’，那么可以得到：图2.3二者的结合就是B的推演，所以，存在着一个这样的程序：给定D’，它把D转变成B的推演D’’。只要增加A的推演D’，那我们就自动得到了B的一个证明。所以，存在一个特别的构造，将对A的证明转化为对B的证明，这也是A→B的确证。自然演绎证明系统的典型特征是从假设开始，进行推理，最终得到的结果将独立于假设，而在证明中引入的假设最终都被消去。尽管这里的形式化方法与日常生活中的非形式化方法并非完全契合，但它是通过将语言形式化严密而规整地表示出来的，通过符号的精确性确保了语言表述的清晰性和语义分析的精确性。这样一来，形式化的方法就与我们日常语境中所使用的推理规则完全对应。这样的证明过程与数学推理中实际使用的证明是很接近的，能够精确地把日常推理转化为形式系统中的推理逻辑，又以自然的方式表达了逻辑推理。可以说，自然演绎系统的基本观点

证明理论语义学的意义阐述机制研究14量词引入规则和存在量词消去规则：图2.2它们印证了证明性的解释思想。p：A→B表示，“对每个a：A，（p（a）：B）”。而这里的“→E”，表达的是，如果我们由A的推演D，还有A→B的推演D’，那么可以得到：图2.3二者的结合就是B的推演，所以，存在着一个这样的程序：给定D’，它把D转变成B的推演D’’。只要增加A的推演D’，那我们就自动得到了B的一个证明。所以，存在一个特别的构造，将对A的证明转化为对B的证明，这也是A→B的确证。自然演绎证明系统的典型特征是从假设开始，进行推理，最终得到的结果将独立于假设，而在证明中引入的假设最终都被消去。尽管这里的形式化方法与日常生活中的非形式化方法并非完全契合，但它是通过将语言形式化严密而规整地表示出来的，通过符号的精确性确保了语言表述的清晰性和语义分析的精确性。这样一来，形式化的方法就与我们日常语境中所使用的推理规则完全对应。这样的证明过程与数学推理中实际使用的证明是很接近的，能够精确地把日常推理转化为形式系统中的推理逻辑，又以自然的方式表达了逻辑推理。可以说，自然演绎系统的基本观点

【参考文献】：
期刊论文
[1]从证明到意义的语义学路径及其问题[J]. 周志荣.  湖北大学学报(哲学社会科学版). 2017(05)
[2]根岑逻辑演绎思想的主要特征和哲学影响探析[J]. 郭美云.  自然辩证法研究. 2016(08)
[3]逻辑常项与保守性:以tonk为例[J]. 周志荣.  逻辑学研究. 2013(04)
[4]演绎逻辑的真值语义和直观推理语义[J]. 冯棉.  华东师范大学学报(哲学社会科学版). 2011(06)
[5]真与意义理论[J]. 王路,R.尚兹,P.霍维奇,M.威廉姆斯,D.M.阿姆斯特朗,C.迈克金.  世界哲学. 2007(06)



本文编号：3331044