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

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

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

【學位級別】：碩士

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


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



本文編號：3139089