ЛОГИКА КЛАССОВ

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