===== CONSEQUÊNCIA =====
(lat. Consequentia; in. Consequence; fr. Conséquence; al. Konsequenz; it. Conseguenzà).

Embora [[lexico:a:aristoteles|Aristóteles]] utilize o [[lexico:v:verbo|verbo]] correspondente a [[lexico:e:esse|esse]] substantivo para significar que a conclusão segue-se das premissas do [[lexico:s:silogismo|silogismo]], esse [[lexico:t:termo|termo]] foi introduzido pelos estoicos para indicar a [[lexico:p:proposicao|proposição]] condicional. O latim consequentia foi introduzido por [[lexico:b:boecio|Boécio]] como sinônimo de "proposição hipotética" (condicional). Segundo ele, a consequência pode [[lexico:s:ser|ser]] acidental, como quando se diz "Quando o [[lexico:f:fogo|fogo]] é quente, o [[lexico:c:ceu|céu]] é redondo", ou [[lexico:n:natural|natural]], como quando se diz "Se a [[lexico:t:terra|Terra]] ficar do lado oposto, haverá [[lexico:e:eclipse|eclipse]] da Lua". Neste [[lexico:u:ultimo|último]] [[lexico:e:exemplo|exemplo]], a consequência apoia-se na "[[lexico:p:posicao|posição]] dos termos", no [[lexico:s:sentido|sentido]] de que o [[lexico:f:fato|fato]] de a Terra [[lexico:e:estar|estar]] em [[lexico:o:oposicao|oposição]] é a [[lexico:c:causa|causa]] do eclipse da Lua (De Syllogismis Hypotheticis, P. L. 640, 835 B). [[lexico:a:abelardo|Abelardo]] reserva o termo consequência para as conexões necessárias que são verdadeiras [[lexico:a:ab-aeterno|ab aeterno]], como "Se é [[lexico:h:homem|homem]], é [[lexico:a:animal|animal]]" (Dialectica, ed. De Rijk, 19702, p. 160). Ockham fez a [[lexico:d:distincao|distinção]] entre consequência nesse sentido, que ele chamava de [[lexico:f:formal|formal]] e que exprime uma conexão necessária ou intrínseca, e a consequência material, que liga extrinsecamente duas proposições, como quando se diz "Um homem corre, portanto [[lexico:d:deus|Deus]] existe", que é válida porque o [[lexico:a:antecedente|antecedente]] é [[lexico:i:impossivel|impossível]] (Summa log., III, III, 1).

Esse termo é usado com significados semelhantes ou análogos pelos lógicos nos séculos seguintes, mas, pelo [[lexico:m:modo|modo]] como é tratado, muitas vezes se intrica (ou confunde) com o [[lexico:c:conceito|conceito]] de proposição hipotética ou de condicional. Na [[lexico:l:logica|lógica]] contemporânea, foi usado por Carnap (LogicalSyntax of Language, l 14) para indicar uma [[lexico:r:relacao|relação]] mais extensa do que a de derivabilidade, da qual, posteriormente, considerou sinônimo (Introduction to Semantics, § 37). Mas, como "condicional", esse termo confluiu para [[lexico:i:implicacao|implicação]].