И то, что удалось познать - удалось и смоделировать, и изменять реальность. Об этом говорит история. Иначе бы мы не смогли бы построить даже паровоза! Если не удается смоделировать, формализовать - это не проблема метода формализации, это проблема неполного познания. Особенно это проявляется в "диалектичеких текстах". Мифологичность и неоднозначность мышления - это признак ранней стадии познания. Ее конечно не формализовать. О чем говорят тексты типа "это черное, но не черное"? Только о том, что субъект сам еще не понял, что хочет сказать ))) "Предмет исследования не идентифицирован однозначно". Только и всего. Кстати, такие псевдопротиворечия проблемы для компьютера не составляют. Итак, все дело в непознанности, а не в "непостижимости бытия". Хотя даже этот переход от непознанного к познаному можно алгоритмизировать - есть уже наработки систем слабого и сильного определения множества.