Dedução
Dedução , na lógica, um rigoroso prova , ou derivação, de uma declaração (a conclusão) de uma ou mais declarações (as premissas) - ou seja, uma cadeia de declarações, cada uma das quais é uma premissa ou uma consequência de uma declaração ocorrida anteriormente na prova. Este uso é uma generalização do que o filósofo grego Aristóteles chamado de silogismo, mas um silogismo é agora reconhecido meramente como um caso especial de dedução. Além disso, a visão tradicional de que a dedução procede do geral para o específico ou do universal para o particular foi abandonada como incorreta pela maioria dos lógicos. Alguns especialistas consideram todos válidos inferência como dedutiva na forma e, por esta e outras razões, rejeita o suposto contraste entre dedução e indução . Veja também método axiomático; sistema formal; inferência.
Aristóteles, Filósofo Grego , de Joos Ghent (Justus van Ghent) e Pedro Berruguete; no Louvre, Paris. Photos.com/Jupiterimages
