Abstract
I propose that empirical procedures, like computational procedures, are justified in terms of truth-finding efficiency. I contrast the idea with more standard philosophies of science and illustrate it by deriving Ockham's razor from the aim of minimizing dramatic changes of opinion en route to the truth.
Similar content being viewed by others
References
Buchanan, B.(1974), 'Scientific Theory Formation by Computer', in J.Simon, ed., Computer Oriented Learning Processes, Leyden: Noordhoff.
Carnap, R.(1950), The Logical Foundations of Probability, Chicago: University of Chicago Press.
DeFinetti, B.(1972), Probability; Induction and Statistics, New York: Wiley.
Earman, J.(1992), Bayes or Bust?A Critical Examination of Bayesian Confirmation Theory, Cambridge, MA: MIT Press.
Forster, M.and Sober, E.(1994), 'How to Tell When Simpler, More Unified, or Less ad hoc Theories Will Provide More Accurate Predictions', British Journal for the Philosophy of Science 48, pp.21-48.
Friedman, M.(1974), 'Explanation and Scientific Understanding', Journal of Philosophy 71, pp.5-19.
Ga¨rdenfors (1988), Knowledge In Flux:Modeling the Dynamics of Epistemic States, Cambridge, MA: MIT Press.
Garey, M.and Johnson, D.(1979), Computers and Intractability, New York: Freeman.
Glymour, C.(1980), Theory and Evidence, Princeton: Princeton University Press.
Goldman, A.(1986), Epistemology and Cognition, Cambridge, MA: Harvard University Press.
Goodman, N.(1983), Fact; Fiction; and Forecast, 4th edition, Cambridge, MA: Harvard University Press.
Harman, G.(1965), 'Inference to the Best Explanation ', Philosophical Review 74, pp.88-95.
Hempel, C.G.(1965), 'Studies in the Logic of Confirmation', in Aspects of Scientific Explanation, New York: The Free Press, pp.3-51.
Hinman, P.G.(1978), Recursion Theoretic Hierarchies, New York: Springer.
Jain, S., Osherson, D., Royer, J.and Sharma, A.(1999), Systems that Learn, 2nd edition, Cambridge, MA: MIT Press.
Jeffreys, H.(1985), Theory of Probability, 3rd edition, Oxford: Clarendon Press.
Kelly, K.(1996), The Logic of Reliable Inquiry, New York: Oxford University Press.
Kelly, K.(2004), 'Uncomputability:The Problem of Induction Internalized', Theoretical Computer Science 317, pp.227-249.
Kitcher, P.(1989), 'Explanatory Uni cation and the Causal Structure of the World', in P. Kitcher and W.Salmon, eds., Scientific Explanation, Minneapolis: University of Minnesota, pp.410-505.
Kuhn, T.(1970), The Structure of Scientific Revolutions, Chicago: University of Chicago Press.
Laudan, L.(1980), 'Why Abandon the Logic of Discovery?', in T.Nickles, ed., Scientific Discovery, Logic, and Rationality, Boston: D.Reidel.
Laudan, L.(1996), Beyond Positivism and Relativism, Boulder, CO: Westview Press.
Martin, E.and Osherson, D.(1998), Elements of Scientific Inquiry, Cambridge, MA: MIT Press.
Mitchell, T.(1997), Machine Learning, New York: McGraw-Hill.
Nozick, R.(1981), Philosophical Explanations, Cambridge, MA: Harvard University Press.
Osherson, D., Stob, M.and Weinstein, S.(1986), Systems that Learn, Cambridge, MA: MIT Press.
Popper, K.(1959), The Logic of Scientific Discovery, New York: Harper.
Putnam, H.(1965), 'Trial-and-Error Predicates and a Solution to a Problem of Mostowki', Journal of Symbolic Logic 30, pp.49-57.
Rissannen, J.(1983), 'A Universal Prior for Integers and Estimation by Minimum Description Length', The Annals of Statistics 11, pp.415-431.
Rogers, H.(1967), The Theory of Recursive Functions and Effective Computability, New York: McGraw-Hill.
Rosencrantz, R.(1983), 'Why Glymour is a Bayesian', in John Earman, ed., Testing Scientific Theories, Minneapolis: University of Minnesota Press.
Salmon, W.(1967), The Foundations of Scientific Inference, Pittsburgh: University of Pittsburgh Press.
Salmon, W.(1990), 'Tom Kuhn Meets Tom Bayes ', in Scientific Theories, Minneapolis: University of Minnesota Press, pp.175-204.
Schulte, O.(1999), 'Means-Ends Epistemology ', The British Journal for the Philosophy of Science 5, pp.1-31.
Schulte, O.(2001), 'Inferring Conservation Laws in Particle Physics:A Case Study in the Problem of Induction', The British Journal for the Philosophy of Science 51, pp.771-806.
Sklar, L.(1977), Space, Time, and Spacetime, Berkeley: University of California Press.
Solomono., R.(1964), 'A Formal Theory of Inductive Inference, Part 1', Information and Control 7, pp.1-22.
Spirtes, P., Glymour, C.and Scheines, R.(2000), Causation; Prediction; and Search, Cambridge, MA: MIT Press.
VanFraassen, B.(1980), The Scientific Image, Oxford: Clarendon Press.
Wasserman, L.(2000), 'Bayesian Model Selection and Model Averaging', Journal of Mathematical Psychology 44, pp.92-107.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kelly, K.T. Justification as Truth-Finding Efficiency: How Ockham's Razor Works. Minds and Machines 14, 485–505 (2004). https://doi.org/10.1023/B:MIND.0000045993.31233.63
Issue Date:
DOI: https://doi.org/10.1023/B:MIND.0000045993.31233.63