首页 >
元语言
✍ dations ◷ 2025-08-28 20:17:11 #元语言
广义来说,元语言是指讨论或研究语言本身时所使用的语言或符号。在逻辑和语言学里,元语言是用来对其他语言(对象语言(英语:Object language))的句子形成另一个句子的语言。元语言通常会用斜体字、引号或写在单独一行里来和对象语言相区别。存在几种被承认的元语言,包括“内嵌”、“有序”和“嵌套”等。内嵌元语言是一个形式地、自然地且牢固地固定在一个对象语言之中的语言。此一想法出现于侯世达所著《哥德尔、埃舍尔、巴赫》之中。侯世达在书中讨论了形式语言和数论之间的关系:“数论的任何形式化都自然会有个元语言内嵌在其中”。这也出现在自然或非形式语言之中,如在英语里,形容词、副词和所有格代名词会构成一个内嵌元语言;名词、动词,有时还有形容词和副词则会构成一个对象语言。因此,词组“red barn”中的形容词“red”即是英语的内嵌元语言中的一个词;名词“barn”则是对象语言中的一个词。在词组“slowly running”中,动词“running”是对象语言中的一个词;而副词“slowly”则是内嵌元语言中的一个词。有序元语言可模拟于有序逻辑(英语:Noncommutative logic)。举例来说,有序元语言是建构一个元语言来讨论一个对象语言,接着再生成另一个元语言来讨论前者。嵌套元语言和有序元语言相似,每一层次结构都会代表更大程度的抽象化。不过,嵌套元语言和有序元语言之间也有不同的处,前者的上层元语言会包括下层的元语言。嵌套元语言的范式例子来自于生物学中的生物分类法。此系统中的每一层都由下一层所组成。用于讨论属的语言也可以用来讨论物种;用来讨论科的语言也可以用来讨论属;以此类推,直到界、域都是如此。有几个实体经常在元语言中出现。逻辑上,元语言所讨论的对象语言一般是形式语言,而且常常这门元语言自身也是形式语言。形式系统的演绎系统是由公理(或公理模式)和推理规则所组成的,可用来推导系统中的定理。元变量是指元语言中的一个或一组符号(英语:Symbol (formal)),可用来代表对象语言中的一个或一组符号。例如,在句子:符号A和B不是对象语言
L
{displaystyle {mathcal {L}}}
中的符号,而是用于讨论对象语言
L
{displaystyle {mathcal {L}}}
的元语言中的元变量。解释是指对语言中的符号和文字赋予上意义。
相关
- 拟菌病毒Acanthamoeba polyphaga mimivirus拟菌病毒是一个包括Acanthamoeba polyphaga mimivirus(APMV)的一个属,或许是与演化史相关的巨型病毒。通常所说的“拟菌病毒”就指APMV。在口
- 变性变性人又称换性、性转者(英语:Transsexual),其经历性别认同与其出生时的指定性别不一致或没有文化的相关性,并希望身体永久转变为符合他们的性别认同,通常寻求医疗援助(包括激素替
- 病历病历即医疗记录的集合,是民众至医疗机构接受医疗服务的所有医事相关记录。病历资料来源基本上是由医务人员,如医师、护理师、医技、麻配师、复健师、营养师等,在问诊、体格检查
- 免疫沉淀法免疫沉淀法(Immunoprecipitation, IP)是一种研究蛋白质间交互作用的生物技术,这种技术是将蛋白质视为抗原,并利用抗体与之进行特异性结合的特性,来进行研究。这项技术可用来将
- 天仙子胺天仙子胺(Hyoscyamine)是一种托烷类生物碱,作为次级代谢产物存在于天仙子,曼德拉草,曼陀罗花,番茄和颠茄等茄科植物。药物阿托品就是天仙子胺经提取处理后得到的消旋产物,因此天仙
- Α-葡聚糖α-葡聚糖(alpha glucan)是指由α-葡萄糖聚合形成的聚糖。淀粉(包括直链淀粉和支链淀粉)、糖原均属于α-葡聚糖。在淀粉和糖原分子中,主链的不同单体之间由α-1,4-糖苷键聚合而成
- 北宁市北宁市可以指:
- 乔治·贝克莱乔治·贝克莱(英语:George Berkeley,1685年3月12日-1753年1月14日),著名英裔爱尔兰哲学家,同时为圣公会驻爱尔兰科克郡克洛因镇的主教,与约翰·洛克和大卫·休谟被认为是英国近代经
- 方舱医院方舱医院是一种以方舱形式快速建成的模块化医院,这里指的是直接透过征用空间进行设置的大型医疗隔离所,有些甚至是大型活动场地与休课高校改建的。由于2019冠状病毒病疫情的爆
- 论元论元(Argument),也称行动元(Actant)、项,不及物动词主语也称变元,在句法学上指句子当中具有指称功能、强制补充谓语语义的名词性成分。这些谓语往往指的是动词(V)及其助动词;名词性成