АКСИОМА

Большая советская энциклопедия (БЭС)

(греч. axioma — удостоенное, принятое положение, от axioo — считаю достойным)
        положение некоторой данной теории, которое при дедуктивном построении этой теории не доказывается в ней, а принимается за исходное, отправное, лежащее в основе доказательств других предложений этой теории. Обычно в качестве А. выбирают такие предложения рассматриваемой теории, которые являются заведомо истинными или могут в рамках этой теории считаться истинными.
         Возникнув в Древней Греции, термин «А.» впервые встречается у Аристотеля, а затем через труды последователей и комментаторов Евклида прочно входит в геометрию. В средние века господство аристотелевской философии обусловило его проникновение в другие области науки, а через неё и в обыденную жизнь. А. стали называть такое общее положение, которое, будучи совершенно очевидным, не нуждается в доказательстве. Природу этой очевидности видели, следуя взглядам, идущим ещё от Платона, в прирождённости человеку таких основных истин, как математическая А. Учение И. Канта об априорности последних, т. е. о том, что они предшествуют всякому опыту и не зависят от него, было кульминацией таких взглядов на А. Первым крупным ударом по взгляду на А. как на вечные и непреложные «априорные» истины явилось построение Н. И. Лобачевским неевклидовой геометрии.
         Критикуя взгляды Гегеля на логическую А. (на фигуры аристотелевских силлогизмов), В. И. Ленин писал: «...практическая деятельность человека миллиарды раз должна была приводить сознание человека к повторению разных логических фигур, дабы эти фигуры могли получить значение аксиом» («Философские тетради», 1969, с. 172). Именно в обусловленности многовековым человеческим опытом, практикой, включая сюда также и эксперимент, и опыт развития науки,— причина очевидности А., рассматриваемых как истины, не нуждающиеся в доказательстве.
         Вместе с тем крушение взгляда на А. как на «априорные» истины привело к раздвоению понятия А. Всё возрастающая в связи с запросами практики необходимость экспериментировать в области построения новых теорий, заменять одну А. другой, а также их относительность, зависимость от ранее встречающихся конкретных условий опыта и уровня развития науки, приводящая к невозможности выбрать раз навсегда и навечно в качестве А. такие положения, которые будут истинны абсолютно во всех условиях, — всё это обусловило появление понятия А. в смысле, несколько отличном от традиционного. Понятие А. в этом смысле зависит от того, построение какой теории рассматривается и как оно проводится. А. данной теории при этом называются просто те предложения этой теории, которые при данном построении её как дедуктивной теории принимаются за исходные, притом совершенно независимо от того, сколь они просты и очевидны. Более того, уже из опыта, например, построения различных неевклидовых геометрий и их последующего истолкования и практического использования стала ясной невозможность при построении (или аксиоматизации) той или иной теории каждый раз требовать заранее истинности её А.
         С созданием развитого аппарата математической логики связано дальнейшее развитие понятия А. В формальном исчислении А. является уже не предположением некоторой содержательной научной теории, а просто одной из тех формул, из которых по правилам вывода этого исчисления выводятся остальные доказуемые в нём формулы («теоремы» этого исчисления). См. также Аксиоматический метод и литературу при этой статье.
         А.В. Кузнецов.

Современная Энциклопедия

АКСИОМА (от греческого axioma - принятие положения), исходное положение научной теории, принимаемое без доказательства.

Мультимедийная энциклопедия

принцип или положение, принимаемое без доказательств за истинное. Термин "аксиома" использовался как до Евклида, так и после него, но сам Евклид употреблял выражение "общая идея", т.е. идея, принимаемая всеми за истинную, понимая под этим аксиому абстрактного содержания, а также термин "требование" (лат. postulatum), т.е. утверждение, имеющее конкретное геометрическое содержание, которое требуется принять без доказательства ради последующего рассуждения, воздерживаясь от его оценки. Такое различие сохранилось ныне только в элементарной математике. Что же касается высших разделов математики, то здесь термин "постулат" используется почти исключительно в смысле допущения чисто логического содержания. Хотя несовершенство постулатов Евклида было осознано довольно давно, считалось, что они тем не менее правильно описывают свойства пространства в рамках человеческого опыта. Дж. Саккери (1667-1733) пытался доказать постулат о параллельных (через точку P, лежащую вне прямой L, можно провести одну и только одну прямую, параллельную L); Н. И. Лобачевский (1792-1856) и Я. Бойяи (1802-1860) независимо друг от друга создали другую геометрию, предположив, что через точку P можно провести более одной прямой, параллельной прямой L; Б.Риман (1826-1866) создал еще одну геометрию, предположив, что всякая прямая, проходящая через точку P, пересекается с прямой L. В 1882 М.Паш предложил первую евклидову геометрию, выведенную из постулатов без определения таких элементов, как точка, прямая и плоскость. В 1888 Д.Пеано начал публикацию результатов предпринятых им попыток сведения всей математики к абстрактным системам, выводимым из явно сформулированных постулатов, записанных с помощью точной символики и использующих минимальное число неопределяемых терминов. В 1899 Д.Гильберт опубликовал свои Основания геометрии, в которых евклидова геометрия была изложена как чисто формальная абстрактная система, выводимая из явно сформулированных постулатов относительно никак более не определяемых терминов. Так в математике началась эпоха постулатов. Ныне существуют постулаты геометрии (евклидовой или неевклидовой, метрической или проективной), арифметики, алгебры и т.д. Вопрос о внутренней истинности постулатов более не рассматривается. Что же касается терминов, используемых в постулатах, то от них не требуется иного смысла, кроме того, который приписывается им постулатами. Из-за возросшей роли постулатов в математической системе их теперь анализируют более тщательно, чем когда-либо раньше. Разумеется, постулаты должны быть непротиворечивы, но весьма желательно, чтобы они были независимы, а число их было минимально. В некоторых случаях постулаты должны образовывать полное множество. Не вдаваясь в детали, можно сказать, что множество постулатов называется полным, если оно позволяет решить, истинно или ложно любое утверждение из области применимости постулатов, или, иначе говоря, если к этому множеству невозможно добавить новые постулаты, не впадая при этом в противоречие или избыточность.

Орфографический словарь Лопатина

акси`ома, акси`ома, -ы

Словарь Даля

жен., ·*греч. очевидность, ясная по себе и бесспорная истина, не требующая доказательств, напр. целое всегда, больше части своей; основная истина, самоистина, ясноистина.

Словарь Ожегова

АКСИ’ОМА, -ы, жен.
1. Исходное положение, принимаемое без доказательств и лежащее в основе доказательств истинности других положений (спец.).
2. Положение, принимаемое без доказательств (книжн.).
прил. аксиоматический, -ая, -ое.

Словарь синонимов Абрамова

см. истина

Словарь Ушакова

АКСИ’ОМА, аксиомы, ·жен. (·греч. axioma). Положение, принимаемое без доказательств (мат.).
Очевидная истина, утверждение, принимаемое на веру (·книж. ).

Толковый словарь Ефремовой

[аксиома]
ж.
1) Исходное положение какой-л. научной теории, принимаемое без доказательств.
2) перен. Неоспоримое, бесспорное положение, очевидная истина, не требующая доказательств.

Философский словарь

(греч. axioma — принятое положение) — исходное утверждение (предложение) к.-л. научной теории, к-рое берется в качестве недоказуемого в данной теории и из к-рого (или совокупности к-рых) выводятся все остальные предложения теории по принятым в ней правилам вывода (ср. Постулат). Начиная с античности и вплоть до средины 19 в. А. рассматривались как интуитивно очевидные или априорно истинные предложения. При этом упускалась из виду их обусловленность человеческой практически-познавательной деятельностью. Ленин писал, что практическая деятельность человека, миллиарды раз повторяясь, закрепляется в его сознании фигурами логики, к-рые в силу этого многократного повторения получают значение аксиом. Совр. понимание аксиоматического метода требует от А. выполнения лишь одного условия: быть исходными положениями для вывода с помощью принятых логических правил всех остальных предложений (теорем) данной теории. Вопрос об истинности А. решается или в рамках др. научных теорий, или при нахождении интерпретации (Интерпретация и модель) данной системы: реализация нек-рой формализованной аксиоматической системы в той или иной предметной области свидетельствует об истинности принятых в ней А.

Философский энциклопедический словарь

АКСИОМА (от греч. axioma – значимость, требование) – исходное положение, которое не может быть доказано, но в то же время и не нуждается в доказательстве, т. к. является совершенно очевидным и поэтому может служить исходным положением для др. положений (см. ДЕДУКЦИЯ). Логическими аксиомами являются: закон тождества, закон противоречия, закон исключенного третьего (см. EXCLUSI TERTII PRINCIPIUM), закон достаточного основания. Аксиоматика – учение об определениях и доказательствах в их отношении к системе аксиом. Ср. Логистика.

Философский энциклопедический словарь 2

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

Научнотехнический Энциклопедический Словарь

АКСИОМА, утверждение, используемое в математике или логике как основание для дедуктивных рассуждений. см. АКСИОМАТИЧЕСКИЙ МЕТОД.

Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: АКСИОМА

будет выглядеть так: Что такое АКСИОМА