首页 >
外延性
✍ dations ◷ 2025-06-06 22:51:59 #外延性
在数学中,外延性通常指称某种形式的。可追溯到莱布尼兹的原理,两个数学对象是相等的,如果没有区分它们的检验。例如,给出两个数学函数 f 和 g,我们可以说它们是相等的,如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义,如果函数范围 Y 对于两个也是公共的。在另一方面,如果我们在类型论的意义上通过附着到它们上的数据来区分函数,这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围,则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”,如果这么考虑,通常会同外延性相抵触。在公理化集合论中,外延性被表达为外延公理,它声称两个集合是相等的,当且仅当它们包含相同的元素。在 lambda 演算中,外延性被表达为 eta-变换规则,它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
,定义如下:这些功能在外延性的意义上是相同的;给定相同的输入,两个函数总是产生相同的值。但是函数的定义并不相同;但是在内涵定义比较时,这两个函数并不相同。在自然语言中,类似地存在许多谓词(关系),这些谓词本质上原来可能是不同涵义的,但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人,他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念,但解析整句后,对该“城镇”中有个“乔”“是最老的人”的外延性,则意义即等同。
相关
- 维生素D缺乏症维生素D缺乏症是缺乏维生素D所表现出来的一系列病症。这种疾病可能是由于人体摄入的维生素D不足,并且没有接受足够多的阳光照射(准确地说是阳光中的中波紫外线B光)导致的,也有可
- 费尔蒂综合征费尔蒂综合征(英语:Felty's syndrome,缩写作 FS)是一种罕见的自身免疫性疾病;其特别的三联征包括类风湿性关节炎、脾脏肿大(英语:splenomegaly)和血液的嗜中性白血球太少。它好发于
- 遇溺遇溺是因为液体进入肺部而导致缺氧,继而窒息。常见于游泳、船只沉没、海啸、潜水、意外及自溺。在很多国家都是12岁以下儿童的主要死因,例如在美国便是仅次于车祸。小童多是从
- 家猫猫(学名:Felis Catus或Felis silvestris catus),通常指家猫,为小型猫科动物。根据遗传学及考古学分析,人类驯养猫的纪录可追溯至10,000年前的肥沃月湾地区,古埃及人饲养猫的纪录可
- 工程核工程(英语:Nuclear engineering)是工程学的一门分支,是原子核物理学的工程应用层面,主要领域有核电、核医学、核子材料学与辐射度量等方面。但也和一些国际性议题有关连,如:核武
- 全身性发炎反应症候群全身炎症反应综合症(Systemic inflammatory response syndrome ,SIRS)是一个影响到整个身体的炎症反应。它是身体的应激性反应,是机体应对一种感染性或非感染性因素的方式。虽
- 查士丁尼法典《民法大全》(Corpus Juris(亦作Iuris) Civilis),又称《查士丁尼法典》或《国法大全》,是东罗马帝国皇帝查士丁尼一世下令编纂的一部汇编式法典,完成于公元529至565年。严格来说,《
- 胸管插入胸腔闭式引流术,又称“胸廓造口术、胸腔管手术”,是一种较为简单的外科手术。一般用于治疗各种胸腔积水、胸腔积液(英语:pleural effusion)和气胸等。过程是先进行局部麻醉后,在肋
- 弗雷格弗里德里希·路德维希·戈特洛布·弗雷格(德语:Friedrich Ludwig Gottlob Frege,宽式IPA:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","S
- 行为现代性行为现代性是一种人类学、考古学和社会学的术语。它用来指一组区分现今的人类和他们最近来自其他祖先灵长类动物和其他已灭绝的古人类谱系的特征。这个是由于智人能够使用复