КВАНТИФИКАЦИЯ

(от лат. quantum — сколько и facio — делаю), измерение качеств. признаков. КВАНТОР (от лат. quantum — сколько), оператор логики предикатов, применение к-рого к формулам, содержащим лишь одну свободную переменную, даёт предложение (высказывание).

Различают К. общности, обозначаемый символом (от англ. all — все), и К. существования (от exist — существовать): хР(х) интерпретируется (см. Интерпретация) как «для всех х имеет место свойство Р», а хР(х) — как «существует х такой, что имеет место свойство ?(х)». Если предметная область (универсум) конечна, то хР(х) равносильно конъюнкции всех формул Р(а), где а — элемент предметной области. Аналогично, хР(х) равносильно дизъюнкции всех формул вида ? (а). Если же предметная область бесконечна, то xP(x) и хР(х) могут быть истолкованы соответственно как бесконечные конъюнкция и дизъюнкция. Введение К. в логике многоместных предикатов (т. е. неодноместных) обусловливает неразрешимость исчисления предикатов. Различные соотношения между К. общности и существования и логическими связками логики высказываний формализуются в исчислении предикатов.

• см. к ст. Логика предикатов.

<< | >>

↑

Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме КВАНТИФИКАЦИЯ:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -