Whereas an inference (deductive as well as inductive) is usually viewed as being valid in virtue of its argument form, the present paper argues that scientific reasoning is material inference, i.e., justified in virtue of its content. A material inference is licensed by the empirical content embodied in the concepts contained in the premisses and conclusion. Understanding scientific reasoning as material inference has the advantage of combining different aspects of scientific reasoning, such as confirmation, discovery, and explanation. This approach explains (...) why these different aspects (including discovery) can be rational without conforming to formal schemes, and why scientific reasoning is local, i.e., justified only in certain domains and contingent on particular empirical facts. The notion of material inference also fruitfully interacts with accounts of conceptual change and psychological theories of concepts. (shrink)

Primarily between 1833 and 1840, Whewell attempted to accomplish what natural philosophers and scientists since at least Galileo had failed to do: to provide a systematic and broad-ranged study of the tides and to attempt to establish a general scientific theory of tidal phenomena. In the essay at hand, I document the close interaction between Whewell’s philosophy of science (especially his methodological views) and his scientific practice as a tidologist. I claim that the intertwinement between Whewell’s methodology and his tidology (...) is more fundamental than has hitherto been documented. (shrink)

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on (...) the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory. (shrink)

While standard procedures of causal reasoning as procedures analyzing causal Bayesian networks are custom-built for (non-deterministic) probabilistic structures, this paper introduces a Boolean procedure that uncovers deterministic causal structures. Contrary to existing Boolean methodologies, the procedure advanced here successfully analyzes structures of arbitrary complexity. It roughly involves three parts: first, deterministic dependencies are identified in the data; second, these dependencies are suitably minimalized in order to eliminate redundancies; and third, one or—in case of ambiguities—more than one causal structure is assigned (...) to the minimalized deterministic dependencies. (shrink)

The problem of induction is sometimes motivated via a comparison between rules of induction and rules of deduction. Valid deductive rules are necessarily truth preserving, while inductive rules are not.

Gott ( 1993 ) has used the ‘Copernican principle’ to derive a probability distribution for the total longevity of any phenomenon, based solely on the phenomenon’s past longevity. Leslie ( 1996 ) and others have used an apparently similar probabilistic argument, the ‘Doomsday Argument’, to claim that conventional predictions of longevity must be adjusted, based on Bayes’s Theorem, in favor of shorter longevities. Here I show that Gott’s arguments are flawed and contradictory, but that one of his conclusions is plausible (...) and mathematically equivalent to Laplace’s famous—and notorious—‘rule of succession’. On the other hand, the Doomsday Argument, though it appears consistent with some common‐sense grains of truth, is fallacious; the argument’s key error is to conflate future longevity and total longevity. Applying the work of Hill ( 1968 ) and Coolen ( 1998 , 2006 ) in the field of nonparametric predictive inference, I propose an alternative argument for quantifying how past longevity of a phenomenon does provide evidence for future longevity. In so doing, I identify an objective standard by which to choose among counting time intervals, counting population, or counting any other measure of past longevity in predicting future longevity. *Received May 2007; revised October 2008. †To contact the author, please e‐mail: pos@ronpisaturo.com. (shrink)

We postulate the Testing Principle : that individuals ''act like statisticians'' when they face uncertainty in a decision problem, ranking alternatives to the extent that available evidence allows. The Testing Principle implies that completeness of preferences, rather than the sure-thing principle , is violated in the Ellsberg Paradox. In the experiment, subjects chose between risky and uncertain acts in modified Ellsberg-type urn problems, with sample information about the uncertain urn. Our results show, consistent with the Testing Principle, that the uncertain (...) urn is chosen more often when the sample size is larger, holding constant a measure of ambiguity (proportion of balls of unknown colour in the urn). The Testing Principle rationalises the Ellsberg Paradox. Behaviour consistent with the principle leads to a reduction in Ellsberg-type violations as the statistical quality of sample information is improved, holding ambiguity constant. The Testing Principle also provides a normative rationale for the Ellsberg paradox that is consistent with procedural rationality. (shrink)

An important debate in the reasoning literature concerns the extent to which inference processes are domain-free or domain-specific. Typically, evidence in support of the domain-specific position comprises the facilitation observed when abstract reasoning tasks are set in realistic context. Three experiments are reported here in which the sources of facilitation were investigated for contextualised versions of Raven's Progressive Matrices (Richardson, 1991) and non-verbal analogies from the AH4 test (Richardson & Webster, 1996). Experiment 1 confirmed that the facilitation observed for the (...) contextualised matrices was in part due to extraneous aspects of commentaries originally intended to activate domainspecific processes. Experiments 2 and 3 indicated that the remainder of the facilitation for the matrices, and all of the facilitation for the analogies, could be explained by visual salience: Converting the item elements into realistic objects had enabled them and their transitions to be identified more easily. Hence, performance at simplified abstract items was as good as, or better than, at contextualised items. It is concluded that facilitation effects cannot be interpreted as showing that domain-specific processes constitute a self-contained system separate from domain-free processes. In turn, this means that domain-free processes cannot be dismissed as being unimportant for reasoning. (shrink)

This paper argues that chance (risk or opportunity) discovery is challenging, from a reasoning point of view, because it represents a dilemma for inductive reasoning. Chance discovery shares many features with the grue paradox. Consequently, Bayesian approaches represent a potential solution. The Bayesian solution evaluates alternative models generated using a temporal logic planner to manage the chance. Surprise indices are used in monitoring the conformity of the real world and the assessed probabilities. Game theoretic approaches are proposed to deal with (...) multi-agent interaction in chance management. (shrink)

It is notoriously difficult to spell out the norms of inductive reasoning in a neat set of rules. I explore the idea that explanatory considerations are the key to sorting out the good inductive inferences from the bad. After defending the crucial explanatory virtue of stability, I apply this approach to a range of inductive inferences, puzzles, and principles such as the Raven and Grue problems, and the significance of varied data and random sampling.

This paper presents a new 'discontinuous' view of Popper's theory of corroboration, where theories cease to have corroboration values when new severe tests are devised which have not yet been performed, on the basis of a passage from The Logic of Scientific Discovery . Through subsequent analysis and discussion, a novel problem for Popper's account of corroboration, which holds also for the standard ('continuous') view, emerges. This is the problem of the Big Test: that the severest test of any hypothesis (...) is actually to perform all possible tests (when 'possible' is suitably interpreted). But this means that Popper's demand for 'the severest tests' amounts simply to a demand for 'all possible tests'. The paper closes by considering how this bears on accommodation vs. prediction, with respect to corroboration. (shrink)

How are we to understand the use of probability in corroboration functions? Popper says logically, but does not show we could have access to, or even calculate, probability values in a logical sense. This makes the logical interpretation untenable, as Ramsey and van Fraassen have argued. If corroboration functions only make sense when the probabilities employed therein are subjective, however, then what counts as impressive evidence for a theory might be a matter of convention, or even whim. So isn’t so-called (...) ‘corroboration’ just a matter of psychology? In this paper, I argue that we can go some way towards addressing this objection by adopting an intersubjective interpretation, of the form advocated by Gillies, with respect to corroboration. I show why intersubjective probabilities are preferable to subjective ones when it comes to decision making in science: why group decisions are liable to be superior to individual ones, given a number of plausible conditions. I then argue that intersubjective corroboration is preferable to intersubjective confirmation of a Bayesian variety, because there is greater opportunity for principled agreement concerning the factors involved in the former. (shrink)

In this paper I show that David Armstrong is wrong to claim that the regularity theorist must be an inductive sceptic by demonstrating that even those who support worldly ontologies devoid of metaphysical glue (or as Hume might say, necessary connections ‘in the objects’) can justifiably make many inductive inferences. As well as branding the regularity theorist an inductive sceptic, Armstrong also claims that regularity theory (RT) laws have no explanatory value whatsoever. I try to show that Armstrong is also (...) wrong in this respect, and that as a matter of fact, observed regularities are best explained by laws of this kind, or at least something like them. (shrink)

There has been no lack of objections raised to the sampling thesis, and it has not been widely accepted. In our opinion, though, none of these objections has the slightest force, and, moreover, the sampling thesis is undoubtedly true. What we will argue in this paper is that one particular objection that has been raised on numerous occasions is misguided. This concerns the randomness of the sample on which the inductive extrapolation is based.

The problem of induction and the problem of Cartesian/brain-in-the-vat skepticism have much in common. Both are instances of a general problem of defeasible justification . I use the term "defeasible justification" to refer to a relation between a piece of evidence.

Writing on the justification of certain inductive inferences, the author proposes that sometimes induction is justified and that arguments to prove otherwise are not cogent. In the first part he examines the problem of justifying induction, looks at some attempts to prove that it is justified, and responds to criticisms of these proofs. In the second part he deals with such topics as formal logic, deductive logic, the theory of logical probability, and probability and truth.

That past patterns may continue in many different ways has long been identified as a problem for accounts of induction. The novelty of Goodman’s ”new riddle of induction” lies in a meta-argument that purports to show that no account of induction can discriminate between incompatible continuations. That meta-argument depends on the perfect symmetry of the definitions of grue/bleen and green/blue, so that any evidence that favors the ordinary continuation must equally favor the grue-ified continuation. I argue that this very dependence (...) on the perfect symmetry defeats the novelty of the new riddle. The symmetry can be obtained in contrived circumstances, such as when we grue-ify our total science. However, in all such cases, we cannot preclude the possibility that the original and grue-ified descriptions are merely notationally variant descriptions of the same physical facts; or if there are facts that separate them, these facts are ineffable, so that no account of induction should be expected to pick between them. In ordinary circumstances, there are facts that distinguish the regular and grue-ified descriptions. Since accounts of induction can and do call upon these facts, Goodman’s meta-argument cannot provide principled grounds for the failure of all accounts of induction. It assures us only of the failure of accounts of induction, such as unaugmented enumerative induction, that cannot exploit these symmetry breaking facts. (shrink)

The hidden strength of Goodman's ingenious "new riddle of induction" lies in the perfect symmetry of grue/bleen and green/blue. The very same sentence forms used to define grue/bleen in terms of green/blue can be used to define green/blue in terms of grue/bleen by permutation of terms. Therein lies its undoing. In the artificially restricted case in which there are no additional facts that can break the symmetry, grue/bleen and green/blue are merely notational variants of the same facts; or, if they (...) represent different facts, the differences are ineffable, and no account of induction should be expected to pick between them. This still obtains in the more interesting case in which we embed grue/bleen in a grue-ified total science; the grue-ified and regular total sciences are merely equivalent descriptions of the same facts. In the most realistic case, we allow additional facts that break the symmetry and then we can also evade Goodman's new riddle by employing an account of induction rich enough to exploit these facts. Unaugmented enumerative induction is not such an account and it is the primary casualty of Goodman's new riddle. (shrink)

Goodman'snew riddle of induction can be characterized by the following questions: What is the difference between grue and green?; Why is the hypothesis that all emeralds are grue not lawlike?; Why is this hypothesis not confirmed by its positive instances?; and, Why is the predicate grue not projectible? I argue in favor of epistemological answers to Goodman's questions. The notions of lawlikeness, confirmation, and projectibility have to be relativized to (actual and counterfactual) epistemic situations that are determined by the available (...) background information. In order to defend this thesis, I discuss an example that is less strange than the grue example. From the general conclusions of this discussion, it follows that grue is not projectible in the actual epistemic situation, but it is projectible in certain counterfactual epistemic situations. (shrink)