元语言

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

相关

  • 儿科小儿科(或称儿科)是现代医学的一个分支,专门医疗患病的婴儿、儿童及青少年。最大的年龄通常至青春期。一个受到这方面知识专门训练的医生被称作儿科医生。
  • 核膜核膜(英语:nuclear membrane 或 karyotheca),又称核被膜或核封套(nuclear envelope)是包围真核细胞细胞核,分隔开细胞核和细胞质的生物膜。核膜由两层磷脂双分子层构成,厚度共约20-1
  • 细胞免疫细胞介导免疫(英语:Cell-mediated immunity)是一种免疫反应。细胞介导免疫会活化巨噬细胞、T细胞(CD4+或CD8+)并释放淋巴因子。不像体液免疫,其中没有抗体参与免疫反应。病原体被
  • 膀胱癌膀胱癌 泛指各种出自膀胱的恶性肿瘤,也就是有异常细胞大量增殖而不受管制。膀胱是贮存尿液的中空器官,外壁主要由肌肉构成,位于下腹部。最常见的膀胱癌细胞来自膀胱内面黏膜表
  • 专性营寄生的专性寄生物(obligate parasite)指寄生生物的生活史中有一个阶段或整个生活史期过寄生生活的。如没有经历过合适的宿主时,这些生物便无法完成其生活史,以致无法进行繁殖。与之相
  • 胎儿酒精综合症胎儿酒精谱系障碍(Fetal alcohol spectrum disorders,简称FASDs)又称胎儿酒精症候群,是母亲在妊娠期间酗酒对胎儿所造成的先天异常。症状包含外观异常、身材矮小、体重过轻、小
  • 核动力推进核动力推进,或核动力驱动,是一大类的推进系统使用核反应作为主要的功能装置,不特指船舰的动力,也可以是陆上,航天器的能量来源。很多潜艇,以及破冰船等使用核反应堆做为他们的动力
  • 月经月经(英语:menstruation, period, monthly,古代叫做癸水,俗称姨妈到、好朋友、大姨妈、来M等),是指女性血液或黏膜定期从子宫内膜经阴道排出体外的现象。高达80%女性曾表示在月经
  • 暑期工暑期工,Summer job,是一种夏天时期出现的短期工作,其人力资源是放暑假的学生。因为暑期工的因素,常令相关工种的人才市场在暑假时期,出现“供过于求”;又在开学前夕,出现“求过于供
  • 萨格勒布大学萨格勒布大学(克罗地亚语:Sveučilište u Zagrebu, 拉丁语:Universitas Studiorum Zagrabiensis)是克罗地亚最大的大学,同时也是维也纳以南的中欧地区及东南欧持续办学时间最长