- один из способов дедуктивного построения научн. теорий. В основании аксиоматически построенной теории лежат аксиомы, т. е. предложения, принимаемые без доказательства. Все остальные предложения теории выводятся из аксиом (т. е. доказываются, являются теоремами) на основании логич. правил вывода и правил определения предложений, допускаемых в данной теории. М.а. зародился в
работах древнегреческих геометров. Единственным образцом до XIX в. была геометрич.
система Евклида. Дальнейшим толчком к развитию М.а. послужило предложение Н. И. Лобачевским и Я. Больяй неевклидовой геометрии, получающейся в рез-те отрицания постулата Евклида о параллельных прямых.
Понятие аксиоматич. теории было уточнено путем введения определения формальной системы, состоящей из
языка системы, аксиом системы, правил вывода системы. Язык системы состоит из
алфавита (перечня элементарных символов системы) и
синтаксиса (правил, по к-рым из элементарных символов строятся формулы, предложения системы). Правила вывода позволяют получать из аксиом теоремы.
Элементы формальной системы, вообще говоря, не несут в себе никакого содержательного смысла. Однако для получения практически полезных рез-тов они должны быть выбраны с таким расчетом, чтобы наиболее полно выражать конкретную интересующую исследователя теорию.
Теория, построенная на основе М.а., отличается большой степенью общности. Она может описывать несколько предметных областей (в отличие от теорий, полученных с помощью традиционно понимаемого дедуктивного
метода) . Использование аксиоматич. системы (т. е. формальной системы и соответствующих теорем) в конкретной предметной области осуществляется с помощью интерпретации, содержательного объяснения всех формальных элементов системы. М.а. является средством эффективного научн. мышления, познания объективных законов природы. Он получил широкое распространение в математике, логике, кибернетике. Применяется он и в естественных, и обществ.
науках. Однако в социологии используется мало и главным образом в форме гипотетико-дедуктивного метода; теория строится согласно принципам М.а., а ее предложения, в т. ч. аксиомы, рассматриваются как гипотезы, к-рые должны быть эмпирически проверены. Примером применения М.а. в социологии является его использование в теории группового выбора (см.), один из подходов к-рой предполагает удовлетворяющие определенным
аксиомам расстояния между последовательностями рангов, соответствующими отдельным респондентам, и последующим доказательством и использованием ряда теорем об этих расстояниях. Так же, аксиоматически, могут вводиться расстояния между др. интересующими социолога математич. объектами (см.
Статистика объектов нечисловой природы) . Известны попытки формализации рассуждений, осуществляемых экспертами (лицами, принимающими
решение) в
процессе упорядочения ими группы объектов. Приведем еще один пример известной системы аксиом, имеющей
отношение к формализации соц. явлений. Одним из разделов формальной логики, толчком к развитию к-рой послужили потребности гуманитарных наук, является логич. теория нормативного рассуждения (синонимы:
логика долженствования, логика норм, деонтическая логика). Это - часть модельной логики, изучающая свойства таких функторов, как "обязательно", "безразлично", "запрещено". Известны различ. способы построения деонтич. систем,
целью введения к-рых является приближение к обычным нормативным рассуждениям. Лит.: Садовский В.Н.
Аксиоматический метод построения научного знания//Философские вопросы современной формальной логики. М., 1962; Столл Р. Множества. Логика. Аксиоматические теории. М., 1968; Ивин А.А. Логика норм. М., 1973; Аксиоматический метод//Математическая энциклопедия. Т. 1. М., 1977; Власов А.Г., Хайниш СВ.
Модель поведения лица, принимающего решение, в социально-экономических и организационных системах//Математические методы в социологическом исследовании. М., 1981. К.Д. Аргунова, Ю. Н. Толстова