Остенсивные определения. 
Логика

Еще одна интересная разновидность неявных определений — это так называемые остенсивные определения, или определения путем показа.

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

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

Остенсивные определения, так же как и все контекстуальные определения, отличаются некоторой незавершенностью, неокончательностью.

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

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

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

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

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

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

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

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

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

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

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

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