===== CONSEQUENTE =====
Em [[lexico:g:geral:start|geral]] os escolásticos consideraram a [[lexico:c:consequencia:start|consequência]] como uma [[lexico:p:proposicao:start|proposição]] condicional ou uma proposição hipotética composta, pelo menos, por dois enunciados unidos condicionalmente, de tal maneira que, se se diz verdadeira quanto o [[lexico:a:antecedente:start|antecedente]] implica o consequente, isto é, quando do antecedente pode considerar-se o consequente. Uma vez elaborada a doutrina das consequências, proporciona um conjunto muito [[lexico:c:complexo:start|complexo]] de regras que governam as inferências válidas ou por [[lexico:m:meio:start|meio]] das quais podem executar-se tais inferências. Exemplos de regras consequenciais são: "do [[lexico:v:verdadeiro:start|verdadeiro]] nunca se segue o [[lexico:f:falso:start|falso]]", "uma proposição conjuntiva implica qualquer dos seus componentes", "uma proposição disjuntiva é implicada por qualquer dos seus componentes". Os escolásticos dedicaram grande [[lexico:a:atencao:start|atenção]] à [[lexico:c:classificacao:start|classificação]] dos tipos de consequências. Podem [[lexico:s:ser:start|ser]] fáticas ou [[lexico:s:simples:start|simples]], formais ou materiais, etc. Sobretudo é importante a [[lexico:d:distincao:start|distinção]] entre consequência [[lexico:f:formal:start|formal]] e material. Consequência formal é aquela que vale para todos os termos segundo a [[lexico:d:disposicao:start|disposição]] e [[lexico:f:forma:start|forma]] dos mesmos, isto é, a que vale para todos os termos desde que retenham a mesma forma. Consequência material é aquela na qual [[lexico:n:nao:start|não]] se cumpre essa [[lexico:v:validade:start|validade]], isto é, aquela que não vale para todos os termos, retendo embora a mesma forma. Em [[lexico:s:suma:start|suma]], a consequência formal é logicamente válida [[lexico:p:por-si:start|por si]] mesma sem depender de [[lexico:n:nada:start|nada]] mais que da disposição dos termos. Logicamente falando, as regras consequenciais mais importantes são as que se referem a consequências formais, pois a validade [[lexico:l:logica:start|lógica]] de uma consequência material depende da [[lexico:p:possibilidade:start|possibilidade]] em a inserir dentro de uma consequência formal.

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