I think the real difficulty is in human language. "a ^ ~a is a contradiction" is still perfectly applicable but apparently requires a "for observer A" clause. To supply all of the clauses necessary to make a completely unambiguous statement would be way too long to be humanly comprehensible. It makes me think of the Carl Sagan quote about needing to invent the universe before you can make anything "from scratch".
