用户名:
    密码:
转播到腾讯微博

你的位置:首页 > 哥德尔专辑,逻辑学

塔斯基的真理的语义学
录入: 哲学网编辑部 发表时间: 2013-07-01 点击: 4028 次 我要收藏

波兰数学家、逻辑学家塔斯基(Alfred Tarski, 1902— )1933年在《形式化语言中的真理概念》一文中提出了一个对于“真理”(Truth)的语义学定义。它深刻地影响了当时的逻辑经验主义和后来的分析哲学的意义理论,并且导致理论语义学的正式建立。本文试图简单地评介建立这个定义的前因、方式及其后果。

一. 为何要从语义角度定义“真理”

一般说来,语义学(semantics)是研究语言的表达式与这些表达式所涉及的对象(或事态)之的关系的学科。典型的语义概念是“指称”、“满足”、“定义”等等。“真理”这个概念的涵义是极其丰富而且多层次的,历史上对于它的讨论和定义无论从学科角度还是从思想流派的角度看,都是很多样的。但是,如果把它放到语言学系统中来讨论,那么将它作为一个语义学的概念,即作为某些语言表达式(比如陈述句)与其所谈及的对象之间的关系来处理,确实不失为一种简便自然而且容易精确化的讨论方法。

然而,语义概念在学术史上的地位一直是不明确的或者说是很奇特的。一方面,这些概念深植于人们的语言活动中,要完整地表达思想尤其是有关认识论、方法论的观点,它们是必不可少的;另一方面,几乎所有要以普遍的和充分的方式来刻划它们的意义的努力都失败了。更糟糕的是,包含这些语义概念的论证,不管它们在别的情况下显得如何正确,却可能导致反论或悖论,比如说谎者悖论,因而使得许多人,包括早期逻辑经验主义的代表人物对它们极不信任,认为要前后一致地使用和定义它们是不可能的,在严格的科学中应该禁用这类概念。

罗素1902年发现的关于集合的悖论不但导致了所谓数学基础的危机,而且引起了人们对于各种悖论的极大兴趣。罗素的工作表明,悖论并不是表达方式上的故弄玄虚,通过发现和解决悖论,可以更深刻地认识语言和各种表达系统的逻辑基础,甚至会促使一门新的科学或理论的建立。“应该强调指出,悖论对于建立现代演绎科学的基础起到了杰出的作用。正如类的理论方面的悖论、特别是罗素悖论(所有非自身分子的集的集的悖论)是在逻辑和数学的不矛盾形式化方面成功尝试的起点一样,说谎者悖论和其他语义悖论导致了理论语义学的建立。”[i]

从另一个角度看,演绎科学本身的发展也提出了类似的要求。首先,是形式化公理方法的建立。欧几里德的《几何原本》可说是一个实质公理系统的例子,这一类公理系统的公理一般是表述某一类已事先给定的对象的直观自明的性质。但是,由于非欧几何的发现并且在欧氏几何中找到了它的模型,也就是说使它的真理性建立在了欧氏几何的真理性之上,使人们认识到对于空间特性的刻划可以有形式不同但具有真值联系的多个表达系统。[ii]

文章的脚注信息由WordPress的wp-posturl插件自动生成


分享到:

标签 :
版权声明:版权归 哲学网:哲学学术门户网站,Philosophy,哲学家,哲学名言大全 所有,转载请注明出处!

转载请保留链接: http://www.zhexue.org/f/logic/4900.html

已有 0 条评论 腾讯微博
关于我们 | 图站地图 | 版权声明 | 广告刊例 | 加入团队 | 联系我们 |
哲学网编辑部 未经授权禁止复制或建立镜像,采用Wordpress架构,采用知识共享署名进行许可
官方邮箱:admin#zhexue.org (#换成@)索非制作|优畅优化|阿里云强力驱动
ICP证号:沪 ICP备13018407号
网站加载1.006秒
知识共享许可协议