АКСИОМА

Axiom

A proposition in any scientific theory that is so constructed that it is taken as the starting point and does not have to be proved for that theory and from which (or from the totality of which) the remaining propositions of the theory are deduced in accordance with set rules. From times of antiquity to the mid-19th century an axiom was regarded as intuitively obvious or a priori true. This conception lost sight of the conventional nature of axioms deriving from many centuries of human practical cognitive activity. Lenin wrote that man's practical activity required the repetition of logical figures myriads of times in the human mind, in order that these figures could become axioms.

The present-day understanding of the axiomatic method does not require axioms to be obvious a priori. Axioms must satisfy one condition—all other propositions of the given theory are derived from them and from them alone. The truth of axioms selected is determined when interpretations (see Interpretation and Model) of the given system are found; if such interpretations exist or, at least, may be assumed in principle, axioms must be accepted as true (see Postulate).

Аксиома

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

Аксиома

(Греч. axíoma - удостоенное, принятое положение, от axióo - считаю достойным) положение некоторой данной теории, которое при дедуктивном построении этой теории не доказывается в ней, а принимается за исходное, отправное, лежащее в основе доказательств других предложений этой теории. Обычно в качестве А. выбирают такие предложения рассматриваемой теории, которые являются заведомо истинными или могут в рамках этой теории считаться истинными.

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

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

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

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

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