[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