АКСИОМА

греч. ?????? – удостоенное, принятое положение, от ????? – считаю достойным) – положение нек-рой данной теории, к-рое при дедуктивном построении этой теории не доказывается в ней, а принимается за исходное, отправное, лежащее в основе доказательств других предложений этой теории. Обычно в качестве А. выбираются такие предложения рассматриваемой теории, к-рые являются заведомо истинными или могут в рамках этой теории считаться истинными, не вызывая сомнений в силу своей простоты и ясности. Возникнув в Древней Греции, термин "А." впервые встречается у Аристотеля, а затем через труды последователей и комментаторов Эвклида прочно входит в геометрию. В средние века господство аристотелевской философии обусловило его проникновение в другие области науки, а через нее и в обыденную жизнь. А. стали называть такое общее положение, к-рое, будучи совершенно очевидным, не нуждается в доказательстве. Природу этой очевидности видели, следуя взглядам, идущим еще от Платона, в прирожденности человеку таких основных истин, как математич. А. Учение Канта об априорности последних, т.е. о том, что они предшествуют всякому опыту и не зависят от него, было кульминацией таких взглядов на А. Построение Лобачевским неэвклидовой геометрии явилось первым крупным ударом по взгляду на А. как на вечные и непреложные "априорные" истины. Критикуя взгляды Гегеля на логич. А. (на фигуры аристотелевских силлогизмов), Ленин писал: "практическая деятельность человека миллиарды раз должна была приводить сознание человека к повторению разных логических фигур, д а б ы эти фигуры м о г л и получить значение а к с и о м" ("Философские тетради", 1947, с. 164). Именно в обусловленности многовековым человеч. опытом и практикой, включая сюда также и эксперимент, и опыт развития науки, – причина очевидности А., рассматриваемых как истины, не нуждающиеся в доказательстве. Вместе с тем крушение взгляда на А. как на "априорные" истины привело к раздвоению понятия А. Все возрастающая в связи с запросами практики необходимость экспериментировать в области построения новых теорий, заменять, подобно Лобачевскому, одну А. другой, а также связанная с опытным происхождением А. их относительность, зависимость от ранее встречавшихся конкретных условий опыта и уровня развития науки, приводящая к невозможности выбрать раз навсегда и навечно в качестве А. такие положения, к-рые будут истинны абсолютно во всех условиях, – все это обусловило появление (а в наст. время в математике, особенно в математич. логике) и господство понятия А. в смысле, несколько отличном от традиционного. Понятие А. в этом новом смысле зависит от того, построение какой теории рассматривается и как оно проводится. А. данной теории при этом называются просто те предложения этой теории, к-рые при данном построении ее как дедуктивной теории (т.е. при данной ее аксиоматизации) принимаются за исходные, притом совершенно независимо от того, сколь они просты и очевидны. Более того, уже из опыта, напр., построения различных неэвклидовых геометрий и их последующего истолкования и практич. использования (см. Относительности теория) стала ясной невозможность при построении (или аксиоматизации) той или иной теории каждый раз требовать заранее истинности ее аксиом. Об истинности А. нек-рой теории можно говорить лишь в связи с той или иной интерпретацией системы А. этой теории, но даже вопрос о существовании интерпретации часто ставится уже после построения самой теории. Да и при наличии фиксированной интерпретации возникают глубокие трудности, связанные со сложностью самого понятия истинности и проявляющиеся при попытках логико-математич. определения этого понятия в применении хотя бы к предложениям нек-рой достаточно четко описанной теории. Эти трудности могли быть обнаружены лишь после того, как стало возможным говорить о математич. описаниях самих теорий средствами развитого аппарата математич. логики, позволяющего формализовать различные теории. С его созданием связано дальнейшее развитие, еще одно раздвоение понятия А., появление третьего смысла этого термина. В формальном исчислении А. является уже не предложением нек-рой содержательной научной теории, а просто одной из тех формул, из к-рых по правилам вывода этого исчисления выводятся остальные доказуемые в нем формулы ("теоремы" этого исчисления). См. также Метод аксиоматический и лит. к этой статье. А. Кузнецов. Москва.