Effective Epistemology, Psychology, and Artificial Intelligence

  • Kevin Kelly
  • Herbert Simon
Part of the Synthese Library book series (SYLI, volume 211)


In this paper, I discuss the epistemological relevance of computation theory. First, I dispense with standard arguments against the epistemological interest of so-called “discovery methods”, which are procedures that generate good hypotheses. Then I examine the importance of computational concepts in the theory of justified belief. Finally, I compare the aims and methods of a computationally informed epistemology with those of the related fields of cognitive psychology and artificial intelligence. I conclude that artificial intelligence is most interesting when viewed as an approach to effective epistemology rather than as an adjunct to cognitive psychology.


Discovery Method Justify Belief Inductive Logic Rational Belief Ideal Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Angluin, D (1980) “Finding Patterns Common to a Set of Strings,” Journal of Computer and System Sciences, 21:46–62.CrossRefGoogle Scholar
  2. Gaifman, H. & Snir, M. (1982) “Probabilities over Rich Languages, Testing and Randomness,” Journal of Symbolic Logic, 47:495–548.CrossRefGoogle Scholar
  3. Glymour, C, Kelly, K., Scheines, R. & Spirtes, P. (1986) Discovering Causal Structure: Artificial Intelligence for Statistical Modelling. New York, NY: Academic Press.Google Scholar
  4. Kelly, K.T. (1986) The Automated Discovery of Universal Theories. Ph.D. Thesis, University of Pittsburgh.Google Scholar
  5. Osherson, D.N., Stob, M. & Weinstein, S. (1986) Mechanical Learners Pay a Price for Bayesianism Google Scholar
  6. Popper, K.R. (1968) The Logic of Scientific Discovery. New York, NY: Harper & Row.Google Scholar
  7. Putnam, H. (1963) “‘Degree of Confirmation’ and Inductive Logic,” in A. Schlipp (ed.), The Philosophy of Rudolf Carnap. LaSalle, IL: Open Court.Google Scholar
  8. Rogers, H. (1967) Theory of Recursive Functions and Effective Computability. New York, NY: McGraw-Hill.Google Scholar
  9. Wexler, K. & Culicover, P.W. (1983) Formal Principles of Language Acquisition. Cambridge, MA: MIT Press.Google Scholar

Copyright information

© Kluwer Academic Publishers 1990

Authors and Affiliations

  • Kevin Kelly
    • 1
  • Herbert Simon
  1. 1.Department of PhilosophyCarnegie Mellon UniversityPittsburghUSA

Personalised recommendations