資源描述：
《論塔斯基的定義是對邏輯后承概念的刻畫》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、精選公文范文管理資料論塔斯基的定義是對邏輯后承概念的刻畫 “邏輯后承”是邏輯學(xué)的核心概念。早在1936[鍵入文字][鍵入文字][鍵入文字]精選公文范文管理資料論塔斯基的定義是對邏輯后承概念的刻畫 “邏輯后承”是邏輯學(xué)的核心概念。早在1936[鍵入文字][鍵入文字][鍵入文字]精選公文范文管理資料論塔斯基的定義是對邏輯后承概念的刻畫 “邏輯后承”是邏輯學(xué)的核心概念。早在1936[鍵入文字][鍵入文字][鍵入文字]精選公文范文管理資料論塔斯基的定義是對邏輯后承概念的刻畫 “邏輯后承”是邏輯學(xué)的核心概念。早在
2、1936[鍵入文字][鍵入文字][鍵入文字]精選公文范文管理資料論塔斯基的定義是對邏輯后承概念的刻畫 “邏輯后承”是邏輯學(xué)的核心概念。早在1936[鍵入文字][鍵入文字][鍵入文字]精選公文范文管理資料年以德文發(fā)表的《論邏輯后承概念》一文中，塔斯基就專門且明確地討論了這個概念.他借助所謂的“科學(xué)語義學(xué)”（即模型論語義學(xué)）的技術(shù)給出了邏輯后承概念的定義，并認為他的定義最能符合我們關(guān)于通常的后承概念的直覺.盡管受到塔斯基的影響，模型論方法已經(jīng)成為邏輯學(xué)家們研究各種邏輯性質(zhì)的重要工具，但塔斯基對邏輯后承的模型論定義
3、在外延上是否等價于直覺上的通常的后承概念，這一點仍然存在爭議.埃徹門第批評塔斯基的定義缺乏外延恰當性，既有“過度（overgeneration）”問題也有“不及（undergeneration）”問題（Etchmendy,1990,148,150）。這兩方面的問題皆歸咎于該定義對邏輯后承的錯誤的還原，即把邏輯后承概念還原為具體論證的保真性，這致使它無法為論證的邏輯有效性提供獨立的概念性保障（,2008,267）。本文將針對埃徹門第的批評，圍繞外延的恰當性和概念分析的恰當性這兩個方面為塔斯基的定義提出辯護. 一
4、、塔斯基的模型論定義 塔斯基對邏輯后承概念的定義起點在于合乎我們關(guān)于通常的后承概念的直覺.在他看來，如果一個語句是從語句集邏輯地推出的，那么通常在直覺上，不可能中的語句都是真的而卻是假的.邏輯后承的必然性決定了它是形式的，即“這種關(guān)系不能以任何方式被經(jīng)驗知識所影響，……后承關(guān)系不能因在這些語句中指稱對象的指示詞被指稱其他對象的指示詞所替換而受到影響”（Tarski,1936,212）?！ ∵@意味著，這種關(guān)系在前提集與結(jié)論X之間成立，必須獨立于K中的所有語句和作為結(jié)論的語句中的非邏輯常項的涵義，而僅僅依賴于其中
5、出現(xiàn)的邏輯常項的涵義。只要邏輯常項被選定，無論如何對其中出現(xiàn)的非邏輯常項做相應(yīng)的替換，都不會改變后承關(guān)系。如果語句X是從集合K[鍵入文字][鍵入文字][鍵入文字]精選公文范文管理資料邏輯地推出的，那么不僅要求并非K中的所有語句都為真而X卻為假，還要求對于K中所有語句和X的如上替換結(jié)果也應(yīng)如此。這樣，塔斯基就得到了邏輯后承的必要條件：（F）如果在集合K的語句中和在語句X中，（除純粹的邏輯常項之外的）常項被其他常項所替換（類似的記號在所有地方都被類似的記號替換），如果我們用‘K′’表示由K得到的語句集，且用‘[鍵入
6、文字][鍵入文字][鍵入文字]精選公文范文管理資料X′’表示由得到的語句，那么語句′必須是真的只要集合′中的所有語句都是真的. （）條件（）還不足以定義邏輯后承，因為它并不同時構(gòu)成邏輯后承的充分條件，除非我們假定表達和的語言包含了足夠充分的非邏輯常項（符號）.但事實上這種假定并不總能成立.為此，塔斯基建議尋求其他工具，即語義學(xué)的工具.在塔斯基那里，轉(zhuǎn)向邏輯后承的語義學(xué)定義很自然.因為語義學(xué)能夠提供的工具就是滿足概念，而這個概念在其《形式化語言中的真概念》（）中已經(jīng)獲得了嚴格定義.因此，通常的后承概念的直覺
7、就可以被重新表述為：如果一個語句是從語句集邏輯地推出的，那么通常在直覺上，不可能論域中對象的所有序列都滿足中的語句而不滿足.結(jié)合定義（），就可以得到如下表述：任何能夠滿足中所有語句函數(shù)的序列也能滿足. 需要注意的是，為了避免非邏輯常項短缺的問題以及為了表達必然性，這里的“K*”、“X*”不再是對中所有語句以及語句中的非邏輯常項進行相應(yīng)替換后得到的某個語句，塔斯基把它們分別規(guī)定為將非邏輯常項直接替換為相應(yīng)的變元而得到的語句函數(shù)的集合和語句函數(shù)（sententialfunction）。其實，滿足概念的定義首先就是
8、針對“一個給定語句函數(shù)被對象或?qū)ο笮蛄袧M足的概念”,而真概念或語句的滿足概念則以此為基礎(chǔ)。借助滿足概念，我們只需要對前面的表述稍加修改就可以得到邏輯后承的一個新定義：（S）語句X是由語句集K邏輯地得出的，當且僅當如果K*和X*等分別是由語句集K和語句得到的語句函數(shù)集和語句函數(shù)，則所有滿足K*[鍵入文字][鍵入文字][鍵入文字]精選公文范文管理資料中每個語句函數(shù)的對象序列都滿足語句函數(shù)X
