真理的语义理论

✍ dations ◷ 2025-04-03 17:07:58 #真理的语义理论

真理的语义理论(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自己好像有意作为对经典符合论的精致。

相关

  • 沙尘沙尘暴(英语:Dust storm)为沙暴与尘暴的总称,是一种多发生在干旱和半干旱地区的天气现象,由强风刮起干燥地表上的松软沙土和尘埃形成,其导致空气混浊,能见度变低。最近几十年来的沙
  • 唇裂唇裂与颚裂(英语:Cleft lip and cleft palate),常被合称为唇颚裂,是一系列包含唇裂(CL)、颚裂(CP)、或二者皆有的疾病(CLP)。唇颚裂常包含上颚裂到鼻腔,甚至裂到耳朵都有可能;裂口可能发
  • 王双明王双明(1955年5月-),出生于陕西省岐山县,中国煤田地质学家,陕西省地质调查院教授,中国工程院院士。1955年5月出生于陕西省岐山县,1977年毕业于西安矿业学院(今西安科技大学)地质系煤田
  • 顾鹤皋顾鹤皋(1904年9月18日-1958年),名升禄,四川省铜梁县坪滩镇白鹤乡人,实业家,曾任立法院立法委员。
  • 电解电容电解电容是一种按结构、制作工艺划分的电容种类。通常,电解电容是一种有极性的电容。电解电容的阳极采用可钝化的金属材料,比如铝、钽、铌、钛等;介电材料为阳极金属材料表面生
  • 飓风艾琳 (2005年)飓风艾琳(英语:Hurricane Irene)是2005年大西洋飓风季期间形成的一个持续时间较长的佛罗角型大西洋飓风。风暴于8月4日在佛得角附近海域形成后穿越大西洋,并围绕百慕大转向北上,最终在纽芬兰岛东南方向洋面转变成温带气旋。艾琳的热带气旋状态一共维持了14天,是这年大西洋飓风季持续时间最长的天气系统,也是这个创纪录飓风季的第9个获得命名的风暴和第4场飓风。艾琳的强度经过数次波动,令气象部门难以对其动向作出准确预测。8月10日时风暴几已消散,但到了8月16日却又已达到二级飓风的最高强度,最终在8月1
  • 董勤董勤(1964年7月-),汉族,籍贯浙江奉化,在职大学,高级会计师,1983年8月参加工作,2000年12月加入中国共产党。现任上海市国有资产监督管理委员会党委副书记。曾任上海良友新港储运有限公司党委书记、总经理。2010年10月,通过公开招聘,拟任上海良友(集团)有限公司总经理。2015年5月,光明食品集团与上海良友联合重组,董勤任总裁、党委副书记。2017年7月,调任上海市国有资产监督管理委员会党委副书记。
  • 喜欢!喜欢!!魔女老师《喜欢!喜欢!!魔女老师》(日语:好き! すき!! 魔女先生)是一套由东映制作的日本特摄作品,于1971年至1972年3月在日本朝日放送首播。从宇宙来到地球的月 光在东京做小学教师。她的真正身份其实是宇宙联合仙女座星云的和平监察员,也是亚尔法星的公主。用右手的戒指帮助学校的小学生,后来因恶势力要入侵地球,因此她就变身成安德鲁蒙面向恶势力挑战。Template:デフォルトソート:すきすきましよせんせい
  • 百略医学科技百略医学科技股份有限公司(英语:Microlife Corp.)为全球领先的消费型医疗器材公司。于1981年创立,在全球拥有 3,000 多名员工,总部座落台湾台北市内湖区。百略医学为全球最大数位体温量测产品供应商,全球前三大电子血压量测产品厂商。其产品包括:体温量测系统、血压量测系统、呼吸照护系统、血糖量测系统、电热产品、体重管理产品等,以“Microlife”为品牌名称,行销遍及全球80余国。百略医学于欧洲、美洲子公司分别设立于瑞士、英国、法国及美国佛罗里达州、伊利诺伊州。2018年满得投资收购Mic
  • 2022年10月逝世人物列表2022年10月逝世人物列表,是用于汇总2022年10月期间逝世人物的列表。