 |
 |
|
 |
|
|
ЛОГИКА ОТНОШЕНИЙ |
| Большая советская энциклопедия (БЭС) |
раздел логики (См. Логика), посвященный изучению отношений между объектами различной природы. В естественных языках отношения выражаются сказуемыми предложений, имеющих более одного подлежащего (или подлежащее и одно или несколько дополнений). В зависимости от числа этих подлежащих (или подлежащих и дополнений) говорят о бинарных (двуместных, двучленных), тернарных (трёхместных, трёхчленных), вообще n-арных (n-местных, n-членных) отношениях. В формализованных языках (См. Формализованный язык) математической логики аналогом понятия отношения служит понятие (многоместного) предиката; соответственно современная модификация Л. о. называется логикой предикатов (См. Логика предикатов). На языке теории множеств и алгебры n-местным отношением называется класс упорядоченных систем из n элементов; если, например, упорядоченная пара <х, у> принадлежит некоторому отношению R, то говорят, что х находится в отношении R к у. Для понимаемых таким образом отношений определяются понятия области определения данного отношения (множество первых элементов входящих в него пар) и области значений (множество их вторых элементов) и аналогично тому, как это делается в теории множеств, вводятся операции объединения (суммы) и пересечения (произведения) отношений. В получающейся «алгебре отношений» (термин, также употребляемый как синоним термина «Л. о.») роль «единицы» играют т. н. отношения эквивалентности, т. е. отношения, обладающие свойствами рефлексивности (для всех х имеет место xRx), симметричности (из xRy следует yRx) и транзитивности (из xRy и yRz следует xRz). К этому важнейшему классу отношений принадлежит, например, равенство чисел, подобие многоугольников, параллельность прямых и т. п. Другой важнейший класс отношений — т. н. отношения порядка (рефлексивные и транзитивные, но несимметричные — «нестрогий» порядок; транзитивные, но нерефлексивные и несимметричные — «строгий» порядок; примерами могут соответственно служить отношения «не больше» и «меньше» для чисел или отрезков). В терминах отношений (и с использованием аппарата алгебры отношений) вводятся многие важнейшие понятия логики и математики, в частности понятия функции и операции.
Ю. А. Гастев.
|
| Философский словарь |
| раздел математической логики, изучающий отношения. |
| Философский энциклопедический словарь 2 |
| раздел логики, посвящённый изучению отношений между объектами различной природы. Эти отношения выражаются сказуемыми и аналогичными им словами в предложениях естеств. языков. В зависимости от числа объектов, связанных данным отношением, говорят о двуместных (двучленных, бинарных), трёхместных (трёхчленных, тернарных), вообще n-местных (n-членных, nарных) отношениях, которые в терминах теории множеств определяются соответственно как классы упорядоченных пар, троек, ...n-ок предметов некоторой предметной области. Особенно важны бинарные отношения (если пара <х,y> принадлежит отношению R, то говорят, что ? находится в отношении R к у), посредством которых определяются такие, напр., важнейшие понятия логики и математики, как понятия функции и операции. Вводя для бинарных отношений теоретико-множеств. операции объединения (суммы), пересечения (произведения) и дополнения, получают «алгебру отношений» (синоним термина «Л. о.»), роль единицы в которой играют отношения эквивалентности (равенства, тождества), обладающие свойствами рефлексивности (для всех x верно xRx), симметричности (из xRy следует yRx) и транзитивности (из xRy и yRz следует xRz). Теория бинарных отношений допускает геометрич. интерпретацию в виде т. н. теории графов. На языке совр. математич. логики понятие отношения выражается посредством понятия многоместного предиката; поэтому Л. о. (исключая упомянутые выше алгебраич. и геометрич. её аспекты) потеряла самостоят. значение и является по существу составной частью логики предикатов. Шрейдер Ю. А., Равенство, сходство, порядок, М., 1971. |
|
|
|
|
|
|
|
|
 |
|
 |
|
|
