|
|
ИСЧИСЛЕНИЕ ПРЕДИКАТОВИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. см. Логика предикатов. Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел символич. логики, в к-ром изучаются логич. операторы всеобщности и существования в связи с рассмотрением субъектно-предикатной структуры суждений; составляет гл. содержание совр. формальной логики. См. Предикатов исчисление. Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ . см. Логика предикатов Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001. Категория: Словари и энциклопедии » Философия » Философская энциклопедия Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|