<<
>>

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

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

Еще по теме ЛОГИКА КЛАССОВ:

  1. Глава 12. Индуктивная логика Бэкона и Мил ля
  2. ВОПРОСЫ ДЛЯ ЭКЗАМЕНОВ (ЗАЧЕТОВ) ПО ЛОГИКЕ
  3. II Логика и методология исследования
  4.   2. ЛОГИКА  
  5. ИНДУКЦИЯ (логика и грамматика). 
  6. ЛОГИКО-МЕТОДОЛОГИЧЕСКАЯ КОНЦЕПЦИЯ КАРЛА ПОППЕРА (Вступительная статья)
  7. К истории вопроса СОЦИАЛЬНО-КЛАССОВЫЕ КОРНИ «ПЛЮРАЛИЗАЦИИ МАРКСИЗМА»
  8. Математика, естествознание и логика (0:0 От Марк[с]а)
  9. § 8. Об уровне теоретичности средневековой правовой нормы (логика построения, проблема казуальности и архаичности).
  10. ИСЧИСЛЕНИЕ КЛАССОВ