В монографии рассматриваются гносеологические основы формализации как одного из важнейших методов научного исследования и доказательства. В ней раскрывается соотношение содержательного и формального аспектов в мыслительных процессах, выясняется значение средств символической логики для анализа сложной проблемы логико-философского обоснования теории множеств в математике. Авторы показывают также особенности формирования и действия математических и логико-математических знаковых моделей в современной физической теории.
Тираж 1600 экз.