On the danger of half-truths

Criteria of approximate scientific success are defined within a formal paradigm of empirical inquiry. One consequence of aiming for less than perfect truth is examined.

[1]  K. Popper,et al.  The Logic of Scientific Discovery , 1960 .

[2]  Thomas A. Cowan,et al.  A Postulate Set for Experimental Jurisprudence , 1951, Philosophy of Science.

[3]  T. Kuhn,et al.  The Copernican Revolution: Planetary Astronomy in the Development of Western Thought , 1958 .

[4]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[5]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[6]  Hilary Putnam,et al.  Trial and error predicates and the solution to a problem of Mostowski , 1965, Journal of Symbolic Logic.

[7]  Theodore Hailperin,et al.  An incorrect theorem , 1965, Journal of Symbolic Logic.

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

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

[10]  R. Harré,et al.  Probability and Confirmation , 1970 .

[11]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

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

[13]  I. Lakatos.  Falsification and the Methodology of Scientific Research Programmes , 1976 .

[14]  Imre Lakatos,et al.  The methodology of scientific research programmes: Falsification and the methodology of scientific research programmes , 1978 .

[15]  C. Glymour,et al.  Relativity and Eclipses: The British Eclipse Expeditions of 1919 and Their Predecessors , 1980 .

[16]  Daniel N. Osherson,et al.  Criteria of Language Learning , 1982, Inf. Control..

[17]  John Case,et al.  Comparison of Identification Criteria for Machine Inductive Inference , 1983, Theor. Comput. Sci..

[18]  J. Watkins,et al.  Science and Scepticism. , 1987 .

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

[20]  James S. Royer,et al.  Inductive Inference of Approximations , 1986, Inf. Control..

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

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

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

[24]  Daniel N. Osherson,et al.  Identifiable Collections of Countable Structures , 1989, Philosophy of Science.

[25]  Sanjay Jain,et al.  Approximate Inference and Scientific Method , 1994, ALT.

[26]  Kevin T. Kelly,et al.  Theory discovery from data with mixed quantifiers , 1990, J. Philos. Log..

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

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

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

[30]  Kevin T. Kelly,et al.  Inductive inference from theory laden data , 1992, J. Philos. Log..

[31]  Daniel N. Osherson,et al.  Relevant consequence and empirical inquiry , 1993, J. Philos. Log..

[32]  Daniel N. Osherson,et al.  Logic and learning , 1994, COLT 1994.