Skip to main content
Log in

Inductive Incompleteness

  • Published:
Philosophical Studies Aims and scope Submit manuscript

Abstract

Nelson Goodman cast the ‘problem of induction’ as the task of articulating the principles and standards by which to distinguish valid from invalid inductive inferences. This paper explores some logical bounds on the ability of a rational reasoner to accomplish this task. By a simple argument, either an inductive inference method cannot admit its own fallibility, or there exists some non-inferable hypothesis whose non-inferability the method cannot infer (violating the principle of ‘negative introspection’). The paper discusses some implications of this limited self-knowledge for the justifiability of inductive inferences, auto-epistemic logic, and the epistemic foundations of game theory.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Arnauld, A. and Nicole, P. (1662): La Logique ou l’Art de Penser. Reprinted by P. Clair and F. Girbal (eds.), Presses Universitaire de France, Paris, 1965

  • R.J. Aumann (1976) ArticleTitle‘Agreeing to Disagree’ Annals of Statistics 4 1236–1239

    Google Scholar 

  • Bayes, T. (1764): A Method of Calculating the Exact Probability of All Conclusions Founded in Induction. Philosophical Transactions

  • G. Bonanno K. Nehring (1998) ArticleTitle‘On the Logic and Role of Negative Introspection of Common Belief’ Mathematical Social Sciences 35 17–36 Occurrence Handle10.1016/S0165-4896(97)00021-8

    Article  Google Scholar 

  • R. Carnap (1950) Logical Foundations of Probability University of Chicago Press Chicago

    Google Scholar 

  • A.P. Dawid (1982) ArticleTitle‘The well-calibrated Bayesian’ Journal of the American Statistical Association 77 605–613 Occurrence Handle10.2307/2287720

    Article  Google Scholar 

  • A.P. Dawid (1992) ‘Prequential Analysis, Stochastic Complexity and Bayesian Inference’ J.M. Bernardo J.O. Berger A.P. Dawid A.F.M. Smith (Eds) Bayesian Statistics NumberInSeries4 OUP Oxford 109–125

    Google Scholar 

  • de Finetti, B. (1931): ‘Probabilismo’, Logos 14, 163–219. (Translated by M.C. Di Maio, M.C. Galavotti, R.C. Jeffrey) in: ‘Probabilism’, Erkenntnis 31, 169–223

  • B. Finetti Particlede (1937) ArticleTitle‘La prévision: Ses lois logiques, ses sources subjectives’ Annales de l’Institut International de Statistique 7 1–68

    Google Scholar 

  • Descartes, R. (1641): Meditationes de Prima Philosophia. Reprinted in C. Adam and P. Tannery (eds.), Oeuvres de Descartes, Vrin, Paris, 1996

  • W.D. Fitzgerald R.L. Smith A.T. Walden P.C. Young (2000) Nonlinear and Nonstationary Signal Processing CUP Cambridge

    Google Scholar 

  • P. Gärdenfors (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States MIT Cambridge (Mass.)

    Google Scholar 

  • Gelfond, M. (1987): On Stratified Autoepistemic Theories. Proceedings of AAAI–87, 207–211

  • K. Gödel (1931) ArticleTitle‘Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme’ Monatshefte für Mathematik und Physik 38 173–198 Occurrence Handle10.1007/BF01700692

    Article  Google Scholar 

  • N. Goodman (1955) Fact, Fiction and Forecast N.N London

    Google Scholar 

  • G. Harman (1965) ArticleTitle‘The inference to the best explanation’ Philosophical Review 74 88–95 Occurrence Handle10.2307/2183532

    Article  Google Scholar 

  • G. Harman (1968) ArticleTitle‘Enumerative Induction as Inference to the Best Explanation’ Journal of Philosophy 65 529–533 Occurrence Handle10.2307/2024115

    Article  Google Scholar 

  • Harsanyi, J. (1967–68): ‘Games with Incomplete Information Played by Bayesian Players, parts I–III’, Management Science 14, 159–182, 320–334, 486–502

    Google Scholar 

  • C.G. Hempel (1960) ArticleTitle‘Inductive inconsistencies’ Synthese 12 439–469 Occurrence Handle10.1007/BF00485428

    Article  Google Scholar 

  • D. Hilbert (1922) ArticleTitle‘Neubegründung der Mathematik: Erste Mitteilung’ Abhandlungen aus dem Seminar der Hamburgischen Universität 1 157–177

    Google Scholar 

  • M. Hild R. Jeffrey M. Risse (1998) ‘Agreeing to Disagree: Harsanyi and Aumann’ W. Leinfellner E. Köhler (Eds) Game Theory, Experience, Rationality: Foundations of Social Sciences, Economics and Ehtics – In Honor of John C. Harsanyi Kluwer Academic Dordrecht 108–115

    Google Scholar 

  • J. Hintikka (1962) Knowledge and Belief: An Introduction to the Logic of the Two Notions Cornell Ithaca (N.Y.)

    Google Scholar 

  • R.A. Hirth M.E. Chernew E. Miller A.M. Fendrick W.G. Weissert (2000) ArticleTitle‘Willingness to pay for a quality-adjusted life year: In search of a standard’ Medical Decision Making 20 332–342

    Google Scholar 

  • Hume, D. (1748): Philosophical Essays Concerning Human Understanding. Reprinted in L.A. Selby-Bigge and P.H. Nidditch (eds.), Enquiries Concerning Human Understanding and Concerning the Principles of Morals, 3rd edition, Oxford: Clarendon Press, 1975

  • Jeffrey, R.C. (2002): After Logical Empiricism. Colibri, Lisbon. (English edition with Portuguese translation by António Zilão)

  • H. Jeffreys (1939) Theory of Probability EditionNumber3 Clarendon Press Oxford

    Google Scholar 

  • J.M. Keynes (1921) A Treatise on Probability Macmillan London

    Google Scholar 

  • K. Konolige (1988) ArticleTitle‘On the Relationship between Default and Autoepistemic logic’ Artificial Intelligence 35 343–382 Occurrence Handle10.1016/0004-3702(88)90021-5

    Article  Google Scholar 

  • P.S. Laplace (1812) Theorie Analytique des Probabilités Courcier Paris

    Google Scholar 

  • I. Levi (1967) Gambling with Truth Knopf New York

    Google Scholar 

  • I. Levi (1980) The Enterprise of Knowledge MIT Cambridge (Mass.)

    Google Scholar 

  • D. Lewis (1969) Convention: A Philosophical Study Harvard University Cambridge (Mass.)

    Google Scholar 

  • D. Lewis (1973) Counterfactuals Blackwell Oxford

    Google Scholar 

  • P. Lipton (1991) Inference to the Best Explanation Routledge London

    Google Scholar 

  • D.C. Makinson (1965) ArticleTitle‘The Paradox of the Preface’ Analysis 25 205–207

    Google Scholar 

  • G.E. Moore (1942) ‘A Reply to my Critics’ P.A. Schlipp (Eds) The Philosophy of G.E. Moore EditionNumber2 Tudor New York 533–677

    Google Scholar 

  • R.C. Moore (1985) ArticleTitle‘Semantic considerations on non-monotonic logic’ Artificial Intelligence 25 75–94 Occurrence Handle10.1016/0004-3702(85)90042-6

    Article  Google Scholar 

  • S. Morris (1995) ArticleTitle‘The Common Prior Assumption in Economic Theory’ Economics and Philosophy 11 227–253 Occurrence Handle10.1017/S0266267100003382

    Article  Google Scholar 

  • S. Muggleton (Eds) (1992) Inductive Logic Programming Academic Press London

    Google Scholar 

  • J. Neyman E.S. Pearson (1967) Joint Statistical Papers CUP Cambridge

    Google Scholar 

  • K.R. Popper (1935) Logik der Forschung Mohr Tübingen

    Google Scholar 

  • W.V.O. Quine J.S. Ullian (1970) The Web of Belief Random House New York

    Google Scholar 

  • R. Reiter (1980) ArticleTitle‘A Logic for Default Reasoning’ Artificial Intelligence 13 81–132 Occurrence Handle10.1016/0004-3702(80)90014-4

    Article  Google Scholar 

  • N. Rescher (1964) Hypothetical Reasoning North–Holland Amsterdam

    Google Scholar 

  • Russell, B. (1902): Letter to Gottlob Frege. Reprinted in J. van Heijenoort, From Frege to Gödel, Harvard University, Cambridge (Mass.), 1967, 124–125

  • D. Samet (1990) ArticleTitle‘Ignoring Ignorance and Agreeing to Disagree’ Journal of Economic Theory 52 190–207 Occurrence Handle10.1016/0022-0531(90)90074-T

    Article  Google Scholar 

  • E.Y. Shapiro (1983) Algorithmic Program Debugging MIT Cambridge (Mass.)

    Google Scholar 

  • Stalnaker, R.C. (1980): A note on nonmonotonic modal logic. Technical report, Department of Philosophy, Cornell University

  • P. Teller (1976) ‘Conditionalization, Observation, and Change of Preference’ W. Harper C.A. Hooker (Eds) Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science. Reidel Dordrecht 205–259

    Google Scholar 

  • V.N. Vapnik (1998) Statistical Learning Theory Wiley New York

    Google Scholar 

  • A. Wald (1950) Statistical Decision Functions Wiley New York

    Google Scholar 

  • L.Y. Yuan (1994) ArticleTitle‘Autoepistemic Logic of First order and its Expressive Power’ Journal of Automated Reasoning 13 69–82 Occurrence Handle10.1007/BF00881912

    Article  Google Scholar 

  • L.Y. Yuan J.I. You R. Goebel (1998) ArticleTitle‘Disjunctive Logic Programming and Autoepistemic logic’ Lecture Notes in Artificial Intelligence 1471 85–101

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matthias Hild.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hild, M. Inductive Incompleteness. Philos Stud 128, 109–135 (2006). https://doi.org/10.1007/s11098-005-4059-6

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11098-005-4059-6

Keywords

Navigation