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

Embora [[lexico:a:aristoteles:start|Aristóteles]] utilize o [[lexico:v:verbo:start|verbo]] correspondente a [[lexico:e:esse:start|esse]] substantivo para significar que a conclusão segue-se das premissas do [[lexico:s:silogismo:start|silogismo]], esse [[lexico:t:termo:start|termo]] foi introduzido pelos estoicos para indicar a [[lexico:p:proposicao:start|proposição]] condicional. O latim consequentia foi introduzido por [[lexico:b:boecio:start|Boécio]] como sinônimo de "proposição hipotética" (condicional). Segundo ele, a consequência pode [[lexico:s:ser:start|ser]] acidental, como quando se diz "Quando o [[lexico:f:fogo:start|fogo]] é quente, o [[lexico:c:ceu:start|céu]] é redondo", ou [[lexico:n:natural:start|natural]], como quando se diz "Se a [[lexico:t:terra:start|Terra]] ficar do lado oposto, haverá [[lexico:e:eclipse:start|eclipse]] da Lua". Neste [[lexico:u:ultimo:start|último]] [[lexico:e:exemplo:start|exemplo]], a consequência apoia-se na "[[lexico:p:posicao:start|posição]] dos termos", no [[lexico:s:sentido:start|sentido]] de que o [[lexico:f:fato:start|fato]] de a Terra [[lexico:e:estar:start|estar]] em [[lexico:o:oposicao:start|oposição]] é a [[lexico:c:causa:start|causa]] do eclipse da Lua (De Syllogismis Hypotheticis, P. L. 640, 835 B). [[lexico:a:abelardo:start|Abelardo]] reserva o termo consequência para as conexões necessárias que são verdadeiras [[lexico:a:ab-aeterno:start|ab aeterno]], como "Se é [[lexico:h:homem:start|homem]], é [[lexico:a:animal:start|animal]]" (Dialectica, ed. De Rijk, 19702, p. 160). Ockham fez a [[lexico:d:distincao:start|distinção]] entre consequência nesse sentido, que ele chamava de [[lexico:f:formal:start|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:start|Deus]] existe", que é válida porque o [[lexico:a:antecedente:start|antecedente]] é [[lexico:i:impossivel:start|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:start|modo]] como é tratado, muitas vezes se intrica (ou confunde) com o [[lexico:c:conceito:start|conceito]] de proposição hipotética ou de condicional. Na [[lexico:l:logica:start|lógica]] contemporânea, foi usado por Carnap (LogicalSyntax of Language, l 14) para indicar uma [[lexico:r:relacao:start|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:start|implicação]].

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