Lozh kak problema formalnoj ontologii