predicativo

(in. Predicative; fr. Prédicatif; al. Prädicativ; it. Predicativó).

1. Chama-se predicativo o uso do verbo ser como cópula de uma proposição, ou seja, em seu significado não existencial (v. ser).

2. Chama-se de predicativa uma definição que não é impredicativa, no sentido que Poincaré deu a este termo (v. definição impredicativa); portanto, chama-se de predicativo também a teoria que exclui por princípio as definições impredicativas ou o cálculo proposicional baseado nessa exclusão (cf. p. ex., Church, Intr. to Mathematical Logic, § 58) (v. antinomia). [Abbagnano]