===== MÉTODOS REDUTIVOS ===== Na [[lexico:d:distincao|distinção]] entre ‘[[lexico:r:regra|regra]]’ e ‘[[lexico:l:lei|lei]]’ (vide [[lexico:m:metodo-axiomatico|método axiomático]]) foi lembrada a [[lexico:d:diferenca|diferença]] fundamental entre [[lexico:d:deducao|dedução]] e [[lexico:r:reducao|redução]] assinalada por Lukasiewicz, isto é, na dedução se conclui sua [[lexico:p:premissa|premissa]] menor de um [[lexico:e:enunciado|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|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|meio]] de regras de [[lexico:i:inferencia|inferência]], tomo, por [[lexico:e:exemplo|exemplo]]: ’Pedro fuma Pedro tosse Pedro fuma e Pedro tosse’, na redução se deriva o [[lexico:a:antecedente|antecedente]] de um condicional da [[lexico:a:afirmacao|afirmação]] do [[lexico:c:consequente|consequente]], como, por exemplo: ’Se Pedro fuma, Pedro tosse Pedro tosse Pedro fuma’. Consoante [[lexico:b:bochenski|Bochenski]], a redução pode [[lexico:s:ser|ser]] entendida em [[lexico:q:quatro|Quatro]] sentidos, agrupados cm dois fundamentais: a) a redução pode ser progressiva (e consiste, então, na [[lexico:v:verificacao|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|generalização]]), ou [[lexico:n:nao|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|valor]] de [[lexico:v:verdade|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|explicação]]’. A [[lexico:e:expressao|expressão]] tão usada de ‘hipotético-dedutivo’ alude precisamente a estas duas direções do procedimento redutivo: é ‘[[lexico:h:hipotetico|hipotético]]’, porque com ele se constróem [[lexico:h:hipoteses|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|divisão]] da redução se obtém considerando a [[lexico:e:especie|espécie]] de premissa maior: se se trata de uma generalização da premissa chama-se ‘[[lexico:i:inducao|indução]]’; do contrário, chama-se ‘redução não indutiva’. O primeiro passo do [[lexico:p:processo|processo]] redutivo é a redução regressiva, também chamada ‘explicação’. A explicação — quando não se trata de [[lexico:e:explicar|explicar]] o [[lexico:s:sentido|sentido]] de um [[lexico:s:signo|signo]], que se obtém por meio da [[lexico:d:definicao|definição]] — refere-se a um enunciado já conhecido em seu sentido, isto é, a uma [[lexico:p:proposicao|proposição]] objetiva, e consiste sempre em deduzir de [[lexico:o:outro|outro]] o enunciado em [[lexico:q:questao|questão]]. Em [[lexico:g:geral|geral]], ‘explicar’ neste sentido não significa outra [[lexico:c:coisa|coisa]] que construir um [[lexico:s:sistema|sistema]] [[lexico:a:axiomatico|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|trabalho]] do [[lexico:p:pensamento|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|tipo]] de explicação pode dar-se amiúde na [[lexico:h:historiografia|historiografia]]; por exemplo: tem-se um enunciado sobre uma viagem de um [[lexico:p:personagem|personagem]] qualquer e quer-se [[lexico:s:saber|saber]] por que empreendeu tal viagem; para isso, toma-se outro enunciado já conhecido pelos historiadores como [[lexico:v:verdadeiro|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|modo]] geral, não é puramente [[lexico:l:logico|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|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|falso]]. O [[lexico:c:conceito|conceito]] de ‘redução’ permite reunir um grande [[lexico:n:numero|número]] de ciências numa só [[lexico:c:classe|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|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|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|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|astronomia]] (selenologia), da geografia etc.