Философская энциклопедия - исчисление классов

ИСЧИСЛЕНИЕ КЛАССОВ

аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав-нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем); однако интерпретации этих исчислений различны: исчисление одноместных предикатов интерпретируется как логика содержаний понятий, а И. к.— как логика объёмов понятий. И. к. равносильно в определ. смысле исчислению высказываний и обладает (как и последнее) свойствами непротиворечивости, дедуктивной полноты и разрешимости.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.