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

[[lexico:r:relacao:start|Relação]] entre enunciados diversos que tem o mesmo [[lexico:v:valor:start|valor]] de [[lexico:v:verdade:start|verdade]]. A doutrina da equipolência foi exposta pela primeira vez por Galeno na [[lexico:o:obra:start|obra]] Sobre as Proposições Equipolentes, reexposta em latim por Apuleio (no seu comentário a De interpretationè), do qual passou à [[lexico:l:logica:start|lógica]] medieval (cf. [[lexico:p:pedro-hispano:start|Pedro Hispano]], Summ. log., 1.24-1.27). Jungius distinguia a equipolência gramatical, que existe entre frases de igual [[lexico:s:significado:start|significado]], embora compostas de [[lexico:p:palavras:start|palavras]] diferentes, da equipolência lógica, que ocorre entre enunciados simultaneamente verdadeiros ou falsos que correspondam ao mesmo [[lexico:o:objeto:start|objeto]] extra-mental: como no caso dos dois enunciados: "Alguns homens [[lexico:n:nao:start|não]] são amantes da [[lexico:s:sabedoria:start|sabedoria]]" e "É [[lexico:f:falso:start|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:start|equivalência]]) é simbolizada pelo [[lexico:s:signo:start|signo]] = e definida, de [[lexico:a:acordo:start|acordo]] com a [[lexico:t:tradicao:start|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).

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