真理的语义理论

✍ dations ◷ 2025-04-03 09:31:16 #真理的语义理论

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

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

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

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

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

例如

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

(2)的前半部分关于句子"雪是白的"。后半部分是关于雪的一个事实。这些句子(1和2等)被叫做"T-句子"。它们看起来平凡的原因是,对象语言和元语言是同一种语言,在这里是汉语。而下面的也是T-句子:

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

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

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

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

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

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

相关

  • 苏门打腊虎(学名:Panthera tigris sumatrae)是生活在印度尼西亚苏门答腊岛上的一个虎的亚种。极度濒危物种,估计野外种群大约有441至679只分布于印度尼西亚的苏门答腊岛,呈逐年
  • 邦妮·艾伦斯邦妮·艾伦斯(英语:Bonnie Aarons,1979年6月3日-),是一名美国角色演员,由其所扮演的知名角色有《穆赫兰道》(2001年)的黑脸乞丐、《公主日记》(2001年)及其续集《公主日记2:皇家婚约》(20
  • 鲁伯特·默多克鲁伯特·默多克(英语:Rupert Murdoch,1931年3月11日-),生于澳洲墨尔本,现居美国,全球首屈一指的新闻媒体大亨,现任新闻集团持有14%股份和39.4%的投票权与福斯公司董事长与最大股东。
  • 阮文性阮文性(越南语:Nguyễn Văn Tính/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H"
  • 迪莎·帕塔尼迪莎·帕塔尼(1992年6月13日-),出生于印度北方邦的巴雷利,印度影剧女演员,在宝莱坞及泰卢固语电影演出。她是2013年印度印多尔市小姐亚军,她第一部演出的电影是导演Puri Jagannad的
  • 马林·契利奇马林·契利奇(克罗地亚语:Marin Čilić,1988年9月28日-),生于南斯拉夫联邦时期波黑,当今克罗地亚最佳男子网球选手,单打最高世界排名第3,至今赢得1座大满贯金杯,是克罗地亚第二位网球大满贯男单冠军。契利奇于2005年转为职业选手。2008年,他在四大满贯赛事上均创出了自己的迄今最佳成绩。目前他已经获得了四项ATP巡回赛冠军。2009年美网,契利奇生涯首次闯入大满贯八强,并在隔年2010年澳网首度闯进四强;2014年美网,准决赛直落3击败罗杰·费德勒,首次挺进大满贯决赛,并在决赛以三盘6:3
  • KennyS肯尼·施卢普(英语:Kenny Schrub,1995年5月19日-),游戏化名kennyS,是一名法国职业电子竞技选手。施卢普的电子竞技生涯始于2011年,起初他是一名《反恐精英:起源》的职业选手, 2012转战《反恐精英:全球攻势》(《CS:GO》)。kennyS被认为是世界上最好的《CS:GO》AWP狙击手之一,其出色表现受到了电竞界的极大关注。他在2015年游戏大奖中被评为“年度电子竞技玩家”。2012年初,施卢普短暂加盟Team eXtensive!。后来施卢普加入VeryGames。在《起源》
  • 966年
  • 居让-梅斯特拉斯居让-梅斯特拉斯(法语:Gujan-Mestras,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi Uni
  • 白彬菊白彬菊(英语:Beatrice S. Bartlett,1928年-),美国历史学家,耶鲁大学历史系荣休教授,主攻中国史研究。白彬菊于1945年至1949年间就读于史密斯学院,获历史学学士学位。此后长期在高中从事历史教育工作。1958年起开始教授印度历史与中国历史。1966年起学习中文,次年进入耶鲁大学学习。1970年获硕士学位。同年前往台湾从事研究工作。1980年获博士学位,其博士论文题为《朱笔:清代军机处奏折制度和中央政府的决策过程》()。该论文后以《君主与大臣:清中期的军机处(1723-1820)》