Идеализация. Мысленный эксперимент
Мыслительная деятельность исследователя в процессе научного познания включает в себя особый вид абстрагирования, который называют идеализацией. Идеализация представляет собой мысленное внесение определенных изменений в изучаемый объект в соответствии с целями исследований.
В результате таких изменений могут быть, например, исключены из рассмотрения какие–то свойства, стороны, признаки объектов. Так, широко распространенная в механике идеализация, именуемая материальной точкой, подразумевает тело, лишенное всяких размеров. Такой абстрактный объект, размерами которого пренебрегают, удобен при описании движения. Причем подобная абстракция позволяет заменить в исследовании самые различные реальные объекты: от молекул или атомов при решении многих задач статистической механики и до планет Солнечной системы при изучении, например, их движения вокруг Солнца.
Изменения объекта, достигаемые в процессе идеализации, могут производиться также и путем наделения его какими-то особыми свойствами, в реальной действительности неосуществимыми. Примером может служить введенная путем идеализации в физику абстракция, известная под названием абсолютно черного тела. Такое тело наделяется несуществующим в природе свойством поглощать абсолютно всю попадающую на него лучистую энергию, ничего не отражая и ничего не пропуская сквозь себя. Спектр излучения абсолютно черного тела является идеальным случаем, ибо на него не оказывает влияния природа вещества излучателя или состояние его поверхности. А если можно теоретически описать спектральное распределение плотности энергии излучения для идеального случая, то можно кое-что узнать и о процессе излучения вообще.
Указанная идеализация сыграла важную роль в прогрессе научного познания в области физики. Она помогла выявить ошибочность некоторых существовавших во второй половине XIX века представлений. Кроме того, работа с таким идеализированным объектом помогла заложить основы квантовой теории, ознаменовавшей радикальный переворот в науке.
Целесообразность использования идеализации определяется следующими обстоятельствами.
Во-первых, идеализация целесообразна тогда, когда подлежащие исследованию реальные объекты достаточно сложны для имеющихся средств теоретического, в частности математического, анализа; а по отношению к идеализированному случаю можно, приложив эти средства, построить и развить теорию, достаточно эффективную для описания свойств и поведения этих реальных объектов.
Во-вторых, идеализацию целесообразно использовать в тех случаях, когда необходимо исключить некоторые свойства, связи исследуемого объекта, без которых он существовать не может, но которые затемняют существо протекающих в нем процессов. Сложный объект представляется как бы в «очищенном» виде, что облегчает его изучение.
На эту гносеологическую возможность идеализации обратил внимание Ф. Энгельс, который показал ее на примере исследования, проведенного Сади Карно: «Он изучил паровую машину, проанализировал ее, нашел, что в ней основной процесс не выступает в чистом виде, а заслонен всякого рода побочными процессами, устранил эти безразличные для главного процесса побочные обстоятельства и сконструировал идеальную паровую машину (или газовую машину), которую, правда, так же нельзя осуществить, как нельзя, например, осуществить геометрическую линию или геометрическую плоскость, но которая оказывает, по-своему, такие же услуги, как эти математические абстракции: она представляет рассматриваемый процесс в чистом, независимом, неискаженном виде».[60]
В-третьих, применение идеализации целесообразно тогда, когда исключаемые из рассмотрения свойства, стороны, связи изучаемого объекта не влияют в рамках данного исследования на его сущность. Выше уже упоминалось, например, о том, что абстракция материальной точки позволяет в некоторых случаях представлять самые различные объекты – от молекул или атомов и до гигантских космических объектов. При этом правильный выбор допустимости подобной идеализации играет очень большую роль. Если в ряде случаев возможно и целесообразно рассматривать атомы в виде материальных точек, то такая идеализация становится недопустимой при изучении структуры атома. Точно также можно считать материальной точкой нашу планету при рассмотрении ее вращения вокруг Солнца, но отнюдь не в случае рассмотрения ее собственного суточного вращения.
Будучи разновидностью абстрагирования, идеализация допускает элемент чувственной наглядности (обычный процесс абстрагирования ведет к образованию мысленных абстракций, не обладающих никакой наглядностью). Эта особенность идеализации очень важна для реализации такого специфического метода теоретического познания, каковым является мысленный эксперимент (его также называют умственным, субъективным, воображаемым, идеализированным).
Мысленный эксперимент предполагает оперирование идеализированным объектом (замещающим в абстракции объект реальный), которое заключается в мысленном подборе тех или иных положений, ситуаций, позволяющих обнаружить какие–то важные особенности исследуемого объекта. В этом проявляется определенное сходство мысленного (идеализированного) эксперимента с реальным. Более того, всякий реальный эксперимент, прежде чем быть осуществленным на практике, сначала «проигрывается» исследователем мысленно в процессе обдумывания, планирования. В этом случае мысленный эксперимент выступает в роли предварительного идеального плана реального эксперимента.
Вместе с тем мысленный эксперимент играет и самостоятельную роль в науке. При этом, сохраняя сходство с реальным экспериментом, он в то же время существенно отличается от него.
Реальный эксперимент – это метод, связанный с практическим, предметно-манипулятивным, «орудийным» познанием окружающего мира. В мысленном же эксперименте исследователь оперирует не материальными объектами, а их идеализированными образами и само оперирование производится в его сознании, т.е. чисто умозрительно.
В научном познании могут быть случаи, когда при исследовании некоторых явлений, ситуаций, проведение реальных экспериментов оказывается вообще невозможным. Этот пробел в познании может восполнить только мысленный эксперимент.
Научная деятельность Галилея, Ньютона, Карно, Максвелла, Эйнштейна и других ученых, заложивших основы современного естествознания, свидетельствует о существенной роли мысленного эксперимента в формировании теоретических идей. История развития физики богата фактами использования мысленных экспериментов.
Примером могут служить мысленные эксперименты Галилея, приведшие к открытию закона инерции. «... Закон инерции, – писали А.Эйнштейн и Л.Инфельд, – нельзя вывести непосредственно из эксперимента, его можно вывести умозрительно – мышлением, связанным с наблюдением. Этот эксперимент никогда нельзя выполнить в действительности, хотя он ведет к глубокому пониманию действительных экспериментов».[61]
Результаты мысленных экспериментов не раз ставили серьезные проблемы перед наукой, разрешить которые бывало не так-то легко. Интересным примером в этом плане является мысленный эксперимент Максвелла, вызвавший сенсацию в начале 70-х годов XIX столетия. Этот мысленный эксперимент, описанный в его работе «Теория теплоты», ставил под сомнение второе начало термодинамики. В своем мысленном эксперименте Максвелл допустил наличие особого существа – «демона», способности которого настолько изощрены, что оно может следить за каждой молекулой на ее пути и в состоянии делать то, что в настоящее время для нас невозможно. «Предположим, – писал Максвелл, – что имеется сосуд, разделенный на две части А и В перегородкой с небольшим отверстием, и что существо, которое может видеть отдельные молекулы, открывает и закрывает это отверстие так, чтобы дать возможность только более быстрым молекулам перейти из В в А. Это существо, таким образом, без затраты работы повысит температуру в В и понизит в А вопреки второму началу термодинамики».[62]
Сражение с «демоном» Максвелла заняло длительный период времени. Только в XX столетии американские физики Сцилард, Димерс и Гейбор доказали, что втрое начало термодинамики остается незыблемым и что никакого «вечного двигателя», даже с помощью «демона», построить нельзя. Они сумели спроектировать и рассчитать машину–демона, и убедились, что такая машина работать будет, но требует питания внешней энергией. Причем затраты энергии на ее работу окажутся больше, чем выход энергии в результате ее деятельности. Поиск ответа на проблему, поставленную мысленным экспериментом Максвелла, был, несомненно, полезен и способствовал приращению научных знаний.
Сама по себе идеализация, хотя и может быть плодотворной и даже подводить к научному открытию, еще недостаточна для того, чтобы сделать это открытие. Здесь определяющую роль играют теоретические установки, из которых исходит исследователь. Рассмотренная выше идеализация паровой машины, удачно осуществленная Сади Карно, подвела его к открытию механического эквивалента теплоты, которого, однако, «... он не мог открыть и увидеть лишь потому, – отмечает Ф.Энгельс, – что верил в теплород. Это является также доказательством вреда ложных теорий».[63]
Основное положительное значение идеализации как метода научного познания заключается в том, что получаемые на ее основе теоретические построения позволяют затем эффективно исследовать реальные объекты и явления. Упрощения, достигаемые с помощью идеализации, облегчают создание теории, вскрывающей законы исследуемой области явлений материального мира. Если теория в целом правильно описывает реальные явления, то правомерны и положенные в ее основу идеализации.
Формализация. Язык науки
Формализацией называют особый подход в научном познании, заключающийся в использовании специальной символики, которая позволяет отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символов (знаков).
Ярким примером формализации являются широко используемые в науке математические описания различных объектов, явлений, основывающиеся на соответствующих содержательных теориях. При этом используемая математическая символика не только помогает закрепить уже имеющиеся знания об исследуемых объектах, явлениях, но и выступает своего рода инструментом в процессе дальнейшего их познания.
Для построения любой формальной системы необходимо: а) задание алфавита, т.е. определенного набора знаков; б) задание правил, по которым из исходных знаков этого алфавита могут быть получены «слова», «формулы»; в) задание правил, по которым от одних слов, формул данной системы можно переходить к другим словам и формулам (так называемые правила вывода).
В результате создается формальная знаковая система в виде определенного искусственного языка. Важным достоинством этой системы является возможность проведения в ее рамках исследования какого–либо объекта чисто формальным путем (оперирование знаками) без непосредственного обращения к этому объекту.
Другое достоинство формализации состоит в обеспечении краткости и четкости записи научной информации, что открывает большие возможности для оперирования ею. Вряд ли удалось бы успешно пользоваться, например, теоретическими выводами Максвелла, если бы они не были компактно выражены в виде математических уравнений, а описывались бы с помощью обычного, естественного языка.
Разумеется, формализованные искусственные языки не обладают гибкостью и богатством языка естественного. Зато в них отсутствует многозначность терминов (полисемия), свойственная естественным языкам. Они характеризуются точно построенным синтаксисом (устанавливающим правила связи между знаками безотносительно их содержания) и однозначной семантикой (семантические правила формализованного языка вполне однозначно определяют соотнесенность знаковой системы с определенной предметной областью). Таким образом, формализованный язык обладает свойством моносемичности.
Возможность представить те или иные теоретические положения науки в виде формализованной знаковой системы имеет большое значение для познания. Но при этом следует иметь в виду, что формализация той или иной теории возможна только при учете ее содержательной стороны. Только в этом случае могут быть правильно применены те или иные формализмы. «Голое» математическое уравнение еще не представляет физической теории; чтобы получить физическую теорию, необходимо придать математическим символам конкретное эмпирическое содержание.
Поучительным примером формально полученного и на первый взгляд «бессмысленного» результата, который обнаружил впоследствии весьма глубокий физический смысл, являются решения уравнения Дирака, описывающегося движение электрона. Среди этих решений оказались такие, которые соответствовали состояниям с отрицательной кинетической энергией. Позднее было установлено, что указанные решения описывали поведение неизвестной дотоле частицы – позитрона, являющегося антиподом электрона. В данном случае некоторое множество формальных преобразований привело к содержательному и интересному для науки результату.
Расширяющееся использование формализации как метода теоретического познания связано не только с развитием математики. В химии, например, соответствующая химическая символика, вместе с правилами оперирования ею явилась одним из вариантов формализованного искусственного языка. Все более важное место метод формализации занимал в логике по мере ее развития. Труды Лейбница положили начало созданию метода логических исчислений. Последний привел к формированию в середине XIX века математической логики, которая во второй половине ХХ столетия сыграла важную роль в развитии кибернетики, в появлении электронных вычислительных машин, в решении задач автоматизации производства и т.д. Прогресс электронно-вычислительной техники, в свою очередь, обусловил появление множества искусственных, алгоритмических языков.
Исходя из потребностей науки, создаются различные искусственные языки, предназначенные для решения тех или иных задач. Все множество созданных и создаваемых искусственных формализованных языков входит в язык науки, образуя мощное средство научного познания.