Предикативность
Особый способ образования понятий, характеризующийся отсутствием "порочного круга" в определениях: определяемый объект не должен участвовать в своем собственном определении. Если язык, на к-ром даются определения, формализован, то П. означает, как правило, что определяющая формула не должна содержать связанной переменной, в область изменения к-рой входит определяемый объект. Непредикативные определения, наоборот, отличаются наличием в них такого "порочного круга". Явление непредикативности встречается также в нек-рых рассуждениях, когда в процессе обоснования нек-рая часть проводимого рассуждения сама рассматривается как объект рассуждения. Именно использование такого типа рассуждений является причиной появления семантич. антиномий. Типичный пример — установление противоречия в т. н. парадоксе лжеца: если некто утверждает — "я лгу", то это утверждение не может быть истинным и не может быть ложным. В. Н. Гришин, А. Г. Драгалин.