分体论 (逻辑学)

✍ dations ◷ 2025-10-23 04:04:02 #分体论,本体论,数学公理

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

相关

巴斯德消毒法巴氏消毒法（法语：Pasteurisation），法国生物学家路易·巴斯德于1864年发明的消毒方法，原理是用60~90°C的短暂加热，来杀死液体中的微生物，以达到保质的效果；确切温度和时间依照液体的
撒丁岛坐标：40°00′N 09°00′E / 40.000°N 9.000°E / 40.000; 9.000撒丁岛（意大利语：Sardegna，，撒丁语：Sardìgna, Sardìnnia）位于意大利半岛的西南方，是地中海的第二大岛，仅次于西西
别构位点别构调节（Allosteric regulation，源自希腊语allos——“其他”、stereos——“固态（物体）”）又称变构调节、异构调节或是异位调节，是酶活性调节的一种机制，也称为变构调节。其原理
炭炭可以指：
西蒙·怀特西蒙·大卫·曼顿·怀特，FRS （英语：Simon David Manton White，1951年9月30日－），英国、德国理论宇宙学家，与夫人桂妮薇尔·考夫曼同为马克斯·普朗克天体物理研究所所长。怀特1972年
模组模块是指由数个基础功能组件组成的特定功能组件，可用来组成具完整功能之系统、设备或程序。模块通常都会具有相同的制程或逻辑，更改其组成组件可调适其功能或用途。模块也可以
TCM电影资料库特纳经典电影频道（英语：Turner Classic Movies）是美国有线电视电影频道和卫星电视联播网络，由华纳媒体旗下子公司特纳广播公司经营，总部设在乔治亚州亚特兰大中心商务区帝格伍德
克劳斯-玛菲克劳斯-玛菲（德语：Krauss-Maffei）是德国一家机械工程企业，总部设于慕尼黑。克劳斯-玛菲是全球领先的塑料及天然橡胶机械设备企业，并在该领域拥有全球唯一的机械技术：注塑和反应发
陈策陈策（1552年－1621年），字纯伯，一字翼所，莞城镇（今广东东莞莞城镇）人，明朝将领。陈策于明万历四年（1576年）和十三年（1585年）中武举，十四年（1586年）中进士，授广州左卫所镇抚，后任恩阳守备。作战积
铁线桥通济宫铁线桥通济宫位于台湾台南市新营区铁线里，分为新庙与旧庙，其中旧庙于民国八十七年（1998年）2月13日被列为“县(市)定古迹”。该庙主祀妈祖，信徒分布最广时辖境分为东西堡，共二十六