Abstract
A paradigm of scientific discovery is defined within a first-order logical framework. Within this paradigm, the concept of “successful scientific inquiry” is formalized and investigated. Among other results, it is shown that a simple method of scientific inquiry is universal in the sense that it leads to success on every problem for which success is in principle possible.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Blum, L. & Blum, M. (1975). Toward a mathematical theory of inductive inference. Information & Control, 28, 125–155.
Chang, C.C., & Keisler, H.J. (1973). Model theory. North Holland.
Gaifman, H., Osherson, D. & Weinstein, S. (1990). A reason for theoretical terms. Erkenntnis, 32, 149–159.
Glymour, C. (1985). Inductive inference in the limit. Erkenntnis, 2, 23–31.
Glymour, C. & Kelly, K. (1989). On converging to the truth and nothing but the truth. Philosophy of Science, 56.
Osherson, D. & Weinstein, S. (1986). Identification in the limit of first-order structures. Journal of Philosophical Logic, 15, 55–81.
Osherson, D. & Weinstein, S. (1989). Paradigms of truth-detection. Journal of Philosophical Logic, 18, 1–42.
Osherson, D. & Weinstein, S. (1990). On advancing simple hypotheses. Philosophy of Science, 57, 266–277.
Osherson, D., Stob, M. & Weinstein, S. (1988). Mechanical learners pay a price for Bayesianism. Journal of Symbolic Logic 53, 1245–1251.
Osherson, D., Stob, M. & Weinstein, S. (1990). A mechanical method of successful scientific inquiry. In M. Fulk & J. Case (Eds.). Proceedings of the Third Annual Workshop on Computational Learning Theory. Morgan-Kaufmann.
Osherson, D., Stob, M. & Weinstein, S. (1991). A universal inductive inference machine. Journal of Symbolic Logic, 56, 661–672.
Rogers, H. (1967). Theory of recursive functions and effective compulability. McGraw-Hill.
Shapiro, E. (1981). An algorithm that infers theories from facts. Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Osherson, D.N., Stob, M. & Weinstein, S. A Universal Method of Scientific Inquiry. Machine Learning 9, 261–271 (1992). https://doi.org/10.1023/A:1022645200644
Issue Date:
DOI: https://doi.org/10.1023/A:1022645200644