當代形式邏輯是辯證唯物的科學.pdf

1、貴州大學碩士學位論文當代形式邏輯是辯證唯物的科學姓名：龍婭申請學位級別：碩士專業(yè)：邏輯學指導教師：龔啟榮20080401當代形式邏輯是辯證唯物的科學內(nèi)容提要：邏輯科學以其自有的特性，向人們折射出科學發(fā)展、社會進步等一系列客觀存在著的事物內(nèi)在的規(guī)律。堅持客體邏輯的當代形式邏輯以辯證唯物論為指導，在繼承傳統(tǒng)形式邏輯深刻而正確的主導思想——堅持以論證不循環(huán)為基礎(chǔ)研究的充分條件關(guān)系及其兩個獨立性，h批判地繼承數(shù)理邏輯中合理因素，將傳統(tǒng)邏輯深刻而

2、正確的主導思想與數(shù)理邏輯精密的人工語言和嚴格的演算技巧有機地結(jié)合在一起，結(jié)束了傳統(tǒng)邏輯過去朦朧、混亂的歷史，建立起一個極其完整、嚴密的科學體系。本文從辯證唯物論的角度通過對邏輯規(guī)律既不是思維的規(guī)律也不是符號的規(guī)律，而是客觀世界的規(guī)律的論述，以及對悖論的剖析等，肯定了當代形式邏輯是辯證唯物的科學，是研究客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律的科學。關(guān)鍵詞：客體邏輯辯證唯物論充分條件關(guān)系邏輯規(guī)律悖論中圖分類號：B81Abstact：Withitsow

3、ncharacteristiclogicsciencerefractspeopleaseriesofregulationsexistingintheobiectiveworldsuchasthedevelopmentofscienceandtheimprovementofsodetyPersistinginobjectivelogicformallogicinpresentagesisdirectedbythedialecticalma

4、teriMisttheoryandsucceedstothecorrectmainideaoftraditionalformallogicthatispersistingintheadequateconditionsofdemonstratingnoncircttlationanditstwocharacteristicsofindependencecriticallysucceedingtoreasonablecomplication

5、sofmathematicallo西candcombiningtheprooundandcorrectmainideaoftraditionallogicandtheexactartificiallanguageandtheprecisefiguringskillsofmathematicallogictogetherSofarithasmadethefoggyanddisorderedhistoryoftraditionallogic

6、becomeathingofthepastandestablishedasdentificsystemofextremeintegrityandstrictnessFromthedialectical—materialisttheoryspointofviewthisessaydissertatesthatthelawoflogicisneitherthelawofthoughtsnorthelawofsignsanddissectst

7、hedisobedientdeductionaswellItfurtheraffirmsthatformallogicofpresentagesisascienceofthedialectical—materialisttheoryandasciencethatexaminesthelogicalstructureofobjectiveworldandthelawoflogicKeyWord：objLxtiveoflogic；diale