The fact that most of math can be built from set theory is a good illustration of how the supposedly “reductionist” approach is actually quite constructive later on. I’m guessing you guys would argue that this is only because math is not concerned with accidents, properties, etc., right?
I’m not sure what you’re saying here. Are you likening the generality of set theory to theoretical reduction in science? I don’t see how the comparison is warranted or how an a priori formal science proceeding from the axioms of set theory could be considered “reductionist”.
This definition isn’t clear to me. Nature doesn’t really “classify” anything–we do.
I agree that nature does not classify. But the definition says that essence
determines the classification, not that nature
classifies. So that might be where we turn our attention.
Objects differ, sure, but we are the ones that decide whether certain objects need distinction from others for various purposes or whether it’s permissible to regard them as being the same.
Also confusing is the idea of “determination”. Is this determination causal? Is it just a logical implication?
I would say that it is related to formal-causal (rather than efficient-causal) considerations. (For that reason, it is not as strong or implausible of a claim as you seem to impute to it in your chair example.) Essence is a tinge epistemic; it is that by which we classify and define forms, which are the objective principles of unity of substances.
Let’s consider the position that “we are the ones that decide” essence. I’d claim that that position is inconsistent, since “we” are logically prior to our conventions, so the quantification over us presupposes that there is a non-conventional real definition of rational-deciders-of-essence, or what have you. Unless we are to say that we uniquely have non-conventional essences, which would be rather ad hoc, it is not possible to formulate such a conventionalism about essences. There is, then, a non-subjective ontological correlate of essence which “fixes the reference,” so to speak.
But this thinking doesn’t reflect how the language actually developed nor how the understanding was gained.
Well, our language is certainly oriented (for the most part) abount essences. But I think there is a simplification lurking in your chair example, in that it is overwhelmingly rare that we conscientiously define the reference of some kind of thing. That is mostly done in the sciences, where observation is removed so much as to make it necessary that we define things to correspond to the properties we are observing. (Electrons being an example.)
The other thing I’d point about chairs is that they are artifacts, ie. they have accidental forms, and their unity qua chair is accidental. (Their underlying proper parts are substances, which are what have substantial forms and natural essences, as I would claim. So there is a conventional aspect to calling things “chairs,” which I’m not interested in denying.)
But this seems arbitrary to me. You suggest that certain objects exist whose characteristics require accounting for, and you propose essences to fill the role. You then define essences so they don’t require similar treatment. But what’s stopping us from rejecting your initial premise altogether? Perhaps “properties”, the characteristics that need accounting for, don’t really exist. Maybe every object has characteristics and they just exist in their own right. I don’t see what we actually lose by doing this.
I don’t think it’s arbitrary. In a substance-accident ontology, substances are ontologically independent entities, and accidents are those things which inhere in them. (I’m using accident more or less interchangeably with “property,” but by property I mean an essential accident.)
Take any number of things that are not substances. It wouldn’t make sense to have an accident of an accident–or at least, it would not be an accident in the same sense as an accident of a substance. (One can have second-order predication, but it seems to me like second-order accidents would largely consist of non-intrinsic Cambridge relations.) Likewise, it would only equivocally make sense to say that proper names have “properties.” There is no presumption, then, in favor of the suggestion that entities of a different category of being than substances should have properties.
It reminds me of the cosmological argument. It is argued that we need God to explain the universe, and then God is defined so that he doesn’t require explanation. Why not simply define the universe to not require an explanation and skip a step? It’s the same assumption with one fewer entity.
Depends which cosmological argument we are talking about. Aquinas’s, for instance, do not take as a premise that the universe as a whole needs explanation. They start with specific instances of change or efficient causality or finality in the universe, and argue that such existences generate a regress which cannot be vicious or ungrounded. (So they basically argue that the universe on its own is not self-explanatory.) Such a regress must terminate in a specific sort of being, namely a being who lacks potencies. Only consequently do we argue that such a being has the divine attributes.