Dedução

vb. criado em 20/08/2014, 20h07m.

Termo que designa, em filosofia, o raciocínio que conduz a uma conclusão necessária, a partir de premissas dadas [1]. É uma espécie de argumento no qual a forma lógica válida garante a verdade da conclusão se as premissas forem verdadeiras [3]. É importante nas ciências, mas, por si só, não diz nada sobre o mundo: a validade das premissas tem de ser avaliada pelo método da Indução [4].

É comum definir erradamente que na dedução inferimos uma conclusão particular de premissas gerais (o famoso do geral para o particular). Isto é falso. Esse tipo de pensamento existe porque muitas pessoas só conhecem um tipo de dedução). Mas existem deduções cujas premissas maiores são iniciadas por condicionais e não partem necessariamente de premissas gerais, como os modus tollens e ponens (l.ext.) [2].

É universalmente aceito que a ^ é válida, o que não ocorre com a Indução [5].

Notas e adendos:

[1] G99e.

[2] wkp.

[3] Argumentos válidos com premissas verdadeiras são chamados de sólidos. Validade e solidez são independentes. Um argumento pode ser válido e não ser sólido, e vice versa (B2011f 264).

[4] B2011f 264.

[5] B2011f 340.

Páginas que tratam do tema ^: