Considerando que a literatura atual da área de Educação aponta a necessidade de se ensinar sobre ciências, isto é, enfatizando a natureza histórica, humana e provisória do conhecimento científico, preocupamo-nos, neste trabalho, com a explicitação da estrutura "lógica" de algumas formas de inferência usadas na prática científica, com dupla intenção: investigar em pormenores os processos pelos quais se pode chegar a certas conclusões científicas, a fim de esclarecer aspectos lógico-epistemológicos desses processos, e apontar como e por que tais pormenores não podem ser excluídos das aulas de ciências. A principal forma de inferência investigada foi a da abdução que, na prática científica pode estar presente em situações onde o sucesso preditivo de uma teoria é apontado como evidência em favor desta, o que, a rigor, equivale a aplicar a falácia formal da afirmação do consequente. Encontramos dois modos de justificar essa inferência em uma abordagem probabilística da forma "se há sucesso de uma previsão teórica, então a probabilidade de a teoria ser 'correta' sofre um incremento quantificável", com teoria de Probabilidades e o teorema da dedução: um aplicando o teorema de Bayes à hipótese de Stalnaker (ou a tese de Adams) e outro usando a tabela-verdade da implicação material, concluindo, em ambos, que a probabilidade de o sucesso da previsão E de uma teoria T poder ser usado como sinal em favor desta é uma função que cresce tanto com o valor da probabilidade de que a teoria resulte em tal previsão quanto com o valor da própria probabilidade de T e decresce com a probabilidade de E, o que está matematicamente de acordo com a expectativa intuitiva. Ao longo do texto, mostramos que a explicitação desse tipo de raciocínio constitui elemento útil para a formação dos educandos para que tenham efetivo entendimento da natureza do conhecimento e mesmo para embasar raciocínios aplicados à vasta gama de fenômenos do cotidiano, desde inferências simples até conclusões mais complexas como política ou moral.

Whereas the current literature in Education area points to the need to teach ABOUT sciences, that is, emphasizing the historical, human and provisional nature of scientific knowledge, we are concerned in this paper with the explanation of the "logic" structure of some inference forms used in scientific practice, in order to: investigate in detail and clarify logical-epistemological aspects of the processes by which we obtain certain scientific conclusions, and point out how and why this details can not be excluded science classes. We investigated the inference by abduction that in scientific practice may be present in situations where the predictive success of a theory is touted as evidence for this, which, strictly speaking, is applying formal fallacy of affirming the consequent. We have found two ways to justify this inference in a probabilistic approach of the form "if there is success of a theoretical prediction, then the probability of the theory to be 'correct' undergo measurable increase" with Probability theory and the deduction theorem: one applying Bayes' theorem to the hypothesis Stalnaker (or Adams thesis) and another using the truth table of material implication, concluding on both the probability of the success of prediction E of a theory T can be used as signal please T (or "prob(E pleases T)") is a function that increases both prob(from T deduces E) and prob(T) and decreases with prob(E), what is mathematically according to intuitive expectations. Throughout the text, we show that the identification of this kind of reasoning is useful element for the training of students to have effective understanding of the nature of knowledge and even to support reasoning applied to the wide range of everyday phenomena, from simple inferences to more conclusions complex as a political or moral