元语言

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

相关

  • 代谢代谢(英语:Metabolism /məˈtæbəlɪzəm/,来自希腊语:μεταβολή / metabolē “改变”),亦称新陈代谢,是生物体内维持生命的化学反应的集合。代谢是生物体维持生命的化学
  • 腹泻腹泻(俗称拉肚子,广东俗称肚痾,台语俗称漏屎,中医称之为泄泻,英语:diarrhea, diarrhœa来自希腊语:διάρροια,包含两个字根:“διά /dia,经过”,以及“ῥέω/rheo,流动”)的定
  • 多粘菌素多粘菌素engpolymyxin是一类多肽类抗生素,由多粘芽孢杆菌产生。由于静脉给药可致严重肾毒性(英语:Nephrotoxicity)现已少用。但现在对其肾毒性有新的认识。主要包括:多粘菌素B(po
  • 同性婚姻同性婚姻过去在美国曾极具争议,仅在为数不多的判例中暧昧的未加以否定,最高法院在奥贝格费尔诉霍奇斯案的判决,各州亦须给予承认,并且不得拒绝发放结婚证书给予同性伴侣。最高法
  • 联合国日联合国日,于1948年由联合国大会宣布设立,以纪念于联合国宪章生效三周年。联合国日定为每年10月24日。联合国日的设立是意图让人们记住联合国的目标和成就。联合国日是10月20日
  • 中国疾病预防控制中心中国疾病预防控制中心(英语:Chinese Center for Disease Control and Prevention, CCDC),简称中国疾控中心,是由中华人民共和国政府举办的实施国家级疾病预防控制与公共卫生技术
  • 阿瓦尔汗国阿瓦尔汗国,是由来自东方的游牧民族阿瓦尔人以中欧潘诺尼亚平原为中心建立的政权。公元567年,伦巴底人寻求阿瓦尔人的帮助一同进攻格皮德人,胜利后阿瓦尔人又说服伦巴底人迁往
  • 圣奥古斯丁希波的奥古斯丁,罗马天主教会官方称希波的奥斯定(拉丁语:Augustinus Hipponensis;英语:Augustine of Hippo)或圣奥思定(英语:Saint Augustine 或 Saint Austin),俗称圣奥古斯丁。原称
  • 普鲁卡因普鲁卡因(英文:Procaine),它的商品名为奴佛卡因(英文:Novocaine),一种局部麻醉药。最初用于缓解肌肉注射青霉素引起的疼痛,也用于牙科手术。作用主要是钠离子通道阻滞剂。普鲁卡因是
  • 胰脏也称胰腺(英语:Pancreas),旧称膵、脺,脊椎动物具有外、内分泌功能的腺体;外分泌由腺泡、连通肠腔的导管组成,腺泡分泌多种消化酶,导管上皮细胞分泌碳酸氢盐、钠、钾、氯等离子和