АКСИОМАТИЧЕСКИЙ МЕТОД

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

К концу того же века Дж.Пеано дал аксиоматику натуральных чисел. Далее аксиоматический метод был использован для спасения теории множеств после нахождения парадоксов. При этом аксиоматический метод был обобщен и на логику. Гильберт сформулировал аксиомы и правила вывода классической логики высказываний, а П.Бернайс – логики предикатов. Ныне аксиоматическое задание является стандартным способом определения новых логик и новых алгебраических понятий. В последние десятилетия по мере развития моделей теории аксиоматический метод стал в почти обязательном порядке дополняться теоретико-модельным.

Н.Н.Непейвода