--- In Wittrs@xxxxxxxxxxxxxxx, Joseph Polanik <jPolanik@...> wrote: > Formalization of CRA Let me see if I understand what you have done. You have provide a formal argument. That is, your argument amounts to a mere mechanical manipulation of meaningless marks. On the basis of that syntactic argument you reach a semantic conclusion. And that semantic conclusion is that syntactic arguments cannot lead to semantic conclusions. It seems to be a mind boggling example of a self-refuting argument. Regards, Neil ========================================= Need Something? Check here: http://ludwig.squarespace.com/wittrslinks/