邏輯學(xué)論文試論邏輯真理的范圍

《邏輯學(xué)論文試論邏輯真理的范圍》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在工程資料-天天文庫。

1、試論邏輯真理的范圍_、邏輯真理的先行研究從古希臘邏輯誕生以來，關(guān)于邏輯真理的討論眾說紛紜,特別是伴隨著近代哲學(xué)的認識論轉(zhuǎn)向，邏輯學(xué)進入了心理主義占主流的時期，當(dāng)時對邏輯的觀點分為經(jīng)驗主義、唯理主義。經(jīng)驗主義以穆勒為代表，認為邏輯是對經(jīng)驗的歸納總結(jié)，比如對矛盾律的解釋，穆勒認為矛盾律是對信仰與不信仰這兩種精神狀態(tài)的總結(jié),而且將這兩種精神指向外界，可以在外界發(fā)現(xiàn)光明與黑暗、聲音與寂靜、前行與后繼等現(xiàn)象，總之每一個肯定的現(xiàn)象都與其否定處在尖銳的對立之中，穆勒把矛盾律總結(jié)為對這些事實的一般化。與此對立的唯理主義卻認為邏輯同上帝一樣是超驗的，不能從經(jīng)驗中

2、得到，他們批評經(jīng)驗主義者,認為從經(jīng)驗中得到的邏輯就不能絕對為真，因為經(jīng)驗總是可錯的上匕如康德對邏輯的看法就趨向于唯理主義。在《邏輯學(xué)講義》中，康德區(qū)分了一般邏輯和先驗邏輯，他認為一般邏輯是其他科學(xué)的基礎(chǔ)和一切知性的使用入門，不允許從任何一門科學(xué)或者任何一種經(jīng)驗中得到它的原理”邏輯的原理是先天的法則,是必然的法則”這種法則的獲得方式在它自身那里就可以得到。在弗雷格發(fā)表《概念文字》之后，現(xiàn)代數(shù)理邏輯誕生了,對邏輯的看法也發(fā)生了革命性的變化。羅素的邏輯真理論是基于邏輯原子論的符合論，他把恒真的命題函項稱為邏輯真理，所以他的邏輯真理觀具有形式性、客觀必

3、然性、先驗性等特征。維特根斯坦構(gòu)造了真值表，從基本命題開始，認為邏輯真理就是析取排列所有的可能，窮盡了這些可能之后就是心然，在二值邏輯系統(tǒng)中,—個基本命題有真假之分，由n個基本命題構(gòu)成的復(fù)合命題就有2n種可能性，其中必有—種是重言式，一種是矛盾式，將那些所有重言式命題析取排列就得到了必然的真。邏輯經(jīng)驗主義關(guān)于邏輯真理的觀點與康德有淵源關(guān)系，而且完全貫徹經(jīng)驗主義的立場，堅持命題的意義在于可證實性，但是邏輯命題原則上是不可證實的,那么只有拒斥邏輯了，這明顯同邏輯是有意義的相矛盾，所以邏輯經(jīng)驗主義需要—種擺脫困境的方法。他們修改了康德的分析命題和綜合

4、命題的定義，認為分析命題是沒有任何經(jīng)驗內(nèi)容的重言式，僅僅依靠符號的走義為真，而當(dāng)一個命題的真取決于經(jīng)驗時就是綜合命題,自然地就取消了先天綜合命題的存在。所以,邏輯經(jīng)驗主義認為邏輯命題是分析的命題尼們不包括任何經(jīng)驗內(nèi)容”證實原則對它們失效，因此這些命題是必然的、先天的。另一方面，涉及經(jīng)驗的命題只能是偶然的,它依靠經(jīng)驗證實。1951年，奎因批評了邏輯經(jīng)驗主義關(guān)于分析命題和綜合命題的觀點，邏輯經(jīng)驗主義拒斥了康德的先天綜合命題,只承認相互區(qū)別的分析命題和綜合命題,但是奎因認為不能做出這兩種命題的區(qū)分，它們其實都是經(jīng)驗命題。他認為分析性通常被定義為:A是

5、分析的，當(dāng)且僅當(dāng)A是邏輯真理或者A能通過同義詞替換為邏輯真理?？虻姆瘩g集中在第二點，他認為第二點需要依靠〃同義性〃來說明，實際上，同義性概念本身同分析性概念一樣模糊，本身也需要進一步被說明,而且用同義性、可替換性、語義規(guī)則來刻畫同義性的種種嘗試都直接或者間接包含邏輯循環(huán)，所以分析命題和綜合命題之間的區(qū)分是做不岀來的。其次邏輯學(xué)家對邏輯真理進行的不同解釋都是基于菜布尼茨的觀點，即邏輯真理與事實真理的區(qū)分，奎因又從結(jié)構(gòu)、代換、模型、證明、語法等方面出發(fā)對邏輯真理進行了不同以往的解釋，認為分析命題是不存在的，邏輯命題不是分析命題而是經(jīng)驗命題,所以邏

6、輯命題就不是先天的、分析的、必'然的,而是經(jīng)驗的、偶然的,因此能夠被修正。因此奎因就拒斥了邏輯經(jīng)驗主義的分析命題和經(jīng)驗命題的區(qū)分。東方學(xué)者關(guān)于邏輯真理的解釋也做出了杰出的貢獻。1957年以后金岳霖形成了〃反映性與規(guī)范性相統(tǒng)〃的新型邏輯真理觀，并給出了完整的闡發(fā)和論證。梅劍華認為西方哲學(xué)史上存在三組基本的哲學(xué)概念：分析與綜合、先天與后天、偶然與必然。傳統(tǒng)認為分析陳述二先天陳述二必然陳述z康德打破了分析陳述與先天陳述的聯(lián)系；克里普克打破了先天陳述與必然陳述的關(guān)系；奎因打破了分析陳述與綜合陳述的區(qū)分；最近，卡普蘭打破了分析陳述與必然陳述的關(guān)聯(lián)，策爾塔

7、打破了必然陳述與邏輯陳述之間的關(guān)聯(lián)，所以，分析命題就是邏輯為真的命題，而非必然為真的命題。陳波認為邏輯真理不能一般地被定義，只能是相對于一定的邏輯系統(tǒng)而言的，具有系統(tǒng)相對性；由于分析命題和綜合命題之間的區(qū)分不成立，邏輯真理不是沒有經(jīng)驗內(nèi)容的分析命題，它或多或少含有經(jīng)驗成分，而且通過一系列中間環(huán)節(jié)與經(jīng)驗保持聯(lián)系；邏輯真理不具有絕對必然性，只有相對必然性；邏輯真理是可錯的。但是,王路認為陳波的論證是站不住腳的，邏輯是可錯的是一個很壞的觀點?？梢钥闯?，學(xué)界對邏輯真理的討論是不夠深入的，甚至可以說是很簡單的,都還停留在討論邏輯真理的定義上，關(guān)于邏輯真理

8、的范圍、性質(zhì)基本上都沒有涉及到。本文將著眼于邏輯系統(tǒng)的構(gòu)造與證明,對這個問題提供一個新的看法，即邏輯的真理只限于完全性定理之內(nèi)，超岀了完全性定理的東西