Критерий соразмерности. Соразмерность понятий - это эквивалентность объемов понятий определяемого и определяющего. Этот критерий обеспечивает успех в понимании определения понятия.
Критерий объемности. Объемность понятия (количество значений) может противоречить другим критериям, но тем не менее она обеспечивает максимальное понимание понятия, не оставляющее места для неправильного толкования определения и определяемого понятия. Этот критерий подразумевает балансирование количества и качества.
Критерий неотрицательности. Неотрицательность (положительность) определения понятия (исключение использования «не» и др.) является важным критерием, поскольку общее количество признаков несчетно, а используемых в определении признаков конечное число. Отрицательными суждениями не описать всего многообразия того, что не присуще определению. Это ограничение не означает того, что некоторое суждение, входящее в определение, не должно быть логически отрицательным. Отрицательные логические суждения в определениях допустимы.
Критерий относительности. Общая относительность определения понятия не является критерием отбора понятий, но является лишь предупреждением о наличии самого факта относительности. Относительные определения предполагают наличие других определений. Даже при перечислениях, например констант, каждая часть перечисления, так или иначе, определяется. Некоторые определения известны человеку (или машине), они создают контекст нового определения (которое, возможно, задано перечислением). Замкнутость (абсолютная) системы определений понятий также относительна. Некоторыми определениями необходимо пренебречь, иначе система становится по размерам бесконечной. В таком пренебрежении усматривается метод абстрагирования. Абсолютного понятия не бывает тем более, поскольку каждое понятие живет и развивается.
Многокритериальность является опасным и сложным делом в силу возможной несогласованности отдельных критериев. Применение многих критериев решается в конкретных случаях конкретно. На этот счет трудно сформулировать четкие правила. Однако необходимо иметь в виде все критерии в качестве контролирующего средства при построении терминологии или терминологических словарей.
5.2. Теория имени и значения, наименование понятия
Несмотря на то, что имя и значение были объектом для исследований в далекие и не в столь далекие времена (например, см. у Фреге), теория имени и значения является вполне открытой областью в науке. Дальнейшие рассмотрения, представленные здесь, предназначены для того, чтобы вызвать некоторый интерес к информатическим исследованиям подобного рода. Научных проблем здесь значительно больше, нежели практических результатов, которые частично решаются интуитивными методами в программировании и информатике.
5.2.1. Имена и значения. Начнем с рассмотрения понятия имени. Имя - сорт выражения, который используется для обозначения чего-либо при общении или передаче информации в любой системе. Имена подразделяются на собственные и несобственные имена. Собственные имена - это константы, им предписано значение, которое они обозначают. Ими являются лексемы. Несобственные имена – это, вообще говоря, переменные величины, им в данный момент предписано текущее значение, которое может со временем изменяться или заменяться. Ими являются все термины. Конечно, здесь использовано информатическое определение имени, оно отличается от определения в СиГ ЕЯ. Для наших целей этого вполне достаточно. Теория имени должна рассматривать общие представления понятия имени.
Все должно быть поименовано, иначе не будет эффективного общения, так как имя передает сущность мысли или вызывает ассоциацию с некоторым объектом. Любопытный пример рассматривают обычно в связи с проблемой именования. <предмет без имени> - это уже имя предмета, который еще не поименован, но уже имеет имя. Так можно охарактеризовать базовую проблему общения.
Имена в соответствии с СиГ бывают также собственные и несобственные. Собственное имя присваивается живому существу. Однако возникают собственные имена для части неживой природы. Для Интеллсист несущественно то, что обозначается собственным именем. Если некоторое имя является собственным (по СиГ), то оно может быть в информатике собственным и несобственным, в зависимости от его роли. Если оно используется в качестве значения, то оно является информатически собственным. Если оно используется в качестве термина, принимающего значения, то оно становится несобственным. Поэтому СеГ (в отличие от СиГ) не содержит никаких правил для формирования и применения собственных имен, кроме правил для констант. В СеГ важно то, что каждое понятие должно обладать именем и значением.
Имя обозначает понятие и представляется термином. Имя становится термином, когда оно привязано к понятию, которое уже определено и имеет характеристики. Терминами снабжаются предметы, явления, процессы, свойства, отношения, действия и т.п. Можно также говорить о том, что имя является ссылкой на такие объекты.
Необычность имени в информатике состоит в следующем. Имя представляется термином, а термин состоит из слов, знаков, чисел или строк, а также из последовательности этих объектов (от одного до некоторого числа), и имеет в наличии характеристику, определяющую свойства понятия. Указанные условие, требование или квалификация имени являются расширением известного из ЕЯ понятия имени и его значения.
Термин - это представление имени понятия, имеющего смысл или, по крайней мере, множество смыслов, которые могут быть предписаны понятию. Имя обозначает только один или совокупность предметов, явлений, процессов, свойств, отношений или действий. Термины ориентированы на поддержку некоторых принципов. Среди них имеются следующие принципы:
- принцип однозначности, термин не может принимать одновременно более одного значения;
- принцип предметности, термин обязательно обозначает понятие о предмете, явлении или процессе, предмет имеет смысл;
- принцип значности, имя не имеет своего собственного смысла, если оно является термином, кроме собственных имен, и оно имеет свой собственный смысл, если в качестве термина рассматривается значение (лексема);
- принцип общности, термин может принимать значения (образовывать факт) из некоторого множества значений (его типа), хотя бы одно значение имеется в этом множестве (значение может быть пустым, но имеющим имя);
- принцип отражения знания, термин всегда выступает в паре имя + значение по определению понятия и термин + лексема по реализации понятия;
- принцип связности, термин понятия становится определенным только в контексте с другими терминами;
- принцип идентификации, термин должен быть всегда однозначно определенным в цепи терминов для идентификации используемого термина;
- принцип структурности, структурные термины состоят из последовательности простых терминов, соединенных операциями-связками;
- принцип абстрактности, термин может оставаться неопределенным своим текущим значением до производства логического вывода решения логического уравнения, используя весь контекст или его часть применения термина;
- принцип содержательности, каждый термин понятия должен определяться для придания понятию содержания;
- принцип существования, термин берется из текстов БЗ или запросов, он может составляться человеком, он может порождаться в процессах логического вывода или синтеза программы.
Остановимся на определении понятия значения. Значение - это внутреннее содержание понятия в одной из возможных форм. Такое определение также является информатическим. Значение любого объекта для человека скрыто (оно может быть описано или напечатано). Тем не менее, для более точного понимания понятия значения необходимо рассмотреть соотношения между именем и значением. Кроме этого имя и значение необходимо рассмотреть в соотношении с понятиями смысл и вещь или объект.
Соотношение имени и значения определяется следующими двумя положениями: имя обладает значением и имя ссылается на значение. Это всегда так и подтверждается в информатике повсеместно. Для подтверждения можно посмотреть на конструкции любого языка программирования и язык Лейбниц. Будем считать, что такого описания соотношения достаточно для быстрого понимания. Это соотношение важно для понимания того, что по имени понятия можно в любой момент рассмотреть его значение путем печати или показа на экране дисплея. Пара имя-значение, представляющая элементарное знание или факт, является примером использования соотношения.
Имеется одно соотношение для значения и имени, оно выражается так: Каждое значение именуется. Имя является как бы внешним представителем значения. Собственное имя (или лексема) явно представляет значение, а несобственное имя (термин) - неявно, по ссылке. Это соотношение также подтверждается в информатике, оно обеспечивает возможность приписывания значения некоторому понятию. Запись фактов является примером для этого соотношения.