Приглашаем посетить сайт
ОПРЕДЕЛЕНИЕ
ОПРЕДЕЛЕНИЕ - дефиниция (лат. definitio), логич. приём, позволяющий: 1) формулировать критерии отличения изучаемого объекта от др. объектов (т. е. производить спецификацию объекта), а также специфич. способы его построения, употребления; 2) формировать значение вновь вводимого знакового выражения или уточнять значение имеющегося выражения в к.-л. языке (естественном, языке идеографич. символизма, формализов. языках логики). Т. к. результаты изучения объектов отображаются в понятиях, О. иногда рассматривается как формулирование в явной и сжатой форме осн. содержания понятий.
В отличие от др. логич. средств (напр., правил вывода) О. формулируются в процессе науч. исследования в явной форме и составляют важнейшую часть науч. теорий, их фрагментов, более или менее законченных рассуждений.
Все О. подразделяются на явные и неявные. Явными называются О., имеющие структуру Dfd Dfn, где Dfd - то, что определяется, Dfn - то, посредством чего определяется Dfd; а - знак дефинициального равенства (некоторый способ отождествления Dfd и Dfn). В явных О. заключено правило введения Dfd (правило замены Dfn на Dfd) и правило удаления Dfd (правило замены Dfd на Dfn). Неявные О. - это аксиома-тич. О., которые носят круговой характер: в них исходные термины определяются друг через друга и при этом отсутствуют правила введения и удаления для определяемых исходных терминов внутри теории.
Все явные определения подразделяются также на номинальные и реальные. Номинальные О. - О., посредством которых вводятся в язык новые знаковые выражения и уточняются уже существующие. Реальные О. - О., посредством которых специфицируются изучаемые объекты. Наконец, явные О. подразделяются на классификационные (О. через род и видовое отличие) и генетические. В классификационных О. в Dfn указывается область предметов, соответствующая родовому признаку, из состава которой выделяется Dfd по специфич. (видовым) для него признакам [напр., О. «параллелограмм есть четырёхугольник (область, соответствующая родовому признаку), у которого стороны попарно параллельны (видовое отличие)»]. В генетич. О. указываются специфич. свойства для образования, построения Dfd. В логике различают также синтаксич. и семантич. О. Первые - это явные О., по отношению к которым непосредственно применимо правило взаимозаменимости Dfd и Dfn в различных контекстах; вторые - это О., в которых Dfd - некоторое знаковое выражение, a Dfn - обозначаемый им объект (напр., «термин „пятиугольник" употребляется для обозначения многоугольников с пятью сторонами»); такое семантич. О. может быть переведено в синтаксическое (напр., «пятиугольник есть многоугольник с пятью сторонами»).
По отношению к явным аналкгич. О., классич. представителем которых являются О. через род и видовое отличие, формулируются след. правила: 1) правило взаимозаменимости Dfd и Dfn в различных контекстах: если имеется истинный контекст К и если в нём встречается Dfd, а также Dfn некоторого О. Dfd ? Dfn, то они могут быть заменены друг на друга; при этом истинный контекст К останется истинным. Для изолированно рассматриваемых реальных О. через род и видовое отличие это правило формулируется как правило соразмерности понятий Dfd и Dfn: понятия Dfd и Dfn должны иметь один и тот же объём. 2) Правило запрета порочного круга: в явном О. запрещается Dfd определять через Dfn, которое в свою очередь определено через Dfd. Так, нельзя истину определить как верное отражение действительности, если до этого верное отражение действительности было определено как такое, которое приводит к истине. 3) Правило однозначности: в пределах науч. теорий и их фрагментов каждому Dfn должен соответствовать лишь один единств. Dfd (но не наоборот). Это правило исключает из науки явления омонимии и является средством формирования науч. терминологии. 4) Правило непротиворечивости: О. не должно быть противоречивым; введение новых явных О. в теорию не должно приводить к противоречивости теории.
Энгельс Ф., Анти-Дюринг, Маркс К. и Энгельс Ф., Соч., т. 20; его же, Диалектика природы, там же; Аристотель, Аналитики первая и вторая, пер. с греч., Соч , т. 2, М., 1978; Котapбиньский Т., Избр. произв., пер спольск., М., 1963, с. 559-64, 627-37; Горский Д. П., О., М., 1974; Попа К., Теория О., пер. с рум., M., 197B.
Д. П. Горский.