 |
 |
|
 |
|
|
АКСИОМАТИЧЕСКИЙ МЕТОД |
| Большая советская энциклопедия (БЭС) |
способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) — аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться чисто логическим путём, посредством доказательств (См. Доказательство). Назначение А. м. состоит в ограничении произвола при принятии научных суждений в качестве истин данной теории. Построение науки на основе А. м. обычно называется дедуктивным. Все понятия дедуктивной теории (кроме фиксированного числа первоначальных) вводятся посредством определений (См. Определение), выражающих (или разъясняющих) их через ранее введённые понятия. В той или иной мере дедуктивные доказательства, характерные для А. м., применяются во многих науках. Но, несмотря на попытки систематического применения А. м. к изложению философии (Б. Спиноза), социологии (Дж. Вико), политической экономии (К. Родбертус-Ягецов), биологии (Дж. Вуджер) и др. наук, главной областью его приложения до сих пор остаются математика и символическая логика, а также некоторые разделы физики (механика, термодинамика, электродинамика и др.).
А. м прошёл в своём историческом развитии 3 стадии. Первая связана с построением геометрии в Древней Греции. Основное сочинение этого периода — «Начала» Евклида (хотя, по-видимому, и до него Пифагор, которому приписывается открытие А. м., а затем Платон и его ученики немало сделали для развития геометрии на основе А. м.). В то время считалось, что в качестве аксиом должны выбираться суждения, истинность которых «самоочевидна», так что истинность теорем считалась гарантированной безупречностью самой логики. Но Евклиду не удалось ограничиться чисто логическими средствами при построении геометрии на основе аксиом. Он охотно прибегал к интуиции в вопросах, касающихся непрерывности, взаимного расположения и равенства геометрических объектов. Впрочем, во времена Евклида такие обращения к интуиции могли и не восприниматься как выход за пределы логики — прежде всего потому, что сама логика не была ещё аксиоматизирована (хотя частичная формализация логики, осуществленная Аристотелем (См. Аристотель) и его последователями, и была некоторым приближением к аксиоматизации). Не было и достаточной отчётливости во введении первоначальных понятий и при определении новых понятий.
Начало второй стадии в истории А. м. связывают обычно с открытием Н. И. Лобачевским (См. Лобачевский), Я. Больяй и К. Ф. Гауссом возможности построить непротиворечивым образом геометрию, исходя из систем аксиом, отличной от евклидовой. Это открытие разрушило убеждение в абсолютной («очевидной» или «априорной») истинности аксиом и основанных на них научных теорий. Теперь аксиомы стали пониматься просто как исходные положения данной теории, вопрос же об их истинности в том или ином смысле (и выбор в качестве аксиом) выходит за рамки аксиоматической теории как таковой и относится к её взаимоотношению с фактами, лежащими вне её. Появилось много (и притом различных) геометрических, арифметических и алгебраических теорий, которые строились средствами А. м. (работы Р. Дедекинда, Г. Грасмана и др.). Эта стадия развития А. м. завершилась созданием аксиоматических систем арифметики (Дж. Пеано, 1891), геометрии (Д. Гильберт, 1899), исчисления высказываний и предикатов (А. Н. Уайтхед и Б. Рассел, Англия, 1910) и аксиоматической теории множеств (См. Аксиоматическая теория множеств) (Э. Цермело, 1908).
Гильбертовская аксиоматизация геометрии позволила Ф. Клейну и А. Пуанкаре доказать непротиворечивость геометрии Лобачевского относительно евклидовой геометрии посредством указания интерпретации (См. Интерпретация) понятий и предложений неевклидовой геометрии в терминах геометрии Евклида, или, как говорят, построения модели (См. Модель) первой средствами второй. Метод моделей (интерпретаций) стал с тех пор важнейшим методом установления относительной непротиворечивости аксиоматических теорий. В то же время со всей отчётливостью выявилось, что, кроме «естественной» интерпретации (т. е. той, ради уточнения и развития которой данная теория строилась), у аксиоматической теории могут быть и др. интерпретации, причём её можно с равным основанием считать «говорящей» о каждой из них.
Последовательное развитие этой идеи и стремление точно описать логические средства вывода теорем из аксиом привели Гильберта к концепции формального А. м., характерной для третьей, современной его стадии. Основная идея Гильберта — полная формализация языка науки, при которой её суждения рассматриваются просто как последовательности знаков (формулы), не имеющие как таковые никакого смысла (который они приобретают лишь при некоторой конкретной интерпретации). Это относится и к аксиомам — как общелогическим, так и специфическим для данной теории. Для вывода теорем из аксиом (и вообще одних формул из других) формулируются специальные правила вывода (например, т. н. правило modus ponens — «правило зачёркивания», позволяющее получить В из А и «А влечёт В»). Доказательство в такой теории (исчислении (См. Исчисление), или формальной системе (См. Формальная система)) — это просто последовательность формул, каждая из которых либо есть аксиома, либо получается из предыдущих формул последовательности по какому-либо правилу вывода (См. Правило вывода). В отличие от таких формальных доказательств, свойства самой формальной системы в целом обсуждаются — а иногда их удаётся и доказать — содержательными средствами т. н. метатеории (См. Метатеория), т. е. теории, рассматривающей данную («предметную») теорию как предмет изучения. На языке метатеории (метаязыка) формулируются и правила вывода предметной теории. По замыслу Гильберта, в рамках созданной им теории доказательств, т.е. допуская в метатеории только т. н. финитные способы рассуждения (не использующие ссылки ни на какие объекты, не имеющие конечного построения), можно было бы доказать непротиворечивость и полноту всей классической математики (т. е. доказуемость каждой формулы, истинной при некоторой определённой интерпретации). Несмотря на ряд значительных результатов в этом направлении, гильбертовская программа в целом (её обычно называют формализмом) невыполнима, т. к., согласно важнейшему результату К. Гёделя (См. Гёдель)(1931), всякая достаточно богатая непротиворечивая формальная система непременно неполна (т. н. теорема о неполноте). Теорема Гёделя свидетельствует об ограниченности А. м. (хотя определённые расширения допускаемых метатеоретических средств и позволили немецкому математику Г. Генцену, П. С. Новикову и др. математикам получить доказательство непротиворечивости формализованной арифметики).
А. м. подвержен также критике, исходящей из различных семантических (см. Логическая семантика) критериев. Так, интуиционисты (Л. Э. Я. Брауэр, Г. Вейль и др.) не признают обоснованности в применении к бесконечным множествам принципа исключенного третьего (см. Исключённого третьего принцип) между тем этот принцип не только берётся в качестве логической аксиомы в большинстве формальных теорий, но и используется по существу (хотя и неявно) в основных предпосылках гильбертовской программы, согласно которой непротиворечивость теории — достаточное условие её «истинности». Как и интуиционизм, конструктивное направление (См. Конструктивная математика) в математике (в СССР — А. А. Марков и Н. А. Шанин) считает назначением математики изучение не произвольных моделей непротиворечивых формальных систем, а лишь совокупностей объектов, допускающих в определённом смысле эффективное построение.
Ещё более существенные возражения против А. м. выдвигает ультраинтуиционистская критика, ставящая под сомнение единственность натурального ряда чисел и, тем самым, однозначную определённость понятия теоремы формальной системы. Согласно этой критике, А. м. основан на «принципе локальности для доказательств», предполагающем, что если аксиомы истинны и правила вывода сохраняют истинность, то истинными непременно должны быть и теоремы. Т. о., интуитивное обоснование общеупотребительного принципа математической индукции, согласно ультраинтуиционистской критике, содержит неустранимый порочный круг. Ультраинтуиционизм, не ограничиваясь критикой, предлагает и положительную программу преодоления указанных трудностей.
Лит.: Начала Евклида, пер. с греч., [т. 1 — 3], М. — Л., 1948 — 50; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (библ.); Новиков П. С., Элементы математической логики, М., 1959: Есенин-Вольпин А. С., Об аксиоматическом методе, «Вопросы философии», 1959, № 7; Садовский В. Н., Аксиоматич. метод построения науч. знания, в кн.: Филос. вопросы совр. формальной логики, М., 1962; Hilbert D., Bernays P., Grundlagen der Mathematik, Bd 1 — 2, В., 1934 — 39.
Ю. А. Гастев, А. С. Есенин-Вольпин.
|
| Современная Энциклопедия |
| АКСИОМАТИЧЕСКИЙ МЕТОД, способ построения научной теории, при котором в основу теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории (вспомогательные - леммы и ключевые теоремы) получаются как логические следствия аксиом. Первым примером применения аксиоматического метода явились "Начала" Евклида (около 300 до нашей эры). |
| Социологический Энциклопедичечкий Словарь |
| АКСИОМАТИЧЕСКИЙ МЕТОД. см. МЕТОД АКСИОМАТИЧЕСКИЙ. |
| Новый философский словарь |
(греч. axioma — значимое, принятое положение)
способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные утверждения (теоремы) этой теории. Научная значимость A.M. была обоснована еще Аристотелем, который первым разделил все множество истинных высказываний на основные ("принципы") и требующие доказательства ("доказываемые"). В своем развитии A.M. прошел три этапа. На первом этапе A.M. был содержательным, аксиомы принимались на основании их очевидности. Примером такого дедуктивного построения теории служат "Начала" Евклида. На втором этапе Д. Гильберт внес формальный критерий применения A.M. — требование непротиворечивости, независимости и полноты системы аксиом. На третьем этапе A.M. становится формализованным. Соответственно, изменилось и понятие "аксиома". Если на первом этапе развития A.M. она понималась не только как отправной пункт доказательств, но и как истинное положение, не нуждающееся в силу своей очевидности в доказательстве, то в настоящее время аксиома обосновывается в качестве необходимого элемента теории, когда подтверждение последней рассматривается одновременно как подтверждение ее аксиоматических оснований как исходного пункта построения. Помимо основных и вводимых утверждений в A.M. стал выделяться также уровень специальных правил вывода. Таким образом наравне с аксиомами и теоремами как множеством всех истинных утверждений данной теории формулируются аксиомы и теоремы для правил вывода — метааксиомы и метатеоремы. К, Геде-лем в 1931 была доказана теорема о принципиальной неполноте любой формальной системы, ибо в ней содержатся неразрешимые предложения, которые одновременно недоказуемы и неопровержимы. Учитывая накладываемые на него ограничения, А. М. рассматривается как один из основных методов построения развитой формализованной (а не только содержательной) теории наряду с гипотетико-дедуктивным методом (который иногда трактуется как "полуаксиоматический") и методом математической гипотезы. Гипотетико-де-дуктивный метод, в отличие от A.M., предполагает построение иерархии гипотез, в которой более слабые гипотезы выводятся из более сильных в рамках единой дедуктивной системы, где сила гипотезы увеличивается по мере удаления от эмпирического базиса науки. Это позволяет ослабить силу ограничений A.M.: преодолеть замкнутость аксиоматической системы за счет возможности введения дополнительных гипотез, жестко не связанных исходными положениями теории; вводить абстрактные объекты разных уровней организации реальности, т.е. снять ограничение на справедливость аксиоматики "во всех мирах"; снять требование равноправности аксиом. С другой стороны, A.M., в отличие от метода математической гипотезы, акцентирующего внимание на самих правилах построения математических гипотез, относящихся к неисследованным явлениям, позволяет апеллировать к определенным содержательным предметным областям.
В.Л. Абушенко |
| Философский словарь |
| один из способов дедуктивного построения научных теорий, при к-ром: 1) выбирается нек-рое множество принимаемых без доказательства предложений определенной теории (аксиом); 2) входящие в них понятия явно не определяются в рамках данной теории; 3) фиксируются правила определения и правила вывода данной теории, позволяющие вводить новые термины (понятия) в теорию и логически выводить одни предложения из других; 4) все остальные предложения данной теории (теоремы) выводятся из (1) на основе (3). Первые представления об А. м. возникли в Древн. Греции (Элеаты, Платон. Аристотель, Евклид). В дальнейшем делались попытки аксиоматического изложения различных разделов философии и науки (Спиноза, Ньютон и др ) Для этих исследований было характерно содержательное аксиоматическое построение определенной теории (и только ее одной), при этом осн внимание уделялось определению и выбору интуитивно очевидных аксиом Начиная со второй половины 19 в , в связи с интенсивной разработкой проблем обоснования математики и математической логики, аксиоматическую теорию стали рассматривать как формальную (а с 20 — 30-х гг. 20 в — как формализованную) систему, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, к-рые ей удовлетворяют. При этом осн внимание стали обращать на установление непротиворечивости системы, ее полноты, независимости системы аксиом и т д В связи с тем что знаковые системы могут рассматриваться или вне зависимости от содержания, к-рое может быть в них представлено, или с его учетом, различаются синтаксические и семантические аксиоматические системы (лишь вторые представляют собой собственно научные знания) Это различение вызвало необходимость формулирования осн. требований, предъявляемых к ним, в двух планах синтаксическом и семантическом (синтаксическая и семантическая непротиворечивость, полнота, независимость аксиом и т д ) Анализ формализованных аксиоматических систем привел к установлению их принципиальных ограниченностей, гл из к-рых является доказанная Геделем невозможность полной аксиоматизации достаточно развитых научных теорий (напр , арифметики натуральных чисел), откуда следует невозможность полной формализации научного знания Аксиоматизация является лишь одним из методов построения научного знания, но ее использование в качестве средства научного открытия весьма ограниченно. Аксиоматизация осуществляется обычно после того, как содержательно теория уже в достаточной мере построена, и служит целям более точного ее представления, в частности строгого выведения всех следствий из принятых посылок В последние 30 — 40 лет большое внимание уделяется аксиоматизации не только математических дисциплин, но и определенных разделов физики, биологии, психологии, экономики, лингвистики и др , включая теории структуры и динамики научного знания. При исследовании естественнонаучного (вообще любого нематематического) знания А. м. выступает в форме гипотетико-дедуктивно-го метода (см. также ФОРМАЛИЗАЦИЯ) |
| Философский энциклопедический словарь 2 |
способ построения науч. теории, при котором в её основу кладутся некоторые исходные положения (суждения) — аксиомы, или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логич. путём, посредством доказательств. Построение науки на основе А. м. обычно наз. дедуктивным (см. Дедукция). Все понятия дедуктивной теории (кроме фиксированного числа первоначальных) вводятся посредством определений, выражающих их через ранее введённые понятия. В той или иной мере дедуктивные доказательства, характерные для А. м., применяются во мн. науках, однако гл. область его приложения — математика, логика, а также некоторые разделы физики.
Идея А. м. впервые была высказана в связи с построением геометрии в Др. Греции (Пифагор, Платон, Аристотель, Евклид). Для совр. стадии развития А. м. характерна выдвинутая Гильбертом концепция формального А. м., которая ставит задачу точного описания логич. средств вывода теорем из аксиом. Осн. идея Гильберта — полная формализация языка науки, при которой её суждения рассматриваются как последовательности знаков (формулы), приобретающие смысл лишь при некоторой конкретной интерпретации. Для вывода теорем из аксиом (и вообще одних формул из других) формулируются спец. правила вывода. Доказательство в такой теории (исчислении, или формальной системе) — это некоторая последовательность формул, каждая из которых либо есть аксиома, либо получается из предыдущих формул последовательности по к.-л. правилу вывода. В отличие от таких формальных доказательств, свойства самой формальной системы в целом изучаются содержат. средствами метатеории. Осн. требования, предъявляемые к аксиоматич. формальным системам,— непротиворечивость, полнота, независимость аксиом. Гильбертовская программа, предполагавшая возможность доказать непротиворечивость и полноту всей классич. математики, в целом оказалась невыполнимой. В 1931 Гёделъ доказал невозможность полной аксиоматизации достаточно развитых науч. теорий (напр., арифметики натуральных чисел), что свидетельствовало об ограниченности А. м. Осн. принципы А. м. были подвергнуты критике сторонниками интуиционизма и конструктивного направления.
см. также Формализм в математике и логике, Теория.
К л и н и С. К., Введение в метаматематику, пер. с англ., М., 1957 (лит.); Садовский В. Н., А. м. построения науч. знания, в кн.: Филос. вопросы совр. формальной логики, М., 1962; Столл Р., Множества. Логика. Аксиоматич. теории, пер. с англ., М., 1968; Н о в и к о в П. С., Элементы математич. логики, M., 19732. |
| Научнотехнический Энциклопедический Словарь |
| АКСИОМАТИЧЕСКИЙ МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом). Этот метод является одной из основ математической науки: его использовали еще в древней Греции, а формализацию его осуществил в начале XX в. Давид ГИЛЬБЕРТ. В аксиоматической системе некоторые неопределяемые единицы (термины) берутся в качестве исходных и описываются набором аксиом. Из них путем логических рассуждений выводятся другие соотношения (теоремы), часто совершенно неожиданные. см. также ГЕДЕЛЬ. |
|
|
|
|
|
|
|
|
 |
|
 |
|
|
