Энциклопедия эпистемологии и философии науки - определение

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

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

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

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

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

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

В. И. Маркин

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация»

И.Т. Касавин

2009