20xx探究結(jié)?構(gòu)主義下的現(xiàn)代邏輯學(xué)的特征精選-資料下載頁(yè)
2025-03-30 04:20本頁(yè)面
【正文】 法不僅拓展了邏輯研究的范圍、提升了邏輯學(xué)的研究才能， 更重要的是有利于計(jì)算機(jī)科學(xué)中的知識(shí)表示、知識(shí)推理和自然語(yǔ)言信息處理?！ V義量詞理論完成以上這些任務(wù)主要仍然利用了集合論語(yǔ)言， 彰顯了構(gòu)造主義的思想。詳細(xì)地說(shuō)， 確實(shí)是充分利用了含有〈1, 1〉類型的廣義量詞Q的量化語(yǔ)句具有Q （S, P） 如此的三分構(gòu)造“這一知識(shí)?！?, 1〉類型的廣義量詞提示的是所涉及的左論元所組成的集合與其右論元所組成的集合之間的二元關(guān)系?！?〉類型的廣義量詞提示的是所涉及的論元所組成的集合的性質(zhì)。由于自然語(yǔ)言中的廣義量詞絕大多數(shù)都是〈1〉類型和〈1, 1〉類型的廣義量詞， 而且對(duì)〈1〉類型的廣義量詞的研究能夠轉(zhuǎn)化為對(duì)其〈1, 1〉類型的親緣廣義量詞的研究[1]， 利用這一構(gòu)造主義思想， 就能夠?qū)ψ匀徽Z(yǔ)言中絕大部分廣義三段論進(jìn)展方式化和有效性的證明。簡(jiǎn)言之， 這一構(gòu)造主義的研究方法具有特別強(qiáng)普適性?！ ±纾核锌释└坏娜硕际羌痹曛?。大多數(shù)人都是渴望暴富的人。因而， 大多數(shù)人都是急躁之人?！捌渲械拇蠖鄶?shù)的“對(duì)應(yīng)的是〈1, 1〉類型的廣義量詞。令論域中所有人組成的集合用S表示， 論域中急躁之人組成的集合用P表示， 論域中渴望暴富的人組成的集合用M表示。利用構(gòu)造主義的方式化表示方法， 這一廣義三段論， 能夠方式化為：all （M, P） and。most （S, M） most （S, P） .利用廣義量詞的真值定義就可證明這一廣義三段論的有效性。證明：假設(shè)all （M, P） 與most （S, M） 這兩個(gè)條件均成立。按照all和most的真值定義可知：all （M, P） MP, 且most （S, M） |Scap。M|ge。||S|, 因而， |Scap。P|ge。|S|.再按照most的真值定義most （S, P） |Scap。P|ge。|S|“可知：most （S, P） 成立。證畢。對(duì)亞氏三段論和其他廣義三段論的方式化及其有效性的證明均能夠類似處理?？梢?jiàn)， 利用構(gòu)造主義的方式化研究方法， 能夠簡(jiǎn)約明了地對(duì)包括亞氏三段論在內(nèi)的廣義三段論進(jìn)展方式化及其有效性的證明。 筆者多年的研究說(shuō)明：這一構(gòu)造主義研究方法普適性特別強(qiáng)。由于不管是自然語(yǔ)言中無(wú)處不在的廣義量詞的單調(diào)性推理， 仍然亞氏三段論推理， 抑或是廣義三段論推理， 以及建基于這三種推理之上的語(yǔ)篇推理， 都能夠使用這種構(gòu)造主義的研究方法來(lái)進(jìn)展方式化及其有效性的證明?！ ∷摹⒔Y(jié)論 綜上所述， 弗雷格學(xué)派主張數(shù)學(xué)是邏輯學(xué)的一個(gè)分支“, 布爾學(xué)派那么認(rèn)為邏輯學(xué)是數(shù)學(xué)的一個(gè)分支“, 事實(shí)上， 二者是你中有我“、我中有你“, 不能互相剝離?，F(xiàn)代邏輯學(xué)的蓬勃開展， 離不開對(duì)邏輯進(jìn)展哲學(xué)反思。就像邏輯學(xué)與數(shù)學(xué)不能互相剝離一樣， 邏輯哲學(xué)和數(shù)學(xué)哲學(xué)事實(shí)上也是特別難剝離開來(lái)的。20世紀(jì)以來(lái)， 構(gòu)造主義在數(shù)學(xué)哲學(xué)中占據(jù)著主導(dǎo)地位， 作為與數(shù)學(xué)密不可分的現(xiàn)代邏輯學(xué)也具有構(gòu)造主義特征， 即：重要的是調(diào)查所研究對(duì)象的構(gòu)造以及構(gòu)造之間的關(guān)系， 而不必考慮所研究對(duì)象本身的內(nèi)在質(zhì)量?，F(xiàn)代邏輯學(xué)的總體特征確實(shí)是研究對(duì)象的構(gòu)造性的數(shù)學(xué)特征， 即：在句法和語(yǔ)義的根底上， 利用定義、公理和推理規(guī)那么， 對(duì)現(xiàn)實(shí)中的對(duì)象進(jìn)展抽象化和模型化， 進(jìn)而給出相關(guān)定理的證明。作為現(xiàn)代邏輯學(xué)重要分支之一的廣義量詞理論， 以集合論語(yǔ)言作為其根本語(yǔ)言， 而集合論語(yǔ)言也是構(gòu)造主義表述各種數(shù)學(xué)對(duì)象及其互相關(guān)系的根本語(yǔ)言， 因而， 廣義量詞理論在諸多方面都表達(dá)了數(shù)學(xué)構(gòu)造主義的思想?！ ∮捎跀?shù)學(xué)構(gòu)造主義按照構(gòu)造所依附的個(gè)體不同， 能夠分為集合論構(gòu)造主義、先物構(gòu)造主義、范疇論構(gòu)造主義、模態(tài)構(gòu)造主義這四大主要的學(xué)派；加之現(xiàn)代數(shù)學(xué)與現(xiàn)代邏輯學(xué)都是主要研究各自領(lǐng)域中的抽象的構(gòu)造及其互相關(guān)系， 通過(guò)提示構(gòu)造之間的各種關(guān)系來(lái)處理各種現(xiàn)實(shí)征詢題等共同點(diǎn)， 以及方式化的現(xiàn)代數(shù)學(xué)和現(xiàn)代邏輯學(xué)難以剝離的親緣關(guān)系， 都有必要對(duì)現(xiàn)代邏輯學(xué)進(jìn)展進(jìn)一步的哲學(xué)反思。例如：現(xiàn)代邏輯學(xué)的各分支學(xué)科 （比方：模態(tài)邏輯、認(rèn)知邏輯、動(dòng)態(tài)邏輯、廣義量詞理論、范疇類型邏輯、類型邏輯語(yǔ)法等） 是否集中表達(dá)了數(shù)學(xué)哲學(xué)不同學(xué)派的構(gòu)造主義？從前面的闡述中不難看出， 廣義量詞理論所采納的構(gòu)造主義研究方法更多的屬于集合論構(gòu)造主義的范疇。模態(tài)邏輯、認(rèn)知邏輯和動(dòng)態(tài)邏輯所采納的構(gòu)造主義是否更多趨向于模態(tài)構(gòu)造主義？范疇類型邏輯、類型邏輯語(yǔ)法所采納的構(gòu)造主義方法是否屬于范疇構(gòu)造主義呢？等等征詢題， 都需要我們進(jìn)一步地進(jìn)展更加深化細(xì)致的研究。
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號(hào)-1