林邦瑾邏輯哲學(xué)思想研究.pdf

1、貴 州 大 學(xué)2009 屆碩士研究生學(xué)位論文林邦瑾邏輯哲學(xué)思想研究學(xué)科專業(yè)： 邏輯學(xué)研究方向：普通邏輯及其當(dāng)代發(fā)展導(dǎo) 師： 龔啟榮 教授研 究 生： 胡紅中國(guó)﹒ ﹒ ﹒ ﹒貴州﹒ ﹒ ﹒ ﹒貴陽(yáng)2009 年 5 月分 類 號(hào) ： B8 1論文編號(hào)：2006171139密 級(jí)：2林邦瑾邏輯哲學(xué)思想研究摘要： 摘要：制約邏輯背后有一套深刻的邏輯哲學(xué)指導(dǎo)思想作為構(gòu)造形式系統(tǒng)的基本依據(jù)。 論文擬選取涵蓋林邦瑾邏輯哲學(xué)思想基本內(nèi)容的四個(gè)議題作為探

2、討對(duì)象： （1）邏輯是什么， 包括邏輯的研究對(duì)象、邏輯與非邏輯的劃界標(biāo)準(zhǔn)、邏輯與數(shù)學(xué)的關(guān)系、制約邏輯的命題真假觀以及在此基礎(chǔ)上對(duì)“悖論”的剖析。 （2）充分條件關(guān)系與推理。 （3） “邏輯量詞”與內(nèi)涵科學(xué)分析法。 （4）制約邏輯研究成果和發(fā)展趨勢(shì)。制約邏輯認(rèn)為，客觀世界具有客觀的邏輯結(jié)構(gòu)和邏輯規(guī)律，邏輯以它們?yōu)檠芯繉?duì)象，充分條件關(guān)系不是函數(shù)關(guān)系，因而不是數(shù)學(xué)的研究對(duì)象。充分條件關(guān)系具有“兩個(gè)獨(dú)立性” 。推理式的根本特征是：可以推、需要推

3、、不循環(huán)。人類在求取關(guān)于不可逐一列舉個(gè)體域的作為一般性原理的真知的過(guò)程中， 事實(shí)上不曾使用過(guò)“邏輯量詞” ，而是用內(nèi)涵科學(xué)分析法。列舉制約邏輯誕生三十年來(lái)具有代表性的研究成果并初步探討制約邏輯發(fā)展趨勢(shì)及存在的問(wèn)題。運(yùn)用比較、分析、綜合的方法，對(duì)林邦瑾邏輯哲學(xué)思想根本性的理論特征進(jìn)行研究。 這對(duì)于進(jìn)一步研究和發(fā)展邏輯科學(xué)、 邏輯哲學(xué)以及智能科學(xué)都有重要意義。LIN Bangjin Philosophy of LogicAbstract:

4、Abstract: Abstract: Abstract: Take a set of profound philosophy of logic as the guiding ideology, LIN Bangjinbuild the LIN’s Entailment Logic (short for LEL LEL LEL LEL) formal system. The paper discussion foursubjects o

5、f LIN Bangjin philosophy of logic.(1)What is Logic , which contains research object ofLogic, demarcation criteria of Logic and non-Logic, the relationship between Logic andMathematics, a proposition is true or not from M

6、r. Lin’s view, analysis of the ‘Paradox’. (2)Sufficient condition relation and inference.(3)’Logic Quantifier’ and scientific analyzing methodof intension.(4)Research achievement and development trends of LEL LEL LEL LEL

7、. Mr.Lin believe that worldhave objective logical structure and logical laws which are object of Logic. Sufficient conditionrelation is different from function, therefore it isn’t research object of Mathematics. ’TwoInde

8、pendence’ is the essential property of sufficient condition relation. Fundamental feature ofinference formula is that inference is possible, needed and do not cycle. It’s actually that Humandidn’t employ ‘Logic Quantifie

9、r’ but scientific analyzing method of intension to acquire universalknowledge about domain that can not be listed one by one. List research achievement of LEL LEL LEL LELemerged from 1979 as well as development trends an

10、d shortage of LEL LEL LEL LEL. Researching LIN Bangjinphilosophy of logic through contrast, analysis and synthesize is significance for Logic Science,Philosophy of Logic and Intelligent Science.Key Key Key Key Words: Wor