标签:#数学公理

共 2 篇文章

分体论 (逻辑学)

在哲学方面,分体论(英文:';该单词源自希腊语“'”;其中,词头“meros”意思是“部分”或者说“组成部分”,而词尾“-logy”则指的是研究、学问、讨论和科学),是指一套与组成部分及其相应整体有关的公理化一阶理论。分体论既指的是谓词逻辑的一种应用,又指的是形式本体论的一个分支。 参见 本体论 分体拓扑学 分體本質論 分體虛無主義 参考文献 Bunt, Harry, 1985. Mass terms and model-theoret…

分体拓扑学

在形式本体论(英语:)领域(形而上学的一个分支)以及在计算机与信息科学本体领域,分体拓扑学(英语:*')是一种关于整体、部分、部分之部分以及部分间边界之间关系的,用于具体表达分体论及拓扑学概念的一阶理论(英语:)。 歷史與研究動機 分體拓撲學開始於阿爾弗雷德·諾思·懷特黑德的理論,在1916年至1929年間闡述於他出版的一些著作及文章。懷特黑德的早期研究在尼彭(Kneebone)(1963年: chpt. 13.5)與西門(Simons…