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