Формализация

Существенное значение в познавательной деятельности имеет такой метод, как формализация, т.е. обобщение форм различных по содержанию процессов, абстрагирование этих форм от их содержания. Всякая формализация неизбежно связана с некоторым огрублением реального объекта. Неверно думать, что формализация связана только с математикой, математической логикой и кибернетикой. Она пронизывает все формы практической и теоретической деятельности человека, отличаясь лишь уровнями. Исторически она возникла вместе с возникновением труда, мышления и языка. Определенные приемы трудовой деятельности, умения, способы осуществления трудовых операций выделялись, обобщались, фиксировались и передавались от старших к молодым в отвлечении от конкретных действий, объектов и средств труда. Наш обычный язык выражает самый слабый уровень формализации. Крайним полюсом формализации являются математика и математическая логика, изучающая форму рассуждений, отвлекаясь от содержания.

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

Имея огромное значение в современной технике, формализация внутренне ограничена в своих возможностях. Доказано, что не существует всеобщего метода, позволяющего любое рассуждение заменить вычислением. Полностью можно формализовать лишь очень бедное ОГЛАВЛЕНИЕ. С помощью формализации текущий фрагмент бытия берется односторонне, лишь в относительно устойчивом состоянии. Формализация не является самоцелью. Она нужна в конечном счете для выражения определенного содержания, для его уточнения и раскрытия. Формализация — это лишь один (отнюдь не универсальный) из приемов познания.

Историческое и логическое

Следует различать объективную логику, историю развития объекта и методы познания этого объекта — логический и исторический. Объективно-логическое — это общая линия, закономерность развития объекта, например, развитие общества от одной общественной формации к другой. Объективно-историческое — это конкретное проявление данной закономерности во всем бесконечном многообразии ее особенных и единичных проявлений. Например, применительно к обществу — это реальная история всех стран и народов со всеми их неповторимыми индивидуальными судьбами. Из этих двух сторон объективного процесса вытекают два метода познания — исторический и логический.

Всякое явление может быть правильно познано лишь в его возникновении, развитии и гибели, т.е. в его историческом развитии. Познать предмет — значит отразить историю его возникновения и развития. Нельзя понять результата, не уяснив пути развития, приведшего к данному результату. История часто идет скачками и зигзагами, и если следовать за ней повсюду, то пришлось бы не только принимать во внимание много материала меньшей важности, но и часто прерывать ход мыслей. Потому необходим логический метод исследования. Логическое является обобщенным отражением исторического, отражает действительность в ее закономерном развитии, объясняет необходимость этого развития. Логическое в целом совпадает с историческим: оно есть историческое, очищенное от случайностей и взятое в его существенных закономерностях. Под логическим нередко имеют в виду и метод познания определенного состояния объекта па некотором отрезке времени в отвлечении от его развития. Это зависит от природы объекта и задач исследования. Например, для открытия законов движения планет И. Кеплеру не было нужды изучать их историю.

Индукция и дедукция

Как методы исследования, выделяются индукция — процесс выведения общего положения из ряда частных (менее общих) утверждений, из единичных фактов, и дедукция — процесс рассуждения, идущий от общего к частному или менее общему. Обычно различают два основных вида индукции: полную и неполную. Полная индукция — вывод какого-либо общего суждения обо всех предметах некоторого множества (класса) на основании рассмотрения каждого элемента этого множества. Понятно, что сфера применения такой индукции ограничена объектами, число которых конечно и практически обозримо. На практике чаще всего применяют формы индукции, которые предполагают вывод обо всех предметах класса на основании познания лишь части предметов данного класса, — такие выводы называются выводами неполной индукции. Они тем ближе к действительности, чем более глубокие, существенные связи раскрываются. Неполная индукция, основанная на экспериментальных исследованиях и включающая в себя теоретическое мышление (в частности, дедукцию), способна давать достоверное (или практически приближающееся к достоверному) заключение. Она носит название научной индукции. По словам французского физика Л. де Бройля, индукция, поскольку она стремится раздвинуть уже существующие границы мысли, является истинным источником действительного научного прогресса. Великие открытия, скачки научной мысли создаются в конечном счете индукцией — рискованным, но важным творческим методом.