A material theory of induction

tags
Problem of Induction

Notes

1. Introduction.

NOTER_PAGE: (1 0.47089947089947093 . 0.11349206349206349)

we have failed, not because of lack of effort or imagination, but because we seek a goal that in principle cannot be found.

NOTER_PAGE: (2 0.21693121693121695 . 0.33095238095238094)

I will develop an account of induction with no universal schemas. Instead inductive infer- ences will be seen as deriving their license from facts.

NOTER_PAGE: (2 0.3301587301587302 . 0.6841269841269841)

‘‘All induction is local.’’

NOTER_PAGE: (2 0.4195767195767196 . 0.5119047619047619)

2. The Material View.

NOTER_PAGE: (3 0.10634920634920636 . 0.10952380952380952)

In a material theory, the admissibility of an induction is ultimately traced back to a matter of fact, not to a universal schema. We are licensed to infer from the melting point of some samples of an element to the melting point of all samples by a fact about elements: their samples are generally uniform in their physical properties.

NOTER_PAGE: (4 0.6047619047619048 . 0.2)

There are no corresponding facts for the induction on wax, so the formal similarity between the two inductions is a distraction.

NOTER_PAGE: (4 0.752910052910053 . 0.5793650793650794)

my principal contention is that all induction is like this. All inductions ultimately derive their licenses from facts pertinent to the matter of the induction.

NOTER_PAGE: (4 0.8100529100529101 . 0.6420634920634921)

3. A Little Survey of Induction.

NOTER_PAGE: (6 0.3216931216931217 . 0.1738095238095238)

3.1. Universality Versus Successful Functioning. My principal argument for a local material theory of induction is that no inductive inference schema can be both universal and function successfully.

NOTER_PAGE: (6 0.3650793650793651 . 0.19682539682539682)

3.2. First Family: Inductive Generalization.

NOTER_PAGE: (6 0.635978835978836 . 0.19682539682539682)

3.3. Second Family: Hypothetical Induction.

NOTER_PAGE: (7 0.49259259259259264 . 0.14047619047619048)

3.3.1. Exclusionary Accounts.

NOTER_PAGE: (8 0.37883597883597886 . 0.2007936507936508)

3.3.2. Simplicity.

NOTER_PAGE: (9 0.6867724867724868 . 0.14523809523809525)

our decisions as to what is simple or simpler depend essentially upon the facts or laws that we believe to prevail. These facts dictate which theoretical structures may be used and the appeal to simplicity is really an attempt to avoid introducing theoretical structures unsuited to the physical reality governed by those facts or laws.

NOTER_PAGE: (10 0.16296296296296298 . 0.26904761904761904)

picking the simplest curve can only make sense evidentially if we make the right choices for the variables and family of functions. And we make those choices correctly if we think that the variables and function hierarchy selected somehow map onto the basic physical reality at hand.

NOTER_PAGE: (10 0.5904761904761905 . 0.23412698412698413)

If our system is one describing growth, we would quickly look to fitting exponential functions since they are the functions that figure in the laws governing growth. In that case, we would certainly prefer an exponential curve over, say, a quintic curve that fitted as well,

NOTER_PAGE: (10 0.680952380952381 . 0.6626984126984127)

In short, we have no universal scheme or universal formal rules that define what is simpler or simplest.

NOTER_PAGE: (10 0.8645502645502646 . 0.1984126984126984)

3.3.3. Abduction: Inference to the Best Explanation.

NOTER_PAGE: (11 0.17724867724867727 . 0.14126984126984127)

Consider, for example, a controlled study of the healing efficacy of prayer. A theist would readily accept divine intervention as the best explanation of a positive result in the study. An atheist however would conjecture some as yet unnoticed flaw in the experimental design as the best explanation and may even deny that divine intervention would count as an explanation at all. The difference depends fully on their differences over the facts that prevail.

NOTER_PAGE: (11 0.5518518518518519 . 0.573015873015873)

modern day astronomers would no doubt not avail themselves of Newton’s explanatory repertoire. He proposed ([1692] 1957, first letter) that the planets have just the right velocities to produce stable orbits since they were ‘‘impressed by an intelligent Agent.’’

NOTER_PAGE: (11 0.7359788359788361 . 0.28809523809523807)

3.3.4. Reliabilism.

NOTER_PAGE: (12 0.3603174603174603 . 0.20238095238095238)

In an uncooperative world, no method can succeed.

NOTER_PAGE: (12 0.6417989417989418 . 0.31666666666666665)

3.4. Third Family: Probabilistic Accounts.

NOTER_PAGE: (13 0.8164021164021165 . 0.1373015873015873)

Bayesian Probability

What makes matters more complicated is that Bayesianism asserts that the same notion of degrees of belief and the same calculus should be applied in all cases, including those in which no stochastic processes deliver convenient chances.

NOTER_PAGE: (14 0.4042328042328043 . 0.2007936507936508)

Bayesianism is vacuous until we ascribe some meaning to the probabilities central to it. Until then, they are just mathematical parameters.

NOTER_PAGE: (15 0.32222222222222224 . 0.18571428571428572)

presumed that a degree of belief p in some outcome A makes us indifferent to which side of a bet we take in which winning $(1-p) is gained if A obtains and $p is lost if A fails.

NOTER_PAGE: (15 0.42380952380952386 . 0.18015873015873016)

easy to see that these material facts would obtain in some contexts, such as if we are making wagers on horses at a racetrack.

NOTER_PAGE: (15 0.5941798941798943 . 0.24047619047619048)

other contexts in which it is hard to see how these material facts could be made to obtain. How might our beliefs in big bang versus steady state cosmology be converted into the relevant sorts of wagers?

NOTER_PAGE: (15 0.6968253968253969 . 0.30714285714285716)

Bayesian confirmation theory seems to be the most general of all the systems currently in favor. The reason is that it is a rather weak system. We get very little from it until we specify what might need to be a quite large number of conditional probabilities (the likelihoods) and these are determined by the factual properties of the relevant system.

NOTER_PAGE: (16 0.17724867724867727 . 0.28174603174603174)

a mythical prior probability distribution, formed in advance of the incorporation of any evidence, decides how any evidence we may subsequently encounter will alter our beliefs.

NOTER_PAGE: (16 0.43968253968253973 . 0.31825396825396823)

4. Inductions Too Local to Categorize.

NOTER_PAGE: (16 0.5534391534391535 . 0.17539682539682538)

the more universal the scope of an inductive inference schema, the less its strength.

NOTER_PAGE: (16 0.5656084656084657 . 0.24603174603174602)

5. The Control of Inductive Risk.

NOTER_PAGE: (18 0.1052910052910053 . 0.17222222222222222)

5.1. Strategies in a Formal and Material Theory.

NOTER_PAGE: (18 0.14285714285714288 . 0.19285714285714287)

5.2. The Portability and Localization of Inductive Risk.

NOTER_PAGE: (18 0.6216931216931217 . 0.2)

transporting of inductive risk from a schema to a fact, the relevant material postulate.

NOTER_PAGE: (19 0.10687830687830689 . 0.319047619047619)

5.3. Demonstrative Induction as a Limiting Case.

NOTER_PAGE: (19 0.42279020234291803 . 0.1365814696485623)

If we can reduce inductive risk by transporting it from the schemas into the material postulates, might we eliminate it entirely? We can, in a limiting case in which the material postulate and the evidence taken together deductively entail the hypothesis at issue.

NOTER_PAGE: (19 0.4206602768903089 . 0.38099041533546324)

6. The Problem of Induction Eluded?

NOTER_PAGE: (20 0.3413205537806177 . 0.17092651757188498)

6.1. The Analog of Hume’s Problem for the Material Theory.

NOTER_PAGE: (20 0.3817891373801917 . 0.1996805111821086)

We shall see that Hume’s problem can be set up quite easily for a formal theory, since a formal theory separates factual content from formal schemes. I will argue that the absence of this separation in a material theory results in the same considerations failing to generate a comparable problem for a material theory.

NOTER_PAGE: (20 0.5101171458998935 . 0.22523961661341851)

6.2. Comparison.

NOTER_PAGE: (21 0.5346112886048989 . 0.1365814696485623)

The regress described here is far from the fanciful meta- meta-meta-inductions remote from actual inductive practice required by a formal theory. It merely describes the routine inductive explorations in science. Facts are inductively grounded in other facts; and those in yet other facts; and so on.

NOTER_PAGE: (22 0.15814696485623006 . 0.3402555910543131)

What remains an open question is exactly how the resulting chains (or, more likely, branching trees) will terminate and whether the terminations are troublesome.

NOTER_PAGE: (22 0.29073482428115016 . 0.21166134185303515)

They may just terminate in brute facts of experience that do not need further justification, so that an infinite regress is avoided.

NOTER_PAGE: (22 0.4371671991480299 . 0.2963258785942492)

must await the ever elusive clarification of the notion of brute facts of experience and of whether the notion even makes sense.

NOTER_PAGE: (22 0.6224707135250267 . 0.17891373801916932)

The closest we have come to a fatal difficulty in the material theory is a regress whose end is undecided but with the real possibility of benign termination: a fatal difficulty has not been forced. Contrast this with the analogous outcome in a formal theory: a regress whose beginning is prob- lematic and whose end, an assured infinity, is disastrous.

NOTER_PAGE: (22 0.6656017039403621 . 0.20926517571884984)

7. Conclusion.

NOTER_PAGE: (23 0.25505857294994677 . 0.115814696485623)