分析哲學(xué)的基本觀點(diǎn)在于把意義看成為語(yǔ)言哲學(xué)的核心問(wèn)題。因而,如何用語(yǔ)言符號(hào)的精確性來(lái)確保日常表述的清晰性是一個(gè)值得持續(xù)研究的話題。在這方面,除了一度盛行的模型理論語(yǔ)義學(xué)觀點(diǎn)外,還存在著其他的語(yǔ)義闡述方法。其中比較有影響的就是當(dāng)前的證明理論語(yǔ)義學(xué)。概括地講,證明理論語(yǔ)義學(xué)是一種通過(guò)系統(tǒng)地使用證明規(guī)則來(lái)確定邏輯常項(xiàng)意義的語(yǔ)義學(xué)方案。本文通過(guò)回顧其發(fā)展歷程,著重探討了這種語(yǔ)義學(xué)的意義闡述機(jī)制及其優(yōu)勢(shì),表明其未來(lái)研究的方向與前景。第一章介紹了證明理論語(yǔ)義學(xué)的研究傳統(tǒng)和發(fā)展歷史,簡(jiǎn)要概括了證明理論語(yǔ)義學(xué)的基本內(nèi)涵,并通過(guò)與模型理論語(yǔ)義學(xué)的對(duì)比、分析,表明了相關(guān)研究者提出的論證和質(zhì)疑,呈現(xiàn)了對(duì)證明理論語(yǔ)義學(xué)的一種綜合性概覽。第二章側(cè)重分析證明理論語(yǔ)義學(xué)意義呈現(xiàn)機(jī)制。首先,把這種語(yǔ)義學(xué)看成是當(dāng)代邏輯哲學(xué)研究的一項(xiàng)重要內(nèi)容,確定了證明理論的自然演繹系統(tǒng),表明了使用推理來(lái)對(duì)語(yǔ)言中邏輯意義形式化闡述的合理性;其次,闡述了證明理論語(yǔ)義學(xué)意義“證明”機(jī)制,明確了這種語(yǔ)義學(xué)在意義闡述上的認(rèn)知特征。因?yàn)槭褂猛评砗妥C明來(lái)對(duì)自然語(yǔ)言意義的呈現(xiàn),不僅表明了由此而來(lái)的語(yǔ)義是外在的,同時(shí)它也涉及到人的內(nèi)在認(rèn)知。意義分析的“... 

【文章來(lái)源】：山西大學(xué)山西省

【文章頁(yè)數(shù)】：63 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

量詞的推演規(guī)則有四條，分別是全稱量詞引入規(guī)則，全稱量詞消去規(guī)則，存在

證明理論語(yǔ)義學(xué)的意義闡述機(jī)制研究14量詞引入規(guī)則和存在量詞消去規(guī)則：圖2.2它們印證了證明性的解釋思想。p：A→B表示，“對(duì)每個(gè)a：A，（p（a）：B）”。而這里的“→E”，表達(dá)的是，如果我們由A的推演D，還有A→B的推演D’，那么可以得到：圖2.3二者的結(jié)合就是B的推演，所以，存在著一個(gè)這樣的程序：給定D’，它把D轉(zhuǎn)變成B的推演D’’。只要增加A的推演D’，那我們就自動(dòng)得到了B的一個(gè)證明。所以，存在一個(gè)特別的構(gòu)造，將對(duì)A的證明轉(zhuǎn)化為對(duì)B的證明，這也是A→B的確證。自然演繹證明系統(tǒng)的典型特征是從假設(shè)開(kāi)始，進(jìn)行推理，最終得到的結(jié)果將獨(dú)立于假設(shè)，而在證明中引入的假設(shè)最終都被消去。盡管這里的形式化方法與日常生活中的非形式化方法并非完全契合，但它是通過(guò)將語(yǔ)言形式化嚴(yán)密而規(guī)整地表示出來(lái)的，通過(guò)符號(hào)的精確性確保了語(yǔ)言表述的清晰性和語(yǔ)義分析的精確性。這樣一來(lái)，形式化的方法就與我們?nèi)粘ＵZ(yǔ)境中所使用的推理規(guī)則完全對(duì)應(yīng)。這樣的證明過(guò)程與數(shù)學(xué)推理中實(shí)際使用的證明是很接近的，能夠精確地把日常推理轉(zhuǎn)化為形式系統(tǒng)中的推理邏輯，又以自然的方式表達(dá)了邏輯推理�？梢哉f(shuō)，自然演繹系統(tǒng)的基本觀點(diǎn)

證明理論語(yǔ)義學(xué)的意義闡述機(jī)制研究14量詞引入規(guī)則和存在量詞消去規(guī)則：圖2.2它們印證了證明性的解釋思想。p：A→B表示，“對(duì)每個(gè)a：A，（p（a）：B）”。而這里的“→E”，表達(dá)的是，如果我們由A的推演D，還有A→B的推演D’，那么可以得到：圖2.3二者的結(jié)合就是B的推演，所以，存在著一個(gè)這樣的程序：給定D’，它把D轉(zhuǎn)變成B的推演D’’。只要增加A的推演D’，那我們就自動(dòng)得到了B的一個(gè)證明。所以，存在一個(gè)特別的構(gòu)造，將對(duì)A的證明轉(zhuǎn)化為對(duì)B的證明，這也是A→B的確證。自然演繹證明系統(tǒng)的典型特征是從假設(shè)開(kāi)始，進(jìn)行推理，最終得到的結(jié)果將獨(dú)立于假設(shè)，而在證明中引入的假設(shè)最終都被消去。盡管這里的形式化方法與日常生活中的非形式化方法并非完全契合，但它是通過(guò)將語(yǔ)言形式化嚴(yán)密而規(guī)整地表示出來(lái)的，通過(guò)符號(hào)的精確性確保了語(yǔ)言表述的清晰性和語(yǔ)義分析的精確性。這樣一來(lái)，形式化的方法就與我們?nèi)粘ＵZ(yǔ)境中所使用的推理規(guī)則完全對(duì)應(yīng)。這樣的證明過(guò)程與數(shù)學(xué)推理中實(shí)際使用的證明是很接近的，能夠精確地把日常推理轉(zhuǎn)化為形式系統(tǒng)中的推理邏輯，又以自然的方式表達(dá)了邏輯推理。可以說(shuō)，自然演繹系統(tǒng)的基本觀點(diǎn)

【參考文獻(xiàn)】：
期刊論文
[1]從證明到意義的語(yǔ)義學(xué)路徑及其問(wèn)題[J]. 周志榮.  湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版). 2017(05)
[2]根岑邏輯演繹思想的主要特征和哲學(xué)影響探析[J]. 郭美云.  自然辯證法研究. 2016(08)
[3]邏輯常項(xiàng)與保守性:以tonk為例[J]. 周志榮.  邏輯學(xué)研究. 2013(04)
[4]演繹邏輯的真值語(yǔ)義和直觀推理語(yǔ)義[J]. 馮棉.  華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版). 2011(06)
[5]真與意義理論[J]. 王路,R.尚茲,P.霍維奇,M.威廉姆斯,D.M.阿姆斯特朗,C.邁克金.  世界哲學(xué). 2007(06)



本文編號(hào)：3331044