Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

Теория классов — логическая теория. Осн. понятия: класс, эле­мент класса. Осн. утверждения: о принадлежности элемента класса (х) классу (А) : х £ А; о существова­нии универсального (1) и пустого (0) классов; о четырех видах отно­шения между классами: из двух произвольных классов А и В либо один включается в другой (являет­ся его подклассом), напр. А~В, либо, наоборот, В с А, либо А и В частично совпадают, либо не имеют никаких общих элементов. В Т. к. определяются операции над клас­сами: 1) пересечение Аг\В, т. е. об­разование нового класса из элемен­тов общих как А, так и В; 2) объ­единение AvjB, т. е. образование класса, элементы к-рого принадле­жат А или В, или им обоим; 3) до­полнение А, т. е. образование класса  из всех элементов универсального класса, не входящих в А. Законы отношения между классами и операций над ними рассматри­ваются в т. наз. исчислении клас­сов, к-рое представляет собой одну из интерпретаций (Интерпретация и модель) алгебры логики. Вместе с тем, полагая, что выражение х £ А соответствует пропозициональной функции, получают трактовку ис­числения классов как исчисления одноместных предикатов.