悖论与塔斯基真理定义-论文.pdf

《悖论与塔斯基真理定义-论文.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、渤海大学学报哲学共毳学版悖论与塔斯基真理定义朱建平(苏州大学政治与公共管理学院，江苏苏州215123)摘要：塔斯基真理定义的理论有两个目标：一个是哲学的目标，一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念，即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论，元数学(又称元逻辑)研究的是在逻辑框架(一阶和高阶数理逻辑)中理论(特别是数学理论)的形式性质以及逻辑框架本身的性质。真理的概念在元逻辑研究中扮演着重要的角色。然而，由于这一概念会产生悖论，因而，塔斯基的第二个目标是证明“真理

2、”概念可以在元逻辑中一致性地被使用。关键词：真理；形式化语言；真理定义；语义学中图分类号：B81—05文献标识码：A文章编号：1672—8254(2014)04—0124—06收稿日期：2013-12-25作者简介：朱建平(1956一)，男，苏州大学政治与公共管理学院哲学系教授，硕士生导师，从事逻辑哲学、逻辑史、内涵逻辑及语言哲学和心灵哲学的研究。两个目标：一个是哲学的目标，一个是元数学的一目标。塔斯基的哲学目标是提供一个真理的普、语义学：一个塔斯基的论题通概念，即在科学、数学和日常话语中通常使用如果我们按照塔斯基对当代科

3、学和哲学公的真理概念的定义。按照这种真理定义，一句子认的贡献，可以说，存在着三个阿尔弗雷德·塔的真在于句子与实在相一致。这是一个以亚里斯基。第一个是纯粹意义上的数学家，异乎寻常士多德的真理观为出发点的定义。按照亚里士清晰的逻辑学家和模型论之父，这种身份的塔多德：“某物是什么而说它不是什么，或者某物斯基，是一位知名的逻辑学家和有着鲜明形式不是什么而说它是什么为假，而某物是什么说倾向的哲学家。第二个塔斯基是继卡茨米尔、特它是什么，或者某物不是什么而说它不是什么瓦尔科夫斯基、莱斯尼威斯基、鲁卡谢维奇、埃为真”。【略斯基的目标就是

4、建构一个能够捕捉杜凯威茨等之后，华沙哲学学派最杰出的成员，并赋予这一概念精确内容的定义。一个与希尔伯特的形式主义和维也纳学派的实塔斯基的第二个目标是研究逻辑方法论，证主义有着最为密切联系的哲学家。第三个塔用塔斯基的说法是元数学。元数学(又称元逻斯基是英语世界中的主流语言哲学家，这方面辑)研究的是在一逻辑框架(一阶和高阶数理逻的威望来自于他所提出的真理概念的定义，以辑)中理论(特别是数学理论)的形式性质以及及以某种方式被戴维森运用于意义理论研究的逻辑框架本身的性质。真理的概念在元逻辑研塔斯基语义学思想。这种类型的塔斯基告诉我

5、究中(例如，在哥德尔完全性和不完全性定理们，诸如“‘雪是白的’当且仅当雪是白的”这种中)扮演着重要的角色。然而，由于这一概念会语句对于真理理论是非常重要的，进而塔斯基产生悖论，因而，塔斯基的第二个目标是证明也对撒谎者悖论提出了一种解决，他还首次提“真理”概念可以在元逻辑中一致性地被使用。【21出了自然语言的“不一致性”问题。达到这样一个目标并不要求一个明确的真本文关注的是第三种类型的塔斯基。就此理定义。的确，在论文中塔斯基考虑了对这一问而论，从历史上看我们可以区别塔斯基理论的题的各种其他处理，诸如把真概念作为初始符号，给出

6、一种公理的刻画等。通过一个明确的可子的名称(这一模式的一个例子是“雪是白的”消除的定义方式把真概念引入理论中，只是满是真的当且仅当雪是白的)。假定经典逻辑的定足上述挑战的一种方式。但是，与公理化的处理律并不是引起悖论的原因，人们自然把目光转相比，后者具有一个非常重要的优势，即通过给向C。c的一个显著特征是它断定了一种涉及真出这样一种定义，经由被定义表达式的可消除本身的性质。塔斯基认为悖论的根源就在于此，性，我们能够保证如果初始理论是一致性，那么一种包含它自己的真谓词以及它的句子名称的最终的理论也应当是一致的。语言。塔斯基将

7、这类语言称为语义封闭的语言。塔斯基的理论是一种逻辑语义学，本质上假定这种语言有一个合理的逻辑装置，它就会是建立在逻辑与非逻辑概念划分的基础之上形成悖论语句。由此，塔斯基得出的结论是语义的。20世纪50年代中期，随着逻辑的扩展，塔斯学上封闭的语言是不一致的，即它们生成了不基语义学在逻辑、哲学和语言学中也迅速传播能一致性地给出真值或假值的句子。我们不可和扩展。新的扩展提出并要求塔斯基语义学回能为这种语言一致性地定义真概念。这个结论答关于逻辑语义学的某些重要概念及其与语言绝不是无足轻重的。自然语言在下述意义上是学语义学的联系，而

8、在某种程度上塔斯基语义普遍的，即被任何语言的说话者所说的任何事学也提供了回答这些问题的工具和手段。本文情都能够被该说话者在他的自然语言中被表主要阐述塔斯基真理定义及其理论的性质和影达。因此，自然语言是一种语义封闭的语言，为响，关于围绕着塔斯基真理定义的更进一步的这种语言定义真(和其他的语义学概念)是不可