Аксиоматический метод: описание, этапы становления и примеры.

12.9. Аксиоматический метод Для древних греков объекты математики имели реальное существование в «мире идей». Некоторые свойства этих объектов представлялись умственному взору совершенно неоспоримыми и объявлялись аксиомами, другие - неочевидные - следовало

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

(греч. axioma - значимое, принятое положение) - способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные утверждения (теоремы) этой теории. Научная значимость A.M. была обоснована еще Аристотелем, который первым разделил все множество истинных высказываний на основные (“принципы”) и требующие доказательства (“доказываемые”). В своем развитии A.M. прошел три этапа. На первом этапе A.M. был содержательным, аксиомы принимались на основании их очевидности. Примером такого дедуктивного построения теории служат “Начала” Евклида. На втором этапе Д. Гильберт внес формальный критерий применения A.M. - требование непротиворечивости, независимости и полноты системы аксиом. На третьем этапе A.M. становится формализованным. Соответственно, изменилось и понятие “аксиома”. Если на первом этапе развития A.M. она понималась не только как отправной пункт доказательств, но и как истинное положение, не нуждающееся в силу своей очевидности в доказательстве, то в настоящее время аксиома обосновывается в качестве необходимого элемента теории, когда подтверждение последней рассматривается одновременно как подтверждение ее аксиоматических оснований как исходного пункта построения. Помимо основных и вводимых утверждений в A.M. стал выделяться также уровень специальных правил вывода. Таким образом наравне с аксиомами и теоремами как множеством всех истинных утверждений данной теории формулируются аксиомы и теоремы для правил вывода - метааксиомы и метатеоремы. К. Геделем в 1931 была доказана теорема о принципиальной неполноте любой формальной системы, ибо в ней содержатся неразрешимые предложения, которые одновременно недоказуемы и неопровержимы. Учитывая накладываемые на него ограничения, А. М. рассматривается как один из основных методов построения развитой формализованной (а не только содержательной) теории наряду с гипотетико-дедуктивным методом (который иногда трактуется как “полуаксиоматический”) и методом математической гипотезы. Гипотетико-дедуктивный метод, в отличие от A.M., предполагает построение иерархии гипотез, в которой более слабые гипотезы выводятся из более сильных в рамках единой дедуктивной системы, где сила гипотезы увеличивается по мере удаления от эмпирического базиса науки. Это позволяет ослабить силу ограничений A.M.: преодолеть замкнутость аксиоматической системы за счет возможности введения дополнительных гипотез, жестко не связанных исходными положениями теории; вводить абстрактные объекты разных уровней организации реальности, т.е. снять ограничение на справедливость аксиоматики “во всех мирах”; снять требование равноправности аксиом. С другой стороны, A.M., в отличие от метода математической гипотезы, акцентирующего внимание на самих правилах построения математических гипотез, относящихся к неисследованным явлениям, позволяет апеллировать к определенным содержательным предметным областям.

В.Л. Абушенко

Аксиоматический Метод

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

Один из способов дедуктивного построения научных теорий, при к-ром: 1) выбирается нек-рое множество принимаемых без доказательства предложений определенной теории (аксиом); 2) входящие в них понятия явно не определяются в рамках данной теории; 3) фиксируются правила определения и правила вывода данной теории, позволяющие вводить новые термины (понятия) в теорию и логически выводить одни предложения из других; 4) все остальные предложения данной теории (теоремы) выводятся из (1) на основе (3). Первые представления об А. м. возникли в Древн. Греции (Элеаты, Платон. Аристотель, Евклид). В дальнейшем делались попытки аксиоматического изложения различных разделов философии и науки (Спиноза, Ньютон и др) Для этих исследований было характерно содержательное аксиоматическое построение определенной теории (и только ее одной), при этом осн внимание уделялось определению и выбору интуитивно очевидных аксиом Начиная со второй половины 19 в, в связи с интенсивной разработкой проблем обоснования математики и математической логики, аксиоматическую теорию стали рассматривать как формальную (а с 20-30-х гг. 20 в - как формализованную) систему, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, к-рые ей удовлетворяют. При этом осн. внимание стали обращать на установление непротиворечивости системы, ее полноты, независимости системы аксиом и т д В связи с тем что знаковые системы могут рассматриваться или вне зависимости от содержания, к-рое может быть в них представлено, или с его учетом, различаются синтаксические и семантические аксиоматические системы (лишь вторые представляют собой собственно научные знания) Это различение вызвало необходимость формулирования осн. требований, предъявляемых к ним, в двух планах синтаксическом и семантическом (синтаксическая и семантическая непротиворечивость, полнота, независимость аксиом и т д) Анализ формализованных аксиоматических систем привел к установлению их принципиальных ограниченностей, гл из к-рых является доказанная Гёделем невозможность полной аксиоматизации достаточно развитых научных теорий (напр, арифметики натуральных чисел), откуда следует невозможность полной формализации научного знания Аксиоматизация является лишь одним из методов построения научного знания, но ее использование в качестве средства научного открытия весьма ограниченно. Аксиоматизация осуществляется обычно после того, как содержательно теория уже в достаточной мере построена, и служит целям более точного ее представления, в частности строгого выведения всех следствий из принятых посылок В последние 30-40 лет большое внимание уделяется аксиоматизации не только математических дисциплин, но и определенных разделов физики, биологии, психологии, экономики, лингвистики и др, включая теории структуры и динамики научного знания. При исследовании естественнонаучного (вообще любого нематематического) знания А. м. выступает в форме гипотетико-дедуктивно-го метода (см. также Формализация)

Аксиоматический Метод

Способ построения теории, при котором в ее основу кладутся некоторые исходные положения – аксиомы или постулаты,...

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

Аксиоматический Метод

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

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

А. м. – особый способ определения объектов и отношений между ними (см.: Аксиоматическое определение). А. м. используется в математике, логике, а также в отдельных разделах физики, биологии и др. А. м. зародился еще в античности и приобрел большую известность благодаря “Началам” Евклида, появившимся около 330 – 320 гг. до н. э. Евклиду не удалось, однако, описать в его “аксиомах и постулатах” все свойства геометрических объектов, используемые им в действительности; его доказательства сопровождались многочисленными чертежами. “Скрытые” допущения геометрии Евклида были выявлены только в новейшее время Д. Гильбертом (1862-1943), рассматривавшим аксиоматическую теорию как формальную теорию, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, удовлетворяющих ей. Сейчас аксиоматические теории нередко формулируются как формализованные системы, содержащие точное описание логических средств вывода теорем из аксиом. Доказательство в такой теории представляет собой последовательность формул, каждая из которых либо является аксиомой, либо получается из предыдущих формул последовательности по одному из принятых правил вывода.

К аксиоматической формальной системе предъявляются требования непротиворечивости, полноты, независимости системы аксиом и т. д.

A.M. является лишь одним из методов построения научного знания. Он имеет ограниченное применение, поскольку требует высокого уровня развития аксиоматизируемой содержательной теории.

Как показал известный математик и логик К. Гёдель, достаточно богатые научные теории (напр., арифметика натуральных чисел) не допускают полной аксиоматизации. Это свидетельствует об ограниченности A.M. и невозможности полной формализации научного знания (см.: Гёделя теорема).

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

Итак, аксиоматический метод – это один из способов дедуктивного построения научной теории, при котором выбирается некоторое множество принимаемых без доказательства положений, называемых «началами», «постулатами» или «аксиомами», а все остальные предложения теории получается как логическое следствие этих аксиом.

Аксиоматический метод в математике берет начало по меньшей мере от Евклида, хотя термин «аксиома» часто встречается и у Аристотеля: «… Ибо невозможны доказательства для всего: ведь доказательство должно даваться исходя из чего-то относительно чего-то и для обоснования чего-то. Таким образом, выходит, что все, что доказывается, должно принадлежать к одному роду, ибо все доказывающие науки одинаково пользуются аксиомами. <…> Аксиома обладает наивысшей степенью общности и суть начала всего. <…> Началами доказательства я называю общепринятые положения, на основании которых все строят свои доказательства. <…> О началах знания не нужно спрашивать «почему», а каждое из этих начал само по себе должно быть достоверным. Правдоподобно то, что кажется правильным всем или большинству людей или мудрым – всем или большинству из них или самым известным и славным». (См., например, Аристотель. Сочинения в четырех томах. Т. 2. Топика. М.: Мысль, 1978. С. 349).

Как видно из последнего фрагмента «Топики» Аристотеля, основанием принятия аксиомы служит некая «достоверность» и даже авторитет «известных и славных» людей. Но в настоящее время это не считается достаточным основанием. Современные точные науки, в том числе сама математика, не прибегают к очевидности как к аргументу истинности: аксиома просто вводится, принимается без доказательств.

Давид Гильберт (1862-1943), немецкий математик и физик, указывал, что термин аксиоматический употребляется иногда в более широком, а иногда и в более узком смысле слова. При самом широком понимании этого термина построение какой-либо теории мы называем «аксиоматическим». В этом отношении Д. Гильберт различает содержательную аксиоматику и формальную аксиоматику .

Первая «…вводит свои основные понятия со ссылкой на имеющийся у нас опыт, а свои основные положения либо считает очевидными фактами, в которых можно непосредственно убедиться, либо формулирует их как итог определенного опыта и тем самым выражает нашу уверенность в том, что нам удалось напасть на след законов природы, а заодно и наше намерение подкрепить эту уверенность успехом развиваемой теории. Формальная аксиоматика тоже нуждается в признании очевидности за вещами определенного рода – это необходимо как для осуществления дедукции, так и для установления непротиворечивости самой аксиоматики – однако с тем существенным различием, что этот род очевидности не основывается на каком-либо особом гносеологическом отношении к рассматриваемой конкретной области науки, а остается одним и тем же в случае любой аксиоматики: мы имеем здесь в виду столь элементарный способ познания, что он вообще является предварительным условием любого точного теоретического исследования. <…> Формальная аксиоматизация по необходимости нуждается в содержательной как в своем дополнении, поскольку именно эта последняя поначалу руководит нами в процессе выбора соответствующих формализмов, а затем, когда формальная теория уже имеется в нашем распоряжении, она подсказывает нам, как эта теория должна быть применена к рассматриваемой области действительности. С другой стороны, мы не можем ограничиться содержательной аксиоматикой по той простой причине, что в науке – если не всегда, то все же по преимуществу – мы имеем дело с такими теориями, которые отнюдь не полностью воспроизводят действительное положение вещей, а являются лишь упрощающей идеализацией этого положения, в чем и состоит их значение. Такого рода теория, конечно, не может быть обоснована путем ссылки на очевидность ее аксиом или опыт. Более того, ее обоснование и может быть осуществлено только в том смысле, что будет установлена непротиворечивость произведенной в ней идеализации, т.е. той экстраполяции, в результате которой введенные в этой теории понятия и ее основные положения переступают границы наглядно очевидного или данных опыта» (курсив мой, – Ю.Е.). (Гильберт Д., Бернайс П. Основания математики. М.: Наука, 1979. С. 23.)

Таким образом, современно понимаемый аксиоматический метод сводится к следующему: а) выбирается множество принимаемых без доказательств аксиом; б) входящие в них понятия явно не определяются в рамках данной теории; в) фиксируются правила определения и правила вывода данной теории, позволяющие логически выводить одни предположения из других; г) все остальные теоремы выводятся из «а» на основе «в». Таким методом в настоящее время построены различные разделы математики (геометрия, теория вероятностей, алгебра и др.), физики (механика, термодинамика); делаются попытки аксиоматизации химии и биологии . Гёделем доказана невозможность полной аксиоматизации достаточно развитых научных теорий (например, арифметики натуральных чисел), откуда следует невозможность полной формализации научного знания. При исследовании естественнонаучного знания аксиоматический метод выступает в форме гипотетико-дедуктивного метода . Употребление в обыденной речи понятия «аксиома» как некоей априорной очевидности уже не отражает сути этого понятия. Такое аристотелевское понимание данного термина в математике и естествознании в настоящее время преодолено. Обсуждение аксиоматики уместно сопроводить фрагментом классического сочинения Карла Раймунда Поппера:

«Теоретическую систему можно назвать аксиоматизированной, если сформулировано множество высказываний-аксиом, удовлетворяющее следующим четырем фундаментальным требованиям: (а) система аксиом должна быть непротиворечивой (то есть в ней не должно быть ни самопротиворечивых аксиом, ни противоречий между аксиомами). Это эквивалентно требованию, что не всякое произвольное высказывание выводимо в такой системе. (b) Аксиомы данной системы должны быть независимыми, то есть система не должна содержать аксиом, выводимых из остальных аксиом. (Иными словами, некоторое высказывание можно назвать аксиомой только в том случае, если оно не выводимо в оставшейся после его удаления части системы). Эти два условия относятся к самой системе аксиом. Что же касается отношения системы аксиом к основной части теории, то аксиомы должны быть: (c) достаточными для дедукции всех высказываний, принадлежащих к аксиоматизируемой теории, и d) необходимыми в том смысле, что система не должна содержать излишних предположений. <…> Я считаю допустимыми две различные интепретации любой системы аксиом. Аксиомы можно рассматривать либо (1) как конвенции , либо (2) как эмпирические, или научные гипотезы » (Поппер К. Р. Логика научного исследования. М.: Республика, 2005. С. 65).

В истории науки можно найти ряд примеров перехода на аксиоматический способ изложения теории. Более того, последовательное применение этого метода к логике доказательства теорем в геометрии позволило переосмыслить эту древнюю науку, открыв мир «неевклидовых геометрий» (А. И. Лобачевский, Я. Бойаи, К.Гаусс, Г. Ф. Б. Риман и др.). Этот метод оказался удобным и продуктивным, позволяющим выстраивать научную теорию буквально как монокристалл (так, в частности, излагается сейчас теоретическая механика и классическая термодинамика). Несколько позже, уже в 30-х годах XX столетия отечественный математик Андрей Николаевич Колмогоров (1903-1987) дал аксиоматическое обоснование теории вероятностей, которая, как уверенно полагают историки науки, до этого опиралась на эмпирические образы азартных игр («орлянка», кости, карты). В связи с этим есть смысл предложить вниманию читателя два фрагмента из текстов классиков науки и педагогики, которые умели писать, как говорил Бердяев, не только «о чем-то», но и «что-то».

Р. Курант и Г. Роббинс: «В системе Евклида имеется одна аксиома, относительно которой – на основе сопоставления с эмпирическими данными, с привлечением туго натянутых нитей или световых лучей – никак нельзя сказать, является ли она «истинной». Это знаменитый постулат о параллельных , утверждающий, что через данную точку, расположенную вне данной прямой, можно провести одну и только одну прямую, параллельную данной. Своеобразной особенностью этой аксиомы является то, что содержащееся в ней утверждение касается свойств прямой на всем ее протяжении , причем прямая предполагается неограниченно продолженной в обе стороны: сказать, что две прямые параллельны, – значит утверждать, что у них нельзя обнаружить общей точки, как бы далеко их ни продолжать, Вполне очевидно, что в пределах некоторой ограниченной части плоскости, как бы эта часть ни была обширна, напротив, можно провести через данную точку множество прямых, не пересекающихся с данной прямой. Так как максимально возможная длина линейки, нити, даже светового луча, прослеживаемого с помощью телескопа, непременно конечна и так как внутри круга конечного радиуса существует много прямых, проходящих через данную точку и в пределах круга не встречающихся с данной прямой, то отсюда следует, что постулат Евклида никогда не может быть проверен экспериментально. <…> Венгерский математик Бойаи и русский математик Лобачевский положили конец сомнениям, построивши во всех деталях геометрическую систему, в которой аксиома параллельности была отвергнута. Когда Бойаи послал свою работу «королю математики» Гауссу, от которого с нетерпением ждал поддержки, то получил в ответ уведомление, что самим Гауссом открытие было сделано раньше, но он воздержался в свое время от публикации результатов, опасаясь слишком шумных обсуждений.

Посмотрим, что же означает независимость аксиомы параллельности. Эту независимость следует понимать в том смысле, что возможно свободное от внутренних противоречий построение «геометрических» предложений о точках, прямых и т.д., исходя из системы аксиом, в которой аксиома параллельности заменена противоположной. Такое построение называется неевклидовой геометрией (курсив мой, – Ю.Е.). Нужно было интеллектуальное бесстрашие Гаусса, Бойаи и Лобачевского, чтобы осознать, что геометрия, основанная не на евклидовой системе аксиом, может быть абсолютно непротиворечивой (курсив мой, – Ю.Е.). <…> Мы умеем теперь строить простые «модели» такой геометрии, удовлетворяющие всем аксиомам Евклида, кроме аксиомы параллельности» (Курант Р., Роббинс Г. Что такое математика? М.: Просвещение, 1967. С. 250).

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

Наконец, мнение отечественного математика Андрея Николаевича Колмогорова: «Теория вероятностей или математическая дисциплина может и должна быть аксиоматизирована совершенно в том же смысле, как геометрия или алгебра. Это означает, что, после того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, все дальнейшее изложение должно основываться исключительно лишь на этих аксиомах, не опираясь на обычное конкретное значение этих объектов и их отношений (курсив мой, – Ю.Е.). <…> Всякая аксиоматическая (абстрактная) теория допускает, как известно, бесконечное число конкретных интерпретаций. Таким образом, и математическая теория вероятностей допускает наряду с теми интерпретациями, из которых она возникла, также много других. <…> Аксиоматизация теории вероятностей может быть проведена различными способами как в отношении выбора аксиом, так и выбора основных понятий и основных соотношений. Если преследовать цель возможной простоты как самой системы аксиом, так и построения из нее дальнейшей теории, то представляется наиболее целесообразным аксиоматизирование понятий случайного события и его вероятности. Существуют также другие системы аксиоматического построения теории вероятностей, а именно такие, в которых понятие вероятностей не относится к числу основных понятий, а само выражается через другие понятия [сноска: Ср., например, von Mises R. Wahrscheinlichkeitsrechnung, Leipzig u. Wien, Fr. Deuticke, 1931; Бернштейн С.Н. Теория вероятностей, 2-е изд., Москва, ГТТИ, 1934.]. При этом стремятся, однако, к другой цели, а именно, по возможности к наиболее тесному смыканию математической теории с эмпирическим возникновением понятия вероятности» (Колмогоров А.Н. Основные понятия теории вероятностей. М.: Наука, 1974. С. 9).

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

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

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

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

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

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

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

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

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

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

Ограниченное применение аксиоматического метода в естествознании объясняется прежде всего тем, что его теории постоянно должны контролироваться опытом.

В силу этого естественнонаучная теория никогда не стремится к полной законченности и замкнутости. Между тем в математике предпочитают иметь дело с системами аксиом, которые удовлетворяют требованию полноты. Но как показал К. Гёдель, всякая непротиворечивая система аксиом нетривиального характера не может быть полной.

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

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

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

Анализ возникновения знания, процесса его формирования требует обращения к материалистической диалектике, как наиболее глубокому и всестороннему учению о развитии.