塔爾斯基的真理定義及其哲學(xué)價(jià)值.pdf

《塔爾斯基的真理定義及其哲學(xué)價(jià)值.pdf》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。

1、．聲捨，采於＼換若巧這巧狐游—‘、審攀：；；．－．Ｖ嗦述進(jìn)進(jìn)迸占知公興．如－索取焉粗裝’’一？？了ｉ技；？ｒ．＾；滿ｙ綾辟．為女蘇祭細(xì)麵麵懇ＪＣ。―．’?！?、、．、、游其資味萬；＾？＆．％葬漏Ｖ勇；舎禱娘霄錫；：茲?jì)Q；＇＇？．’．．乂－遊各音；作＾：．．；礦與掉海攀＾誠(chéng)—私‘’’－．矜贊：雜－非！輸端資：苗寒；／―８＇‘霉嘗擊ｇ＾；Ａ；＇－毫Ｑ：續(xù)纖掃鄉(xiāng)攀讀嗜銭＊￣＇—＇－＂．．‘－‘。＇＾￣＾１、、．或丹－之占；—疋巧＾鑛歲輸如＇冷緝的常ｆｌ？扛六，．這＇

2、＇＇卷＂．、．－巧．滿認(rèn)贈(zèng)ｍ接盛＾如．＼’’’＇？？。：．？＊、詞轅換人斬Ｓ－－巧．．＾蘭少若．．．於巧ｒ今－。，＇。ｒ．＾；；、ｌｓ＃ｒ；無占廷警無書Ｗ甚誠(chéng)云哲寒，－－＇？六－心，＞；：：；；女，忘苗遵變敎早，聲１今養(yǎng)；丫讀學(xué)位論文獨(dú)創(chuàng)性聲明本人鄭重聲明：所提交的學(xué)位是本人在導(dǎo)師指導(dǎo)下進(jìn)巧的研究工作和取得的研究成果。本論文中除引文外，所有實(shí)驗(yàn)、數(shù)據(jù)和有關(guān)材料均是真實(shí)的。本論文中除引文和致謝的內(nèi)容外，不包含其他人或其它機(jī)構(gòu)已經(jīng)發(fā)表或撰寫過的研究成果。其他同志對(duì)本研究所做的貢獻(xiàn)均

3、己在論文中作了聲明并表示了謝意。學(xué)位論文作者簽名；礎(chǔ)德。曰期：＞（Ｓ心學(xué)位論文使用授權(quán)聲明研究生在校攻讀學(xué)位期間論文工作的知識(shí)產(chǎn)權(quán)單位屬南京師范大學(xué)。學(xué)校有權(quán)保存本學(xué)位論文的電子和紙質(zhì)文檔，可借閱或上網(wǎng)、公布本學(xué)位論文的部分或全部?jī)?nèi)容，可采用影印復(fù)印等手段保存、匯編本學(xué)位論文。學(xué)?？上驀?guó)家有關(guān)機(jī)關(guān)或機(jī)構(gòu)送交論文的電子和紙質(zhì)文檔，允許論文被查閱和借閱。（保密論文在解密后遵守此規(guī)定）：保密論文注釋：本學(xué)位論文屬于保密論文，密級(jí)保。密巧限為—年學(xué)位論文作者簽名；；指導(dǎo)教師簽名

4、４矣與—＇曰期、：公〇曰瓶文如１，＞＞咬?。墸崳姡墸拚崳娝査够Z(yǔ)義真理論與哥德爾不完全性定理Ｗ及圖林機(jī)與判定問題并列，被譽(yù)為２０世紀(jì)現(xiàn)代邏漫在哲學(xué)方面的Ｈ大成果。塔爾斯基為了抓住古典的亞里±多德對(duì)真的直覺，創(chuàng)造性地提出在形式語(yǔ)言中，利用還輯分析和語(yǔ)義分析的方法，＂＂一一給真句子概念下個(gè)實(shí)質(zhì)上恰當(dāng)?shù)?。在此基礎(chǔ)上，送、形式上正碗的定義，他還提出了語(yǔ)言層次論，創(chuàng)立了還輯語(yǔ)義學(xué)，向世人展示了語(yǔ)義學(xué)的非凡魅力在世界哲學(xué)界產(chǎn)生了廣泛而深遠(yuǎn)的影響。語(yǔ)義真理論在數(shù)學(xué)和邏輯方面的成就得到了公

5、認(rèn)，但在其他層面上卻引發(fā)了一。激烈的爭(zhēng)論，其中個(gè)最大的爭(zhēng)論就是語(yǔ)義真理論是否是符合論作者就是Ｗ這個(gè)爭(zhēng)議為基礎(chǔ)，來構(gòu)建這篇論文的。首先，本文真理符合論和融貫論作為傳統(tǒng)，講述了傳統(tǒng)真理理論及其存在的問題其理理論的代表，并且區(qū)分了真理定義與＂＂真理標(biāo)準(zhǔn)送兩個(gè)概念。其次，本文講述了塔爾斯基是如何定義真的。塔爾斯，基提出了真么定義的恰當(dāng)性條件，即所有可接受的真理定義都應(yīng)滿足的條件恰＂＂當(dāng)性條件包括實(shí)質(zhì)恰當(dāng)性和形式正確性。并且塔爾斯基選擇滿足概念作為定＂＂＂＂＂＂義真的中間概念，對(duì)其進(jìn)行了遞歸定義。最

6、終塔爾斯基將真作為滿足＂＂一，的極限情形：對(duì)，得出真的定義象語(yǔ)言中的閉語(yǔ)句為真當(dāng)且僅當(dāng)它被所＂＂有的序列所滿足。最后，，本文Ｗ塔爾斯基對(duì)滿足概念的定義為基礎(chǔ)認(rèn)為語(yǔ)＂＂一因?yàn)闈M足義真理論是符合論的現(xiàn)代形式，是種沒有符合關(guān)系的符合論，概念恰恰說明了傳統(tǒng)符合論中難Ｗ說明的符合關(guān)系一。而另方面本文認(rèn)為語(yǔ)義真理論與融貫論是不相干的。塔爾斯基之后，，經(jīng)過哲學(xué)家和語(yǔ)言學(xué)家的發(fā)展，又產(chǎn)生了許多新的真理理論如真之緊縮論，真之還原論，具。但塔爾斯基的語(yǔ)義真理論相較于這些真理理論一有超越性。因?yàn)?，現(xiàn)代的大多數(shù)真理理

7、論都是Ｗ塔爾斯基理論中個(gè)重要概念即Ｔ等式來表達(dá)它們基本思想的。因此，理解語(yǔ)義真理論對(duì)研究其他真理理論也具有重大的意義。關(guān)鍵詞：塔爾斯基，語(yǔ)義真理論，傳統(tǒng)真理理論，還輯語(yǔ)義學(xué)ＩＡｂｓｔｒａｃｔＡｂｓ化ａｄ：Ｔ＊ａｒｓｋｉｓＤｅｆｉｎｉｔｉｏｎＯｆＴｒｕｔｈＡｎｄＩｔｓＰｈｉｌｏｓｏｈｉｃａｌＶａｌｕｅｐ＇＇ｍＴａｒｓｋｉｓｓｅｍａｎｔｉｃｔｈｅｏｒｙｏｆｔｒｕｔｈａｎｄＧｏｄｅｌｓｉｎｃｏｍｐｌｅｔｅｎｅ巧ｔｈｅｏｒｅｍａｎｄｔｈｅＴｕｒｉｎｇａｃｈ

8、ｉｎｅａｎｄ化ｅｄｅｃｉｓｉｏｎｒｏｂｌｅｍａｒｅｋｎｏｗｎａｓｔｈｅｔｈｒｅｅｍａｏｒａｃｈｉｅｖｅｍｅｎｔｓｏｆｍｏｄｅｍｌｏｉｃｉｎｔｅｒｍｓｏｆｐｊｇｈｌｏｉ２０．ＩｉｉＡｒｓｏＴｐｉｓｏｐｈｙｎ化ｃｅｎｔｕｒｎｏｒｄｅｒ化ｈｏｌｄｔｈｅｃｌａｓｓｉｃａ