Методы теоретического познания

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

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

• Математическая гипотеза — метод исследования, основанный на экстраполяции определенной математической структуры (системы уравнений, математических формализмов) с изученной области явлений на неизученную.

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

• Восхождение от абстрактного к конкретному — метод исследования, основанный на выявлении исходной абстракции, воспроизводящей основное противоречие изучаемого объекта, в процессе теоретического разрешения которого выявляются более конкретные противоречия, ассимилирующие более обширный эмпирический материал, в результате чего строится конкретно-всеобщее понятие исследуемого объекта.
• Метод единства исторического и логического — метод исследования, в основе которого лежит общая установка на взаимосвязанное изучение исторической эволюции объекта и построение логически обоснованной системы понятий, которая направляет исторический анализ и в свою очередь корректируется его данными. [5, с. 248]

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

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

    Рассмотрим  основные научные  методы теоретического исследования.

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

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

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

    Значение  формализации в научном познании состоит в следующем:

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

    2. Она приобретает особую роль при анализе доказательств. Представление доказательства в виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность.

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

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

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

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

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

    Аксиоматический метод - один из способов дедуктивного построения научных теорий, при котором:

    а) формулируется система основных терминов науки (например, в геометрии Эвклида - это понятия точки, прямой, угла, плоскости и др.);

    б) из этих терминов образуется некоторое  множество аксиом (постулатов) – положений, не требующих доказательств и являющихся исходными, из которых выводятся все другие утверждения данной теории по определенным правилам (например, в геометрии Эвклида: "через две точки можно провести только одну прямую"; "целое больше части");

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

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

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

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

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

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

    Дедукция (выведение):

    а) в самом общем смысле - это переход  в процессе познания от общего к  частному (единичному), выведение последнего из первого;

    б) в специальном смысле - процесс  логического вывода, т.е. перехода по определенным правилам логики от некоторых  данных предположений (посылок) к их следствиям (заключениям).

    Общая структура гипотетико-дедуктивного метода (или метода гипотез):

    1. Ознакомление с фактическим материалом, требующим теоретического объяснения и попытка такового с помощью уже существующих теорий и законов. Если нет, то:

    2. Выдвижение догадки (предположения)  о причинах и закономерностях  данных явлений с помощью многих  логических приемов. 

    3. Оценка серьезности предположений  и отбор из множества догадок  наиболее вероятной. При этом  гипотеза проверяется на:

    а) логическую непротиворечивость;

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

    4. Выведение из гипотезы (обычно  дедуктивным путем) следствий  с уточнением ее содержания.