Dear Jochen --
Ah, yes! I like what you say about KC here. I remember a similar argument by Stu Kaufmann (I believe he might have referenced it back to others as well)--that when we ask for laws, we are really asking for "compressible" descriptions. KC of course applies only to the notion of a "shortest" law, so if we did believe we had an optimal law-making system, we'd be in trouble.
I wonder if weaker notions also cause problems, though--e.g., a function that always either compresses something or leaves the same length. It's easy to do a diagonalization argument to show that some things must be missed by this (if you make some things shorter, but nothing longer, then the map is no longer one-to-one for a few things).
I agree with your remark about dualism. Both ontological dualism and eliminativism really do feel like a hold-over from a previous theology. Perhaps one day they really will seem to be debates about "angels on the head of a pin".
Yours,
Simon
PS: I made it home.