Логика классов
раздел логики (См. Логика), основным предметом рассмотрения в котором служат классы (множества) предметов, задаваемые характеризующими их свойствами, общими для всех входящих в данный класс элементов. В рамках современной формальной (математической) логики Л. К. Может пониматься, с одной стороны, как такое усиление (расширение) логики высказываний (См. Логика высказываний), при котором «элементарные высказывания» уже не рассматриваются только как нерасчленяемое далее «целое», а каждое из них имеет субъектно-предикатную форму [т. E. Может рассматриваться на содержательном уровне как нераспространённое повествовательное предложение, в котором различаются подлежащие (subjects) и сказуемые (predicates)]. Другая — отличающаяся от только что указанной по форме, но эквивалентная по существу, — трактовка Л.
К. Состоит в истолковании её как частного случая логики предикатов (См. Логика предикатов), а именно логики одноместных предикатов, точнее логики, оперирующей с объёмами понятий, содержания которых выражаются соответствующими одноместными предикатами. Имеется, наконец, ещё одна, изоморфная (см. Изоморфизм) первым двум, интерпретация Л. К., в соответствии с которой объектами её рассмотрения являются множества (классы) каких-либо предметов — вне зависимости от каких бы то ни было свойств, общих для их элементов, — и операции над множествами (см. Логические операции). Иными словами, Л. К. В этом случае можно отождествить с алгеброй множеств (см. Алгебра логики), в которой рассматриваются произвольные множества и обычные теоретико-множественные операции.
Сопоставляя (взаимнооднозначно) множествам (классам) высказывания о принадлежности какого-либо предмета данному множеству, пересечению множеств — конъюнкцию соответствующих высказываний, объединению — дизъюнкцию, а дополнению — отрицание, получают упомянутый выше изоморфизм алгебры высказываний и алгебры множеств (Л. К.). Рассматривая реализацию Л. К. На одноэлементной области, сводят вопрос об истинности (ложности) формул Л. К. К соответствующим вопросам для логики высказываний, подобно которой Л. К. Оказывается, т. О., разрешимой. Отсюда нетрудно получить и разрешимость логики одноместных предикатов. А поскольку, как было указано, она по существу совпадает с Л. К., последнюю не рассматривают обычно в виде специальной теории, трактуя её как фрагмент логики предикатов.
См. Ст. Логика и литературу при ней. Ю. А. Гастев..
Дополнительный поиск Логика классов
На нашем сайте Вы найдете значение "Логика классов" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Логика классов, различные варианты толкований, скрытый смысл.
Первая буква "Л". Общая длина 14 символа