Большая Советская Энциклопедия (ОП)

Лит .: Маркс К. и Энгельс Ф., [Письмо] А. Бебелю, В. Либкнехту, В. Бракке и др. («Циркулярное письмо»), 17—18 сент. 1879 г., Соч., 2 изд., т. 34; Ленин В. И., Марксизм и ревизионизм, Полн. собр. соч., 5 изд., т. 17; его же, Разногласия в европейском рабочем движении, там же, т. 20; его же, Исторические судьбы учения Карла Маркса, там же, т. 23; его же, Марксизм и реформизм, там же, т. 24; его же, Крах II Интернационала, там же, т. 26; В. И. Ленин против догматизма, сектантства, «левого» оппортунизма. Сб., М., 1964; В. И. Ленин против ревизионизма. Сб., М., 1958; Программа КПСС (Принята XXII съездом КПСС), М., 1973; Программные документы борьбы за мир, демократию и социализм, М., 1961; Международное совещание коммунистических и рабочих партий, М., 1969; Ревизионизм — главная опасность, М., 1958; Бутенко А. П., Основные черты современного ревизионизма (Критический очерк), М., 1959; Марксизм-ленинизм — единое интернациональное учение, т. 1—3, М., 1968—1969; Критика теоретических основ маоизма, М., 1973.

А. П. Бутенко.

Оправдание

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

Оправка

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

Определение (грамматич.)

Определе'ние , несамостоятельный член предложения, грамматически подчинённый существительному (или имени — в языках без грамматический дифференциации имён) и указывающий на признак предмета, явления и т.п. О. может быть (в русском, немецком, латинском и многих др. индоевропейских языках, в арабском, банту и пр.) согласуемым («большой город», «наш сад») и несогласуемым («дом с мезонином», немецком das Buch des Genossen — «книга товарища»). В некоторых языках (семитских, тюркских и др.) присоединение О. (соответствующего русскому О. в родительном падеже) к имени требует морфологического изменения определяемого слова (т. н. изафетная конструкция). Особым видом О. является приложение.

Определение (объяснение значения)

Определе'ние , дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином понятия ; этот термин (понятие) называется определяемым (лат. definiendum, сокращенно Dfd), а совокупность действий (слов), осуществляющих его О., — определяющим (лат. definiens, сокращение Dfn). Dfd О. всегда является словом (термином, именем понятия). Dfn же может быть как словом, так и некоторым конкретным, совершенно реальным предметом — и в этом последнем случае О. состоит в указании на этот предмет в самом буквальном смысле, например жестом или какого-либо др. способом «предъявления» этого предмета. Такие О., по самой сути несущие информацию лишь об объёме (или даже части объёма) определяемого понятия, называется остенсивными. Они играют важную роль в процессе познания и в повседневной практике: именно с их помощью происходит то «первоначальное накопление» понятий, без которого было бы вообще невозможно познание.

Поскольку указание на предмет (или класс предметов), характерное для остенсивного О., может быть дано и в чисто словесной форме (с помощью указательных местоимений, описаний и т.п.), такие языковые конструкции естественно причислить к тому же классу О. Но подавляющее большинство О., в которых и Dfd и Dfn имеют языковую природу, определяют значения некоторых выражений (Dfd) через значения др. выражений (Dfn), принимаемые (в рамках данного О.) за известные. Такие О. называются вербальными; каждое из них представляет собой предложение некоторого языка (совокупность предложений сложного О. всегда можно считать одним сложным предложением). Посредством вербальных О. вводятся новые термины или поясняются значения терминов, введённых ранее; в обоих случаях такое О. называется номинальным Если же имеется в виду, что определяется не сам по себе термин, а обозначаемый им предмет или понятие (его детонат — см. Семантика ), то О. называется реальным; назначение такого О. состоит в том, чтобы установить, что термины Dfd и Dfn обозначают один и тот же предмет (деление О. на номинальные и реальные носит условный характер).

До сих пор речь шла о явных (иначе — эксплицитных) О., позволяющих не только вводить Dfd в качестве «сокращения» для Dfn в любой контекст, но и, наоборот, в случае надобности, удалять из произвольного контекста Dfd, «расшифровывая» его посредством Dfn. Классическим примером О. такого рода могут служить рассмотренные ещё Аристотелем О. «через род и видовое отличие», утверждающие равнообъёмность Dfd и Dfn, в которых Dfd выделяется из некоторой более широкой области предметов (рода) посредством указания некоторого его специфического свойства (видового отличия). С современной точки зрения «род» и «видовое отличие» зачастую если и различаются, то лишь грамматически, а не логически; например, в О. «квадрат есть прямоугольный ромб» «родом» является «ромб», а «видовым отличием» — «прямоугольный», а в О. «квадрат есть равносторонний прямоугольник» «род» — это «прямоугольник», а «видовое отличие» — «равносторонний»; между тем оба они с точностью до способа выражения (который, впрочем, можно было бы и считать индивидуальной характеристикой О.) эквивалентны О. «квадрат — это ромб и прямоугольник одновременно», в котором оба члена Dfn абсолютно равноправны. В научной практике весьма распространены также неявные (имплицитные) О., в которых Dfd непосредственно не дан, но может быть «извлечён» из некоторого контекста. Иногда неявные О. удаётся преобразовать в явные (именно такое преобразование, например, составляет процесс решения системы уравнений, которая с самого начала может рассматриваться как О. неизвестных, хотя и неявное) — это т. н. контекстуальные О.

Но особенно важны случаи, когда неявный характер О. неустраним; именно так обстоит дело в аксиоматических теориях, аксиомы которых неявно определяют входящие в них исходные термины данной теории (см. Аксиоматический метод ).

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

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

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

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

Лит.: Энгельс Ф., Анти-Дюринг, Маркс К. и Энгельс Ф., Соч., 2 изд., т. 20; Аристотель, Аналитики первая и вторая, пер. с греч., М., 1952; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Горский Д. П., О видах определений и их значении в науке, в сборнике: Проблемы логики научного познания, М., 1964; Карри X. Б., Основания математической логики, пер. с англ., М., 1969, гл. 1—3.

Ю. А. Гастев.