分享
 
 
 

真理的语义理论

王朝百科·作者佚名  2010-04-23
窄屏简体版  字體: |||超大  

真理的语义理论声称对某个命题是真的的任何断言,可以只作为形式上的需要而做出来,不管表达命题自身用了什么语言。

真理的语义概念,以不同的方式同符合和紧缩的概念有关,是由波兰逻辑学家 Alfred Tarski 在1930年代出版的著作引发的。Tarski 在《On the Concept of Truth in Formal Languages》中尝试公式化一种新的真理的理论来解决谎言者悖论。在其中他做出了很多数学发现,最著名的是Tarski 不可定义性定理,它类似于哥德尔不完备定理。粗略的说,它声称一个给定语言的句子的真理概念不能在这个语言内被一致性的定义出来。

T-模式要公式化有关语言学事情的理论,为了避免语义悖论比如谎言者悖论,区分你谈话用的所谓目标语言和你使用的所谓元语言,一般是必须的。在下面,引用起来的句子如 "P" 总是目标语言的句子。所有没有引用起来的东西都是元语言的。Tarski 的实质充分条件,也叫做约定T 或T-模式,声称真理的任何可行的理论必须包含它,对于一个语言的所有句子 P 有:

(1) "P" 为真,当且仅当 p。

(这里的 p 简写了由目标语言的句子 "P" 所表达的,元语言中的命题。)

例如

(2) "雪是白的" 为真当且仅当雪是白的。

(2)的前半部分关于句子 "雪是白的"。后半部分关于的是雪。这些句子(1 和 2 等)被叫做 "T-句子"。它们看起来平常的原因是,目标语言和元语言都是英语。而下面的也是 T-句子:

(3) "Der Schnee ist wei?" 为真(德语)当且仅当雪是白的。

(注意按 Tarski 最初的公式化,这个理论只适用于形式语言是重要的。他感觉自然语言太复杂和不正规而不适合形式处理。但是 Tarski 的方法被 唐纳德•戴维森扩展为自然语言的意义理论的方法,这涉及到把"真理"当作原始的而不是定义的概念。

真理Tarski 发展的这个理论,给出了真理的归纳定义为如下。

对于包含 ~ ("非")、& ("与")、v ("或")和量词("所有"和"存在")的语言 L,Tarski 的真理的归纳定义为如下:

(i) 否定 ~A 为真当且仅当 A 不为真。

(ii) 合取 A&B 为真当且仅当 A 为真并且 B 为真。

(iii) 析取 A v B 为真当且仅当 A 为真或者 B 为真。

(iv) 全称陈述 "对于所有 x 有 A(x)" 为真当且仅当每个对象都满足 "A(x)"。

(v) 存在陈述 "存在 x 有 A(x)" 为真当且仅当有一个对象满足 "A(x)"。

它们解释了(建造自连结词和量词)复杂句子的真理条件如何被归约到它们的构件的真理条件。最简单的构件是原子句子。真理的当代语义定义原子句子的真理为如下:

(vi) 原子句子 F(x1,...,xn) 为真(有关于指派值到变量 x1, ..., xn)),如果变量的相应的值具有谓词F 所表达的关系。

Tarski 自己定义原子句子的真理的方式,不使用来自语义的任何技术术语,比如上面的"所表达的"。这是因为他希望以真理的方式定义这些语义术语,所以如果在真理自身的定义中使用其中之一将是循环的。Tarski 的真理的语义概念在现代逻辑和当代语言哲学中扮演了重要角色。Tarski 的语义理论是否应当被算做符合论或紧缩论是有争议的。Tarski 自己好象有意作为对经典符合论的精致。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
推荐阅读
 
 
 
>>返回首頁<<
靜靜地坐在廢墟上,四周的荒凉一望無際,忽然覺得,淒涼也很美
© 2005- 王朝網路 版權所有