元语言

✍ dations ◷ 2025-04-26 13:29:37 #元语言
广义来说,元语言是指讨论或研究语言本身时所使用的语言或符号。在逻辑和语言学里,元语言是用来对其他语言(对象语言(英语:Object language))的句子形成另一个句子的语言。元语言通常会用斜体字、引号或写在单独一行里来和对象语言相区别。存在几种被承认的元语言,包括“内嵌”、“有序”和“嵌套”等。内嵌元语言是一个形式地、自然地且牢固地固定在一个对象语言之中的语言。此一想法出现于侯世达所著《哥德尔、埃舍尔、巴赫》之中。侯世达在书中讨论了形式语言和数论之间的关系:“数论的任何形式化都自然会有个元语言内嵌在其中”。这也出现在自然或非形式语言之中,如在英语里,形容词、副词和所有格代名词会构成一个内嵌元语言;名词、动词,有时还有形容词和副词则会构成一个对象语言。因此,词组“red barn”中的形容词“red”即是英语的内嵌元语言中的一个词;名词“barn”则是对象语言中的一个词。在词组“slowly running”中,动词“running”是对象语言中的一个词;而副词“slowly”则是内嵌元语言中的一个词。有序元语言可模拟于有序逻辑(英语:Noncommutative logic)。举例来说,有序元语言是建构一个元语言来讨论一个对象语言,接着再生成另一个元语言来讨论前者。嵌套元语言和有序元语言相似,每一层次结构都会代表更大程度的抽象化。不过,嵌套元语言和有序元语言之间也有不同的处,前者的上层元语言会包括下层的元语言。嵌套元语言的范式例子来自于生物学中的生物分类法。此系统中的每一层都由下一层所组成。用于讨论属的语言也可以用来讨论物种;用来讨论科的语言也可以用来讨论属;以此类推,直到界、域都是如此。有几个实体经常在元语言中出现。逻辑上,元语言所讨论的对象语言一般是形式语言,而且常常这门元语言自身也是形式语言。形式系统的演绎系统是由公理(或公理模式)和推理规则所组成的,可用来推导系统中的定理。元变量是指元语言中的一个或一组符号(英语:Symbol (formal)),可用来代表对象语言中的一个或一组符号。例如,在句子:符号A和B不是对象语言 L {displaystyle {mathcal {L}}} 中的符号,而是用于讨论对象语言 L {displaystyle {mathcal {L}}} 的元语言中的元变量。解释是指对语言中的符号和文字赋予上意义。

相关

  • 死亡焦虑死亡焦虑是由死亡想法引起的焦虑。 其一将死亡焦虑定义为当一个人想到死亡的过程,或者停止'存在'时,死亡焦虑被定义为"恐惧、忧虑或焦虑的感觉"。其二为死亡恐惧症(死亡恐怖症
  • 呼吸道合胞体病毒人类呼吸道合胞病毒,又称呼吸道融合病毒,简称HRSV(Human Respiratory Syncytial Virus),为副黏液病毒科肺病毒属中型单链RNA病毒,分为A,B两型, A,B两型之主要差异在于病毒外膜表面
  • 针灸针灸是针法和灸法的合体。中医学中采用针刺或火灸人体穴位来治疗疾病,是联合国教科文组织认定的人类非物质文化遗产代表作。根据中医学理论,通过刺激穴位可以改善经络中的气的
  • 瑞士欧洲(深灰色)瑞士联邦(德语:Schweizerische Eidgenossenschaft;法语:Confédération suisse;意大利语:Confederazione Svizzera;罗曼什语:Confederaziun svizra;英语:Swiss Confederati
  • 工业第二产业,又称第二级产业,是指位处一件产品的生产链中层的行业,这些行业在一件产品的生产链中担任原料加工的工作,是该产品自生产至供应市场的中间阶段。每样产品都有自己独有的
  • 联合国改革联合国改革,自从联合国产生之日起,就在不断进行。联合国改革一词的指涉范围很广,包括从希望消灭联合国的到希望联合国有全面功能主张的支持者,都称他们的看法为联合国改革。而联
  • 苔原气候苔原气候是极地气候两大类型之一,在柯本气候分类法中标记为ET。北半球主要分布于亚洲、欧洲及北美的北冰洋沿岸地区;南半球同纬度地区为海洋所覆盖,除南极洲沿海个别岛屿以外,基
  • 马更些河马更些河(英语:Mackenzie River,斯里夫语:Deh-Cho),是一条北美洲的河流,也是北美洲第二大水系(总长4,241公里),仅次于密西西比河。马更些河发源于加拿大西北地区的大奴湖,将支流芬利河
  • 顺视黄酸维A酸(Tretinoin、ATRA),又称全反式维甲酸及视黄酸,分子式:C20H28O2,分子量300.44,CAS号302-79-4,熔点180℃。医学导航: 皮肤附件解剖/生理/发育病理/先天/肿瘤, 症状/齐名手术,
  • 高胱胺酸尿症高胱氨酸尿症(英语:Homocystinuria)是一种遗传病,其会导致体内堆积甲硫氨酸、高胱氨酸、高半胱氨酸及复合双硫化合物,造成智能不足、骨骼畸型、心脏血管疾病等。此遗传病的发生率