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.
Osherson, Daniel N.; Stob, Michael; and Weinstein, Scott, "A Universal Method of Scientific Inquiry" (1992). University Faculty Publications and Creative Works. 519.