ЛОГИКА ОТНОШЕНИЙ

ЛОГИКА ОТНОШЕНИЙ — раздел логики, изучающий свойства высказываний об отношениях между объектами различной при­роды. Элементарными высказываниями об отношениях являются высказывания вида akb, т. е. объект а находится в отношении k к объекту b, напр.: "а брат b", "а тяжелее b" и т. п. В зависимости от числа объектов, связанных тем или иным отношением, различают двухместные, или бинарные, отношения, трехместные, или тернарные, отношения, напр.: "a находится между b и с"; и вообще n-местные, или n-арные, отношения. Особое значение имеют бинарные отношения, посредством которых определяют такие важнейшие понятия логики и математики, как "функция" и "операция". Вводя для бинарных отношений теоретико-множе­ственные операции объединения (суммы), пересечения (произведения) и дополнения, получают "алгебру отноше­ний", роль единицы в которой играют отношения эквивалентно­сти (равенства, тождества). Отношения эквивалентности обладают следующими свойствами: а) рефлексивностью: для всякого х верно, что xkx, т. е. каждый объект находится в данном отношении к самому себе; б) симметричностью: из xky следует ykx; в) транзитивностью: из xky и ykz следует xkz. Опираясь на различные свойства отношений, можно из одних высказываний об отношениях выводить другие высказывания. Напр., отношение "быть братом" симметрично, поэтому из выс­казывания "а брат b" можно сделать вывод о том, что "b брат а". В естественном языке трудность подобных выводов состоит в том, чтобы установить, обладает ли рассматриваемое отношение необ­ходимым для вывода свойством. Напр., можно ли из высказывания "а теплее b" сделать вывод о том, что "b теплее а"? Нет, нельзя, т. к. отношение "быть теплее" не является симметричным. Но оно яв­ляется транзитивным, потому из высказываний "а теплее b" и "b теплее с" можно вывести высказывание "а теплее с". Значительный вклад в разработку Л.о. внес рус. логик С. И. Поварнин (1870—1952). В современной математической логике отно­шения выражаются посредством многоместных предикатов, напр.: "Брат (а, b)", "Больше (а, b)" и т. п. Поэтому Л. о. в настоящее время разрабатывается как часть логики предикатов.


Смотреть больше слов в «Словаре по логике»

ЛОГИКА ПРЕДИКАТОВ →← ЛОГИКА НОРМ

Смотреть что такое ЛОГИКА ОТНОШЕНИЙ в других словарях:

ЛОГИКА ОТНОШЕНИЙ

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

ЛОГИКА ОТНОШЕНИЙ

        ЛОГИКА ОТНОШЕНИЙ — раздел современной логики, в котором рассматриваются отношения между объектами определенной предметной области (областей). Х... смотреть

ЛОГИКА ОТНОШЕНИЙ

ЛОГИКА ОТНОШЕНИЙ         раздел логики, посвящённый изучению отношений между объектами различной природы. Эти отношения выражаются сказуемыми и анал... смотреть

ЛОГИКА ОТНОШЕНИЙ

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

ЛОГИКА ОТНОШЕНИЙ

раздел логики, посвящённый изучению отношений между объектами различной природы. Эти отношения выражаются сказуемыми и аналогичными им словами в предложениях естеств. языков. В зависимости от числа объектов, связанных данным отношением, говорят о двуместных (двучленных, бинарных), трёхместных (трёхчленных, тернарных), вообще nместных (nчленных, nарных) отношениях, к-рые в терминах теории множеств определяются соответственно как классы упорядоченных пар, троек, ...nок предметов нек-рой предметной области. Особенно важны бинарные отношения (если пара принадлежит отношению R, то говорят, что х находится в отношении R к у), посредством к-рых определяются такие, напр., важнейшие понятия логики и математики, как понятия функции и операции. Вводя для бинарных отношений теоретико-множеств. операции объединения (суммы), пересечения (произведения) и дополнения, получают «алгебру отношений» (синоним термина «Л. о.»), роль единицы в к-рой играют отношения эквивалентности (равенства, тождества), обладающие свойствами рефлексивности (для всех x верно xRx), симметричности (из xRy следует yRx) и транзитивности (из xRy и yRz следует xRz). Теория бинарных отношений допускает геометрич. интерпретацию в виде т. н. теории графов. На языке совр. математич. логики понятие отношения выражается посредством понятия многоместного предиката; поэтому Л. о. (исключая упомянутые выше алгебраич. и геометрич. её аспекты) потеряла самостоят. значение и является по существу составной частью логики предикатов.... смотреть

ЛОГИКА ОТНОШЕНИЙ

раздел математической логики, изучающий отношения.

ЛОГИКА ОТНОШЕНИЙ

логіка відношень

T: 276