Ancient Philosophy Today, Volume 4, Issue 1, Page 96-127, April, 2022.

A paradox about sets of properties is presented. The paradox, which invokes an impredicatively defined property, is formalized in a free third-order logic with lambda-abstraction, through a classically proof-theoretically valid deduction of a contradiction from a single premise to the effect that every property has a unit set. Something like a model is offered to establish that the premise is, although classically inconsistent, nevertheless consistent, so that the paradox discredits the logic employed. A resolution through the ramified theory of types (...) is considered. Finally, a general scheme that generates a family of analogous paradoxes and a generally applicable resolution are proposed. (shrink)

Imagine a sculptor who molds a lump of clay to create a statue. Hylomorphism claims that the statue and the lump of clay are two different colocated objects that have different forms, even though they share the same matter. Recently, there has been some discussion on the requirements of consistency for hylomorphist theories. In this paper, we focus on an argument presented by Maegan Fairchild, according to which a minimal version of hylomorphism is inconsistent. We argue that the argument is (...) unsound or, at best, it just points to a well-known problem for hylmorphist theories. Additionally, we explore some general consequences of this fact. (shrink)