ОТНОШЕНИЕ

— связь между некоторой сущностью и тем, что с ней соотнесено. Считается, что категорию отношения в философию ввел Аристотель (Аристотель. Соч., т. 2. M., 1978, с. 66), писавший, что нечто «есть то, что оно есть», лишь «в связи с другим или находясь в каком-то ином отношении к другому». Для соотнесенного существовать — значит находиться в каком-либо отношении к другому. По Аристотелю, сущность есть условие возможности отношений. Подразумевается, что всякое отношение соотносит сущности определенных видов (или сортов, как принято говорить в прикладной логике). Однако еще до Аристотеля понятие отношения фактически рассматривалось другими эллинскими мыслителями, в частности Платоном. Для последнего отношение есть связь между идеями, благодаря к-рой они становятся доступными познанию. От Платона и Аристотеля идет комплекс проблем, связанных с бытием отношений: является ли отношение столь же реальным, что и объекты, в этом отношении находящиеся. Различные философские школы  давали на этот вопрос разные ответы. Естественно считать, что отношения между вещами столь же реальны, как и сами вещи, — в том смысле, что нет вещей вне каких-либо отношений и нет отношений, которые не связывали бы какие-либо вещи (явления, события, процессы и т. п.).

В современной логике отношения рассматриваются как многоместные (многочленные) предикаты — в отличие от свойств как одноместных предикатов. Различают двухместные (бинарные). трехместные (тернарные) и вообще п-арные отношения. Уточнение категории «отношение» возможно на различных уровнях абстракции и путем различных процедур формализации. Простейший подход — теоретико-множественный, когда отношение понимается как упорядоченное множество пар (для бинарного отношения), троек (для тернарного отношения), вообще п-ок предметов.