Страница 27 из 57
Необходимо отметить следующие отличия мысленного эксперимента от реального: 1. Исследователь оперирует не с реальными, а с идеализированными объектами. Оперирование производится в сознании. Он не требует материального обеспечения. 2. Позволяет устранить мешающие физические ограничения. Примером служат мысленные эксперименты Галилея с исключением трения, которые привели к открытию закона инерции. 3.
Мысленный эксперимент имеет эвристическую ценность. Например, мысленный эксперимент В. Гейзенберга. «В этом мысленном эксперименте соотношение неопределенности было найдено благодаря абстрагированию, разделившему целостную структуру электрона на две противоположности: волну и корпускулу. Тем самым совпадение результата мысленного эксперимента с результатом, полученным математическим путем, означало доказательство объективно существующей противоречивости электрона как цельного материального образования и дало возможность понять это классически» [21].
Формализация Формализация — это метод теоретического познания, который заключается в использовании специальной символики, позволяющей отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символов, знаков. Примером формализации могут служить математические описания объектов и явлений, основанные на соответствующих теориях.
При этом используемая математическая символика не только помогает закрепить уже имеющиеся знания об исследуемых объектах, явлениях, но и выступает своего рода инструментом в процессе их дальнейшего познания. Для построения любой формальной системы необходимо: ► задание алфавита, т. е. определенного набора знаков; ► задание правил, по которым из исходных знаков этого алфавита могут быть получены «слова», «формулы»; ► задание правил, по которым от одних слов, формул данной системы можно переходить к другим словам и формулам.
В результате создается формальная знаковая система в виде определенного искусственного языка. Важным достоинством этой системы является возможность проведения в ее рамках исследования какого-либо объекта чисто формальным путем (оперирование знаками) без непосредственного обращения к этому объекту. Другое достоинство формализации состоит в обеспечении краткости и четкости записи научной информации, что открывает большие возможности для оперирования ею.
Вряд ли удалось бы успешно пользоваться, например, теоретическими выводами Максвелла, если бы они не были компактно выражены в виде математических уравнений, а описывались бы с помощью обычного, естественного языка. Разумеется, формализованные искусственные языки не обладают гибкостью и богатством языка естественного. Зато в них отсутствует многозначность терминов (полисемия), свойственная естественным языкам.
Они характеризуются точно построенным синтаксисом, устанавливающим правила связи между знаками безотносительно их содержания, и однозначной семантикой (семантические правила формализованного языка вполне однозначно определяют соотнесенность знаковой системы с определенной предметной областью). Таким образом, формализованный язык обладает свойством моносемичности.
Возможность представить те или иные теоретические положения науки в виде формализованной знаковой системы имеет большое значение для познания. Но при этом следует иметь в виду, что формализация той или иной теории возможна только при учете ее содержательной стороны. Только в этом случае могут быть правильно применены те или иные формализмы.
«Голое математическое уравнение еще не представляет физической теории, чтобы получить физическую теорию, необходимо придать математическим символам конкретное эмпирическое содержание» [30]. Поучительным примером формально полученного и на первый взгляд «бессмысленного» результата, который обнаружил впоследствии весьма глубокий физический смысл, являются решения уравнения Дирака, описывающие движение электрона.
Среди этих решений оказались такие, которые соответствовали состояниям с отрицательной кинетической энергией. Позднее было установлено, что указанные решения описывали поведение неизвестной до этого частицы — позитрона, являющегося антиподом электрона. В данном случае некоторое множество формальных преобразований привело к новому содержательному результату.
Расширяющееся использование формализации как метода теоретического познания связано не только с развитием математики. В химии, например, соответствующая химическая символика вместе с правилами оперирования ею также явиляется одним из вариантов формализованного искусственного языка. Важное место метод формализации занимает в логике. Труды Лейбница положили начало созданию метода логических исчислений.
Последний привел к формированию в середине XIX века математической логики, которая во второй половине XX столетия сыграла важную роль в развитии кибернетики, в появлении электронных вычислительных машин, в решении задач автоматизации и т. д. Однако, возможности любого формализованного языка остаются принципиально ограниченными. Они не могут быть единственной формой языка современной науки.
«Но в той мере, в какой адекватность немыслима без точности, тенденция к возрастающей формализации языков всех и особенно естественных наук является объективной и прогрессивной...» [31]. Индукция и дедукция Индукция — (от лат. induction — наведение, побуждение) это метод познания, основывающийся на формальнологическом умозаключении, которое приводит к получению общего вывода на основании частных посылок.
Другими словами, это есть движение нашего мышления от частного, единичного к общему. Обнаруживая сходные признаки, свойства у многих объектов определенного класса, исследователь делает вывод о присущности этих признаков, свойств всем объектам данного класса. Например, в процессе экспериментального изучения электрических явлений использовались проводники тока, выполненные из различных металлов.
На основании многочисленных единичных опытов сформировался общий вывод об электропроводности всех металлов. Наряду с другими методами познания, индуктивный метод сыграл важную роль в открытии некоторых законов природы (всемирного тяготения, атмосферного давления, теплового расширения тел и др.). Индукция, используемая в научном познании (научная индукция)
, может реализовываться в виде следующих методов: 1. Метод единственного сходства (во всех случаях наблюдения какого-то явления обнаруживается лишь один общий фактор, все другие —различны; следовательно, этот единственный сходный фактор является причиной данного явления). 2. Метод единственного различия (если для какого-то явления обстоятельства, при которых оно не возникает, почти во всем сходны и различаются лишь одним фактором, присутствующим только в первом случае, то можно сделать вывод, что этот фактор и есть причина данного явления). 3.
Соединенный метод сходства и различия (представляет собой комбинацию двух вышеуказанных методов). 4. Метод сопутствующих изменений (если определенные изменения одного явления всякий раз влекут за собой некоторые изменения в другом явлении, то отсюда вытекает вывод о причинной связи этих явлений). 5. Метод остатков (если сложное явление вызывается многофакторной причиной, причем некоторые из этих факторов известны как причина какой-то части данного явления, то отсюда следует вывод: причина другой части явления — остальные факторы, входящие в общую причину этого явления).
Популяризатором классического индуктивного метода познания был Френсис Бэкон. Но он трактовал индукцию слишком широко, считал ее самым важным методом открытия новых истин в науке, главным средством научного познания природы. На самом же деле вышеуказанные методы научной индукции служат главным образом для нахождения эмпирических зависимостей между экспериментально наблюдаемыми свойствами объектов и явлений.
В них систематизированы простейшие формально-логические приемы, которые стихийно использовались учеными-естествоиспытателями в любом эмпирическом исследовании. Дедукция — (от лат. deduction — выведение) есть получение частных выводов на основе знания каких-то общих положений. Другими словами, это есть движение нашего мышления от общего положения, например, того положения, что все металлы обладают электропроводностью, можно сделать дедуктивное умозаключение об электропроводности конкретной медной проволоки (зная, что медь — металл).
Если исходные общие положения истинны, то методом дедукции будет получен истинный вывод. Особенно большое значение дедуктивный метод имеет в математике. Оперируя математическими абстракциями й строя свои рассуждения на весьма общих положениях, математики вынуждены чаще всего пользоваться дедукцией. Математика является, пожалуй, единственной собственно дедуктивной наукой.