===== ASSERÇÃO =====
(lat. [[lexico:o:oratio|oratio]] enunciativa; in. Statement; fr. Assertion; al. Behauptung; it. Asserzioné).

[[lexico:f:frase|frase]] de [[lexico:s:sentido|sentido]] completo que afirma ou nega, podendo [[lexico:s:ser|ser]] verdadeira ou falsa. [[lexico:a:aristoteles|Aristóteles]] distinguiu a asserção, nesse sentido, da súplica, da [[lexico:o:ordem|ordem]], etc, considerando que só ela é [[lexico:o:objeto|objeto]] da [[lexico:l:logica|lógica]], ao passo que as outras formas de [[lexico:e:expressao|expressão]] são objeto da [[lexico:r:retorica|retórica]] ou da poética (De interpr., A 1 a 2-9). Disse que a asserção é "uma frase que significa que [[lexico:a:alguma-coisa|alguma coisa]] inere ou [[lexico:n:nao|não]] em alguma [[lexico:c:coisa|coisa]], segundo as divisões do [[lexico:t:tempo|tempo]]" e que a [[lexico:a:afirmacao|afirmação]] e a [[lexico:n:negacao|negação]] são as duas formas fundamentais (ibid., 17 a 23). [[lexico:b:boecio|Boécio]] traduziu a expressão de Aristóteles por Oratio enunciativa (P.L., 64s, col. 314, 399), considerando-a praticamente equivalente ao enuntia-tum dos estoicos. Na [[lexico:r:realidade|realidade]], os dois termos são equivalentes, se não forem consideradas as diferenças do contexto em que se encontrem (v. [[lexico:e:enunciado|enunciado]]; [[lexico:p:proposicao|proposição]]).

Na [[lexico:l:logica-matematica|lógica matemática]] contemporânea, [[lexico:r:russell|Russell]], com base em Frege e acompanhado por muitos outros lógicos, introduziu um [[lexico:s:simbolo|símbolo]] especial (’—’), a ser anteposto ao símbolo da asserção. A lógica terminista medieval julgava, porém, que as expressões "é [[lexico:v:verdade|verdade]] que ‘p’" e ‘p’ (onde ‘p’ é [[lexico:s:sinal|sinal]] de uma proposição) devem ser consideradas sinônimas. Contudo, a asserção implica que se acredita ou se assente na proposição expressa; como tal, às vezes é distinguida de enunciado. Cf. [[lexico:a:assentimento|assentimento]].

O [[lexico:a:ato|ato]] do [[lexico:e:espirito|espírito]], que declara verdadeira uma proposição, quer afirmativa, quer negativa.

ASSERÇÃO [[lexico:i:independente|independente]] ([[lexico:p:principio|Princípio]]) — Também [[lexico:c:chamado|chamado]] simplesmente princípio da asserção. Este princípio foi formulado por Couturat, cujo enunciado reproduzimos: «Se, numa [[lexico:i:implicacao|implicação]], a [[lexico:h:hipotese|hipótese]] é verdadeira (categoricamente), a [[lexico:t:tese|tese]] também é verdadeira (categoricamente), e pode ser ela afirmada absolutamente (isto é, independentemente da hipótese).

b) Também chamada «princípio de [[lexico:d:deducao|dedução]]».