<p>An object is said to be <i>thin</i> when its existence makes no demands on reality beyond those already made by the existence of certain other objects. Mereological sums are often taken to be thin in this sense, since many metaphysicians have maintained that a sum is nothing over and above the objects that compose it. In this paper, I develop an abstractionist account of the existence and thinness of mereological sums. Specifically, I show that <i>Classical Extensional Mereology</i> and <i>Universalist Mereology</i>, a much weaker non-extensional system that does not prove any supplementation principle, can both be axiomatized via appropriate abstraction principles for sums. I conclude by commenting on the philosophical significance of these results.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Mereological Sums via Abstraction Principles

  • Pietro Berardi Gili

摘要

An object is said to be thin when its existence makes no demands on reality beyond those already made by the existence of certain other objects. Mereological sums are often taken to be thin in this sense, since many metaphysicians have maintained that a sum is nothing over and above the objects that compose it. In this paper, I develop an abstractionist account of the existence and thinness of mereological sums. Specifically, I show that Classical Extensional Mereology and Universalist Mereology, a much weaker non-extensional system that does not prove any supplementation principle, can both be axiomatized via appropriate abstraction principles for sums. I conclude by commenting on the philosophical significance of these results.