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

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

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

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

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

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

Аксиоматическая теория множеств

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