Файл: методология науч иссл.doc

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

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

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

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

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

Однако гипотетико-дедуктивный метод нельзя противопоставлять

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

6.4. Аксиоматический способ построения теории

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

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

Такой абстрактный подход к аксиоматике в значительной мере был подготовлен открытием неевклидовых геометрий Н. И. Лобачевским, Я. Бойаи, К. Ф. Гауссом и Б. Риманом. Наиболее последовательное выражение новый взгляд на аксиомы как абстрактные формы, допускающие множество различных интерпретаций, нашел в известной работе Д. Гильберта «Основания геометрии» (1899г.). «Мы мыслим, — писал он в этой книге, — три различные системы вещей: вещи первой системы мы называем точками и обозначаем А, В, С,...; вещи второй системы мы называем прямыми и обозначаем а, b, с,...; вещи третьей системы мы называем плоскостями и обозначаем а, В, у,...». Отсюда видно, что под «точкой», «прямой» и «плоскостью» можно подразумевать любые системы объектов. Важно только, чтобы их свойства описывались соответствующими аксиомами. Дальнейший шаг на пути отвлечения от содержания аксиом связан с их символическим представлением в виде формул, а также точным заданием тех правил вывода, которые описывают, как из одних формул (аксиом) получаются другие формулы (теоремы). В результате этого содержательные рассуждения с понятиями на такой стадии исследования превращаются в некоторые операции с формулами по заранее предписанным правилам. Иначе говоря, содержательное мышление отображается здесь в исчислении. Аксиоматические системы подобного рода часто называют формализованными синтаксическими системами, или исчислениями.

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

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

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

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

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

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

Для математика этот метод дает возможность глубже понять объект исследований, выделить в нем главные направления, понять единство и связь разных методов и теорий. Единство, которое достигается с помощью аксиоматического метода, по образному выражению Н. Бурбаки, не есть единство, «которое дает скелет, лишенный жизни. Это питательный сок организма в полном развитии, податливый и плодотворный инструмент исследования...». Благодаря аксиоматическому методу, особенно в его формализованном виде, становится возможным полностью раскрыть логическую структуру различных теорий. В наиболее совершенном виде это относится к математическим теориям. В естественнонаучном знании приходится ограничиваться аксиоматизацией основного ядра теорий. Далее, применение аксиоматического метода дает возможность лучше контролировать ход наших рассуждений, добиваясь необходимой логической строгости. Однако главная ценность аксиоматизации, особенно в математике, состоит в том, что она выступает как метод исследования новых закономерностей, установления связей между понятиями и теориями, которые раньше казались обособленными друг от друга.