Логика Отношений
Значение слова Логика Отношений по Логическому словарю:
Логика Отношений - - раздел логики, изучающий свойства высказываний об отношениях между объектами различной природы. Элементарными высказываниями об отношениях являются высказывания вида 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-местным отношением называется класс упорядоченных систем из n элементов; если, например, упорядоченная пара <х, у> принадлежит некоторому отношению R, то говорят, что х находится в отношении R к у. Для понимаемых таким образом отношений определяются понятия области определения данного отношения (множество первых элементов входящих в него пар) и области значений (множество их вторых элементов) и аналогично тому, как это делается в теории множеств, вводятся операции объединения (суммы) и пересечения (произведения) отношений. В получающейся
«алгебре отношений» (термин, также употребляемый как синоним термина «Л. о.») роль «единицы» играют т. н. отношения эквивалентности, т. е. отношения, обладающие свойствами рефлексивности (для всех х имеет место xRx), симметричности (из xRy следует yRx) и транзитивности (из xRy и yRz следует xRz). К этому важнейшему классу отношений принадлежит, например, равенство чисел, подобие многоугольников, параллельность прямых и т. п. Другой важнейший класс отношений - т. н. отношения порядка (рефлексивные и транзитивные, но несимметричные - «нестрогий» порядок; транзитивные, но нерефлексивные и несимметричные - «строгий» порядок; примерами могут соответственно служить отношения «не больше» и «меньше» для чисел или отрезков).
В терминах отношений (и с использованием аппарата алгебры отношений) вводятся многие важнейшие понятия логики и математики, в частности понятия функции и операции.
Ю. А. Гастев.
Логика Норм
Логика Отношений
Логика Предикатов