Классов Исчисление
- традиционное, восходящее к Дж. Булю (G. Boole) название раздела математич. Логики, изучающего логику классов. К. И. Фактически представляет собой логику высказываний, в к-рой дополнительно рассматривается субъектно-предикатная структура элементарных высказываний (т. Е. Элементарные высказывания имеют вид "элемент хобладает свойством Р"), причем с каждым предикатом (свойством) Рсвязывается класс элементов из рассматриваемой области, обладающих этим свойством. К. П. Было задумано как математич. Эквивалент аристотелевой силлогистики, однако оно не является таковым, поскольку допустимые в К. И. Пустой и одноэлементные классы Аристотелем не рассматривались. К. И. Обычно не выделяют в самостоятельный раздел математич. Логики, так как все его выразительные возможности перекрываются исчислением одноместных предикатов (являющимся, в свою очередь, разрешимым фрагментом узкого исчисления предикатов, см.
Логические исчисления). Аристотелева силлогистика адекватным образом формализована Я. Лукасевичем [4]. Лит.:[1] Гильберт Д., Аккерман В., Основы теоретической логики, пер. С нем., М., 1947. [2] Кутюра Л., Алгебра логики, [пер. С франц.], Одесса, 1909. [3] Wajsberg M., "Monatsch. Fur Math, und Phys.", 1933, Bd 40, S. 113-26. [4] Лукасевич Ян, Аристотелевская силлогистика с точки зрения современной формальной логики, пер. С англ., М., 1959. [5] Яновская С, Логика классов, в кн. Философская энциклопедия, т. 3, М., 1964, с. 224 - 26. Б. А. Душский..
Дополнительный поиск Классов Исчисление
На нашем сайте Вы найдете значение "Классов Исчисление" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Классов Исчисление, различные варианты толкований, скрытый смысл.
Первая буква "К". Общая длина 18 символа