Тем не менее, формальный (логический) синтез может становиться отклонением, если он отстраняется от практической верификации и преувеличивает свою значимость в отрыве от праксиса. Если для обычных научных синтезов и интеграций такое отклонение не очень заметно, поскольку теория науки так или иначе встроена в ее практическое существование, то для синтеза философских аксиоматик оно приобретает сущностное звучание. Почему? Потому что в аксиомы, помимо рациональных, входят внерациональные компоненты (п.11), а посему никакая формальная, логическая, рациональная верификация не способна учесть эти внерациональные компоненты (они ведь внерациональны). А посему синтез аксиоматик однозначно не может быть ограничен формальной верификацией и должен выходить на практическую верификацию. Не могу судить об учении В.И. Моисеева в целом, только отмечу факт, что постоянно натыкаюсь на недопонимание моего требования учета и исследования практической верификации. Этот факт зафиксирован в десятках наших дискуссионных оппозиций. 16) Верификация и валидация Совсем неожиданное подспорье моему концепту практической верификации вдруг подошло из области, скажем так, технологическипроизводственной. В виде понятия валидации. Верификация на производстве призвана подтверждать соответствие (изоморфизм) конечного продукта требованиям проекта (чертежа, эталона, плана). Валидация же призвана подтверждать больше: что все требования потребителей этого продукта учтены, даже если они не учтены в проекте (чертеже, плане). Применительно к теме синтеза аксиоматик аналогом промышленной верификации является формальная (логическая) верификация, подтверждающая соответствие интегрируемой теории или системы заданным синтетическим аксиомам. 48
49 Publizr Home