Общенаучные методы теоретического познания

Общенаучные методы теоретического познания. Абстрагирование и идеализация.

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

В процессе абстрагирования происходит отход (восхождение) от чувственно воспринимаемых конкретных объектов (со всеми их свойствами, сторонами и т. д.) к воспроизводимым в мышлении абстрактным представлениям о них. Абстрагирование, таким образом, заключается в мысленном отвлечении от каких-то — менее существенных — свойств, сторон, признаков изучаемого объекта с одновре¬менным выделением, формированием одной или нескольких существенных сторон, свойств, признаков этого объекта. Результат, получаемый в процессе абстрагирования, именуют абстракцией (или используют термин абстрактное — в отличие от конкретного). В научном познаний широко применяются, например, абстракции отождествления и изолирующие абстракции.

Абстракция отождествления представляет собой понятие, которое получается в результате отождествления некото¬рого множества предметов (при этом отвлекаются от целого ряда индивидуальных свойств, признаков данных предметов) и объединения их в особую группу. Примером может служить группировка всего множества растений и животных, обитающих на нашей планете, в особые виды, роды, отряды и т. д. Изолирующая абстракция получает¬ся путем выделения некоторых свойств, отношений, неразрывно связанных с предметами материального мира, в самостоятельные сущности («устойчивость», «растворимость», «электропроводность» и т. п.). Переход от чувственно-конкретного к абстрактному все¬гда связан с известным упрощением действительности.

Вместе с тем, восходя от чувственно-конкретного к абстрактному, теоретическому, исследователь получает возмож¬ность глубже понять изучаемый объект, раскрыть его сущ¬ность.

Конечно, в истории науки имели место и ложные, невер¬ные абстракции, не отражавшие ровным счетом ничего в объективном мире (эфир, теплород, жизненная сила, элект¬рическая жидкость и т. п.). Использование подобных «мертвых абстракций» создавало лишь видимость объяс¬нения наблюдаемых явлений.

В действительности же ника¬кого углубления познания в этом случае не происходило. Развитие естествознания повлекло за собой открытие все новых и новых действительных сторон, свойств, связей объектов и явлений материального мира. Необходимым условием прогресса познания стало образование подлинно научных, «не вздорных» абстракций, которые позволили бы глубже познать сущность изучаемых явлений. Процесс перехода от чувственно-эмпирических, наглядных представлений об изучаемых явлениях к формированию определен¬ных абстрактных, теоретических конструкций, отражающих сущность этих явлений, лежит в основе развития любой науки.

Мысленная деятельность исследователя в процессе на¬учного познания включает в себя особый вид абстрагиро¬вания, который называют идеализацией. Идеализация представляет собой мысленное внесение определенных измене¬ний в изучаемый объект в соответствии с целями исследо¬ваний. В результате таких изменений могут быть, например, исключены из рассмотрения какие-то свойства, стороны, признаки объектов.

Так, широко распространенная в механике идеализация, именуемая материальной точкой, подразумевает тело, лишенное всяких размеров. Такой абстрактный объект, размерами которого пренебрегают, удобенприляет заменить в исследовании самые различные реальные объекты: от молекул или атомов при решении многих задач статистической механики и до планет Солнечной системы при изучении, например, их движения вокруг Солнца. Изменения объекта, достигаемые в процессе идеализации, могут производиться также и путем наделения его какими-то особыми свойствами, в реальной действительности неосуществимыми.

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

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

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

Сложный объект представляется как бы в «очищенном» виде, что облегчает его изучение.

На эту гносеологическую возможность идеализации обратил внимание Ф. Энгельс, который показал ее на примере исследования, проведенного Сади Карно: «Он изучил паровую машину, проанализировал ее, нашел, что в ней основной процесс не выступает в чистом виде, а заслонен всякого рода побочными процессами, устранил эти безразличные для главного процесса побочные обстоятельства и сконструировал идеальную паровую машину (или газовую машину), которую, правда, также нельзя осуществить, как нельзя, например, осуществить геометрическую линию или геометрическую плоскость, но которая оказывает, по-своему, такие же услуги, как эти математические абстракции.

Она представляет рассматриваемый процесс в чистом, независимом, неискаженном виде»4. В-третьих, применение идеализации целесообразно тогда, когда исключаемые из рассмотрения свойства, стороны, связи изучаемого объекта не влияют в рамках данного исследования на его сущность. Выше уже упоминалось, например, о том, что абстракция материальной точки позволяет в некоторых случаях представлять самые различные объекты — от молекул или атомов до гигантских космических объектов.

При этом правильный выбор допустимости подобной идеализации играет очень большую роль. Если в ряде случаев возможно и целесообразно рассматривать атомы в виде материальных точек, то такая идеализация становится недопустимой при изучении структуры атома. Точно так же можно считать материальной точкой нашу планету при рассмотрении ее вращения вокруг Солнца, но отнюдь не в случае рассмотрения ее собственного суточного вращения.

Будучи разновидностью абстрагирования, идеализация допускает элемент чувственной наглядности (обычный процесс абстрагирования ведет к образованию мысленных абстракций, не обладающих никакой наглядностью). Эта особенность идеализации очень важна для реализации такого специфического метода теоретического познания, каковым является мысленный эксперимент (его также называют умственным, субъективным, воображаемым, идеализированным). Мысленный эксперимент предполагает оперирование идеализированным объектом (замещающим в абстракции объект реальный), которое заключается в мысленном подборе тех или иных положений, ситуаций, позволяющих обнаружить какие-то важные особенности исследуемого объекта. В этом проявляется определенное сходство мысленного (идеализированного) эксперимента с реальным.

Более того, всякий реальный эксперимент, прежде чем быть осуществленным на практике, сначала «проигрывается» исследователем мысленно в процессе обдумывания, плани¬рования.

В этом случае мысленный эксперимент выступает в роли предварительного идеального плана реального эксперимента. Вместе с тем мысленный эксперимент играет и самостоятельную роль в науке. При этом, сохраняя сходство с реальным экспериментом, он в то же время существенно отличается от него. Эти отличия заключаются в следующем. Реальный эксперимент — это метод, связанный с практическим, предметно-манипулятивным, «орудийным» познанием окружающего мира. В мысленном же эксперимен¬те исследователь оперирует не материальными объектами, а их идеализированными образами, и само оперирование производится в его сознании, т. е. чисто умозрительно. Возможность постановки реального эксперимента определяется наличием соответствующего материально-технического (а иногда и финансового) обеспечения.

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

В этом плане мысленный эксперимент имеет явное преимущество перед экспериментом реальным. В мысленном эксперименте можно абстрагироваться от действия нежелательных факторов, проведя его в идеализированном, «чистом» виде. В научном познании могут быть случаи, когда при исследовании некоторых явлений, ситуаций проведение реальных экспериментов оказывается вообще невозможным.

Этот пробел в познании может восполнить только мысленный эксперимент. Научная деятельность Галилея, Ньютона, Максвелла, Карно, Эйнштейна и других ученых, заложивших основы современного естествознания, свидетельствует о существенной роли мысленного эксперимента в формировании теоретических идей. История развития физики богата фактами использования мысленных экспериментов. Примером могут служить мысленные эксперименты Галилея, приведшие к открытию закона инерции. Реальные эксперименты, в которых невозможно устранить фактор трения, казалось бы, подтверждали господствовавшую в течение тысячелетий концепцию Аристотеля, утверждавшую, что движущееся тело останавливается, если толкающая его сила прекращает свое действие.

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

Галилей, проделав мысленно указанные эксперименты с поэтапным идеализированием трущихся поверхностей и доведением до полного исключения из взаимодействия трения, опроверг аристотелевскую точку зрения и сделал единственно правильный вывод. Этот вывод мог быть получен только с помощью мысленного эксперимента, обеспе¬чившего возможность открытия фундаментального закона механики движения. Метод идеализации, оказывающийся весьма плодотворным во многих случаях, имеет в то же время определенные ограничения.

Развитие научного познания заставляет иногда отказываться от принятых ранее идеализирован¬ных представлений. Так произошло, например, при создании Эйнштейном специальной теории относительности, из которой были исключены ньютоновские идеализации «абсолютное пространство» и «абсолютное время». Кроме того, любая идеализация ограничена конкретной областью явлений и служит для решения только определенных проблем.

Это хорошо видно хотя бы на примере вышеуказан¬ной идеализации «абсолютно черное тело». Сама по себе идеализация, хотя и может быть плодотворной и даже подводить к научному открытию, еще недостаточна для того, чтобы сделать это открытие. Здесь определяющую роль играют теоретические установки, из которых исходит исследователь. Рассмотренная выше идеализация паровой машины, удачно осуществленная Сади Карно, подвела его к открытию механического эквивалента теплоты, которого, однако, « он не мог открыть и уви¬деть лишь потому, — отмечает Ф. Энгельс, — что верил в теплород.

Это является также доказательством вреда ложных теорий». Основное положительное значение идеализации как метода научного познания заключается в том, что получаемые на ее основе теоретические построения позволяют затем эффективно исследовать реальные объекты и явления. Упрощения, достигаемые с помощью идеализации, облегча¬ют создание теории, вскрывающей законы исследуемой области явлений материального мира. Если теория в целом правильно описывает реальные явления, то правомер¬ны и положенные в ее основу идеализации. 2.2. Формализация.

Язык науки Под формализацией понимается особый подход в научном познании, который заключается в использовании специальной символики, позволяющей отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символом (знаков). Ярким примером формализации являются широко используемые в науке математические описания различных объектов, явлений, основывающиеся на соответствующих содержательных теориях.

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

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

Разумеется, формализованные искусственные языки не обладают гибкостью и богатством языка естественного.

Зато в них отсутствует многозначность терминов (полисемия), свойственная естественным языкам. Они характеризуются точно построенным синтаксисом (устанавливающим правила связи между знаками безотносительно их содержания) и однозначной семантикой (семантические правила формализованного языка вполне однозначно определяют соотнесенность знаковой системы с определенной предметной областью). Таким образом, формализованный язык обладает свойством моносемичности.

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

Поучительным примером формально полученного и на первый взгляд «бессмысленного» результата, который об¬наружил впоследствии весьма глубокий физический смысл, являются решения уравнения Дирака, описывающего движение электрона. Среди этих решений оказались такие, которые соответствовали состояниям с отрицательной кинетической энергией. Позднее было установлено, что указанные решения описывали поведение неизвестной дотоле частицы — позитрона, являющегося антиподом электрона.

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

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

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

Дело в том, что даже достаточно богатые формализованные языки не удовлетворяют требованию полноты, т. е. некоторое множество правильно сформули¬рованных предложений такого языка (в том числе и истинных) не может быть выведено чисто формальным путем внутри этого языка. Данное положение вытекает из результатов, полученных в начале 30-х годов XX столетия австрийским логиком и математиком Куртом Гёделем. Знаменитая теорема Гёделя утверждает, что каждая нормальная система либо противоречива, либо содержит некоторую неразрешимую (хотя и истинную) формулу, т.е. такую формулу, которую в данной системе нельзя ни дока¬зать, ни опровергнуть.

Правда, то, что не выводимо в данной формальной системе, выводимо в другой системе, более богатой. Но тем не менее все более полная формализация содержания никогда не может достигнуть абсолютной полноты, т. е. возможности любого формализованного языка остаются принципиально ограниченными.

Таким образом, Гёдель дал строго логическое обоснование невыполнимости идеи Р. Карнапа о создании единого, универсального, формализованного «физикалистского» языка науки. Формализованные языки не могут быть единственной формой языка современной науки. В научном познании необходимо использовать и неформализованные системы. Но тенденция к возрастающей формализации языков всех и особенно естественных наук является объективной и прогрессивной. 2.3.