Математическая энциклопедия - предикативность

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

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985