Определение классическое, или: определение через род и видовое отличие,

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

 

[248]

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

ОПРЕДЕЛЕНИЕ НЕЯВНОЕ

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

ОПРЕДЕЛЕНИЕ НОМИНАЛЬНОЕ

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

Реальное определение является истинным или ложным, как и всякое описательное высказывание. О. н., как и всякое предписа-

[249]

ние, не имеет истинностного значения. Оно может быть целесо­образным или нецелесообразным, эффективным или неэффек­тивным, но не истинным или ложным.

ОПРЕДЕЛЕНИЕ ОПЕРАЦИОНАЛЬНОЕ

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

ОПРЕДЕЛЕНИЕ ОСТЕНСИВНОЕ (от лат. ostentus -показыва­ние, выставление напоказ)

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

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

[250]

ющим нас понятием. В случае с зеброй — это зоопарк, клетка, животное в клетке и т. д.

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

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

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

ОПРЕДЕЛЕНИЕ РЕАЛЬНОЕ

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

Хотя различие между определениями-описаниями и опреде­лениями-предписаниями несомненно важно, его обычно нелег­ко провести. Зачастую утверждение в одном контексте звучит как О. р., а в другом выполняет функцию номинального. Иногда О. р., описывающее к.-л. объекты, обретает оттенок требования, как употреблять понятие, соотносимое с ними; номинальное опреде­ление может нести отзвук описания. Напр., задача обычного тол­кового словаря - дать достаточно полную картину стихийно сло-

[251]

жившегося употребления слов, описать те значения, которые при­даются им в обычном языке. Но составители словарей ставят пе­ред собой и другую цель — нормализовать и упорядочить обычное употребление слов, привести его в определенную систему. Сло­варь не только описывает, как реально используются слова, он указывает также, как они должны правильно употребляться. Опи­сание здесь соединяется с требованием.

ОПРЕДЕЛЕНИЕ ЯВНОЕ

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

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

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

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

 

[252]

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

ОПРОВЕРЖЕНИЕ

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

[253]

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

ОСМЫСЛЕННОСТЬ

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

Для того чтобы быть осмысленным, предложение, безуслов­но, должно быть грамматически правильно построено. Если мы встречаем, напр., словосочетание «Цезарь есть когда», то нам нетрудно установить, что оно лишено смысла, ибо в нем наруше­ны обычные правила грамматики и оно не представляет собой правильно построенного предложения. Однако вопрос об О. или бессмысленности становится чрезвычайно сложным, когда мы встречаемся с такими, напр., предложениями: «Цезарь есть про­стое число» или «Зеленые идеи яростно спят». Здесь нет нарушения грамматических правил, это правильно построенные предложения; но осмысленны ли они? Было предложено несколько критериев О. предложений - верификационный, операциональ­ный, критерий переводимости и т. п., однако ни один из них не дает вполне удовлетворительного решения проблемы (см.: Смысл).

ОСНОВАНИЕ И СЛЕДСТВИЕ

- части условного высказывания,устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого. Ус­ловное высказывание обычно формулируется с помощью связки «если..., то...». Высказывание, идущее после слова «если», назы­вается основанием или антецедентом (предыдущим); выска­зывание, идущее после слова «то», называется следствием или консеквентом (последующим).

Напр., в высказывании «Если по проводнику течет ток, то вок­руг проводника образуется магнитное поле» высказывание «по про-

[254]

воднику течет ток» — О., «вокруг проводника образуется магнит­ное поле» — С.

Условное высказывание в языке логики представляется импли­кацией;входящие в нее высказывания также называются: одно — О. (антецедентом),другое — С. (консеквентом).

ОТНОШЕНИЕ (в логике) отождествляется с многоместным предикатом.

Предикаты подразделяются на одноместные, соот­ветствующие свойствам предметов, и многоместные (двухмест­ные, трехместные и вообще п -местные, где п ≥ 2), соответству­ющие О. При этом предикаты записываются в виде пропозици­ональных функций (см.: Функция пропозициональная).Число переменных в функции характеризует число мест, на которые могут подставляться имена предметов. Так, пропозициональ­ная функция Р (х)является функцией с одной переменной и соответствует свойству; пропозициональная функция xRy с дву­мя переменными соответствует двухместному О.; пропозицио­нальная функция R (x, у, z) с тремя переменными соответ­ствует трехместному О. и т. д. Примером одноместного предика­та и соответствующей ему пропозициональной функции от одной переменной может быть функция «четное число (х)»или «x — четное число». Она соответствует свойству «быть четным числом». Примером двухместного предиката и соответствующей ему пропозициональной функции от двух переменных может быть функция «х больше у».Она соответствует двухместному О. «боль­ше». Примером трехместного предиката и соответствующей ему пропозициональной функции от трех переменных может быть функция «х находится между у и z».Она соответствует трехмес­тному О. «находиться между». Свойство, таким образом, пред­ставляет собой такую характеристику предмета, приписывание которой одному-единственному индивиду приводит к образо­ванию либо истинного, либо ложного суждения. Так, подста­вив в функцию «х - четное число», соответствующую свой­ству, вместо переменной х индивид 4, мы получим истинное суждение «4 - четное число». Произведя вместо х подстановку числа 5,мы получим ложное суждение. О. же есть такая характе­ристика, которая для образования либо истинного, либо лож­ного суждения требует по меньшей мере приписывания ее двум предметам. Так, подставив вместо х и у в функцию «х больше у»числа 5и3, мы получим истинное суждение «5 больше 3»; под­ставив же числа 1 и 2, мы получим ложное суждение «1 больше 2». Если же мы припишем О. «больше» одному предмету, напр. числу 3, то получим выражение «3 больше», которое не образует

[255]

истинного или ложного суждения, а является бессмысленным вы­ражением.

ОТНОШЕНИЕ ВКЛЮЧЕНИЯ КЛАССА В КЛАСС, см.: Множеств теория.