首页 >
元语言
✍ dations ◷ 2025-10-16 08:45:13 #元语言
广义来说,元语言是指讨论或研究语言本身时所使用的语言或符号。在逻辑和语言学里,元语言是用来对其他语言(对象语言(英语:Object language))的句子形成另一个句子的语言。元语言通常会用斜体字、引号或写在单独一行里来和对象语言相区别。存在几种被承认的元语言,包括“内嵌”、“有序”和“嵌套”等。内嵌元语言是一个形式地、自然地且牢固地固定在一个对象语言之中的语言。此一想法出现于侯世达所著《哥德尔、埃舍尔、巴赫》之中。侯世达在书中讨论了形式语言和数论之间的关系:“数论的任何形式化都自然会有个元语言内嵌在其中”。这也出现在自然或非形式语言之中,如在英语里,形容词、副词和所有格代名词会构成一个内嵌元语言;名词、动词,有时还有形容词和副词则会构成一个对象语言。因此,词组“red barn”中的形容词“red”即是英语的内嵌元语言中的一个词;名词“barn”则是对象语言中的一个词。在词组“slowly running”中,动词“running”是对象语言中的一个词;而副词“slowly”则是内嵌元语言中的一个词。有序元语言可模拟于有序逻辑(英语:Noncommutative logic)。举例来说,有序元语言是建构一个元语言来讨论一个对象语言,接着再生成另一个元语言来讨论前者。嵌套元语言和有序元语言相似,每一层次结构都会代表更大程度的抽象化。不过,嵌套元语言和有序元语言之间也有不同的处,前者的上层元语言会包括下层的元语言。嵌套元语言的范式例子来自于生物学中的生物分类法。此系统中的每一层都由下一层所组成。用于讨论属的语言也可以用来讨论物种;用来讨论科的语言也可以用来讨论属;以此类推,直到界、域都是如此。有几个实体经常在元语言中出现。逻辑上,元语言所讨论的对象语言一般是形式语言,而且常常这门元语言自身也是形式语言。形式系统的演绎系统是由公理(或公理模式)和推理规则所组成的,可用来推导系统中的定理。元变量是指元语言中的一个或一组符号(英语:Symbol (formal)),可用来代表对象语言中的一个或一组符号。例如,在句子:符号A和B不是对象语言
L
{displaystyle {mathcal {L}}}
中的符号,而是用于讨论对象语言
L
{displaystyle {mathcal {L}}}
的元语言中的元变量。解释是指对语言中的符号和文字赋予上意义。
相关
- 抗胆碱能药抗胆碱剂(英语:anticholinergic agent)是一种在中央神经系统与周围神经系统,阻断神经递质乙酰胆碱的物质。抗胆碱剂经由选择性阻断乙酰胆碱神经递质连结其神经细胞的受体,抑制副
- 人类体质人类学 文化人类学 语言人类学 分子人类学 社会人类学 考古学应用人类学 民族志 参与观察 文化相对论文化 • 社会 史前史 • 人类演化 亲属 婚姻 • 家庭 物质文化 种
- 野火山火,又称野火、林火、森林大火、森林火灾,是一种通常发生在林野间难以控制的火情。通常是由闪电引起的,其他一些常见的原因有人为疏忽、故意纵火、火山爆发和火山碎屑云,热浪、
- 干癣性关节炎干癣性关节炎(英语:psoriatic arthritis 或简称为干癣关节炎 英语:PsA)是一种长期慢性的发炎性关节炎(英语:inflammatory arthritis),发生在患有干癣(一种自身免疫性疾病)的病人身上。
- 美味牛肝菌美味牛肝菌(学名:Boletus edulis)是一种可食用的蘑菇,也称大腿蘑、网纹牛肝菌,属于真菌类。美味牛肝菌的子实体为肉质,伞盖褐色,直径最大可达25厘米,1千克重,菌盖厚,下面有许多小孔,类
- 演化经济学演化经济学研究竞争中变化发展的市场过程,对应于静态均衡的新古典经济学。它以历史的不可逆视角观察经济现象。它研究开放的系统,关注变革、学习、创造。竞争过程是非均衡的,具
- 儿汤郡儿汤郡(日语:児湯郡/こゆぐん Koyu gun */?)是日本宫崎县辖下的一个郡。现辖有以下5町1村:过去的辖区曾包括现在的西都市全境和日向市的部分地区。
- 风土地方性流行(Endemic)又称地方病或风土病,在流行病学中,指毋须从外界输入,便能在人口内持续出现的疾病,例如:在英国,水痘是地方性流行病,而疟疾并不是。虽然每年在英国都会出现数宗本
- 阿玛斯拉阿玛斯拉(土耳其语:Amasra)位在土耳其的巴尔滕省,是一座位于黑海南部的港口城市。今日,阿玛斯拉小镇以它所拥有的海滩和自然环境而备受游客的青睐,旅游业成为当地居民最重要的经济
- 检体活体组织切片(biopsy),从动物或人类身上取下少量活组织作病理学诊断的一种检查方法。活检对肿瘤的临床诊断有重要意义,不仅可以确定其组织分类,还可确定其良性或恶性,为治疗提供依