Война Святослава с хазарами

Широкое распространение формализационный подход получил под влиянием успехов математической логики в XX в., начиная прежде всего с известной программы метаматематики крупнейшего математика Дави­да Гильберта (1862-1943), который выдвинул идею представления мате­матического знания как формализованной игры с символами, осуществ­ляемой по точно сформулированным правилам. Формализация играет важную роль в современной науке, например в информатике: т.н. инже­нерия знаний базируется именно на формализационных процедурах.Эти традиционные и универсальные мыслительные операции применяются поистине в каждой познавательной ситуации. Анализ — совокупность процедур, сущностью которых является мыс­ленное разделение исходного объекта на составляющие его части, выяв­ление его структуры, отделение существенного от несущественного, сведение сложного к более простому. В науке Нового времени методо­логическая значимость анализа была подчеркнута Р. Декартом в его «Рассуждениях о методе». Что же касается операции синтеза, то она яв­ляется вторым необходимым элементом данной методологической пары; синтез представляет собой восстановление, объединение изучен­ных анализом частей, обнаружение и вскрытие того общего, что связы­вает части в единое целое.

Эти термины уже неоднократно употреблялись нами в предыдущем изложении. Дедукция — умозаключение от общего к частному; логический вывод частных положений из более общих. Он играет ведущую роль в логико-математических науках (поэтому они и на­зываются дедуктивными). Индукция — умозаключение от частного к об­щему; индуктивное рассуждение — это «восхождение» от частных поло­жений (фактов, данных опыта) к более общим закономерностям. В научном познании индуктивные и дедуктивные моменты постоянно переплетаются, взаимодействуют и взаимодополняют друг друга. Более подробно о пробле­мах, связанных с осмыслением сущности индукции и дедукции и их места в научном познании, мы будем говорить в следующем параграфе в связи с проблемами гипотетико-дедуктивного метода.