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.
All Science Journal Classification (ASJC) codes
- Artificial Intelligence
- Computational learning theory
- first-order logic
- machine inductive inference
- scientific methodology