元语言

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

相关

  • 喹诺酮喹诺酮(英语:quinolone)是一类人工合成的含4-喹诺酮基本结构,对细菌DNA螺旋酶具有选择性抑制的抗菌剂。1962年最早的喹诺酮类药物萘啶酸首先用于临床,由于其抗菌谱窄、口服吸收差
  • 50S50核糖体亚基是原核细胞内70S核糖体中的较大亚基。该亚基由一条5S rRNA、一条23S rRNA及约34个核糖体蛋白质分子构成,在原核翻译中负责在tRNA转运来的氨基酸分子之间形成肽键
  • 链球菌属等链球菌(学名:Streptococcus)是一类球形的革兰氏阳性细菌,属于厚壁菌门的一个属。这些细菌细胞分裂时总是沿一个轴,所以通常成对或者链状的。因为这些特征,他们被称作“链球菌”,
  • 太平洋西北地区太平洋西北地区(英语:Pacific Northwest)是指美国西北部地区和加拿大的西南部地区,又称“卡斯卡迪亚”(Cascadia;得名自喀斯喀特山脉),主要包括阿拉斯加州东南部、不列颠哥伦比亚省
  • 图像式思考辅助工具图像式思考辅助工具是一种将知识、概念或构思表利用视觉方式表达出来的方法,主要用于脑力激荡法(brainstorming)过程中,将各人的思想记录下来,以便将来向其他人重新覆述各人的思
  • 欧亚大陆欧亚大陆或亚欧大陆是亚细亚洲大陆和欧罗巴洲大陆的合称。面积5473.8万平方公里。亚、欧二大陆单从地理学方面来归类应属同一个、地球表面面积最大的洲。亚洲与欧洲的分别主
  • 内塞伯尔内塞伯尔(保加利亚语:Несебър、拉丁化:Nesebar)是保加利亚的一座历史古城,今天则是布尔加斯州的一个沿海度假城市。在色雷斯语中的名称是Menebria、现代希腊语中的名称是
  • 奥卡姆的威廉奥卡姆的威廉(William of Ockham/Occam,约1285年-1349年),又译为奥坎、奥康,出生于英格兰的萨里郡奥卡姆(Ockham),在大学注册为奥卡姆的威廉。14世纪逻辑学家、圣方济各会修士。奥卡
  • 苏丹二号苏丹二号(Sudan II,C18H16N2O)是一种脂肪偶氮染色剂,常用于冻结切片的甘油三酯的染色。正常状况下是红色粉状物。工业上常用于油、蜡等非极性物质的染色。铁及含铁血黄素(英语:Hem
  • 喙是鸟类上下颌包被的硬角质鞘,相当于哺乳动物吻突、唇和齿的功能。喙的主要功能是取食和梳理羽毛。某些恐龙也有类似的构造,不过不一定与鸟类同源。达尔文正是研究了加拉帕戈