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