分体论 (逻辑学)

✍ dations ◷ 2025-04-05 00:09:16 #分体论,本体论,数学公理

在哲学方面,分体论(英文:Mereology;该单词源自希腊语“”;其中,词头“”意思是“部分”或者说“组成部分”,而词尾“”则指的是研究、学问、讨论和科学),是指一套与组成部分及其相应整体有关的公理化一阶理论。分体论既指的是谓词逻辑的一种应用,又指的是形式本体论的一个分支。

相关

  • 皮革皮革或称革,是指经鞣制等制革过程处理的动物皮肤,是一种服装和工艺材料。二十世纪以来还用聚氨酯、聚氯乙烯等合成高分子制造外观模仿皮革的材料,称为“人造革”。因此来自动物
  • 个体经济组织个体工商户,简称个体户(个体户一词的其他含义,请参见“个体户”),在中华人民共和国是指以个人财产或者家庭财产作为经营资本,依法经核准登记,并在法定的范围内从事非农业的工商经营
  • 祭祀祭祀,(英语:祭:sacrifice;祀:ritual;韩语:한국의 제사,罗马化:Jesa)是指以线香、酒水、肉类、蔬果,或布帛和玉(传统儒教祭祀)等供品向神灵、圣徒或者亡魂奉献、祈祷的一种行为。中国古代
  • 霍利奥克坐标:42°12′15″N 72°37′00″W / 42.20417°N 72.61667°W / 42.20417; -72.61667霍利奥克(英语:Holyoke),绰号纸城,是美国马萨诸塞州汉登县的一个城市,位于康涅狄格河西岸。面
  • 逆城市化逆城市化(英语:counterurbanization)或去城市化(de-urbanization)是人们从城市地区迁移到农村地区的人口和社会过程。与郊区化一样,它反而是和城市化密切相关的。逆城市化最初作为
  • 奥运奥林匹克运动会(希腊语:Ολυμπιακοί Αγώνες、法语:Jeux olympiques、英语:Olympic Games),简称奥运会、奥运,是国际目前最高等级的综合型体育赛事,由国际奥林匹克委
  • 青浦区青浦区是上海市的市辖区,区名因青龙镇而得名,原为青浦县。位于上海市西部淀山湖畔,西侧毗连苏州市的吴江区与昆山市,南侧与松江区、金山区及浙江省嘉善县相接,北部连接嘉定区,东侧
  • 吴市吴市(日语:呉市/くれし Kure shi */?)是位于日本广岛县西南部的都市,临濑户内海,自古以来即为海军重镇。人口约23万人,是广岛县内仅次于广岛市和福山市的第三大城市。已于2016年
  • 帕西格帕西格(英语:Pasig),又译巴石市,或称帕西市,是位于菲律宾马尼拉大都会的一个城市,于2007年人口为617,301人,辖区面积共31平方千米,下辖30个镇,东面与黎刹省接壤,是天主教帕西格教区所在
  • 血细胞计数板血球计数板是一种用于计数细胞的设备。它原先是被设计用作全血球计数的。血细胞计数板中分布 1 x 1 mm (1 mm2) 的小正方形框;这些正方形框又被进一步分为三种规格:0.25 x 0