Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Требования к явному определению

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

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

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

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