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

1. Chama-se predicativo o [[lexico:u:uso:start|uso]] do [[lexico:v:verbo:start|verbo]] [[lexico:s:ser:start|ser]] como cópula de uma [[lexico:p:proposicao:start|proposição]], ou seja, em seu [[lexico:s:significado:start|significado]] [[lexico:n:nao:start|não]] [[lexico:e:existencial:start|existencial]] (v. ser).

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}