квантор
61экзистенциальное высказывание — (от лат. existentia существование) высказывание о существовании к. л. предметов и явлений, напр.: Жизнь на Марсе существует , Существуют ядовитые грибы и т. п. Для выражения таких высказываний в формальном языке используется квантор существования …
62Биба, Николай Викторович — Директор фирмы "Квантор" (г. Москва); родился 15 июня 1955 г.; окончил Днепропетровский металлургический институт, аспирантуру МИСиС, кандидат технических наук; увлекается спортом …
63Солодухин, Юрий Николаевич — (р. 05.04.1938) спец. в обл. логики, методологии науки, политологии; канд. филос. наук, действительный гос. советник РФ I класса. Род. в Москве. Окончил филос. ф т МГУ (1960), асп. того же ф та (1965). Работал преп. на кафедре логики филос. ф та… …
64Дескрипция — (от лат. descriptio описание) логико лингвистический термин, обозначающий специальные конструкции, играющие в формальных языках (См. Формальный язык) роль дополнительных (по сравнению с исходным словарём) собственных и нарицательных имён …
65Обобщение — форма приращения знания путём мысленного перехода от частного к общему, которой обычно соответствует и переход на более высокую ступень абстракции (См. Абстракция). Пример: переход от наблюдения над совокупностями индивидуализированных… …
66Переменная — переменное, одно из основных понятий математики и логики. Начиная с работ П. Ферма, Р. Декарта, И. Ньютона, Г. В. Лейбница и др. основоположников «высшей» математики под П. понимали некоторую «величину», которая может «изменяться»,… …
67Понятие — форма мышления, отражающая существенные свойства, связи и отношения предметов и явлений в их противоречии и развитии; мысль или система мыслей, обобщающая, выделяющая предметы некоторого класса по определённым общим и в совокупности… …
68Предикат (свойство отд. предмета) — Предикат (от позднелат. praedicatum сказанное), то же, что свойство; в узком смысле свойство отдельного предмета, например «быть человеком», в широком смысле свойство пары, тройки, вообще n ки предметов, например «быть родственником». П. в… …
69Силлогизм — (греч. syllogismós) вид дедуктивного умозаключения, две посылки и заключение которого имеют одну и ту же субъектно предикатную структуру. Наименование «С.» прилагают чаще всего к так называемым категорическим С., посылки и заключения… …
70Предикат — I Предикат (от позднелат. praedicatum сказанное) то же, что свойство; в узком смысле свойство отдельного предмета, например «быть человеком», в широком смысле свойство пары, тройки, вообще n ки предметов, например «быть родственником». П …
