Entende-se hoje por esse termo o método que consiste em procurar a confirmação de uma hipótese através da verificação das consequências previsíveis nessa mesma hipótese. Reichenbach mostrou o caráter complexo desse método e sua irredutibilidade à dedução propriamente dita. Admitir que existe uma relação dedutiva entre uma hipótese e os dados observados significaria admitir que a implicação a, b nos autoriza a considera a como provável quando b é dado (Theory of Probability, 1949, § 84). [Abbagnano]
Ao começar a elaboração de uma ciência determinada, distinguimos logo de início um pequeno grupo de termos desta ciência que denominamos termos primitivos ou não definidos; consideramos tais termos compreensíveis por si mesmos, e deles nos servimos sem os explicar. Simultaneamente, admitimos o princípio seguinte: não nos servimos de nenhum outro termo da ciência considerada antes de explicarmos o seu significado por meio de termos primitivos e daqueles cujo sentido tenha sido esclarecido anteriormente; uma proposição que contenha uma explicação desta espécie tem o nome de 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 verdade delas sem 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 lei matemática chama-se demonstração. […]
Designa-se por método dedutivo o método de elaboração de uma ciência que aplique os princípios que acabamos de enunciar; e as ciências elaboradas de acordo com esses princípios chamam-se ciências dedutivas. O método dedutivo é considerado, com razão, o mais perfeito dos métodos de elaboração das ciências: evitando todo o regresso ao infinito, diminui em grande medida toda possibilidade de obscuridade e de 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 número de termos primitivos e de axiomas. Cada vez mais prevalece a opinião de que o método dedutivo constitui a única característica essencial que permite distinguir as ciências matemáticas de todas as outras ciências.
Alfred Tarski, «Sur la méthode déductive», in Logique et Mathématiques (Travaux du IXa Congrès International de Philosophie), 1937, pp. 96-97.