Математический словарь
" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРЕДИКАТИВНОСТЬ

Значение ПРЕДИКАТИВНОСТЬ в математической энциклопедии:

- особый способ образования понятий, характеризующийся отсутствием "порочного круга" в определениях: определяемый объект не должен участвовать в своем собственном определении. Если язык, на к-ром даются определения, формализован, то П. означает, как правило, что определяющая формула не должна содержать связанной переменной, в область изменения к-рой входит определяемый объект.

Непредикативные определения, наоборот, отличаются наличием в них такого "порочного круга". Явление непредикативности встречается также в нек-рых рассуждениях, когда в процессе обоснования нек-рая часть проводимого рассуждения сама рассматривается как объект рассуждения. Именно использование такого типа рассуждений является причиной появления семантич. антиномий. Типичный пример - установление противоречия в т. н. парадоксе лжеца: если некто утверждает - "я лгу", то это утверждение не может быть истинным и не может быть ложным.

В. Н. Гришин, А. Г. Драгалин.