元语言

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

相关

  • 诺贝尔化学奖诺贝尔化学奖(瑞典语:Nobelpriset i kemi)是诺贝尔奖的奖项之一,由瑞典皇家科学院从1901年开始负责颁发。每年于12月10日,即阿尔弗雷德·诺贝尔逝世周年纪念日颁发。根据诺贝尔的
  • 加卫苗加卫苗,(亦作Gardasil、Gardisil、Silgard、recombinant human papillomavirus vaccine ),是人类乳突病毒疫苗的一种,用于预防特定毒株的人类乳突病毒(HPV),特别是6,11,16和18型。约7
  • 新石器时代新石器时代(Neolithic),在考古学上是石器时代的最后一个阶段,以磨制石器和制作陶器为主,大约从1万年前开始,结束时间从距今10000多年至2000多年不等。不过,在有些地区,如中美洲,在西
  • 脊肌萎缩症伴有进行性肌阵挛性癫痫脊髓性肌萎缩伴进行性肌阵挛性癫痫(spinal muscular atrophy with progressive myoclonic epilepsy,SMA-PME),有时也称Jankovic-Rivera综合征(Jankovic–Rivera syndrome),是一种非
  • 子囊果子囊果(ascocarp, ascoma,複數為ascomata)是子囊菌门真菌的子实体,由许多菌丝紧密交织组成。子囊果内可能含有上百万个子囊,每个子囊内均可产生八枚子囊孢子。子囊果的形状多为盘
  • 传感器传感器(英语:Sensor)是用于侦测环境中所生事件或变化,并将此消息发送出至其他电子设备(如中央处理器)的设备,通常由敏感组件和转换组件组成。传感器是一种物理设备或生物器官,能够探
  • 汽化热汽化热(沸腾焓)是物质的物理性质,比潜热的一种,一般用 L {\displaystyle L} 表示。其定义为:在标准大气压(101.325 kPa)下,使一莫耳物
  • 洪涛洪涛(1931年12月26日-),山东荣成人,中华人民共和国科学家、中国工程院院士。早年毕业于山东医学院,后进入罗马尼亚科学院病毒学研究所获博士学位。1971年,担任中国医学科学院流行病
  • 托儿所托可以指:
  • JoystiqJoystiq是一个电子游戏博客,成立于2004年6月。原为Weblogs(英语:Weblogs, Inc.)公司拥有,后属美国在线旗下。其为美国在线的主要电子游戏博客,主要关注大型多人在线角色扮演游戏(MM