论文信息 - A universal method of scientific inquiry

A universal method of scientific inquiry

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.

[1] Manuel Blum,et al. Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..

[2] Daniel N. Osherson,et al. A mechanical method of successful scientific inquiry , 1990, COLT '90.

[3] Daniel N. Osherson,et al. A reason for theoretical terms , 1990 .

[4] Ehud Y. Shapiro. An Algorithm that Infers Theories from Facts , 1981, IJCAI.

[5] Clark Glymour,et al. Inductive inference in the limit , 1985 .

[6] Daniel N. Osherson,et al. Identification in the limit of first order structures , 1986, Journal of Philosophical Logic.

[7] Kevin T. Kelly,et al. Convergence to the Truth and Nothing but the Truth , 1989, Philosophy of Science.

[8] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .

[9] John Case,et al. Proceedings of the Third Annual Workshop on Computational Learning Theory : University of Rochester, Rochester, New York, August 6-8, 1990 , 1990 .

[10] Daniel N. Osherson,et al. A universal inductive inference machine , 1991, Journal of Symbolic Logic.

[11] Daniel N. Osherson,et al. On Advancing Simple Hypotheses , 1990, Philosophy of Science.

[12] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[13] Daniel N. Osherson,et al. Mechanical learners pay a price for Bayesianism , 1988, Journal of Symbolic Logic.

[14] Daniel N. Osherson,et al. Paradigms of truth detection , 1989, J. Philos. Log..