首页 >
元语言
✍ dations ◷ 2025-08-08 03:13: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}}}
的元语言中的元变量。解释是指对语言中的符号和文字赋予上意义。
相关
- 主要死因之一下表所示为2002年全年对世界范围内的人类死亡及致死原因的统计,由上而下,按各致死原因导致的死亡人数在总死亡人数中所占比例排列。如该表所计,该年份世界死亡人口总数约为57,0
- ε-变形菌纲详见细菌分类表ε-变形菌要么厄氏杆菌是变形菌中的一类,与δ-变形菌关系最近。医学导航:病菌细菌(分类)gr+f/gr+a(t)/gr-p(c/gr-o药物(J1p、w、n、m、疫苗)
- 心跳加剧心跳过速(tachycardia、tachyarrhythmia),也称心动过速、心跳过快。是指心跳速度超出了正常范围,达到每分钟一百次以上的现象。剧烈的体育运动、紧张、焦虑或服用某些药物等可能
- 奈替米星奈替米星(英语:Netilmicin)是一种半合成的氨基糖苷类抗生素,对需氧革兰阴性杆菌有强大抗菌活性,抗菌谱与庆大霉素相似,对大肠埃希菌、铜绿假单胞菌、吲哚阴性和阳性变形杆菌、克雷
- 香水香水是一种混合了香精油、固定剂与酒精的液体,用来让物体(通常是人体部位)拥有持久且悦人的气味。精油是取自于花草植物的蒸馏,比如说橙花或玫瑰。如果无法蒸馏的时候,就会使用脂
- A02BA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A02(治疗与胃酸分泌相关疾病的药物)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中
- 职业过劳根据世界卫生组织,职业过劳(英语:Burnout)是一种由慢性工作压力导致的症候群,症状包含“精神耗尽、对工作的心里距离增加、对工作的负面感觉、以及工作效率的减少”。职业过劳不
- 医疗错误医疗疏失,又称医疗过失、医疗错误、医疗失误,通常指可以被避免的医疗照护不良反应,无论它是否明显的被证明对病人有危害。它可能是源自于不精确或错误的诊断、或疗法。造成严重
- 利百加根据《圣经·创世纪》记载,利百加(希伯来语:רִבְקָה,Rivqa)是以撒(Issac)的妻子,非孪生兄弟以扫和雅各的母亲。她是亚伯拉罕兄弟拿鹤的孙女,彼土利的女儿,亚伯拉罕是以撒的父亲
- 蒸气蒸气是指处于液态或固态的物质的周围所包含的相同物质的气态组分。与纯的气态物质不同的是,蒸气必然伴随着相同物质的另一状态(固态或液态);如果固态或液态的物质完全转化为蒸气