Before revision: circular and contradictory definitions); introduced an option that has an internally consistent structure supported by Russell’s theory of types; defined declarative semantics à la Tarski; and was justified on the basis of philosophical and natural science foundations (in contrast to UML which is a result of tries, failures and successes that were never theoretically justified).
After revision: circular contradictory definitions); introduced an option that has an internally consistent structure supported by Russell’s theory of types; defined declarative semantics à la Tarski; and was justified on the basis of philosophical and natural science foundations (in contrast to UML which is a result of tries, failures and successes that were never theoretically justified).