ОПРЕДЕЛЕНИЕ И ЕГО ВИДЫ

Определение (лат. definitio) или дефиниция - логический прием, позволяющий отличать, отыскивать, строить какой-либо объект, формулировать значение вновь вводимого или уточнять значение уже существующего в науке термина. Многообразие видов определений обусловлено тем, что определяется, задачами, логической структурой определения и т. п. Определение решает две задачи. Оно отличает и отграничивает определяемый предмет от всех иныхИвин А. А., Никифоров А. Л. Словарь по логике - М.: Туманит, изд. центр ВЛАДОС, 1997. - 239 с..

Существует несколько видов определений: аксиоматическое, генетическое, классическое, номинальное, операциональное, остенсивное, реальное, явное и неявное определение.

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

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

Определение аксиоматическое -- одна из высших форм научного определения понятий. Не всякая научная теория способна определить свои исходные понятия аксиоматически. Для этого требуется относительно высокий уровень развития знаний об исследуемой области; изучаемые объекты и их отношения должны быть также сравнительно просты. Точку, линию и плоскость Евклиду удалось определить с помощью немногих аксиом еще две с лишним тысячи лет назад. Но попытка охарактеризовать с помощью нескольких утверждений такие сложные, многоуровневые объекты, как общество, история или разум, не может привести к успеху. Аксиоматический метод здесь неуместен, он только огрубил бы и исказил реальную картину. Фролова И.Т. «Философский словарь» - 4-е изд.-М.: Политиздат, 1981. - 247 с.

Определение генетическое (от греч. genesis - происхождение, источник) -- классическое, или родовидовое, определение, в котором спецификация определяемого предмета осуществляется путем указания способа его образования, возникнове­ния, получения или построения. Напр.: «Окружность есть замкнутая кривая, описываемая концом отрезка прямой, вращаемого на плоскости вокруг неподвижного центра». О. г. отличаются большой эффективностью и часто встречаются в различных инструкциях и наставлениях, имеющих целью научить чего-либо.

Определение классическое, или: определение через род и видовое отличие - определение, в котором предметы определяемого понятия вводятся в объем более широкого понятия и при этом с помощью отличительных признаков (видовое отличие) выделяются среди предметов этого более широкого понятия. Примерами определения классического могут быть: «Ромб есть плоский четырехугольник, у которого все стороны равны» (1), «Лексикология есть наука, изучающая словарный состав языка» (2). В определении классическом (1) ромб (определяемый предмет) вводится сначала в класс плоских четырехугольников (род), а затем при помощи специфицирующего признака «иметь равные стороны» (видовое отличие) выделяется среди других плоских четырехугольников, отличается от них. В определении (2) определяемый предмет вводится в класс наук (род), а затем посредством указания специфицирующего признака «изучать словарный состав языка» (видовое отличие) выделяется среди других наук, которые не обладают этим признаком. В отличие от определения классического (1), объем определяемого понятия в определении классическом (2) представляет класс, состоящий лишь из одного элемента (см.: Класс, Множество в логике). Многие научные и повседневные определения принимают форму определения классического. В отличие от повседневных, в научных определениях классических (если речь идет об опытных науках) видовое отличие всегда должно представлять собой существенный признак. По отношению именно к определению классическому (или к тем, которые могут быть интерпретированы как определения классические) формулируются известные правила. Родовидовые отношения играют большую роль не только в определении классическом, но и при делении понятий и в классификациях, где процесс деления родового понятия на составляющие его виды играет важную роль. Поэтому определение классическое или определения через род и видовое отличие часто в логике называют классификационными. Фролова И.Т. «Философский словарь» - 4-е изд.-М.: Политиздат, 1981. - 248 с.

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

Определение номинальное -- определение, выражающее требование, как должно употребляться вводимое понятие, к каким объектам оно должно применяться. Определение номинальное противопоставляется определению реальному, представляющему собой описание определяемых объектов. Различие между этими двумя типами определений принципиально важно, но его не всегда легко провести. Является ли некоторое определение описанием или же предписанием (требованием), во многом зависит от контекста употребления этого определения. Кроме того, некоторые определения носят смешанный, описательно-предписательный характер и функционируют в одних контекстах как описания, а в других -- как предписания. Таковы, в частности, определения толковых словарей, описывающие обычные значения слов и одновременно указывающие, как следует правильно употреблять эти слова.

Реальное определение является истинным или ложным, как и всякое описательное высказывание определения номинального, как и всякое предписание, не имеет истинностного значения. Оно может быть целесообразным или нецелесообразным, эффективным или неэффективным, но не истинным или ложным Фролова И.Т. «Философский словарь» - 4-е изд.-М.: Политиздат, 1981. - 249 с..

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

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

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

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

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

Определить путем показа можно не все понятия, а только самые простые, самые конкретные. Можно, например, предъявить стол и сказать: «Это -- стол, и все вещи, похожие на него, тоже столы». Но невозможно показать и увидеть бесконечное, абстрактное, конкретное и т. п. Нет предмета, указав на который, можно было бы сказать: «Это и есть то, что обозначается словом "конкретно"». Здесь требуется уже не определение остенсивное, а вербальное, чисто словесное определение, не предполагающее показа определяемого предмета Фролова И.Т. «Философский словарь» - 4-е изд.-М.: Политиздат, 1981. - 250 с..

Определение реальное -- определение, дающее описание каких-то объектов. Такое определение противопоставляется определению номинальному, выражающему требование (предписание, норму), каким должны быть рассматриваемые объекты. Различие между определением реальным и определением номинальным опирается на различие между описанием и предписанием. Описать предмет -- значит перечислить те признаки, которые ему присущи; описание, соответствующее предмету, является истинным, не соответствующее -- ложным. Иначе обстоит дело с предписанием, его функция отлична от функции описания. Описание говорит о том, каким является предмет, предписание указывает, каким он должен быть. «Ружье заряжено» -- описание, и оно истинно, если ружье на самом деле заряжено. «Зарядите ружье!» -- предписание, и его нельзя отнести к истинным или ложным.

Хотя различие между определениями-описаниями и определениями-предписаниями несомненно важно, его обычно нелегко провести. Зачастую утверждение в одном контексте звучит как определение реальное, а в другом выполняет функцию номинального. Иногда определение реальное, описывающее какие-либо объекты, обретает оттенок требования, как употреблять понятие, соотносимое с ними; номинальное определение может нести отзвук описания. Например, задача обычного толкового словаря - дать достаточно полную картину стихийно сложившегося употребления слов, описать те значения, которые придаются им в обычном языке. Но составители словарей ставят перед собой и другую цель -- нормализовать и упорядочить обычное употребление слов, привести его в определенную систему. Словарь не только описывает, как реально используются слова, он указывает так же, как они должны правильно употребляться. Описание здесь соединяется с требованием Фролова И.Т. «Философский словарь» - 4-е изд.-М.: Политиздат, 1981. - 251 с..

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

Определение явное имеет структуру: «S= DfР», где S - определяемое понятие, Р-- определяющее понятие и знак «=Df» указывает на равенство понятий S и Р по определению.

Важным частным случаем этого определения является определение классическое, или родовидовое определение.

К определению, и в частности к родовидовому, предъявляется ряд достаточно простых и очевидных требований, называемых правилами определения. Прежде всего, определяемое и определяющее понятия должны быть взаимозаменимы. Если в каком-то предложении встречается одно из этих понятий, всегда должна существовать возможность заменить его другим. При этом предложение, истинное до замены, должно остаться истинным и после нее. Для О. я. через род и видовое отличие это правило формулируется как требование соразмерности определяемого и определяющего понятий: совокупности предметов, охватываемые ими, должны быть одними и теми же. Соразмерны, например, имена «гомотипия» и «сходство симметричных органов» (скажем, правой и левой руки). Соразмерны также «голкипер» и «вратарь», «нонсенс» и «бессмыслица». Встретив в каком-то предложении имя «нонсенс», мы вправе заменить его на «бессмыслицу», и наоборот. Если объем определяющего понятия уже объема определяемого, имеет место ошибка слишком узкого определения явного. Такую ошибку допускает, в частности, тот, кто определяет «ромб» как «плоский четырехугольник, у которого все стороны и все углы равны». Если объем определяющего понятия шире, чем объем определяемого, имеет место ошибка слишком широкого определения явного. Такую ошибку допускает, к примеру, тот, кто определяет «ромб» просто как «плоский четырехугольник». Второе правило определения явного запрещает порочный круг: нельзя определять имя через само себя или определять его через такое другое имя, которое, в свою очередь, определяется через него. Содержат очевидный круг определения явного. «Война есть война» и «Театр -- это театр, а не кинотеатр». Определение явное, содержащее круг, разъясняет неизвестное через него же; в итоге неизвестное так и остается неизвестным. Третье правило говорит, что определение явное должно быть ясным. Это означает, что в определяющей части могут использоваться только понятия, известные и понятные тем, на кого рассчитано определение явное. Желательно также, чтобы в ней не встречались образы, метафоры, сравнения, т. е. все то, что не предполагает однозначного и ясного истолкования. Можно определить, например, пролегомены как пропедевтику, но такое определение явное будет ясным лишь для тех, кто знает, что пропедевтика -- это введение в какую-либо науку. Не особенно ясны и такие определения явные, как «Дети -- это цветы жизни», «Архитектура -- это застывшая музыка», «Овал -- это круг в стесненных обстоятельствах», и т. п. Они образны, иносказательны, но ничего не говорят об определяемом предмете прямо и по существу, каждый может понимать их по-своему Ивин А. А., Никифоров А. Л. Словарь по логике - М.: Туманит, изд. центр ВЛАДОС, 1997. - 247-252 с..