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

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

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

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

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

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

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

КАКИМ ДОЛЖНО БЫТЬ ОПРЕДЕЛЕНИЕ

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

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

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

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

К явным определениям и, в частности, к родо-видовым предъявляется ряд достаточно простых и очевидных требований. Их называют обычно правилами определения.

Прежде всего, определяемое и определяющее понятия должны быть взаимозаменяемы. Если в каком-то предложении встречается одно из этих понятий, всегда должна существовать возможность заменить его другим. При этом предложение, истинное до замены, должно остаться истинным и после нее.

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

Соразмерны, например, понятия «горельеф» и «скульптурное изображение, выступающее над плоскостью фона более чем на половину своего объема». Соразмерны также «барельеф» и «скульптурное изображение или орнамент, выступающее на плоской поверхности менее чем на половину объема изображенного предмета». Соразмерны «абсурд» и «бессмыслица». Встретив в каком-то предложении понятие «абсурд», мы вправе заменить его на «бессмыслицу», и наоборот.

Если объем определяющего понятия шире, чем объем определяемого, говорят об ошибке слишком широкого определения. Такую ошибку мы допустили бы, определив, к примеру, «горельеф» просто как «скульптурное изображение, выступающее над плоскостью фона». Барельефы оказались бы отнесенными в этом случае к горельефам.

Если объем определяющего понятия уже объема определяемого, имеет место ошибка слишком узкого определения. Такую ошибку допускает, в частности, тот, кто определяет «барельеф» как «скульптурное изображение, изготовленное из камня и выступающее на плоской поверхности менее чем на половину объема изображенного предмета». Из числа барельефов исключаются этим определением все те, которые изготовлены не из камня, а, скажем, из металла или других материалов.

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

Содержат очевидный круг определения «Жизнь есть жизнь» и «Поэзия — это поэзия, а не проза». Задача определения — раскрыть содержание ранее неизвестного понятия и сделать его известным. Определение, содержащее круг, разъясняет неизвестное через него же. В итоге неизвестное так и остается неизвестным. Истину можно, к примеру, определить как верное отражение действительности, но только при условии, что до этого верное отражение действительности не определялось как такое, которое дает истину.

Третье правило говорит, что определение должно быть ясным. Это означает, что в определяющей части могут использоваться только понятия, известные и понятные тем, на кого рассчитано определение. Желательно также, чтобы в ней не встречались образы, метафоры, сравнения и все то, что не предполагает однозначного и ясного истолкования.

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

Не особенно ясны и такие определения как 'Дети — это цветы жизни', 'Архитектура есть застывшая музыка', 'Овал — круг в стесненных обстоятельствах', 'Арба — повозка, на которой третье колесо является пятым' и т.п. Они образны, иносказательны, ничего не говорят об определяемом предмете прямо и по существу, каждый человек может понимать их по-своему.

Ясность не является, конечно, абсолютной и неизменной характеристикой. Ясное для одного может оказаться не совсем понятным для другого и совершенно темным и невразумительным для третьего. Представления о ясности меняются с углублением знаний. На первых порах изучения каких-то объектов даже не вполне совершенное их определение может быть воспринято как успех. Но в дальнейшем первоначальные определения начинают казаться все более туманными. Встает вопрос о замене их более ясными определениями, соответствующими более высокому уровню знания.

Определение всегда существует в некоем контексте. Оно однозначно выделяет и отграничивает множество рассматриваемых вещей, но делает это только в отношении известного их окружения. Чтобы отграничить, надо знать не только то, что останется в пределах границы, но и то, что окажется вне ее. Можно, например, сказать, что копытные — это животные, которые ходят на кончиках пальцев или 'на цыпочках'. При этом никто, разумеется, не спутает лошадей, коров и других животных с балеринами,