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

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

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

Примеры

Существует аксиома торгов, аксиома систем, есть аксиомы статики, аксиомы стереометрии, планиметрии, аксиомы строительные и правовые аксиомы.

Широко известные аксиомы: закон противоречия, закон тождества, закон достаточного основания, закон исключенного третьего. Это логические аксиомы.

Аксиомы геометрии: аксиома параллельных прямых, аксиома Архимеда (аксиома непрерывности), аксиома принадлежности и аксиома порядка.

Переосмысление обоснования

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

Как сказано выше, начиная с античности и до середины 19-го века, аксиома рассматривалась как априорно истинное и интуитивно очевидное . Однако, при этом упускалось из виду его человеческой практической деятельностью. Например, Ленин писал, что практически- деятельность человека, миллионы и миллиарды раз повторяясь, остается в его сознании логическими фигурами, которые, как раз в силу этого многократного повторения и получают значение аксиомы.

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

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

Аксиома

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

| Очевидная истина, утверждение, принимаемое на веру (книж. ).

Этимологический Словарь Русского Языка

Аксиома

Немецкое – Axiom.

Французское – axiome.

Латинское – axioma.

Греческое – axioma (бесспорное, общепринятое).

В русском языке слово «аксиома» известно с начала XVIII в. (1717 г.).

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

В латинском axioma восходит к греческому глаголу axioun – «признавать что-либо как достоверное». Первоисточником считается греческое существительное со значением «ценность, достоинство», «утверждение».

В современном русском языке аксиома – «неоспоримая истина, положение, которое по очевидности или общепринятости не требует доказательств».

Родственными являются:

Украинское – аксiома.

Белорусское – аксiёма.

Болгарское – аксиома.

Польское – axioma.

Чешское – axiom.

Производные: аксиоматический, аксиоматичный.

Начала Современного Естествознания. Тезаурус

Аксиома

(от греч. axioma - значимость, требование)

1) (в математике) - предложение, принимаемое без доказательства, рассматриваемое как исходное при построении той или иной математической теории. Система аксиом, являющаяся логическим фундаментом обоснования математической теории, не является раз и навсегда законченной и совершенной и, как и сами аксиомы, изменяется и совершенствуется. К системе аксиом предъявляются требования: непротиворечивости, независимости и полноты. Аксиома также называется постулатом;

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

3) (в переносном смысле) - бесспорная, не требующая доказательств истина.

Культурология. Словарь-справочник

Аксиома

(греч. axioma – принятое положение) – положение, принимаемое без логических доказательств.

Педагогический терминологический словарь

Аксиома

(греч. axioma)

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

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

(Бим-Бад Б.М. Педагогический энциклопедический словарь. - М., 2002. С. 14)

Термины Киносемиотики

АКСИОМА

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

Философский словарь (Конт-Спонвиль)

Аксиома

Аксиома

♦ Axiome

Недоказуемое положение, служащее для доказательства других положений. Являются ли аксиомы истинными? Долгое время считалось, что являются. По мнению Спинозы или Канта, аксиома – это истина, очевидность которой ясна без доказательств, а потому и не нуждается в них. Современные математики и логики склонны рассматривать аксиомы как чистые конвенции или гипотезы, которые не могут быть очевидными истинами. Отныне истина заключается не в самих положениях (если аксиома не есть истина, ни одна теорема не может быть истинной), а в объединяющих их отношениях импликации или дедукции. Следовательно, аксиом в традиционном понимании термина не существует, есть лишь постулаты (Постулат). Но и это заявление – постулат, а не аксиома.

Толковый словарь русского языка (Алабугина)

Вестминстерский словарь теологических терминов

Аксиома

♦ (ENG axiom)

(греч. axioma, лат. axioma - утверждение)

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

Что такое Аксиома? Значение слова «Аксиома» в популярных словарях и энциклопедиях, примеры употребления термина в повседневной жизни.

Аксиома Ж. – Толковый словарь Ефремовой

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

Аксиома Зависимости – Философский словарь

Аксиома разума религиозного человека: "Я достоверно знаю, что нахожусь в зависимости от какого-то отличающегося от меня существа" (Р.Декарт). Это не зависимость от вещей, живых существ, других людей или вселенной - их существование можно подвергнуть сомнению как одних лишь явлений, - а зависимость от самого Бога. " теряет всякий религиозный смысл, если ее истолковать в духе пантеистического натурализма и универсализма" (Б.Вышеславцев). Русская религиозная философия свидетельствует о таинственности человеческого духа в ее зависимости от таинственной глубины Бога.

Аксиома Силлогизма – Философский словарь

Осн. принцип силлогизма, сформулированный Аристотелем: “Когда одно сказывается о другом, как о подлежащем, то все, что говорится о сказуемом, будет говориться и о подлежащем”. В традиционной формальной логике значение А. с. обнаруживается в связи с операцией сведения всех силлогизмов к силлогизмам первой фигуры (Силлогистика). В совр. формальной логике вопрос об А. с. решается в контексте более широкой задачи - аксиоматизации силлогистики.

Аксиоматика Ж. – Толковый словарь Ефремовой

1. Система аксиом какой-л. науки.

Аксиоматический Метод – Философский словарь

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

Аксиоматический Метод – Словарь логики

Способ построения научной те­ории, при котором какие-то положения теории избираются в каче­стве исходных, а все остальные ее положения выводятся из них чисто логическим путем, посредством доказательств. Положения, доказываемые на основе аксиом, называются теоремами. А. м. - особый способ определения объектов и отношений меж­ду ними (см.: Аксиоматическое определение). А. м. используется в математике, логике, а также в отдельных разделах физики, биологии и др. А. м. зародился еще в античности и приобрел большую извес­тность благодаря «Началам» Евклида, появившимся около 330 - 320 гг. до н. э. Евклиду не удалось, однако, описать в его «аксио­мах и постулатах» все свойства геометрических объектов, исполь­зуемые им в действительности; его доказательства сопровожда­лись многочисленными чертежами. «Скрытые» допущения гео­метрии Евклида были выявлены только в новейшее время Д. Гиль­бертом (1862-1943), рассматривавшим аксиоматическую теорию как формальную теорию, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объек­тов, удовлетворяющих ей. Сейчас аксиоматические теории нередко формулируются как формализованные системы, содержа­щие точное описание логических средств вывода теорем из акси­ом. Доказательство в такой теории представляет собой последова­тельность формул, каждая из которых либо является аксиомой, либо получается из предыдущих формул последовательности по одному из принятых правил вывода. К аксиоматической формальной системе предъявляются тре­бования непротиворечивости, полноты, независимости системы ак­сиом и т. д. a.m. является лишь одним из методов построения научного зна­ния. Он имеет ограниченное применение, поскольку требует высо­кого уровня развития аксиоматизируемой содержательной теории. Как показал известный математик и логик К. Гёдель, достаточ­но богатые научные теории (напр., арифметика натуральных чи­сел) не допускают полной аксиоматизации. Это свидетельствует об ограниченности a.m. и невозможности полной формализации научного знания (см.: Гёделя теорема).

Аксиоматический Метод – Большой Энциклопедический Словарь

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

Аксиоматический Метод – Социологический словарь

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

Аксиоматический Метод – Философский словарь

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

Аксиоматический Метод – Философский словарь

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

Аксиоматический Метод – Философский словарь

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

Аксиоматический Прил. – Толковый словарь Ефремовой

1. Соотносящийся по знач. с сущ.: аксиома, связанный с ним.

Аксиоматическое Определение – Философский словарь

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

Аксиоматическое Определение – Словарь логики

Определение термина через множество аксиом (постулатов), в которые он входит и кото­рые последовательно ограничивают область его возможных истол­кований. Напр., можно попытаться дать прямое определение понятия «равенство». Но можно привести систему истинных утверждений, включающих это понятие и неявно задающих его значение: «Каж­дый объект равен самому себе»; «В случае любых объектов, если первый равен второму, то второй равен первому»; «Для всех объек­тов верно, что если первый равен второму, а второй третьему, то первый равен третьему». А. о. является частным случаем определения контекстуального. Всякий отрывок текста, всякий контекст, в котором встречается интересующее нас понятие, является в некотором смысле неяв­ным определением последнего. Контекст ставит понятие в связь с другими понятиями и тем самым косвенно раскрывает его содер­жание. Встретив в тексте на иностранном языке одно-два неизве­стных слова, мы, понимая текст в целом, можем составить при­мерное представление и о значениях неизвестных слов. Аналогично дело обстоит и с А. о. Совокупность аксиом к.-л. теории является одновременно и свернутой формулировкой этой теории, и тем контекстом, который неявно определяет все входящие в аксиомы понятия. Чтобы узнать, к примеру, что значат слова «масса», «сила», «ус­корение» и т. п., можно обратиться к аксиомам классической меха­ники Ньютона. «Сила равна массе, умноженной на ускорение», «Сила действия равна силе противодействия» и т. д. - эти положения, указывая связи понятия «сила» с другими понятиями механики, раскрывают его сущность. Принципиальное отличие А. о. от иных контекстуальных опре­делений в том, что аксиоматический контекст строго ограничен и фиксирован. Он содержит все, что необходимо для понимания вхо­дящих в него понятий. Он ограничен по размеру и по составу. А. о. - одна из высших форм научного определения. Не всякая теория способна определить свои исходные термины аксиомати­чески, для этого требуется относительно высокий уровень разви­тия знаний об исследуемой области. Изучаемые объекты и их от­ношения должны быть также сравнительно просты.

АКСИОМА

АКСИОМА

(от греч. axioma - значимое, принятое положение) - исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств др. ее положений.
Долгое термин «А.» понимался не просто как отправной пункт доказательств, но и как истинное положение, не нуждающееся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т.п. Так, Аристотель считал, что А. (начала) не требуют доказательства по причине своей ясности и простоты. Др.-греч. математик Евклид рассматривал принятые им геометрические А. как самоочевидные истины, достаточные для выведения всех др. истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него, попытка обоснования которых могла только подорвать их очевидность.
Переосмысление проблемы обоснования А. изменило и самого термина «А.». А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосновываются не сами по себе, а в качестве необходимых составных элементов теории: последней есть одновременно и подтверждение ее А. Критерии выбора А. меняются от теории к теории и являются во многом прагматическими, учитывающими соображения краткости, удобства манипулирования, минимизации числа исходных понятий и т.п. В частности, в формальном исчислении, теорем которого уже известен, А. - это просто одна из тех формул, из которых выводятся остальные доказуемые формулы. Если, однако, еще не определена однозначно, ее А. может диктоваться и содержательными соображениями.
АКСИОМАТИЧЕСКИЙ - способ построения научной теории, при котором какие-то положения теории избираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем, посредством доказательств. Положения, доказываемые на основе аксиом, называются теоремами.
А.м. - особый способ определения объектов и отношений между ними. Он используется в математике, логике, а также в отдельных разделах физики, биологии и др.
А.м. зародился еще в античности и приобрел большую известность благодаря «Началам» Евклида, появившимся ок. 330-320 до н.э. Евклиду не удалось, однако, описать в его «аксиомах и постулатах» все свойства геометрических объектов, используемые им в действительности; его доказательства сопровождались многочисленными чертежами. «Скрытые» допущения геометрии Евклида были выявлены только в Новейшее время Д. Гильбертом, рассматривавшим аксиоматическую теорию как формальную теорию, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, удовлетворяющих ей. Сейчас аксиоматические теории нередко формулируются как формализованные системы, содержащие точное логических средств вывода теорем из аксиом. Доказательство в такой теории представляет собой последовательность формул, каждая из которых либо является аксиомой, либо получается из предыдущих формул последовательности по одному из принятых правил вывода.
К аксиоматической формальной системе предъявляются требования непротиворечивости, полноты, независимости системы аксиом и т.д.
А.м. является лишь одним из методов построения научного знания. Он имеет ограниченное применение, поскольку требует высокого уровня развития аксиоматизируемой содержательной теории.
Как показал К. Гёдель, достаточно богатые научные теории (напр., арифметика натуральных чисел) не допускают полной аксиоматизации. Это свидетельствует об ограниченности А.м. и невозможности полной формализации научного знания.

Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 2004 .

АКСИОМА

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

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

см. также ст. Аксиоматический метода лит. к ней.

Философский энциклопедический словарь. - М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .

АКСИОМА

(от греч. axioma – , требование)

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

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

АКСИО́МА

(греч. ἀξίωμα – удостоенное, принятое положение, от ἀξιόω – считаю достойным) – положение нек-рой данной теории, к-рое при дедуктивном построении этой теории не доказывается в ней, а принимается за исходное, отправное, лежащее в основе доказательств других предложений этой теории. Обычно в качестве А. выбираются такие предложения рассматриваемой теории, к-рые являются заведомо истинными или могут в рамках этой теории считаться истинными, не вызывая сомнений в силу своей простоты и ясности.

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

Критикуя взгляды Гегеля на логич. А. (на фигуры аристотелевских силлогизмов), Ленин писал: "практическая человека миллиарды раз должна была приводить человека к повторению разных логических фигур, д а б ы эти фигуры м о г л и получить а к с и о м" ("Философские тетради", 1947, с. 164). Именно в обусловленности многовековым человеч. опытом и практикой, включая сюда также и , и опыт развития науки, – очевидности А., рассматриваемых как истины, не нуждающиеся в доказательстве.

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

Более того, уже из опыта, напр., построения различных неэвклидовых геометрий и их последующего истолкования и практич. использования (см. Относительности теория) стала ясной при построении (или аксиоматизации) той или иной теории каждый раз требовать заранее истинности ее аксиом. Об истинности А. нек-рой теории можно говорить лишь в связи с той или иной интерпретацией системы А. этой теории, но даже вопрос о существовании интерпретации часто ставится уже после построения самой теории. Да и при наличии фиксированной интерпретации возникают глубокие трудности, связанные со сложностью самого понятия истинности и проявляющиеся при попытках логико-математич. определения этого понятия в применении хотя бы к предложениям нек-рой достаточно четко описанной теории. Эти трудности могли быть обнаружены лишь после того, как стало возможным говорить о математич. описаниях самих теорий средствами развитого аппарата математич. логики, позволяющего формализовать различные теории. С его созданием связано дальнейшее , еще одно раздвоение понятия А., появление третьего смысла этого термина. В формальном исчислении А. является уже не предложением нек-рой содержательной научной теории, а просто одной из тех формул, из к-рых по правилам вывода этого исчисления выводятся остальные доказуемые в нем формулы ("теоремы" этого исчисления). См. также Метод аксиоматический и лит. к этой статье.

А. Кузнецов. Москва.

Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .

АКСИОМА

АКСИОМА (греч. αξίωμα-принятое положение)-предложение, по какой-либо причине принимаемое в качестве исходного для каких-либо дальнейших рассуждений. Это общее аксиомы всякий раз конкретизируется вместе с уточнением того, что понимается под предложением, причиной и под дальнейшими рассуждениями. Типичные примеры аксиом: 1) некоторое символического языка исчисления, если под дальнейшими рассуждениями понимаются использующие его выводы в рамках данного исчисления. В этом случае причина принятия аксиом-само рассматриваемого исчисления. Здесь сомнения по поводу принятия аксиом бессмысленны; 2) некоторая эмпирическая , если под дальнейшими рассуждениями понимается, к примеру, систематически развиваемый на ее основе раздел физики. В этом случае причина принятия аксиомы-вера в закономерность природы, выражаемую данной гипотезой. Здесь сомнения по поводу принятия аксиомы не только осмысленны, но и желательны; 3) соглашение понимать термины, участвующие в формулировке некоторого суждения, как угодно, но все-таки таким образом, чтобы при этом понимании рассматриваемая формулировка выражала истинное . Это тот, когда под дальнейшими рассуждениями понимается заведомо истинных следствий из неоднозначно понимаемого исходного суждения. Здесь сомнения по поводу принятия аксиомы бессмысленны. Когда такого рода аксиому используют в рамках научной теории, ее часто называют постулатом значения; 4) , оцениваемое как необходимо истинное (аподиктическое), если под дальнейшими рассуждениями понимался какая-либо систематически развиваемая , претендующая на в эпистемологическом отношении (геометрия Евклида, Декарта, Спинозы, Фихте, Гильберта и т. д.). В этом случае причина принятия аксиомы-свидетельство специальной познавательной (интуиции) к непосредственному усмотрению некоторых (называемых часто самоочевидными) истин. В рамках указанной претензии сомневаться в аксиомах абсурдно, но вопрос об оправданности самой этой претензии- одна из самых глубоких и открытых проблем в философии. К. Ф. Самохвалов

Новая философская энциклопедия: В 4 тт. М.: Мысль . Под редакцией В. С. Стёпина . 2001 .

Синонимы :

Смотреть что такое "АКСИОМА" в других словарях:

- (греч. axioma, от axium признавать, почитать). Истина, не требующая доказательств, напр., целое больше своей части. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. АКСИОМА греч. axioma, от axiun, признавать,… … Словарь иностранных слов русского языка

См … Словарь синонимов

аксиома - ы ж. axiome m., нем. Axiom <, гр. axiôma. 1547. Лексис.1. Отправное положение какой л. науки, принимаемое без доказательств. Сл. 18. Логическия и Онтологическия аксиомы. Брян. 1799 4. || чаще мн. Непреложные правила какой л. науки, искусства;… … Исторический словарь галлицизмов русского языка

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

Одни иноязычные слова употребляются только специалистами, другие прочно вошли в речь, став общеупотребительными. Одним из таких слов является «аксиома». Что такое аксиома. Каково значение и употребление данного слова?

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

Употребление слова «аксиома»

• Первоначально слово было чисто научным термином. Учёные использовали его, чтобы утвердительно высказать мысль о чём-либо. Например: "Солнце движется вокруг солнца, это аксиома."
• Аксиома - это истина, принимаемая на веру. Поэтому в основе любой религии лежат аксиомы, которые называют канонами религии. Например: "В основе религии лежит аксиома, что мир создан Богом."
• С течением времени слово стало употребительным и в речи стало использоваться для убедительности доказательства чего-либо. Например: "Для успешной сдачи ЕГЭ выпускники должны серьёзно изучать теорию по предмету, это аксиома."

Материал о других терминах можно найти в разделе