===== MÉTODO DEDUTIVO =====
Entende-se hoje por [[lexico:e:esse:start|esse]] [[lexico:t:termo:start|termo]] o [[lexico:m:metodo:start|método]] que consiste em procurar a [[lexico:c:confirmacao:start|confirmação]] de uma [[lexico:h:hipotese:start|hipótese]] através da [[lexico:v:verificacao:start|verificação]] das consequências previsíveis nessa mesma hipótese. [[lexico:r:reichenbach:start|Reichenbach]] mostrou o [[lexico:c:carater:start|caráter]] [[lexico:c:complexo:start|complexo]] desse método e sua irredutibilidade à [[lexico:d:deducao:start|dedução]] propriamente dita. Admitir que existe uma [[lexico:r:relacao:start|relação]] dedutiva entre uma hipótese e os dados observados significaria admitir que a [[lexico:i:implicacao:start|implicação]] a, b nos autoriza a considera a como [[lexico:p:provavel:start|provável]] quando b é [[lexico:d:dado:start|dado]] (Theory of Probability, 1949, § 84).

Ao começar a elaboração de uma [[lexico:c:ciencia:start|ciência]] determinada, distinguimos logo de início um pequeno [[lexico:g:grupo:start|grupo]] de termos desta ciência que denominamos termos primitivos ou [[lexico:n:nao:start|não]] definidos; consideramos tais termos compreensíveis [[lexico:p:por-si:start|por si]] mesmos, e deles nos servimos sem os [[lexico:e:explicar:start|explicar]]. Simultaneamente, admitimos o [[lexico:p:principio:start|princípio]] seguinte: não nos servimos de nenhum [[lexico:o:outro:start|outro]] termo da ciência considerada antes de explicarmos o seu [[lexico:s:significado:start|significado]] por [[lexico:m:meio:start|meio]] de termos primitivos e daqueles cujo [[lexico:s:sentido:start|sentido]] tenha sido esclarecido anteriormente; uma [[lexico:p:proposicao:start|proposição]] que contenha uma [[lexico:e:explicacao:start|explicação]] desta [[lexico:e:especie:start|espécie]] tem o [[lexico:n:nome:start|nome]] de [[lexico:d:definicao:start|definição]] e os termos explicados denominam-se termos definidos.

Procedemos de maneira análoga com as leis da ciência considerada. Consideramos algumas dessas leis proposições primitivas, ou axiomas, e admitimos a [[lexico:v:verdade:start|verdade]] delas sem [[lexico:j:justificacao:start|justificação]] alguma. Quanto às outras leis, chamadas teoremas, somos obrigados a justificá-las antes de as aceitarmos como verdadeiras; a justificação só pode basear-se nos axiomas, nas definições e nos teoremas justificados anteriormente; tal justificação de uma [[lexico:l:lei:start|lei]] [[lexico:m:matematica:start|matemática]] chama-se [[lexico:d:demonstracao:start|demonstração]]. [...]

Designa-se por [[lexico:m:metodo-dedutivo:start|método dedutivo]] o método de elaboração de uma ciência que aplique os [[lexico:p:principios:start|princípios]] que acabamos de enunciar; e as ciências elaboradas de [[lexico:a:acordo:start|acordo]] com esses princípios chamam-se ciências dedutivas. O método dedutivo é considerado, com [[lexico:r:razao:start|razão]], o mais [[lexico:p:perfeito:start|perfeito]] dos métodos de elaboração das ciências: evitando [[lexico:t:todo:start|todo]] o [[lexico:r:regresso:start|regresso]] ao [[lexico:i:infinito:start|infinito]], diminui em grande [[lexico:m:medida:start|medida]] toda [[lexico:p:possibilidade:start|possibilidade]] de obscuridade e de [[lexico:e:erro:start|erro]]; graças à sua aplicação, reduzem-se fortemente as hesitações relativas ao sentido dos termos e à verdade das teses da ciência elaborada; restarão apenas as hesitações relativas ao pequeno [[lexico:n:numero:start|número]] de termos primitivos e de axiomas. Cada vez mais prevalece a [[lexico:o:opiniao:start|opinião]] de que o método dedutivo constitui a única [[lexico:c:caracteristica:start|característica]] [[lexico:e:essencial:start|essencial]] que permite distinguir as ciências matemáticas de todas as outras ciências.

Alfred [[lexico:t:tarski:start|Tarski]], «Sur la méthode déductive», in Logique et Mathématiques (Travaux du IXa Congrès International de Philosophie), 1937, pp. 96-97.

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