Логика Отношений

- раздел логики, изучающий свойства высказываний об отношениях между объектами различной при­роды. Элементарными высказываниями об отношениях являются высказывания вида 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)» и т. П. Поэтому Л. О. В настоящее время разрабатывается как часть логики предикатов..