Логика и аргументация: Учебное пособие для вузов.

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

Семантическим называется определение, в котором некоторому знаку или термину ставится в соответствие определенный объект - реальный или абстрактный. Так, знаком Р обозначают свойство предмета, а функцией от одной переменной - кривую на плоскости. Любой знак приобретает смысл лишь тогда, когда его истолковывают с помощью какого-либо конкретного объекта. Исследование смысла терминов или слов языка составляет главную задачу как общей, так и логической семантики.

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

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

1) "0" есть натуральное число;

2) если n - натуральное число, то следующее непосредственно за ним число и' также будет натуральным числом;

3) никаких других натуральных чисел, кроме тех, которые образуются с помощью правил 1 и 2, нет;

4) для любых натуральных чисел выполняется условие: если последующие их числа равны, т. е. m' = n', то равны и предыдущие числа, m = n. Наоборот, из условия m = n вытекает, что m' = n',

5) нуль не следует ни за каким натуральным числом.

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

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

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

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

Специфический видовой признак может быть задан и другими способами, но при этом он должен всегда соотноситься с ближайшим родом. Так, например, в генетических определениях отличительный видовой признак показывает характер происхождения или образования определяемого понятия. Типичным примером подобного определения может служить определение окружности как геометрического места точек или замкнутой кривой, образованной движением отрезка прямой вокруг неподвижной точки - ее центра.

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

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

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

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