My real motivation behind all of this is to introduce a historic perspective that brings into relief an alternative approach. The alternative approach involves the same ambition to achieve a logically rigorous approach to the problem but which is not incompatible with system building aspirations. I am talking here of the Stoics, historic enemies of Aristotle and his Categories - the first of the logical system builders. In order to understand this approach one must become more analytic that the Analytic Philosophers, as I hope to sketch out in the few following words. Thus, consider now an alternative view based on the first classness of object and properties.
Every property is an object and every object can be considered as a property.
This is Stoic country. Let's start by using the more convenient construct of an object being defined as an instance of a type. Which comes first is a somewhat chicken and egg situation as the type is itself an object. One way of interpreting a type entity specifying the object instances is to consider it as being expressible in terms of a proposition. In the perspective of first classness, the proposition, as well as specifying an object, must be an object in its own right.