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

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