===== EQUIPOLÊNCIA =====
(gr. isodynamia; lat. aequipollentia; in. Equipollence; fr. Êquipollence; al. Aequipollenz; it. Equipollenza).

[[lexico:r:relacao|Relação]] entre enunciados diversos que tem o mesmo [[lexico:v:valor|valor]] de [[lexico:v:verdade|verdade]]. A doutrina da equipolência foi exposta pela primeira vez por Galeno na [[lexico:o:obra|obra]] Sobre as Proposições Equipolentes, reexposta em latim por Apuleio (no seu comentário a De interpretationè), do qual passou à [[lexico:l:logica|lógica]] medieval (cf. [[lexico:p:pedro-hispano|Pedro Hispano]], Summ. log., 1.24-1.27). Jungius distinguia a equipolência gramatical, que existe entre frases de igual [[lexico:s:significado|significado]], embora compostas de [[lexico:p:palavras|palavras]] diferentes, da equipolência lógica, que ocorre entre enunciados simultaneamente verdadeiros ou falsos que correspondam ao mesmo [[lexico:o:objeto|objeto]] extra-mental: como no caso dos dois enunciados: "Alguns homens [[lexico:n:nao|não]] são amantes da [[lexico:s:sabedoria|sabedoria]]" e "É [[lexico:f:falso|falso]] que todos os homens sejam amantes da sabedoria" (Log., II, 10, 2-3). No lógica contemporânea a equipolência (que se chama também [[lexico:e:equivalencia|equivalência]]) é simbolizada pelo [[lexico:s:signo|signo]] = e definida, de [[lexico:a:acordo|acordo]] com a [[lexico:t:tradicao|tradição]], como coincidência de dois enunciados em seu valor de verdade (W. V. O. Quine, Methods of Logic; § 9; Carnap, Meaning and Necessity, 3).