[MD] A problem with the MOQ.
Tuukka Virtaperko
mail at tuukkavirtaperko.net
Wed Apr 25 07:02:50 PDT 2012
Ron, all,
> I said:
> The formal approach is useful for solving disputes. I have formally
> defined Dynamic Quality as a nonrelativizably used predicate. This
> definition is only about the predicate, and not about what the
> predicate refers to - hence, it is no "proper" or "usual" definition.
> But it is enough to use a derivative of the MOQ - the SOQ - to present
> a clear account of a problem in an unrelated theory: the CTMU.
>
I am reluctant to correct mistakes or inadequacies in my statements,
because that would mean I get closer to the daily post limit, but let's
do it this time. This is not right: "This definition is only about the
predicate, and not about what the predicate refers to - hence, it is no
'proper' or 'usual' definition."
This is right: "This definition is only about the use of the predicate,
and not about the predicate itself - hence, it is no 'proper' or 'usual'
definition."
Tuukka
More information about the Moq_Discuss
mailing list