Аксиоматические определения

Частым и важным для науки случаем контекстуальных определений являются аксиоматические определения, т.е. определения понятий с помощью аксиом.

Аксиомы — это утверждения, принимаемые без доказательства. Совокупность аксиом какой-то теории является одновременно и свернутой формулировкой этой теории, и тем контекстом, который неявно определяет все входящие в нее понятия.

Откуда мы знаем, например, что такое точка, прямая, плоскость? Из аксиом геометрии Евклида. Они являются тем ограниченным по своему объему текстом, в котором встречаются данные понятия и с помощью которого мы устанавливаем их значения.

Чтобы узнать, что представляют собой масса, сила, ускорение и т.п., мы обращаемся к аксиомам класси-

ческой механики И.Ньютона. «Сила равна массе, умноженной на ускорение», «Сила действия равна силе противодействия» — эти положения не являются, конечно, явными определениями. Но они раскрывают, что представляет собой сила, указывая связи этого понятия с другими понятиями механики.

Принципиальное отличие аксиоматических определений от всех иных контекстуальных определений в том, что аксиоматический контекст строго ограничен и фиксирован. Он содержит все, что необходимо для понимания входящих в него понятий. Он ограничен по своей длине, а также по своему составу. В нем есть все необходимое и нет ничего лишнего.

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

Точку, линию и плоскость Евклиду удалось определить с помощью немногих аксиом еще две с лишним тысячи лет назад. Но как охарактеризовать с помощью нескольких утверждений такие сложные, многоуровневые и многоаспектные объекты, как общество, история или разум? Аксиоматический метод здесь вряд ли был бы уместен. Он только огрубил бы и исказил реальную картину.

§ 3. Явные определения

В явных определениях отождествляются, приравниваются друг к другу два понятия. Одно из них — определяемое понятие, содержание которого требуется раскрыть, другое — определяющее понятие, решающее эту задачу.

Обычное определение метафоры: «Метафора — это оборот речи, заключающий скрытое уподобление, образное сближение слов на базе их переносного значения». Определяющая часть выражается словами «оборот речи, заключающий...» и слагается из двух частей. Сначала понятие метафоры подводится под более широкое понятие «оборот речи». Затем метафора отграничивается от всех других оборотов речи. Это достигается указанием признаков, присущих только метафоре и отсутствующих у эпитета, метонимии и всех иных оборотов, с которыми можно было бы спутать метафору.

Определения этого типа принято называть определениями через род и видовое отличие. Их общая схема: «А есть В и С». Здесь А — определяемое понятие, В — понятие, более общее по отношению к А (род), С — такие признавай, которые выделяют предметы, обозначаемые А, среди всех предметов, обозначаемых В (видовое отличие).

Родовидовое определение — один из самых простых и распространенных способов определения. В словарях и энциклопедиях подавляющее большинство определений относится именно к этому типу. Иногда даже считают — что, разумеется, неверно, — будто всякое определение является родовидовым.

Дата добавления: 2015-08-21