塔尔斯基的真理定义及其哲学价值.pdf

《塔尔斯基的真理定义及其哲学价值.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、．聲捨，采於＼换若巧這巧狐游—‘、審攀：；；．－．Ｖ嗦述进進迸占知公兴．如－索取焉粗裝’’一？？了ｉ技；？ｒ．＾；满ｙ綾辟．為女蘇祭細麵麵懇ＪＣ。―．’。‘．、、．、、游其資味万；＾？＆．％葬漏Ｖ勇；舎禱娘霄錫；：茲鶴；＇＇？．’．．乂－遊各音；作＾：．．；矿與掉海攀＾誠—私‘’’－．矜贊：杂－非！輸端資：苗寒；／―８＇‘霉嘗擊ｇ＾；Ａ；＇－毫Ｑ：續纖掃鄉攀讀嗜銭＊￣＇—＇－＂．．‘－‘。＇＾￣＾１、、．或丹－之占；—疋巧＾鑛歲输如＇冷缉的常ｆｌ？扛六，．這＇

2、＇＇卷＂．、．－巧．滿認贈ｍ接盛＾如．＼’’’＇？？。：．？＊、詞辕换人斬Ｓ－－巧．．＾兰少若．．．於巧ｒ今－。，＇。ｒ．＾；；、ｌｓ＃ｒ；無占廷警無書Ｗ甚诚云哲寒，－－＇？六－心，＞；：：；；女，忘苗遵變敎早，声１今養；丫讀学位论文独创性声明本人郑重声明：所提交的学位是本人在导师指导下进巧的研究工作和取得的研究成果。本论文中除引文外，所有实验、数据和有关材料均是真实的。本论文中除引文和致谢的内容外，不包含其他人或其它机构已经发表或撰写过的研究成果。其他同志对本研究所做的贡献均

3、己在论文中作了声明并表示了谢意。学位论文作者签名；础德。曰期：＞（Ｓ心学位论文使用授权声明研究生在校攻读学位期间论文工作的知识产权单位属南京师范大学。学校有权保存本学位论文的电子和纸质文档，可借阅或上网、公布本学位论文的部分或全部内容，可采用影印复印等手段保存、汇编本学位论文。学校可向国家有关机关或机构送交论文的电子和纸质文档，允许论文被查阅和借阅。（保密论文在解密后遵守此规定）：保密论文注释：本学位论文属于保密论文，密级保。密巧限为—年学位论文作者签名；；指导教师签名

4、４矣與—＇曰期、：公〇曰瓶文如１，＞＞咬！＾摘要塔尔斯基语义真理论与哥德尔不完全性定理Ｗ及图林机与判定问题并列，被誉为２０世纪现代逻漫在哲学方面的Ｈ大成果。塔尔斯基为了抓住古典的亚里±多德对真的直觉，创造性地提出在形式语言中，利用還辑分析和语义分析的方法，＂＂一一给真句子概念下个实质上恰当的。在此基础上，送、形式上正碗的定义，他还提出了语言层次论，创立了還辑语义学，向世人展示了语义学的非凡魅力在世界哲学界产生了广泛而深远的影响。语义真理论在数学和逻辑方面的成就得到了公

5、认，但在其他层面上却引发了一。激烈的争论，其中个最大的争论就是语义真理论是否是符合论作者就是Ｗ这个争议为基础，来构建这篇论文的。首先，本文真理符合论和融贯论作为传统，讲述了传统真理理论及其存在的问题其理理论的代表，并且区分了真理定义与＂＂真理标准送两个概念。其次，本文讲述了塔尔斯基是如何定义真的。塔尔斯，基提出了真么定义的恰当性条件，即所有可接受的真理定义都应满足的条件恰＂＂当性条件包括实质恰当性和形式正确性。并且塔尔斯基选择满足概念作为定＂＂＂＂＂＂义真的中间概念，对其进行了递归定义。最

6、终塔尔斯基将真作为满足＂＂一，的极限情形：对，得出真的定义象语言中的闭语句为真当且仅当它被所＂＂有的序列所满足。最后，，本文Ｗ塔尔斯基对满足概念的定义为基础认为语＂＂一因为满足义真理论是符合论的现代形式，是种没有符合关系的符合论，概念恰恰说明了传统符合论中难Ｗ说明的符合关系一。而另方面本文认为语义真理论与融贯论是不相干的。塔尔斯基之后，，经过哲学家和语言学家的发展，又产生了许多新的真理理论如真之紧缩论，真之还原论，具。但塔尔斯基的语义真理论相较于这些真理理论一有超越性。因为，现代的大多数真理理

7、论都是Ｗ塔尔斯基理论中个重要概念即Ｔ等式来表达它们基本思想的。因此，理解语义真理论对研究其他真理理论也具有重大的意义。关键词：塔尔斯基，语义真理论，传统真理理论，還辑语义学ＩＡｂｓｔｒａｃｔＡｂｓ化ａｄ：Ｔ＊ａｒｓｋｉｓＤｅｆｉｎｉｔｉｏｎＯｆＴｒｕｔｈＡｎｄＩｔｓＰｈｉｌｏｓｏｈｉｃａｌＶａｌｕｅｐ＇＇ｍＴａｒｓｋｉｓｓｅｍａｎｔｉｃｔｈｅｏｒｙｏｆｔｒｕｔｈａｎｄＧｏｄｅｌｓｉｎｃｏｍｐｌｅｔｅｎｅ巧ｔｈｅｏｒｅｍａｎｄｔｈｅＴｕｒｉｎｇａｃｈ

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