Логика классов

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