資源描述：
《邏輯哲學的基本問題與塔爾斯基的真理概念.pdf》由會員上傳分享，免費在線閱讀，更多相關內容在應用文檔-天天文庫。
1、暨南學報(哲學社會科學)..Vol16NO3第16卷第3期JOURNALOFJD日ANUNIVERSITY.1994年7月soPhy&SodalSciencesEdition1994(Philo)Jul邏輯哲學的基本間題與塔爾斯基的真理概念程仲棠.:提要邏輯哲學墓本問題的焦點在于邏輯真理是否反映現實與事實真理又有什么關.系?亞里士多德的真理符合論和萊布尼灰而至邏輯實證主義者所主張的邏輯真理先臉論代表了...歷史上兩種對立的看法塔爾斯基以亞氏的真理符合論為墓礎構造了形式語言中的真理定義.建立了真理的語義學概念這個真理概念超
2、越了亞里士多德的片面性和萊布尼茨以后的唯心主..義對解決邏輯哲學基木問題作出了重大貢獻關鍵詞邏輯真理事實真理符合論先臉論必要條件充分條件,塔爾斯基(1902一1983)在邏輯領域的一個重大貢獻就是建立了形式語言中的真理概念.這是一個語義學概念,但也涉及邏輯哲學的基本問題.本文的主旨就是試圖在有關邏輯哲學基本問題的爭論的歷史背景中,揭示塔爾斯基的真理概念的深層意蘊.邏輯哲學原本是為了研究現代邏輯即數理邏輯的哲學問題,或者以現代邏輯作為解決哲學問題的工具而誕生于本世紀的一門新學科.但是,由于現代邏輯與傳統(tǒng)邏輯有共同的研究對象
3、和共同的哲學問題,邏輯哲學的理論淵源與邏輯學的歷史同樣久遠.邏輯哲學的基本問題就是邏輯與客觀現實的關系問翹.這是歷史上長期爭論的問題,問題的焦點在于:邏輯規(guī)律即所謂邏輯真理是否反映客觀現實?邏輯真理與所謂事實真理之間又有什么關系?邏輯學的始祖亞里士多德就探討過邏輯哲學的基本問題,對于邏輯規(guī)律是不是客觀現實.正確反映的問題作出肯定的回答他在《形而上學》中明確提出并詳細論述了邏輯的基本規(guī),:律矛盾律和排中律在談到矛盾律的時候寫道.事物不能同時存在而又不存在→“”,我們茸說起有些人不但自己主張同一事物可以既是而又非是還說這可讓
4、世,,人公論事理確乎如此??但我們現在認為任何事物不可能在同時既是而又非是.并且認為這原理能自明為一切原理中最是無可爭論的原理←,,,在亞里士多德看來矛盾律首先是存在的規(guī)律它之所以能夠成為邏輯思維的基本規(guī)律是因為它符合‘事理’,符合事物的“最是無可爭論的原理”.,亞里士多德肯定了邏輯規(guī)律與存在規(guī)律的一致性其根據就是真理在于符合現實的理,.‘’,:論即所謂真理符合論他在上述著作中解釋真與假這一對概念時寫道、,,、..凡以不是為是是為不是者這就是假的凡以實為實以假為假者這就是真的↑↑,“:這就是亞里士多德的真理符合論塔爾斯基
5、把它歸結為一句話語句之為真在于它與現.,,.實相一致↓亞里士多德對矛盾律和排中律的看法就是他的真理符合論的一個應用亞里,.,士多德的真理論可以說是唯物主義的一元論但是亞里士多德只強調了邏輯真理與存在,,.規(guī)律的一致性卻忽視了它們之間的差別性也就是忽視了邏輯真理的特殊性亞里士多德哲學的片面性,終于引起人們對邏輯的真理性同樣在于符合現實這一正確觀點的懷疑..‘萊布尼茨說::首先對亞里士多德的真理一元論提出挑戰(zhàn)的是萊布尼茨有兩種真理推.’.,理的真理和事實的真理推理的真理是必然的??事實的真理是偶然的〓他認為推理,“’.的真理
6、不象事實的真理那樣依賴于經驗它們的證明只能來自所謂天賦的內在原則⒈萊,“,,布尼茨關于事實的真理來自經驗所謂推理的真理即邏輯真理則來自天賦的觀點就成為真理二元論和邏輯真理先驗論的一個起源.萊布尼茨發(fā)明的推理的真理和事實的真理的對立,在康德哲學中就演變而為分析判斷和.,“綜合判斷的分歧康德認為一切來源于經驗的判斷都是綜合判斷;分析判斷則是絕對獨立”“’,,“于一切經驗的知識即先天的知識O因為分析判斷具有必然性而必然性正是經驗永遠,.,,“不能教給我的⒊在康德看來表示邏輯規(guī)律的判斷就屬于分析判斷所以他斷言:邏輯以,”.先天的
7、原理為基礎邏輯的一切規(guī)律都能由這些先天的原理引導出來并被證明⒋,“’.“維特根斯坦把邏輯真理稱為重言式(tautology又譯為同語反復)他以重言式命題對于基’,‘本命題的所有一切真值的可能性都是真的0這一邏輯特性作為根據進而斷言重言式既不,’,,“.,能為經臉所證實同樣地不能為經驗所否定O也就是說與現實沒有任何描述關系0.’,“”.,可見它們是分析命題什么也沒有說@后來重言式在另一個意義上被人們引人,,邏輯語義學當作是永真式的同一概念;但不管怎樣維特根斯坦對于重言式與現實之間的關系的解釋卻是錯誤的.邏輯實證主義者則進一
8、步把康德關于分析判斷和綜合判斷的區(qū)分推向極端.對于康德的“’,.,先天綜合判斷的提法他們嫌其不夠徹底而加以拋棄在他們看來凡是先天的都是分析,.,,的;反之凡是分析的也都是先天的被康德歸人先天綜合判斷的數學真理在他們看來同,.,邏輯真理一樣是分析的和先天的0經過這樣的修正邏輯實證主義者確立了一個基本的哲.“::學信條分
