логика отношений


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "логика отношений" в других словарях:

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

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

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

  • ЛОГИКА ОТНОШÉНИЙ — 1) Один из разделов совр. логики, представляющий собой теорию отношений. В этом смысле термин Л. о. употребляет, напр., Э. Шрёдер ( Лекции по алгебре логики – Е. Schröder, Vorlesungen über die Algebra der Logik, Bd 3, 1895); в Principia… …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • ЛОГИКА ДИАЛЕКТИЧЕСКАЯ —         см. в ст. Диалектика. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИКА ДИАЛЕКТИЧЕСКАЯ …   Философская энциклопедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

Книги

Другие книги по запросу «логика отношений» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.