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

[[lexico:f:frase:start|frase]] de [[lexico:s:sentido:start|sentido]] completo que afirma ou nega, podendo [[lexico:s:ser:start|ser]] verdadeira ou falsa. [[lexico:a:aristoteles:start|Aristóteles]] distinguiu a asserção, nesse sentido, da súplica, da [[lexico:o:ordem:start|ordem]], etc, considerando que só ela é [[lexico:o:objeto:start|objeto]] da [[lexico:l:logica:start|lógica]], ao passo que as outras formas de [[lexico:e:expressao:start|expressão]] são objeto da [[lexico:r:retorica:start|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:start|alguma coisa]] inere ou [[lexico:n:nao:start|não]] em alguma [[lexico:c:coisa:start|coisa]], segundo as divisões do [[lexico:t:tempo:start|tempo]]" e que a [[lexico:a:afirmacao:start|afirmação]] e a [[lexico:n:negacao:start|negação]] são as duas formas fundamentais (ibid., 17 a 23). [[lexico:b:boecio:start|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:start|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:start|enunciado]]; [[lexico:p:proposicao:start|proposição]]).

Na [[lexico:l:logica-matematica:start|lógica matemática]] contemporânea, [[lexico:r:russell:start|Russell]], com base em Frege e acompanhado por muitos outros lógicos, introduziu um [[lexico:s:simbolo:start|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:start|verdade]] que ‘p’" e ‘p’ (onde ‘p’ é [[lexico:s:sinal:start|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:start|assentimento]].

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

ASSERÇÃO [[lexico:i:independente:start|independente]] ([[lexico:p:principio:start|Princípio]]) — Também [[lexico:c:chamado:start|chamado]] simplesmente princípio da asserção. Este princípio foi formulado por Couturat, cujo enunciado reproduzimos: «Se, numa [[lexico:i:implicacao:start|implicação]], a [[lexico:h:hipotese:start|hipótese]] é verdadeira (categoricamente), a [[lexico:t:tese:start|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:start|dedução]]».

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