The account of meta-induction (G. Schurz, Hume’s problem solved: the optimality of meta-induction, MIT Press, Cambridge, 2019) proposes a two-step solution to the problem of induction. Step 1 consists in a mathematical a priori justification of the predictive optimality of meta-induction, upon which step 2 builds a meta-inductive a posteriori justification of object-induction based on its superior track record (Sect. 1). Sterkenburg (Br J Philos Sci, forthcoming. 10.1086/717068/) challenged this account by arguing that meta-induction can only provide a (non-circular) (...) justification of inductive predictions for now and for the next future, but not a justification of inductive generalizations (Sect. 2). This paper develops a meta-inductive method that does provide an a posteriori justification of inductive generalizations, in the form of exchangeability conditions (Sect. 3). In Sect. 4, a limitation of the proposed method is worked out: while the method can justify weakly lawlike generalizations, the justification of strongly lawlike generalizations (claimed to hold for all eternity) requires epistemic principles going beyond meta-induction based on predictive success. (shrink)

Inductive generalization, where people go beyond the data provided, is a basic cognitive capability, and it underpins theoretical accounts of learning, categorization, and decision making. To complete the inductive leap needed for generalization, people must make a key ‘‘sampling’’ assumption about how the available data were generated. Previous models have considered two extreme possibilities, known as strong and weak sampling. In strong sampling, data are assumed to have been deliberately generated as positive examples of a concept, (...) whereas in weak sampling, data are assumed to have been generated without any restrictions. We develop a more general account of sampling that allows for an intermediate mixture of these two extremes, and we test its usefulness. In two experiments, we show that most people complete simple one-dimensional generalization tasks in a way that is consistent with their believing in some mixture of strong and weak sampling, but that there are large individual differences in the relative emphasis different people give to each type of sampling. We also show experimentally that the relative emphasis of the mixture is influenced by the structure of the available information. We discuss the psychological meaning of mixing strong and weak sampling, and possible extensions of our modeling approach to richer problems of inductive generalization. (shrink)

The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attention is also paid to ways of handling background knowledge, introducing mere conjectures, and the research guiding capabilities of the logics.

Inductive generalization asserts that what obtains in known instances can be generalized to all. Its original form is enumerative induction, the earliest form of inductive inference, and it has been elaborated in various ways, largely with the goal of extending its reach. Its principal problem is that it supplies no intrinsic notion of strength of support so that one cannot tell if the generalization has weak or strong support.

Judging similarities among objects, events, and experiences is one of the most basic cognitive abilities, allowing us to make predictions and generalizations. The main assumption in similarity judgment is that people selectively attend to salient features of stimuli and judge their similarities on the basis of the common and distinct features of the stimuli. However, it is unclear how people select features from stimuli and how they weigh features. Here, we present a computational method that helps address these questions. Our (...) procedure combines image-processing techniques with a machine-learning algorithm and assesses feature weights that can account for both similarity and categorization judgment data. Our analysis suggests that a small number of local features are particularly important to explain our behavioral data. (shrink)

Our empirical beliefs beyond sense impressions and the memories of them cannot be justified. Logically we must be complete skeptics. This is the consequence of Hume’s skeptical argument against induction. Should we accept this conclusion or not? This is the so-called problem of induction. In this paper I propose a new solution that belongs to the 'dissolutionist’ tradition (Strawson 1952, Okasha 2001). Through criticizing the core argument in Hume’s skepticism I claim the following: Hume’s skepticism against induction does not succeed (...) in denying the soundness of induction. We are not required to justify induction generally. (shrink)

In reinforcement learning, a decision maker searching for the most rewarding option is often faced with the question: What is the value of an option that has never been tried before? One way to frame this question is as an inductive problem: How can I generalize my previous experience with one set of options to a novel option? We show how hierarchical Bayesian inference can be used to solve this problem, and we describe an equivalence between the Bayesian model (...) and temporal difference learning algorithms that have been proposed as models of RL in humans and animals. According to our view, the search for the best option is guided by abstract knowledge about the relationships between different options in an environment, resulting in greater search efficiency compared to traditional RL algorithms previously applied to human cognition. In two behavioral experiments, we test several predictions of our model, providing evidence that humans learn and exploit structured inductive knowledge to make predictions about novel options. In light of this model, we suggest a new interpretation of dopaminergic responses to novelty. (shrink)

In this paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years.

Probability theory, epistemically interpreted, provides an excellent, if not the best available account of inductive reasoning. This is so because there are general and definite rules for the change of subjective probabilities through information or experience; induction and belief change are one and same topic, after all. The most basic of these rules is simply to conditionalize with respect to the information received; and there are similar and more general rules. 1 Hence, a fundamental reason for the epistemological success (...) of probability theory is that there at all exists a well-behaved concept of conditional probability. Still, people have, and have reasons for, various concerns over probability theory. One of these is my starting point: Intuitively, we have the notion of plain belief; we believe propositions2 to be true (or to be false or neither). Probability theory, however, offers no formal counterpart to this notion. Believing A is not the same as having probability 1 for A, because probability 1 is incorrigible3; but plain belief is clearly corrigible. And believing A is not the same as giving A a probability larger than some 1 - c, because believing A and believing B is usually taken to be equivalent to believing A & B.4 Thus, it seems that the formal representation of plain belief has to take a non-probabilistic route. Indeed, representing plain belief seems easy enough: simply represent an epistemic state by the set of all propositions believed true in it or, since I make the common assumption that plain belief is deductively closed, by the conjunction of all propositions believed true in it. But this does not yet provide a theory of induction, i.e. an answer to the question how epistemic states so represented are changed tbrough information or experience. There is a convincing partial answer: if the new information is compatible with the old epistemic state, then the new epistemic state is simply represented by the conjunction of the new information and the old beliefs. This answer is partial because it does not cover the quite common case where the new information is incompatible with the old beliefs. It is, however, important to complete the answer and to cover this case, too; otherwise, we would not represent plain belief as conigible. The crucial problem is that there is no good completion. When epistemic states are represented simply by the conjunction of all propositions believed true in it, the answer cannot be completed; and though there is a lot of fruitful work, no other representation of epistemic states has been proposed, as far as I know, which provides a complete solution to this problem. In this paper, I want to suggest such a solution. In [4], I have more fully argued that this is the only solution, if certain plausible desiderata are to be satisfied. Here, in section 2, I will be content with formally defining and intuitively explaining my proposal. I will compare my proposal with probability theory in section 3. It will turn out that the theory I am proposing is structurally homomorphic to probability theory in important respects and that it is thus equally easily implementable, but moreover computationally simpler. Section 4 contains a very brief comparison with various kinds of logics, in particular conditional logic, with Shackle's functions of potential surprise and related theories, and with the Dempster - Shafer theory of belief functions. (shrink)

The cognitive unbinding paradigm suggests that the synthesis of neural information is attenuated by general anesthesia. Here, we analyzed the functional organization of brain activities in the conscious and anesthetized states, based on functional segregation and integration. Electroencephalography recordings were obtained from 14 subjects undergoing induction of general anesthesia with propofol. We quantified changes in mean information integration capacity in each band of the EEG. After induction with propofol, mean information integration capacity was reduced most prominently in the γ band (...) of the EEG . Furthermore, we demonstrate that loss of consciousness is reflected by the breakdown of the spatiotemporal organization of γ waves. We conclude that induction of general anesthesia with propofol reduces the capacity for information integration in the brain. These data directly support the information integration theory of consciousness and the cognitive unbinding paradigm of general anesthesia. (shrink)

In “Generalizing Generalizability in Information Systems Research,” Lee and Baskerville try to clarify generalization and classify it into four types. Unfortunately, their account is problematic. We propose repairs. Central among these is our balance-of-evidence argument that we should adopt the view that Hume’s problem of induction has a solution, even if we do not know what it is. We build upon this by proposing an alternative classification of induction. There are five types of generalization: theoretical, within-population, cross-population, contextual, (...) and temporal, with theoretical generalization being across the empirical and theoretical levels and the rest within the empirical level. Our classification also includes two kinds of inductive reasoning that do not belong to the domain of generalization. We then discuss the implications of our classification for information systems research. (shrink)

The first example of a simultaneous inductive-recursive definition in intuitionistic type theory is Martin-Löf's universe á la Tarski. A set U 0 of codes for small sets is generated inductively at the same time as a function T 0 , which maps a code to the corresponding small set, is defined by recursion on the way the elements of U 0 are generated. In this paper we argue that there is an underlying general notion of simultaneous inductive-recursive definition (...) which is implicit in Martin-Löf's intuitionistic type theory. We extend previously given schematic formulations of inductive definitions in type theory to encompass a general notion of simultaneous induction-recursion. This enables us to give a unified treatment of several interesting constructions including various universe constructions by Palmgren, Griffor, Rathjen, and Setzer and a constructive version of Aczel's Frege structures. Consistency of a restricted version of the extension is shown by constructing a realisability model in the style of Allen. (shrink)

In Generalizing Generalizability in Information Systems Research Lee and Baskerville (2003) attempt to clarify generalization and distinguish four types of generalization. Although this is a useful objective, what they call generalization is often not generalization at all in the proper sense of the word. We elucidate generalization by locating their major errors. A main source of these is their failure to understand the depth of Hume’s problem of induction. We give a thorough explication of the (...) problem and then give a solution. Lastly, we propose an alternative taxonomy of generalization: theoretical, within-population, cross-population, contextual, and temporal. (shrink)

In ‘Generalization and Induction: Misconceptions, Clarifications, and a Classification of Induction’, we comment on Lee and Baskerville’s paper ‘Generalizing Generalizability in Information Systems Research’, which attempts to clarify the concept of generalization and classify it into four types. Our commentary discusses the misconceptions in their paper and proposes an alternative classification of induction. Their response ‘Conceptualizing Generalizability: New Contributions and a Reply’ perpetuates their misconceptions and create new ones. The purpose of this rejoinder is to highlight the major (...) problems both in their original paper and in their reply and to provide further clarifications. Lee and Baskerville’s so-called ‘new language’ of describing research activities based on their concept of generalization is confusing. Their classification abuses the term ‘generalize’ and is self-contradictory. Hence, contrary to their claim, their classification and ours are not compatible. Also contrary to their claim that we advocate paradigmatic domination, our commentary is just about the correct use of terms such as ‘generalize’, ‘induction’ and ‘deduction’. (shrink)

Kevin T. Kelly. General Characteristics of Inductive Inference Over Arbitrary Sets of Data Representations.

In this paper I present a game-theoretical approach to the problem of induction. I investigate the comparative success of prediction methods by mathematical analysis and computer programming. Hume's problem lies in the fact that although the success of object-inductive prediction strategies is quite robust, they cannot be universally optimal. My proposal towards a solution of the problem of induction is meta-induction. I show that there exist meta-inductive prediction strategies whose success is universally optimal, modulo short-run losses which are (...) upper-bounded. I then turn to the implications of my approach for the evolution of cognition. In the final section I suggest a revision of the paradigm of bounded rationality by introducing the distinction between local, general and universal prediction strategies. (shrink)

1. Introduction. Attempts to utilize the probability calculus to prove or disprove various inductive or inductive skeptical theses are, I believe, highly problematic. Inductivism and inductive skepticism are substantive philosophical positions that do not allow of merely formal proofs or disproofs. Often the problems with particular alleged formal proofs of inductive or inductive sceptical theses turn on subtle technical considerations. In the following I highlight such considerations in pointing out the flaws of two proofs, one (...) an alleged proof of an inductive sceptical conclusion due to Karl Popper, the other an alleged proof of an inductivist thesis originally due to Harold Jeffreys and later advocated by John Earman. Surprisingly, in examining Popper's argument it is shown that certain apparently weak premises, often embraced by both inductivists and deductivists, lend themselves to inductive conclusions. However it is argued that those premises are still philosophically substantive and not amenable to a purely formal demonstration. The lesson to be learnt here is twofold. First, we need to be very careful in determining which formal theses entail, and which are entailed by, inductive skepticism and inductivism. Second, we need to take great care in laying out and examining the assumptions presumed in formal arguments directed for and against such formal theses. In a follow up article I will consider various attempts by David Stove and Karl Popper and David Miller to identify the exact content of inductive skepticism and propose a new identification based on the theory of content developed in Gemes 1994. Finally I will compare this new version with that proposed recently in Alberto Mura 1990. (shrink)

In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.

Inductive thinking is a universal human habit; we generalise from our experiences the best we can. The induction problem is to identify which observed regularities provide reasonable justification for inductive conclusions. In the natural sciences, we can often use strict laws in making successful inferences about unobserved states of affairs. In the social sciences, by contrast, we have no strict laws, only regularities which most often are conditioned on ceteris paribus clauses. This makes it much more difficult to (...) make reliable inferences in the social sciences. In particular, we want knowledge about general causal relations in order to be able to determine what to do in order to achieve a certain state of affairs. Knowledge about causal relations that are also valid in the future requires experiments or so called ‘natural experiments’. Only knowledge derived from such experiences enable us to draw reasonably reliable inferences about how to act in order to achieve our goals. (shrink)

Philosophers who regard some mathematical proofs as explaining why theorems hold, and others as merely proving that they do hold, disagree sharply about the explanatory value of proofs by mathematical induction. I offer an argument that aims to resolve this conflict of intuitions without making any controversial presuppositions about what mathematical explanations would be.

We present a framework that provides a logic for science by generalizing the notion of logical (Tarskian) consequence. This framework will introduce hierarchies of logical consequences, the first level of each of which is identified with deduction. We argue for identification of the second level of the hierarchies with inductive inference. The notion of induction presented here has some resonance with Popper's notion of scientific discovery by refutation. Our framework rests on the assumption of a restricted class of structures (...) in contrast to the permissibility of classical first-order logic. We make a distinction between deductive and inductive inference via the notions of compactness and weak compactness. Connections with the arithmetical hierarchy and formal learning theory are explored. For the latter, we argue against the identification of inductive inference with the notion of learnable in the limit. Several results highlighting desirable properties of these hierarchies of generalized logical consequence are also presented. (shrink)

In this paper we consider a natural generalization of the Principle of Instantial Relevance and give a complete characterization of the probabilistic belief functions satisfying this principle as a family of discrete probability functions parameterized by a single real δ ∊ [0, 1).

Roy Harrod; III—The General Structure of Inductive Argument, Proceedings of the Aristotelian Society, Volume 61, Issue 1, 1 June 1961, Pages 41–56, https://doi.

In this three-part paper, my concern is to expound and defend a conception of science, close to Einstein's, which I call aim-oriented empiricism. I argue that aim-oriented empiricsim has the following virtues. (i) It solve the problem of induction; (ii) it provides decisive reasons for rejecting van Fraassen's brilliantly defended but intuitively implausible constructive empiricism; (iii) it solves the problem of verisimilitude, the problem of explicating what it can mean to speak of scientific progress given that science advances from one (...) false theory to another; (iv) it enables us to hold that appropriate scientific theories, even though false, can nevertheless legitimately be interpreted realistically, as providing us with genuine , even if only approximate, knowledge of unobservable physical entities; (v) it provies science with a rational, even though fallible and non-mechanical, method for the discovery of fundamental new theories in physics. In the third part of the paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years. (shrink)

This article critically examines a recent philosophical debate on the role of values in climate change forecasts, such as those found in assessment reports of the Intergovernmental Panel on Climate Change. On one side, several philosophers insist that the argument from inductive risk, as developed by Rudner and Douglas among others, applies to this case. AIR aims to show that ethical value judgments should influence decisions about what is sufficient evidence for accepting scientific hypotheses that have implications for policy (...) issues. Advocates of extending AIR to climate science claim that values are deeply... (shrink)

Two variables are usually recognised as determinants of human causal learning: the contingency between a candidate cause and effect, and the temporal and/or spatial contiguity between them. A common finding is that reductions in temporal contiguity produce concomitant decrements in causal judgement. This finding had previously (Shanks & Dickinson, 1987) been interpreted as evidence that causal induction is based on associative learning processes. Buehner and May (2002, 2003, 2004) have challenged this notion by demonstrating that the impact of temporal delay (...) depends on expectations about the timeframe between cause and effect. A corollary of this knowledge-mediation account is that in certain situations longer delays could facilitate, while shorter delays should impair, causal learning. Here we present two experiments involving a physical apparatus that demonstrate a detrimental effect of contiguity under certain conditions. In contrast to all previous studies, delays universally promoted causal learning. This evidence is clearly at variance with the notion of a bottom-up contiguity bias in causal induction. A new, more general timeframe bias is discussed. (shrink)

The present study examined the effects of semantic structure on simple inductive judgments about category members. For a particular category, subjects were told that one of the species had a given property and were asked to estimate the proportion of instances in the other species that possessed the property. The results indicated that category structure—in particular, the typicality of the species—influenced subjects' judgments. These results were interpreted by models based on the following assumption: When little is known about the (...) underlying distribution of a property, subjects assume that the distribution mirrors that of better-known properties. For this reason, if subjects learn that an unknown property is possessed by a typical species, they are more likely to generalize than if the same fact had been learned about an atypical species. (shrink)

In this paper, I consider the pessimistic induction construed as a deductive argument (specifically, reductio ad absurdum) and as an inductive argument (specifically, inductive generalization). I argue that both formulations of the pessimistic induction are fallacious. I also consider another possible interpretation of the pessimistic induction, namely, as pointing to counterexamples to the scientific realist’s thesis that success is a reliable mark of (approximate) truth. I argue that this interpretation of the pessimistic induction fails, too. If this (...) is correct, then the pessimistic induction is an utter failure that should be abandoned by scientific anti-realists. (shrink)

It is argued in this paper that the valid argument forms coming under the general heading of Demonstrative Induction have played a highly significant role in the history of theoretical physics. This situation was thoroughly appreciated by several earlier philosophers of science and deserves to be more widely known and understood.

Without inductive reasoning, we couldn't generalize from one instance to another, derive scientific hypotheses, or predict that the sun will rise again tomorrow morning. Despite the widespread nature of inductive reasoning, books on this topic are rare. Indeed, this is the first book on the psychology of inductive reasoning in twenty years. The chapters survey recent advances in the study of inductive reasoning and address questions about how it develops, the role of knowledge in induction, how (...) best to model people's reasoning, and how induction relates to other forms of thinking. Written by experts in philosophy, developmental science, cognitive psychology, and computational modeling, the contributions here will be of interest to a general cognitive science audience as well as to those with a more specialized interest in the study of thinking. (shrink)