Аксиома

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

(греч. axíōma — удостоенное, принятое положение, от axióō — считаю достойным)

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

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

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

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

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

А.В. Кузнецов.

1. аксио́ма;
2. аксио́мы;
3. аксио́мы;
4. аксио́м;
5. аксио́ме;
6. аксио́мам;
7. аксио́му;
8. аксио́мы;
9. аксио́мой;
10. аксио́мою;
11. аксио́мами;
12. аксио́ме;
13. аксио́мах.

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

АКСИО́МА, -ы, жен.

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

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

| прил. аксиоматический, -ая, -ое.

-ы, ж.

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

Аксиомы геометрии.

|| перен.

Неоспоримая истина, совершенно очевидное утверждение.

Он хорошо усвоил одну из аксиом военной стратегии: нельзя быть сильным везде. Чаковский, Блокада.

[греч. ’αξίωμα]

(иноск.) — об этом не спорят

Ср. Уж лучше бить, чем битым быть,

Уж лучше есть арбузы, чем солому...

Сознал ты эту аксиому?

Некрасов. Современники. Герои времени.

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

Салтыков. Мелочи жизни. Введение.

Ср. В разговорах с Антониной Дмитриевной последнее слово всегда остается за нею, это аксиома... нам остается только преклониться и уехать.

Маркевич. Бездна. Пролог. 4.

Ср. αξίωμα (άξιον) — достойное (веры).

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

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

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

ж.

1.

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

2.

Неоспоримая, бесспорная, не требующая доказательств истина.

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

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

аксио́ма с 1717 г.; см. Смирнов 32. Из лат. axioma, греч. ἀξίωμα.

жен. axiom это аксиома (самоочевидно) ≈ that is self-evident, that is axiomaticж. axiom;
это ~ that`s a truism, that`s self-evident.

axiom

f.axiom, postulate; аксиома выбора, axiom of choice

ж

Axiom n

это же аксиома — das bedarf ja keines Beweises

аксиома ж Axiom n 1a это же аксиома das bedarf ja keines Beweises

аксиомаAxiom

ж.

axiome m

ж.

axioma m

ж.

assioma тж. перен., postulato

это аксиома — è assiomatico / pacifico; va da sé

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

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

АКСИОМА

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

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

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

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

А.м. — особый способ определения объектов и отношений между ними. Он используется в математике, логике, а также в отдельных разделах физики, биологии и др.

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

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

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

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

АКСИО́МА -ы; ж. [греч. axiōma].

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

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

* * *

(греч. ахíōma), положение, принимаемое без логического доказательства в силу непосредственной убедительности; истинное исходное положение теории.

* * *

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

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

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

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

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

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

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