Наука
Advertisement

Аксиоматическое определение — определение термина через множество аксиом (постулатов), в которые он входит и которые последовательно ограничивают область его возможных истолкований.

Например, можно попытаться дать прямое определение понятия «равенство». Но можно привести систему истинных утверждений, включающих это понятие и неявно задающих его значение: «Каждый объект равен самому себе»; «В случае любых объектов, если первый равен второму, то второй равен первому»; «Для всех объектов верно, что если первый равен второму, а второй третьему, то первый равен третьему».

Аксиоматическое определение является частным случаем определения контекстуального. Всякий отрывок текста, всякий контекст, в котором встречается интересующее нас понятие, является в некотором смысле неявным определением последнего. Контекст ставит понятие в связь с другими понятиями и тем самым косвенно раскрывает его содержание. Встретив в тексте на иностранном языке одно два неизвестных слова, мы, понимая текст в целом, можем составить примерное представление и о значениях неизвестных слов.

Аналогично дело обстоит и с аксиоматическим определением. Совокупность аксиом какой-либо теории является одновременно и свернутой формулировкой этой теории, и тем контекстом, который неявно определяет все входящие в аксиомы понятия. Чтобы узнать, к примеру, что значат слова «масса», «сила», «ускорение» и т. п., можно обратиться к аксиомам классической механики Ньютона. «Сила равна массе, умноженной на ускорение», «Сила действия равна силе противодействия» и т. д. — эти положения, указывая связи понятия «сила» с другими понятиями механики, раскрывают его сущность. Принципиальное отличие аксиоматического определения от иных контекстуальных определений в том, что аксиоматический контекст строго ограничен и фиксирован. Он содержит все, что необходимо для понимания входящих в него понятий. Он ограничен по размеру и по составу.

Аксиоматическое определение — одна из высших форм научного определения. Не всякая теория способна определить свои исходные термины аксиоматически, для этого требуется относительно высокий уровень развития знаний об исследуемой области. Изучаемые объекты и их отношения должны быть также сравнительно просты.

См.также

Advertisement