===== MÉTODOS REDUTIVOS =====
Na [[lexico:d:distincao:start|distinção]] entre ‘[[lexico:r:regra:start|regra]]’ e ‘[[lexico:l:lei:start|lei]]’ (vide [[lexico:m:metodo-axiomatico:start|método axiomático]]) foi lembrada a [[lexico:d:diferenca:start|diferença]] fundamental entre [[lexico:d:deducao:start|dedução]] e [[lexico:r:reducao:start|redução]] assinalada por Lukasiewicz, isto é, na dedução se conclui sua [[lexico:p:premissa:start|premissa]] menor de um [[lexico:e:enunciado:start|enunciado]] condicional e de sua premissa maior, sua menor:

’Se A, também B,

É assim que A.

Logo B’.

E, na redução, pelo contrário, se conclui ao inverso: de um enunciado condicional e de sua premissa menor, sua maior:

’Se A, também B,

É assim que B.

Logo A’.

Portanto, a redução é um [[lexico:m:metodo:start|método]] que se contrapõe ao da dedução, pois enquanto na dedução se derivam umas proposições de outras por [[lexico:m:meio:start|meio]] de regras de [[lexico:i:inferencia:start|inferência]], tomo, por [[lexico:e:exemplo:start|exemplo]]:

’Pedro fuma

Pedro tosse

Pedro fuma e Pedro tosse’,

na redução se deriva o [[lexico:a:antecedente:start|antecedente]] de um condicional da [[lexico:a:afirmacao:start|afirmação]] do [[lexico:c:consequente:start|consequente]], como, por exemplo:

’Se Pedro fuma, Pedro tosse

Pedro tosse

Pedro fuma’.

Consoante [[lexico:b:bochenski:start|Bochenski]], a redução pode [[lexico:s:ser:start|ser]] entendida em [[lexico:q:quatro:start|Quatro]] sentidos, agrupados cm dois fundamentais:

a) a redução pode ser progressiva (e consiste, então, na [[lexico:v:verificacao:start|verificação]]), ou regressiva (e consiste, então, no esclarecimento);

b) a redução pode ser indutiva (e consiste, então, numa [[lexico:g:generalizacao:start|generalização]]), ou [[lexico:n:nao:start|não]] indutiva (e não consiste, então, numa generalização).

Tanto na redução progressiva como na redução regressiva se conhece a premissa menor, mas não a maior: na redução progressiva se começa pela premissa maior desconhecida segundo seu [[lexico:v:valor:start|valor]] de [[lexico:v:verdade:start|verdade]] e se procede para a premissa menor conhecida ou comprovável. A redução progressiva chama-se também ‘verificação’. Pelo contrário, a redução regressiva começa na premissa menor, conhecida e procede para a maior, desconhecida. A redução regressiva chama-se também ‘[[lexico:e:explicacao:start|explicação]]’. A [[lexico:e:expressao:start|expressão]] tão usada de ‘hipotético-dedutivo’ alude precisamente a estas duas direções do procedimento redutivo: é ‘[[lexico:h:hipotetico:start|hipotético]]’, porque com ele se constróem [[lexico:h:hipoteses:start|hipóteses]] explicatórias (por meio da redução regressiva) e ‘dedutivo’, porque das hipóteses se deduzem as premissas menores verificáveis (redução progressiva). Outra [[lexico:d:divisao:start|divisão]] da redução se obtém considerando a [[lexico:e:especie:start|espécie]] de premissa maior: se se trata de uma generalização da premissa chama-se ‘[[lexico:i:inducao:start|indução]]’; do contrário, chama-se ‘redução não indutiva’.

O primeiro passo do [[lexico:p:processo:start|processo]] redutivo é a redução regressiva, também chamada ‘explicação’. A explicação — quando não se trata de [[lexico:e:explicar:start|explicar]] o [[lexico:s:sentido:start|sentido]] de um [[lexico:s:signo:start|signo]], que se obtém por meio da [[lexico:d:definicao:start|definição]] — refere-se a um enunciado já conhecido em seu sentido, isto é, a uma [[lexico:p:proposicao:start|proposição]] objetiva, e consiste sempre em deduzir de [[lexico:o:outro:start|outro]] o enunciado em [[lexico:q:questao:start|questão]]. Em [[lexico:g:geral:start|geral]], ‘explicar’ neste sentido não significa outra [[lexico:c:coisa:start|coisa]] que construir um [[lexico:s:sistema:start|sistema]] [[lexico:a:axiomatico:start|axiomático]], no qual se deduza o enunciado que se quer explicar. Contudo, cabem aqui duas possibilidades: a) Os enunciados explicatórios são conhecidos como corretos;

b) não são conhecidos em seu valor de verdade.

No primeiro caso, o [[lexico:t:trabalho:start|trabalho]] do [[lexico:p:pensamento:start|pensamento]] se limita simplesmente à busca de enunciados que sirvam para explicação; no segundo caso, estes enunciados se constróem graças a ela. O primeiro [[lexico:t:tipo:start|tipo]] de explicação pode dar-se amiúde na [[lexico:h:historiografia:start|historiografia]]; por exemplo: tem-se um enunciado sobre uma viagem de um [[lexico:p:personagem:start|personagem]] qualquer e quer-se [[lexico:s:saber:start|saber]] por que empreendeu tal viagem; para isso, toma-se outro enunciado já conhecido pelos historiadores como [[lexico:v:verdadeiro:start|verdadeiro]] e mostra-se que o enunciado sobre a viagem que se procura explicar, é deduzível dele. Trata-se, aqui, mais de uma dedução regressiva que de uma redução. Ao contrário, o segundo tipo de explicação é autenticamente redutivo.

Depois de formular um enunciado explicatório redutivamente, procede-se, de ordinário, à chamada verificação, isto é, procura-se comprová-lo ou rejeitá-lo, mediante a redução progressiva. Isto ocorre da seguinte maneira: do enunciado redutivo já formulado se deduzem novos enunciados à base de um sistema axiomático (que, de [[lexico:m:modo:start|modo]] geral, não é puramente [[lexico:l:logico:start|lógico]], porquanto contém outros vários enunciados estabelecidos redutivamente), verificáveis de modo direto em seu correspondente domínio, cujo valor de verdade é constatável.

Em seguida se levam a cabo as operações (experimentos etc.) que são necessárias para determinar este valor de verdade dos enunciados deduzidos. Se resulta que são verdadeiros, conseguiu-se com isso uma [[lexico:c:confirmacao:start|confirmação]] do enunciado do qual foram deduzidos. Se são falsos, temos uma falsificação, em cujo caso o enunciado é rejeitado por [[lexico:f:falso:start|falso]].

O [[lexico:c:conceito:start|conceito]] de ‘redução’ permite reunir um grande [[lexico:n:numero:start|número]] de ciências numa só [[lexico:c:classe:start|classe]]. Entre as que usam tal método principalmente, estão as ciências indutivas. Uma importante classe delas — ainda que não a única — é a das ciências empíricas da [[lexico:n:natureza:start|natureza]]. Outra classe de ciências redutivas está formada pelas ciências históricas. Sem o conceito de redução não seria [[lexico:p:possivel:start|possível]] ordená-las: certamente que não são dedutivas, mas também não são indutivas, pois não estabelecem hipóteses [[lexico:u:universais:start|universais]] nem teorias. Este enigma fica resolvido se se observa que empregam a redução não-indutiva, o mesmo ocorrendo em outras ciências, como, por exemplo, em alguns setores da geologia, da [[lexico:a:astronomia:start|astronomia]] (selenologia), da geografia etc.

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