Определение и приемы, сходные с ним

 

Определение, дефиниция (от лат. «definitio» – уточнение границ) – это логическая процедура придания строго фиксированного смысла языковым выражениям.

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

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

Остенсивное определение (от лат. «ostensio» – показывание) – это разъяснение языковых выражений путем непосредственного указания предметов, действий или ситуаций, обозначаемых этими выражениями. Остенсивными определениями часто пользуются в процессе обучения иностранным языкам и во многих других случаях, однако его применение ограничено. С его помощью можно разъяснить лишь термины, обозначающие что-то чувственно воспринимаемое. Значения слов «электрон» или «абстракция» остенсивно определить нельзя.

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

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

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

 

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

 

Наиболее распространенный вид определений – явные определения. Определение называется явным, если и только если оно задается лингвистической конструкцией вида: А«В. Здесь А представляет собой определяемую часть (дефиниендум), В – определяющую часть (дефиниенс), а символ ««» выражает конвенцию использовать А в значении В.

По содержанию дефиниенса, явные определения подразделяются на четыре типа:

а) квалифицирующие – определяют значение термина как предмет, обладающий некоторыми отличительными признаками. Например, «Бомж – это человек, не имеющий определенного места жительства». Здесь указывается отличительный признак бомжа – отсутствие жилья.

б) генетические – указывают на способ возникновения (порождения) предмета. Например, «Молния - это столкновение в воздушном пространстве противоположных электрически заряженных частиц».

в) операциональные – указывают на операцию распознавания предмета. Например, «Нашатырь – это жидкость, имеющая резко выраженный запах».

д) целевые – раскрывают предназначение предмета. Например, «Штанга – это спортивный снаряд, используемый в тяжелой атлетике». Здесь указывается, для чего предназначена штанга и тем самым разъясняется смысл данного понятия.

Необходимо отметить, что определения, не имеющие вид равенства А«В, называются неявными. [А есть то, что удовлетворяет пунктам В₁, В₂, …, В_n].

Неявные определения делятся на три вида: индуктивные, рекурсивные и аксиоматические.

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

1. 1 есть натуральное число. Базис индукции

2. Если 2 – натуральное число, Индуктивный шаг

то 3 – натуральное число.

3. Ничто иное не является Ограничительное условие

натуральным числом.

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

Рекурсивные определения задают функцию f путем указания ее значений для некоторых исходных аргументов (базис рекурсии) и способов определения всех остальных значений f, зная исходные (рекурсия). Приведем пример рекурсивного определения сложения:

1. х + 0 = х.

2. х + у’ = (х + у)’.

Первый пункт определения (базис рекурсии), утверждает, что значение функции х + у равно х, в том случае, если у = 0. Второй пункт (рекурсия) говорит, что если мы хотим вычислить значение х + у’, где у’ – число, следующее за у, то надо вычислить для этого у, чему равно х + у, и взять следующее за х + у число.

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

§3. Реальные и номинальные определения

 

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

Напомним, что семантика – наука о соотношении знаков и того, что они обозначают. Чаще всего значением определяемого термина является реально существующий предмет или его характеристики. В таком случае определение считается семантически реальным. Но иногда в науке приходится давать определение терминам, обозначающим заведомо несуществующие предметы или их характеристики – например, «вечный двигатель», «идеальный газ», «бесконечно удаленная от нас точка вселенной» и т.п. Такие определения называют семантически номинальными (от лат. «nomen» – название, имя), поскольку в них реально существует только термин (имя), а не его значение. Семантически номинальные определения играют большую роль в познании. С их помощью вводятся предельные абстракции и идеализации, без которых невозможно было бы сформулировать большинство научных теорем и законов.

Прагматика – это наука об отношениях между знаками и теми, кто их интерпретирует. В своей языковой практике люди используют термины с самыми различными целями и намерениями. С прагматической точки зрения все определения делятся на два вида. Если цель определения заключается в как можно более точном разъяснении содержания общеупотребимого термина, то говорят, что определение является прагматически реальным. Такие определения могут рассматриваться как нормы: в них утверждается, что термин надо употреблять именно в таком, а не ином смысле. В отличие от реальных, прагматически номинальные определения всегда носят характер добровольного соглашения придавать терминам тот, а не иной смысл. Иногда этот смысл сильно отличается от общепринятого и оказывается актуален лишь в рамках какой-то отдельной дискуссии, на протяжении небольшого отрезка времени. Условный характер таких определений специально подчеркивается оборотами «давайте считать, что термин А обозначает …», «под термином А я буду понимать …» и т.п.

 

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

 

§4. Правила определения

Для того, чтобы определения было логически правильными, они должны отвечать некоторым принципиальным требованиям, правилам.

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

2) Определение должно быть четким. В определении надо указывать лишь то, что необходимо и достаточно для раскрытия смысла термина. Другими словами, дефиниция должна раскрывать лишь основное содержание определяемого термина, в ней не должно быть ничего лишнего. Пример, «золото – это драгоценный металл желтого цвета».

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

4) Определение должно быть соразмерным. Это правило распространяется только на прагматически реальные определения. Оно говорит, что объем определяемого выражения должен совпадать с объемом определяющего. Например, «Корова – это крупное рогатое домашнее животное, дающее молоко».