Логіка класів , розділ логіки, основним предметом розгляду в якому служать класи (безліч) предметів, що задаються властивостями, що характеризують їх, загальними для всіх вхідних в даний клас елементів. В рамках сучасної формальної (математичною) логіки Л. до. може розумітися, з одного боку, як таке посилення (розширення) логіки висловів, при якому «елементарні вислови» вже не розглядаються лише як нерозчленовуване далі «ціле», а кожне з них має суб'єктно-предикативну форму [тобто може розглядатися на змістовному рівні як непоширена оповідна пропозиція, в якій розрізняються ті, що підлягають (subjects) і присудки (predicates)]. Інша — що відрізняється від тільки що вказаною формою, але еквівалентна по суті, — трактування Л. до. полягає в тлумаченні її як окремого випадку логіки предикатів, а саме логіки одномісних предикатів, точніше за логіку, що оперує з об'ємами понять, вміст яких виражається відповідними одномісними предикатами. Є, нарешті, ще одна, ізоморфна (див. Ізоморфізм ) першим двом, інтерпретація Л. до., відповідно до якій об'єктами її розгляду є безліч (класи) яких-небудь предметів — незалежно від яких би то не було властивостей, загальних для їх елементів, — і операції над безліччю (див. Логічні операції ) . Іншими словами, Л. до. в цьому випадку можна ототожнити з алгеброю безлічі (див. Алгебра логіки ) , в якій розглядаються довільна безліч і звичайні теоретико-множинні операції. Зіставляючи (взаємно-однозначний) безлічі (класам) вислову про приналежність якого-небудь предмету даній безлічі, пересіченню безлічі — кон'юнкцію відповідних висловів, об'єднанню — диз'юнкцію, а доповненню — заперечення, отримують згаданий вище ізоморфізм алгебри висловів і алгебри безлічі (Л. до.). Розглядаючи реалізацію Л. до. на одноелементної області, зводять питання про істинність (помилковості) формул Л. до. до відповідних питань для логіки висловів, подібно до якої Л. до. виявляється, т. о., вирішуваною. Звідси неважко отримати і вирішувану логіки одномісних предикатів; а оскільки, як було вказано, вона по суті збігається с Л. до., останню не розглядають зазвичай у вигляді спеціальної теорії, трактуючи її як фрагмент логіки предикатів. Див. ст. Логіка і літературу при їй.
