Классов исчисление

- традиционное, восходящее к Дж. Булю (G. Boole) название раздела математич. логики, изучающего логику классов. К. и. фактически представляет собой логику высказываний, в к-рой дополнительно рассматривается субъектно-предикатная структура элементарных высказываний (т. е. элементарные высказывания имеют вид "элемент хобладает свойством Р"), причем с каждым предикатом (свойством) Рсвязывается класс элементов из рассматриваемой области, обладающих этим свойством. К. п. было задумано как математич. эквивалент аристотелевой силлогистики, однако оно не является таковым, поскольку допустимые в К. и. пустой и одноэлементные классы Аристотелем не рассматривались. К. и. обычно не выделяют в самостоятельный раздел математич. логики, так как все его выразительные возможности перекрываются исчислением одноместных предикатов (являющимся, в свою очередь, разрешимым фрагментом узкого исчисления предикатов, см. Логические исчисления). Аристотелева силлогистика адекватным образом формализована Я. Лукасевичем [4].