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

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

Designa-se por [[lexico:m:metodo-dedutivo|método dedutivo]] o método de elaboração de uma ciência que aplique os [[lexico:p:principios|princípios]] que acabamos de enunciar; e as ciências elaboradas de [[lexico:a:acordo|acordo]] com esses princípios chamam-se ciências dedutivas. O método dedutivo é considerado, com [[lexico:r:razao|razão]], o mais [[lexico:p:perfeito|perfeito]] dos métodos de elaboração das ciências: evitando [[lexico:t:todo|todo]] o [[lexico:r:regresso|regresso]] ao [[lexico:i:infinito|infinito]], diminui em grande [[lexico:m:medida|medida]] toda [[lexico:p:possibilidade|possibilidade]] de obscuridade e de [[lexico:e:erro|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|número]] de termos primitivos e de axiomas. Cada vez mais prevalece a [[lexico:o:opiniao|opinião]] de que o método dedutivo constitui a única [[lexico:c:caracteristica|característica]] [[lexico:e:essencial|essencial]] que permite distinguir as ciências matemáticas de todas as outras ciências.

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