制約邏輯背后有一套深刻的邏輯哲學(xué)指導(dǎo)思想作為構(gòu)造形式系統(tǒng)的基本依據(jù)。論文擬選取涵蓋林邦瑾邏輯哲學(xué)思想基本內(nèi)容的四個議題作為探討對象:（1）邏輯是什么,包括邏輯的研究對象、邏輯與非邏輯的劃界標(biāo)準(zhǔn)、邏輯與數(shù)學(xué)的關(guān)系、制約邏輯的命題真假觀以及在此基礎(chǔ)上對“悖論”的剖析。（2）充分條件關(guān)系與推理。（3）“邏輯量詞”與內(nèi)涵科學(xué)分析法。（4）制約邏輯研究成果和發(fā)展趨勢。制約邏輯認(rèn)為,客觀世界具有客觀的邏輯結(jié)構(gòu)和邏輯規(guī)律,邏輯以它們?yōu)檠芯繉ο?充分條件關(guān)系不是函數(shù)關(guān)系,因而不是數(shù)學(xué)的研究對象。充分條件關(guān)系具有“兩個獨立性”。推理式的根本特征是:可以推、需要推、不循環(huán)。人類在求取關(guān)于不可逐一列舉個體域的作為一般性原理的真知的過程中,事實上不曾使用過“邏輯量詞”,而是用內(nèi)涵科學(xué)分析法。列舉制約邏輯誕生三十年來具有代表性的研究成果并初步探討制約邏輯發(fā)展趨勢及存在的問題。運用比較、分析、綜合的方法,對林邦瑾邏輯哲學(xué)思想根本性的理論特征進行研究。這對于進一步研究和發(fā)展邏輯科學(xué)、邏輯哲學(xué)以及智能科學(xué)都有重要意義。 

【文章來源】：貴州大學(xué)貴州省 211工程院校

【文章頁數(shù)】：33 頁

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

【文章目錄】：
中文摘要
英文摘要
引言
一、邏輯是什么
    （一） 邏輯的研究對象
    （二） 邏輯與非邏輯劃界標(biāo)準(zhǔn)
    （三） 邏輯與數(shù)學(xué)的關(guān)系
    （四） 制約邏輯命題真假觀
    （五） 制約邏輯對“悖論”的剖析
二、充分條件關(guān)系與推理
    （一） 刻劃充分條件關(guān)系的兩條線路
    （二） 推理式的根本特征及作用
三、“邏輯量詞”與內(nèi)涵科學(xué)分析法
    （一） 關(guān)于“邏輯量詞”
    （二） 內(nèi)涵科學(xué)分析法
四、制約邏輯研究成果及制約邏輯發(fā)展趨勢
    （一） 制約邏輯研究成果
    （二） 制約邏輯發(fā)展趨勢展望
五、結(jié)束語
主要參考文獻
致謝
附錄


【參考文獻】：
期刊論文
[1]論“兩獨”與“兩依”——兼評《制約邏輯元思想剖析》一文[J]. 盛作國.  貴陽學(xué)院學(xué)報(社會科學(xué)版). 2008(01)
[2]“失鉆悖論”剖析——不存在“自指”語句[J]. 林邦瑾.  貴州師范大學(xué)學(xué)報(社會科學(xué)版). 2006(05)
[3]“說謊者悖論”剖析——思辯邏輯是產(chǎn)生“悖論”的根源[J]. 林邦瑾.  貴陽師范高等�？茖W(xué)校學(xué)報(社會科學(xué)版). 2005(02)
[4]邏輯與非邏輯的劃界標(biāo)準(zhǔn)[J]. 林邦瑾.  貴陽師專學(xué)報(社會科學(xué)版). 2001(01)
[5]計算機的發(fā)展與制約邏輯[J]. 柳保紅.  安順師專學(xué)報. 2000(04)
[6]亞氏三段論的古今考察——兼論邏輯表述語言的轉(zhuǎn)向[J]. 鄭錦霞,方穩(wěn)根.  蘭州學(xué)刊. 2000(05)
[7]亞氏三段論的現(xiàn)代邏輯改造[J]. 張金興.  昆明師專學(xué)報. 1996(02)
[8]數(shù)學(xué)歸納公理與內(nèi)涵科學(xué)分析法[J]. 林邦瑾.  貴州大學(xué)學(xué)報(自然科學(xué)版). 1994(02)
[9]傳統(tǒng)三段論在當(dāng)代中國的新生——從《工具論》到《制約邏輯》[J]. 張金興.  畢節(jié)師專學(xué)報. 1994(01)
[10]從邏輯哲學(xué)觀點看制約邏輯[J]. 桂起權(quán).  武漢大學(xué)學(xué)報(社會科學(xué)版). 1987(04)



本文編號：3139089