首页 >
元语言
✍ dations ◷ 2025-04-04 11:15:00 #元语言
广义来说,元语言是指讨论或研究语言本身时所使用的语言或符号。在逻辑和语言学里,元语言是用来对其他语言(对象语言(英语:Object language))的句子形成另一个句子的语言。元语言通常会用斜体字、引号或写在单独一行里来和对象语言相区别。存在几种被承认的元语言,包括“内嵌”、“有序”和“嵌套”等。内嵌元语言是一个形式地、自然地且牢固地固定在一个对象语言之中的语言。此一想法出现于侯世达所著《哥德尔、埃舍尔、巴赫》之中。侯世达在书中讨论了形式语言和数论之间的关系:“数论的任何形式化都自然会有个元语言内嵌在其中”。这也出现在自然或非形式语言之中,如在英语里,形容词、副词和所有格代名词会构成一个内嵌元语言;名词、动词,有时还有形容词和副词则会构成一个对象语言。因此,词组“red barn”中的形容词“red”即是英语的内嵌元语言中的一个词;名词“barn”则是对象语言中的一个词。在词组“slowly running”中,动词“running”是对象语言中的一个词;而副词“slowly”则是内嵌元语言中的一个词。有序元语言可模拟于有序逻辑(英语:Noncommutative logic)。举例来说,有序元语言是建构一个元语言来讨论一个对象语言,接着再生成另一个元语言来讨论前者。嵌套元语言和有序元语言相似,每一层次结构都会代表更大程度的抽象化。不过,嵌套元语言和有序元语言之间也有不同的处,前者的上层元语言会包括下层的元语言。嵌套元语言的范式例子来自于生物学中的生物分类法。此系统中的每一层都由下一层所组成。用于讨论属的语言也可以用来讨论物种;用来讨论科的语言也可以用来讨论属;以此类推,直到界、域都是如此。有几个实体经常在元语言中出现。逻辑上,元语言所讨论的对象语言一般是形式语言,而且常常这门元语言自身也是形式语言。形式系统的演绎系统是由公理(或公理模式)和推理规则所组成的,可用来推导系统中的定理。元变量是指元语言中的一个或一组符号(英语:Symbol (formal)),可用来代表对象语言中的一个或一组符号。例如,在句子:符号A和B不是对象语言
L
{displaystyle {mathcal {L}}}
中的符号,而是用于讨论对象语言
L
{displaystyle {mathcal {L}}}
的元语言中的元变量。解释是指对语言中的符号和文字赋予上意义。
相关
- 立克次氏体目立克次体目是变形菌门中的一目,大部分已知的物种都只是以其他细胞的内共生体的形式存在。其中有一些是很有名的病原体,包括立克次体,它引起许多人类的疾病。另一方面,对立克次体
- U00-U99ICD-10 第二十二章:特殊目的代码,即国际疾病与相关健康问题统计分类第十版最后一个代码分类。是WHO特别设立、为一些因临时突发性疾病及事件余留的代码区域,以便于对突发事件进
- 信息信息(英语:Information),又称情报,是一个严谨的科学术语,其定义不统一,是由它的极端复杂性决定的,获取信息的主要方法为六何法。信息的表现形式多不胜数:声音、图片、温度、体积、颜
- 真核延伸因子真核延伸因子有两种:真核延伸因子1(eEF-1)和真核延伸因子2(eEF-2)。氨酰-tRNA合成酶 · 阅读框架 · 起始密码子 · 终止密码子 · 核糖体结合位点:夏因-达尔加诺序列(+/-) · 科扎
- 雀麦花叶病毒科雀麦镶嵌病毒科(Bromoviridae)是病毒的一个科,包括下面五个属
- 狭窄二尖瓣狭窄是一种较为常见的心瓣膜病。在正常情况下,二尖瓣在左心室舒张时打开,使血液从左心房流入左心室。患有二尖瓣狭窄症的病人二尖瓣在左心室舒张时不能够完全开放,使左心
- 唐纳德·戴维森唐纳德·赫伯特·戴维森(英语:Donald Davidson,1917年3月6日-2003年8月30日)20世纪下半叶美国最为著名和活跃的哲学家之一。戴维森1917年3月6日生于美国麻省斯普林菲尔德。在早期
- 以利亚以利亚(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey A
- 摄护腺前列腺'(英语:prostate,又称摄护腺)为雄性哺乳动物生殖系统中的一个器官,属外分泌腺。与女性的斯基恩氏腺同源。前列腺是雄性哺乳动物生殖系统中的一个器官,属外分泌腺。在解剖学
- 亚美尼亚亚美尼亚国家图书馆(亚美尼亚语: Հայաստանի Ազգային Գրադարան)是亚美尼亚的国家图书馆,位于该国首都耶烈万,1832年创建。现在的建筑则建造于1939年,由亚