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