АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД: способ построениянауч.теории, при котором в её основу кладутся некоторые исходные положения(суждения)— аксиомы, или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логич. путём, посредством доказательств. Построение науки на основе А. м. обычноназ.дедуктивным(см.Дедукция). Все понятия дедуктивной теории(кроме фиксированного числа первоначальных)вводятся посредством определений, выражающих их через ранее введённые понятия. В той или иной мере дедуктивные доказательства, характерные для А. м., применяются вомн.науках, однакогл.область его приложения — математика, логика, а также некоторые разделы физики.
Идея А. м. впервые была высказана в связи с построением геометрии вДр.Греции(Пифагор, Платон, Аристотель, Евклид). Длясовр.стадии развития А. м. характерна выдвинутая Гильбертом концепция формального А. м., которая ставит задачу точного описания логич. средств вывода теорем из аксиом. Осн. идея Гильберта — полная формализация языка науки, при которой её суждения рассматриваются как последовательности знаков(формулы), приобретающие смысл лишь при некоторой конкретной интерпретации. Для вывода теорем из аксиом(и вообще одних формул из других)формулируютсяспец.правила вывода.Доказательство в такой теории(исчислении, или формальной системе)— это некоторая последовательность формул, каждая из которых либо есть аксиома, либо получается из предыдущих формул последовательности пок.-л.правилу вывода. В отличие от таких формальных доказательств, свойства самой формальной системы в целом изучаются содержат. средствами метатеории. Осн. требования, предъявляемые к аксиоматич. формальным системам,— непротиворечивость, полнота, независимость аксиом. Гильбертовская программа, предполагавшая возможность доказать непротиворечивость и полноту всей классич. математики, в целом оказалась невыполнимой. В1931Гёделъ доказал невозможность полной аксиоматизации достаточно развитыхнауч.теорий(напр., арифметики натуральных чисел), что свидетельствовало об ограниченности А. м. Осн. принципы А. м. были подвергнуты критике сторонниками интуиционизма и конструктивного направления.
см. такжеФормализм в математике и логике, Теория.
К л и н и С. К., Введение в метаматематику,пер.сангл., М.,1957(лит.); Садовский В. Н., А. м. построениянауч.знания, вкн.: Филос. вопросысовр.формальной логики, М.,1962; Столл Р., Множества. Логика. Аксиоматич. теории,пер.сангл., М.,1968; Н о в и к о в П. С., Элементы математич. логики, M., 19732.

АКСИОМАТИЧЕСКИЙ МЕ́ТОД: см. Метод аксиоматический.

АКСИОМАТИЧЕСКИЙ МЕТОД: АКСИОМАТИЧЕСКИЙ МЕТОД — метод построения теорий, в соответствии с которым разрешается пользоваться в доказательствах лишь аксиомами и ранее выведенными из них утверждениями. Основания для применения аксиоматического метода могут быть разными, что обычно приводит к различению аксиом не только по их формулировкам, но и по их методологическим (прагматическим) статусам. Например, аксиома может иметь статус утверждения, или статус предположения, или статус лингвистического соглашения о желаемом употреблении терминов. Иногда это различие в статусах отражается в названиях аксиом (в современных аксиоматиках для эмпирических теорий среди всех аксиом выделяют часто т. и. постулаты значения, выражающие лингвистические соглашения, а древние греки делили геометрические аксиомы на общие понятия и постулаты, полагая, что первые описывают, вторые строят). Вообще говоря, учет статусов аксиом обязателен, так как можно, например, изменить содержание аксиоматической теории, не изменив при этом ни формулировку, ни семантику аксиом, а поменяв лишь их статус, объявив, скажем, одну из них новым постулатом значения. Аксиоматический метод был впервые продемонстрирован Евклидом в его “Началах”, хотя понятия аксиомы, постулата и определения рассматривались уже Аристотелем. В частности, к нему восходит толкование аксиом как необходимых общих начал доказательства. Понимание аксиом как истин самоочевидных сложилось позднее, став основным с появлением школьной логики Пор-Рояяя, для авторов которой очевидность означает особую способность души осознавать некоторые истины непосредственно (в чистом созерцании, илиинтуиции). Между прочим, убеждение Канта в априорном синтетическом характере геометрии Евклида зависит от этой традиции не считать аксиомы лингвистическими соглашениями или предположениями. Открытие неевклидовой геометрии (Гаусс, Лобачевский, Бойяи); появление в абстрактной алгебре новых числовых систем, причем сразу целых их семейств (напр., /”-адические числа); появление переменных структур вроде групп; наконец, обсуждение вопросов типа “какая геометрия истинна?” — все это способствовало осознанию двух новых, по сравнению с античным, статусов аксиом: аксиом как описаний (классов возможных универсумов рассуждений) и аксиом как предположений, а не самоочевидных утверждений. Так сформировались основы современного понимания аксиоматического метода. Это развитие аксиоматического метода становится особенно наглядным при сопоставлении “Начал” Евклида с “Основаниями геометрии” Д. Гильберта—новой аксиоматики геометрии, базирующейся на высших достижениях математики 19 в. К концу того же века Дж. Пеано дал аксиоматику натуральных чисел. Далее аксиоматический метод был использован для спасения теории множеств после нахождения парадоксов. При этом аксиоматический метод был обобщен и на логику. Гильберт сформулировал аксиомы и правила вывода классической логики высказываний, а П. Бернайс —логики предикатов. Ныне аксиоматическое задание является стандартным способом определения новых логик и новых алгебраических понятий. В последние десятилетия по мере развития моделей теории аксиоматический метод стал в почти обязательном порядке дополняться теоретико-модельным.
Я. Я. Непейвода

аксиоматический метод—способ построения научной теории при котором в е основу кладутся некоторые исходные положения суждения аксиомы См. Аксиомаem или Постулатыem из которых все остальные утв...Большая Советская энциклопедия II
аксиоматический метод—способ построения научной теории в виде системыаксиом постулатов и правил вывода аксиоматики позволяющих путемлогической дедукции получать утверждения теоремы данной теор...Большой энциклопедический словарь II
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утвержд...Большой энциклопедический словарь III
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утверж...Большой Энциклопедический словарь V
аксиоматический метод—способ построения теории при котором в ее основу кладутся некоторые исходные положения аксиомы или постулаты из которых все остальные утверждения этой теории должны выво...Глоссарий философских терминов
аксиоматический метод—способ построения науч. теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путм логич. дедукции получать утверждения теоремы данной теории....Естествознание. Энциклопедический словарь
аксиоматический метод—способ построения научной теории при котором в основу теории кладутся некоторые исходные положения называемые аксиомами а все остальные положения теории вспомогательные ...Иллюстрированный энциклопедический словарь
аксиоматический метод—способ организации научного знания при которой ряд утверждений принимается без доказательства а все остальное знание выводится из них по определенным логическим правилам....Исследовательская деятельность
аксиоматический метод—способ построения науч. теории при кром в ее основе лежат некрые исходные положения суждения аксиомы или постулаты из крых все остальные утверждения этой науки теоремы д...История и философия науки. Энциклопедический словарь
аксиоматический метод—способ построения научной теории при кром в основу теории кладутся некрые исходные положения наз. аксиомамиi теории а все остальные предложения теории получаются как логи...Математическая энциклопедия
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОДstrong метод математических рассуждений основанный на логическом выводе из некоторых утверждений аксиом. Этот метод является одной из основ математич...Научно-технический энциклопедический словарь
аксиоматический метод—метод построения научной теории как системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утверждения теоремы данной теории...Начала современного естествознания
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД греч. axioma значимое принятое положение способ построения теории при котором некоторые истинные утверждения избираются в качестве исходных положе...Новейший философский словарь
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утвержд...Новый большой англо-русский словарь II
аксиоматический метод—аксоматичний метод...Російсько-український словник логіки
аксиоматический метод—axiomatic method...Русско-английский психологический словарь
аксиоматический метод—postulational method...Русско-английский словарь по машиностроению
аксиоматический метод—axiomatic method...Русско-английский словарь по физике
аксиоматический метод—axiomatic method...Русско-английский технический словарь
аксиоматический метод—аксяматычны метад...Русско-белорусский математический словарь
аксиоматический метод—metodo assiomatico...Русско-итальянский политехнический словарь
аксиоматический метод—аксоматичний метод...Русско-украинский политехнический словарь
аксиоматический метод—Способ исследования состоящий в том что множество элементов или объектов разбивается на части подмножества. Одна часть рассматривается как исходные положения аксиомы пос...Словарь лингвистических терминов Т.В. Жеребило
аксиоматический метод—способ построения научной теории при котором какието положения теории избираются в качестве исходных а все остальные ее положения выводятся из них чисто логическим путем ...Словарь логики
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории при котором какието положения теории избираются в качестве исходных а все остальные ее положения выводятся из них ...Словарь по логике
аксиоматический метод—способ построения научной теории при котором в основу теории кладутся некоторые исходные положения называемые аксиомами а все остальные положения теории вспомогательные ...Словарь по педагогической психологии
аксиоматический метод—способ построения науч. теории при кром в е основу кладутся некрые исходные положения суждения аксиомы или постулаты из крых все остальные утверждения этой теории должны ...Советский философский словарь
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории при котором в основу теории кладутся некоторые исходные положения называемые аксиомами а все остальные положения те...Современная энциклопедия
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утвержд...Современный энциклопедический словарь
аксиоматический метод—греч. axioma значимое принятое положение способ построения теории при котором некоторые истинные утверждения избираются в качестве исходных положений аксиом из которых з...Социологическая энциклопедия
аксиоматический метод—способ организации научного в особенности теоретического знания сущность которого состоит в выделении среди всего множества истинных высказываний об определенной предметн...Философия науки
аксиоматический метод—способ построения научной теории при котором в ее основу кладутся некоторые исходные положения аксиомы или постулаты из которых все остальные утверждения этой теории долж...Философия науки и техники
аксиоматический метод—от греч. axioma принятое положение способ построения научной теории в качестве ее основы априори принимающий положения из которых все остальные утверждения теории вывод...Философия науки. Эпистемология. Методология. Культура
аксиоматический метод—см. Метод аксиоматический....Философская Энциклопедия (в 5 томах)
аксиоматический метод—один из способов дедуктивного построения научных теорий при кром выбирается некрое множество принимаемых без доказательства предложений определенной теории аксиом входя...Философский энциклопедический словарь
аксиоматический метод—способ построения научной теории при котором е основу составляют некоторые исходные положения аксиомы или постулаты из которых логически выводятся все остальные положени...Человек и общество
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утверж...Энциклопедический словарь естествознания
аксиоматический метод—. см. МЕТОД АКСИОМАТИЧЕСКИЙ. Antinazi.Энциклопедия социологии...Энциклопедия социологии
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД от греч. axioma принятое положение способ построения научной теории при котором в доказательствах пользуются лишь аксиомами постулатами и ранее вы...Энциклопедия эпистемологии и философии науки