Hi Mike - I would express the relation "X is bigger than Y" as "X is bigger than Y"! There is no question of changing this into an Aristotelian proposition "X is [bigger than Y]" - this is not the point. This proposition "X is bigger than Y" is treated by ordinary language logic exactly as it stands, or even as "X > Y". The only difference is that we should not engage in pretentious claims that symbolizing it in accord with the conventions of modern logic somehow magically makes it something special, more profound, like some sort of incantation. Behind symbols are always ordinary language. Thus, the claim that modern logic brings something new to logic that classical logic cannot handle is just so much hype.
