Почему логика формальная