Theoretical Preduction and Computational Scientific Discovery
- Autores: Andrés Rivadulla Rodríguez
- Localización: VII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science: Santiago de Compostela, Spain, 18-20 July 2012 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Concepción Martínez Vidal (dir. congr.), José L. Falguera López (dir. congr.), José Miguel Sagüillo Fernández-Vega (dir. congr.), Víctor Martín Verdejo Aparicio (dir. congr.), Martín Pereira Fariña (dir. congr.), 2012, ISBN 978-84-9887-939-1, págs. 497-504
- Idioma: inglés
- Enlaces
-
Resumen
Can deductive reasoning be applied to the context of discovery of mathematical physics? I term "preduction" the method of reasoning that, starting from the available theoretical background as a whole, allows for the anticipation of previously unknown results, provided that the combination of already accepted results of different theories – those taken as premises of the deductive reasoning – is compatible with dimensional analysis. This is the method by which many hypotheses, laws, and theoretical models are introduced into physics. "Computational preduction" further extends the possibilities of machine learning, which in the past forty years has informed computational systems, implementing both the rediscovery of empirical laws and the automated discovery of equations in data bases. Automated preduction would also facilitate scientific creativity in theoretical physics.
