So, I’m trying to interpret your proposal from an epistemic strategy perspective — asking how are you trying to produce knowledge.
It sounds to me like you’re proposing to start with very general formalization with simple mathematical objects (like objectivity being a sort of function, and participating in a goal increasing the measure on the states satisfying the predicate). Then, when you reach situations where the definitions are not constraining enough, like what Alex describes, you add further constraints on these objects?
I have trouble understanding how different it is from the “standard way” Alex is using of proposing a simple definition, finding where it breaks, and then trying to refine it and break it again. Rince and repeat. Could you help me with what you feel are the main differences?