首页 >
元语言
✍ dations ◷ 2025-10-06 15:50:44 #元语言
广义来说,元语言是指讨论或研究语言本身时所使用的语言或符号。在逻辑和语言学里,元语言是用来对其他语言(对象语言(英语:Object language))的句子形成另一个句子的语言。元语言通常会用斜体字、引号或写在单独一行里来和对象语言相区别。存在几种被承认的元语言,包括“内嵌”、“有序”和“嵌套”等。内嵌元语言是一个形式地、自然地且牢固地固定在一个对象语言之中的语言。此一想法出现于侯世达所著《哥德尔、埃舍尔、巴赫》之中。侯世达在书中讨论了形式语言和数论之间的关系:“数论的任何形式化都自然会有个元语言内嵌在其中”。这也出现在自然或非形式语言之中,如在英语里,形容词、副词和所有格代名词会构成一个内嵌元语言;名词、动词,有时还有形容词和副词则会构成一个对象语言。因此,词组“red barn”中的形容词“red”即是英语的内嵌元语言中的一个词;名词“barn”则是对象语言中的一个词。在词组“slowly running”中,动词“running”是对象语言中的一个词;而副词“slowly”则是内嵌元语言中的一个词。有序元语言可模拟于有序逻辑(英语:Noncommutative logic)。举例来说,有序元语言是建构一个元语言来讨论一个对象语言,接着再生成另一个元语言来讨论前者。嵌套元语言和有序元语言相似,每一层次结构都会代表更大程度的抽象化。不过,嵌套元语言和有序元语言之间也有不同的处,前者的上层元语言会包括下层的元语言。嵌套元语言的范式例子来自于生物学中的生物分类法。此系统中的每一层都由下一层所组成。用于讨论属的语言也可以用来讨论物种;用来讨论科的语言也可以用来讨论属;以此类推,直到界、域都是如此。有几个实体经常在元语言中出现。逻辑上,元语言所讨论的对象语言一般是形式语言,而且常常这门元语言自身也是形式语言。形式系统的演绎系统是由公理(或公理模式)和推理规则所组成的,可用来推导系统中的定理。元变量是指元语言中的一个或一组符号(英语:Symbol (formal)),可用来代表对象语言中的一个或一组符号。例如,在句子:符号A和B不是对象语言
L
{displaystyle {mathcal {L}}}
中的符号,而是用于讨论对象语言
L
{displaystyle {mathcal {L}}}
的元语言中的元变量。解释是指对语言中的符号和文字赋予上意义。
相关
- 纵隔疾病纵膈(mediastinum)是描述胸腔中心为疏松结缔组织所包围的构造,并无一个明显的界限。本区域包含许多解剖构造,包含心脏及其周围血管系统、食道、气管、膈神经(英语:phrenic nerve)、
- Ibuprofen布洛芬(英语:Ibuprofen,商品名:芬必得、普罗芬),是一种非类固醇消炎药(NSAID),用来止痛,退烧和消炎。可用于治疗经痛、偏头痛,和类风湿性关节炎。大约60%的人在使用任意一种NSAID后症状
- 厌氧菌厌氧生物,或称厌气生物,是指一种不需要氧气生长的生物。它们大致上可以分为三种,即专性厌氧生物、兼性厌氧生物及耐氧厌氧生物 。人体内的厌氧生物多存在于消化系统中,有些种类
- 颅内出血颅内出血(ICH)是头部颅骨内出血。这种情况可能导致血液或血块压迫到脑神经造成脑神经坏死。颅内出血包含:脑室内出血(英语:intraventricular bleed)和脑实质性出血(英语:intraparenc
- 人口老化人口老龄化又称人口老化或人口高龄化、老龄化社会,是指因出生率降低和/或预期寿命延长导致年龄中位数增加的现象。大多数发达国家人口长寿,老龄人群变多;但发展中国家目前也出
- 陀瑟他《陀瑟他》(亚拉姆语:תוספתא,英语:Tosefta),犹太教的经典之一,源自于《米书拿》(Mishnah)的时代,是犹太口传律法的集合。《米书拿》(Mishnah)是犹太教口传律法的最基本部分,大约在
- 墨尔森梅尔森(荷兰语:Meerssen)是荷兰的一座城市和市镇,位于荷兰东南部,在行政区划上属于林堡省。《梅尔森条约》于870年在这里签署。
- APP1AAP, 1AMB, 1AMC, 1AML, 1BA4, 1BA6, 1BJB, 1BJC, 1BRC, 1CA0, 1HZ3, 1IYT, 1MWP, 1OWT, 1QCM, 1QWP, 1QXC, 1QYT, 1TAW, 1TKN, 1UO7, 1UO8, 1UOA, 1UOI, 1X11, 1Z0Q, 1ZE7
- IgE抗体免疫球蛋白E(英语:Immunoglobulin E,简称IgE)是一类只发现于哺乳动物内的抗体,是正常人血清中含量最小的免疫球蛋白。免疫球蛋白E由黏膜下淋巴组织中的效应B细胞合成,IgE的单体由
- 神经纤维瘤神经纤维瘤病(NF)有三种情况,其肿瘤于神经系统生长。 这三种类型是神经纤维瘤I型(NF1),神经纤维瘤II型(NF2)和神经鞘瘤。 在NF1中症状包括皮肤上的浅褐色斑点、腋窝和腹股沟有斑、神