Cтраница 2
Отсутствие содержательной теории заставляет обращаться к эмпирическим фактам, относительно которых не всегда имеются доказательства их общности. Часть доказательств вынужденно подменяется интуитивными представлениями исследователя. Следствием этого является недостаточная строгость формализации, выражающаяся в том, что ряд положений на данном уровне наших знаний не удается сформулировать в виде теорем. В таких случаях прибегают к интуитивно непротиворечивым концепциям. Большинство научных теорий не может быть полностью формализовано. Даже такая наука, как математика ( кроме формальной логики), не допускает полной формализации. Богатство смысловых оттенков, понятий, интуитивно-логических приемов содержательного описания не удается отразить с помощью какого-либо формального языка. Опыт разработки отдельных вопросов теории СОИС показывает, что, несмотря на значительный вес интуитивных концепций, эта теория - полезный инструмент исследования, позволяющий создавать эффективные модели СОИС. [16]