It is undeniable that inductive reasoning has brought us much good. At least since Hume, however, philosophers have wondered how to justify our reliance on induction. In important recent work, Schurz points out that philosophers have been wrongly assuming that justifying induction is tantamount to showing induction to be reliable. According to him, to justify our reliance on induction, it is enough to show that induction is optimal. His optimality approach consists of two steps: an analytic argument for meta-induction (that (...) is, induction over inductive methods) and an application of meta-induction to empirical findings concerning the predictive accuracy of our actual inductive practices as compared to various non-inductive methods. The present article agrees with Schurz’s general conclusion but also argues that it leaves an important aspect of our inductive practices unaccounted for, to wit, that these practices have so far been highly successful; to satisfy the optimality requirement, induction only needs to be as successful as random guessing. To explain the success of induction, I turn to insights from social epistemology, also highlighted in Schurz’s work, and make these formally explicit in a framework that combines the Hegselmann–Krause model for opinion dynamics and Carnap’s system of λ rules. Within this framework, I use a standard evolutionary algorithm to show how communities of interacting agents may, through variation and selection, come to consist of highly successful inductive reasoners. (shrink)

As is well known, the Humean account of causal inference gives a central location to inference habits. Some of these habits one can discipline. Thus, one can so discipline oneself as to reason in accordance with the “rules by which to judge of causes and effects”, that is, one can discipline oneself to think scientifically, rather than, say, in accordance with the rules of prejudice, or of superstition. All such judgments, even those of science, are, however, upon the Humean account (...) fallible. Some, or rather very many, have raised the issue about how any such causal judgment or inference is justified. That is, how can such inference habits be justified, shown to be reasonable. Hume meets this challenge by arguing that there are some habits all men do and must have. Because we must have them we ought to have them. They are, therefore, justified. (shrink)

The aim of this contribution is to provide a rather general answer to Hume’s problem. To this end, induction is treated within a straightforward formal paradigm, i.e., several connected levels of abstraction. Within this setting, many concrete models are discussed. On the one hand, models from mathematics, statistics and information science demonstrate how induction might succeed. On the other hand, standard examples from philosophy highlight fundamental difficulties. Thus it transpires that the difference between unbounded and bounded inductive steps is crucial: (...) while unbounded leaps of faith are never justified, there may well be reasonable bounded inductive steps. In this endeavour, the twin concepts of information and probability prove to be indispensable, pinning down the crucial arguments, and, at times, reducing them to calculations. Essentially, a precise study of boundedness settles Goodman’s challenge. Hume’s more profound claim of seemingly inevitable circularity is answered by obviously non-circular hierarchical structures. (shrink)

I begin by making some distinctions between kinds of response to a skeptical claim, the purpose of which is to explain what I mean by a "dissolution" of the problem of induction, and to focus on one of the ways it can be implemented. I then argue that previous attempts to dissolve the problem in this way fail, present mine, and defend it. Finally, I show that the dissolution of the problem doesn't improve our normative situation and may even worsen (...) it. (shrink)

The aim of this contribution is to provide a rather general answer to Hume's problem, the well-known problem of induction. To this end, it is very useful to apply his differentiation between ``relations of ideas'' and ``matters of fact'', and to reconsider earlier approaches. In so doing, we consider the problem formally, as well as empirically. Next, received attempts to solve the problem are discussed. The basic structure of inductive problems is exposed in chap. 6. Our final conclusions are to (...) the positive, i.e., Hume's problem can be dealt with - solved - in a constructive way. More specifically, bounded generalisations can be justified, and the key to the solution is the concept of information. (shrink)