In some previous work, I tried to give a concept-based account of the nature of our entitlement to certain very basic inferences (see the papers in Part III of Boghossian 2008b). In this previous work, I took it for granted, along with many other philosophers, that we understood well enough what it is for a person to infer. In this paper, I turn to thinking about the nature of inference itself. This topic is of great interest in its own (...) right and surprisingly understudied by philosophers. A correct understanding of inference promises to shed light on a number of important topics. In particular, it threatens to undermine the sort of concept-based story about entitlement to which I had previously been attracted. (shrink)

How is that when scientists need some piece of mathematics through which to frame their theory, it is there to hand? What has been called 'the unreasonable effectiveness of mathematics' sets a challenge for philosophers. Some have responded to that challenge by arguing that mathematics is essentially anthropocentric in character, whereas others have pointed to the range of structures that mathematics offers. Otavio Bueno and Steven French offer a middle way, which focuses on the moves that have to be made (...) in both the mathematics and the relevant physics in order to bring the two into appropriate relation. This relation can be captured via the inferential conception of the applicability of mathematics, which is formulated in terms of immersion, inference, and interpretation. In particular, the roles of idealisations and of surplus structure in science and mathematics respectively are brought to the fore and captured via an approach to models and theories that emphasize the partiality of the available information: the partial structures approach. The discussion as a whole is grounded in a number of case studies drawn from the history of quantum physics, and extended to contest recent claims that the explanatory role of certain mathematical structures in scientific practice supports a realist attitude towards them. The overall conclusion is that the effectiveness of mathematics does not seem unreasonable at all once close attention is paid to how it is actually applied in practice. (shrink)

Many philosophers argue that explanatoriness plays no special role in confirmation – that “inference to the best explanation” (IBE) incorrectly demands giving hypotheses extra credit for their potential explanatory qualities beyond the credit they already deserve for their predictive successes. This paper argues against one common strategy for responding to this thought – that is, for trying to fit IBE within a Bayesian framework. That strategy argues that a hypothesis’ explanatory quality (its “loveliness”) contributes either to its prior probability (...) or to its likelihood. This paper argues that this strategy fails because it must give different treatments to two hypotheses that are unlovely for the very same reason. The strategy therefore loses the insight into scientific reasoning that its reconstruction in terms of IBE is supposed to provide. The paper then provides a Bayesian account of the confirmatory role of explanatoriness that represents explanatory quality as having an impact in the same place for two hypotheses that are unlovely for the very same reason. This approach works by “putting explanation back into IBE” – that is, by invoking hypotheses that refer explicitly to scientific explanation and by invoking the agent's background opinions regarding the kind of explanation that the evidence is liable to have. On this approach, there is no list of “explanatory virtues” the possession of which always helps to make an explanation better. Rather, for different facts, there are different characteristics that our background knowledge of other explanations gives us some reason to expect the given fact's explanation to possess. (shrink)

In this short essay, I tackle, yet again, the question of the nature of inference and elaborate on the agential conception of inference that I've been pursuing (Boghossian 2014, 2016 and forthcoming). What's new in this essay is a better way of setting up the issue about the na- ture of inference; a better identification of the concerns that lie at the back of this way of thinking about the topic; and a response to some important criticisms (...) that have been made of the agential view I've been advocating. (shrink)

Two of the most influential theories about scientific inference are inference to the best explanation and Bayesianism. How are they related? Bas van Fraassen has claimed that IBE and Bayesianism are incompatible rival theories, as any probabilistic version of IBE would violate Bayesian conditionalization. In response, several authors have defended the view that IBE is compatible with Bayesian updating. They claim that the explanatory considerations in IBE are taken into account by the Bayesian because the Bayesian either does (...) or should make use of them in assigning probabilities to hypotheses. I argue that van Fraassen has not succeeded in establishing that IBE and Bayesianism are incompatible, but that the existing compatibilist response is also not satisfactory. I suggest that a more promising approach to the problem is to investigate whether explanatory considerations are taken into account by a Bayesian who assigns priors and likelihoods on his or her own terms. In this case, IBE would emerge from the Bayesian account, rather than being used to constrain priors and likelihoods. I provide a detailed discussion of the case of how the Copernican and Ptolemaic theories explain retrograde motion, and suggest that one of the key explanatory considerations is the extent to which the explanation a theory provides depends on its core elements rather than on auxiliary hypotheses. I then suggest that this type of consideration is reflected in the Bayesian likelihood, given priors that a Bayesian might be inclined to adopt even without explicit guidance by IBE. The aim is to show that IBE and Bayesianism may be compatible, not because they can be amalgamated, but rather because they capture substantially similar epistemic considerations. 1 Introduction2 Preliminaries3 Inference to the Best Explanation4 Bayesianism5 The Incompatibilist View : Inference to the Best Explanation Contradicts Bayesianism5. 1 Criticism of the incompatibilist view6 Constraint - Based Compatibilism6. 1 Criticism of constraint - based compatibilism7 Emergent Compatibilism7. 1 Analysis of inference to the best explanation7. 1. 1 Inference to the best explanation on specific hypotheses7. 1. 2 Inference to the best explanation on general theories7. 1. 3 Copernicus versus Ptolemy7. 1. 4 Explanatory virtues7. 1. 5 Summary7. 2 Bayesian account8 Conclusion. (shrink)

The emerging neurocomputational vision of humans as embodied, ecologically embedded, social agents—who shape and are shaped by their environment—offers a golden opportunity to revisit and revise ideas about the physical and information-theoretic underpinnings of life, mind, and consciousness itself. In particular, the active inference framework makes it possible to bridge connections from computational neuroscience and robotics/AI to ecological psychology and phenomenology, revealing common underpinnings and overcoming key limitations. AIF opposes the mechanistic to the reductive, while staying fully grounded in (...) a naturalistic and information-theoretic foundation, using the principle of free energy minimization. The latter provides a theoretical basis for a unified treatment of particles, organisms, and interactive machines, spanning from the inorganic to organic, non-life to life, and natural to artificial agents. We provide a brief introduction to AIF, then explore its implications for evolutionary theory, ecological psychology, embodied phenomenology, and robotics/AI research. We conclude the paper by considering implications for machine consciousness. (shrink)

Sentences containing predicates of personal taste (for example, ‘tasty’, ‘funny’) and aesthetic predicates (for example, ‘beautiful’) give rise to an acquaintance inference: They convey the information that speakers have first-hand experience with the object of predication and they can only be uttered appropriately if that is the case. This is surprisingly hard to explain. I will concentrate on aesthetic predicates, and firstly criticize previous attempts to explain the acquaintance phenomena. Second, I will suggest an explanation that rests on a (...) speech act theoretical version of hybrid expressivism, according to which, in uttering ‘X is beautiful’ speakers perform two illocutionary acts simultaneously: an expressive and an assertive one. I will spell out this suggestion in detail and defend it against objections. Considering puzzles related to the acquaintance inference will lead to a new argument for a promising version of hybrid expressivism in meta-aesthetics. (shrink)

The meta-problem of consciousness (Chalmers, 2018) is the problem of explaining the behaviours and verbal reports that we associate with the so-called 'hard problem of consciousness'. These may include reports of puzzlement, of the attractiveness of dualism, of explanatory gaps, and the like. We present and defend a solution to the meta-problem. Our solution takes as its starting point the emerging picture of the brain as a hierarchical inference engine. We show why such a device, operating under familiar forms (...) of adaptive pressure, may come to represent some of its mid-level inferences as especially certain. These mid-level states confidently re-code raw sensory stimulation in ways that (they are able to realize) fall short of fully determining how properties and states of affairs are arranged in the distal world. This drives a wedge between experience and the world. Advanced agents then represent these mid-level inferences as irreducibly special, becoming increasingly puzzled as a result. (shrink)

An influential way of distinguishing inferential from non-inferential processes appeals to representational states: an agent infers a conclusion from some premises only if she represents those premises as supporting that conclusion. By contrast, when some premises merely cause an agent to believe the conclusion, there is no relevant representational state. While promising, the appeal to representational states invites a regress problem, first famously articulated by Lewis Carroll. This paper develops a novel account of inference that invokes representational states without (...) succumbing to regress. The key move is to reject the tempting idea that the relevant representational states are causally prior to inferences. I argue, instead, that an inference constitutes the relevant representational state. To infer is thus—in the very drawing of the conclusion—to represent the premises as supporting the conclusion, and thereby to commit to that support relation. (shrink)

I argue that the accounts of inference recently presented (in this journal) by Paul Boghossian, John Broome, and Crispin Wright are unsatisfactory. I proceed in two steps: First, in Sects. 1 and 2, I argue that we should not accept what Boghossian calls the “Taking Condition on inference” as a condition of adequacy for accounts of inference. I present a different condition of adequacy and argue that it is superior to the one offered by Boghossian. More precisely, (...) I point out that there is an analog of Moore’s Paradox for inference; and I suggest that explaining this phenomenon is a condition of adequacy for accounts of inference. Boghossian’s Taking Condition derives its plausibility from the fact that it apparently explains the analog of Moore’s Paradox. Second, in Sect. 3, I show that neither Boghossian’s, nor Broome’s, nor Wright’s account of inference meets my condition of adequacy. I distinguish two kinds of mistake one is likely to make if one does not focus on my condition of adequacy; and I argue that all three—Boghossian, Broome, and Wright—make at least one of these mistakes. (shrink)

Shoot an arrow at a wall, and then paint a target around it so that the arrow sticks squarely in the bull's eye. Alternatively, paint a fixed target on a wall, and then shoot an arrow so that it sticks squarely in the bull's eye. How do these situations differ? In both instances the precise place where the arrow lands is highly improbable. Yet in the one, one can do no better than attribute the arrow's landing to chance, whereas in (...) the other one rightly attributes the arrow's landing to the archer's skill. ;Highly improbable events occur all the time, and by themselves may legitimately be attributed to chance. Yet when an event also conforms to a pattern given independently of that event , one rightly refuses to attribute the event to chance. Patterns given independently of events are called specifications. This dissertation explicates the relation of independence between specification and event, and sets precise bounds on what may count as a probability small enough to eliminate chance. Although this dissertation connects with how statistics eliminates chance, it considerably extends and clarifies the range of application for chance-elimination arguments based on small probabilities. ;The dual notions of specification and small probability together help justify a regulative principle of probability called the Law of Small Probability, which asserts that specified events of small probability do not occur by chance. This principle engenders a form of inference called the design inference, and a mode of explanation called design. To infer design in explaining an event is to eliminate decisively explanations of that event which appeal to law-like regularities or chance. (shrink)

This paper considers the Cartesian theatre as a metaphor for the virtual reality models that the brain uses to make inferences about the world. This treatment derives from our attempts to understand dreaming and waking consciousness in terms of free energy minimization. The idea here is that the Cartesian theatre is not observed by an internal audience but furnishes a theatre in which fictive narratives and fantasies can be rehearsed and tested against sensory evidence. We suppose the brain is driven (...) by the imperative to infer the causes of its sensory samples; in much the same way as scientists are compelled to test hypotheses about experimental data. This recapitulates Helmholtz's notion of unconscious inference and Gregory's treatment of perception as hypothesis testing. However, we take this further and consider the active sampling of the world as the gathering of confirmatory evidence for hypotheses based on our virtual reality. The ensuing picture of consciousness resolves a number of seemingly hard problems in consciousness research and is internally consistent with current thinking in systems neuroscience and theoretical neurobiology. In this formalism, there is a dualism that distinguishes between the process of inference and the process that entails inference. This separation is reflected by the distinction between beliefs and the physical brain states that encode them. This formal approach allows us to appeal to simple but fundamental theorems in information theory and statistical thermodynamics that dissolve some of the mysterious aspects of consciousness. (shrink)

The value-free ideal for science holds that values should not influence the core features of scientific reasoning. We defend the difference-to-inference model of value-permeation, which holds that value-permeation in science is problematic when values make a difference to the inferences made about a hypothesis. This view of value-permeation is superior to existing views, and it suggests a corresponding maxim—namely, that scientists should strive to eliminate differences to inference. This maxim is the basis of a novel value-free ideal for (...) science. -/- . (shrink)

Three challenges to a unified understanding of delusions emerge from Radden's On Delusion (2011). Here, I propose that in order to respond to these challenges, and to work towards a unifying framework for delusions, we should see delusions as arising in inference under uncertainty. This proposal is based on the observation that delusions in key respects are surprisingly like perceptual illusions, and it is developed further by focusing particularly on individual differences in uncertainty expectations.

This work addresses the autonomous organization of biological systems. It does so by considering the boundaries of biological systems, from individual cells to Home sapiens, in terms of the presence of Markov blankets under the active inference scheme—a corollary of the free energy principle. A Markov blanket defines the boundaries of a system in a statistical sense. Here we consider how a collective of Markov blankets can self-assemble into a global system that itself has a Markov blanket; thereby providing (...) an illustration of how autonomous systems can be understood as having layers of nested and self-sustaining boundaries. This allows us to show that: (i) any living system is a Markov blanketed system and (ii) the boundaries of such systems need not be co-extensive with the biophysical boundaries of a living organism. In other words, autonomous systems are hierarchically composed of Markov blankets of Markov blankets—all the way down to individual cells, all the way up to you and me, and all the way out to include elements of the local environment. (shrink)

Certain hypotheses cannot be directly confirmed for theoretical, practical, or moral reasons. For some of these hypotheses, however, there might be a workaround: confirmation based on analogical reasoning. In this paper we take up Dardashti, Hartmann, Thébault, and Winsberg’s (in press) idea of analyzing confirmation based on analogical inference Baysian style. We identify three types of confirmation by analogy and show that Dardashti et al.’s approach can cover two of them. We then highlight possible problems with their model as (...) a general approach to analogical inference and argue that these problems can be avoided by supplementing Bayesian update with Jeffrey conditionalization. (shrink)

The evidential role of experience in justifying beliefs has been at the center of debate in philosophy in recent years. One view is that experience, or seeming, can confer immediate justification on belief in virtue of its representational phenomenology. Call this view “representational dogmatism.” Another view is that experience confers immediate justification on belief in virtue of its relational phenomenology. Call this view “relational dogmatism.” The goal of this paper is to pit these two versions of dogmatism against each other (...) in terms of their ability to account for ampliative, or non-deductive, inferential justification. I will argue that only the representational view can provide a plausible account of this type of justification. (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 usual, comparative, conception of inference to the best explanation (IBE) takes it to be ampliative. In this paper I propose a conception of IBE ('Holmesian inference') that takes it to be a species of eliminative induction and hence not ampliative. This avoids several problems for comparative IBE (for example, how could it be reliable enough to generate knowledge?). My account of Holmesian inference raises the suspicion that it could never be applied, on the grounds that scientific (...) hypotheses are inevitably underdetermined by the evidence (i.e. are inevitably ampliative). I argue that this concern may be resisted by acknowledging, as Timothy Williamson has shown, that all knowledge is evidence. The latter suggests an approach to resisting scepticism different from those (e.g. the reliabilist approach) that embrace fallibilism. (shrink)

Why are conditional degrees of belief in an observation E, given a statistical hypothesis H, aligned with the objective probabilities expressed by H? After showing that standard replies are not satisfactory, I develop a suppositional analysis of conditional degree of belief, transferring Ramsey’s classical proposal to statistical inference. The analysis saves the alignment, explains the role of chance-credence coordination, and rebuts the charge of arbitrary assessment of evidence in Bayesian inference. Finally, I explore the implications of this analysis (...) for Bayesian reasoning with idealized models in science. (shrink)

One of the most important topics in current work on consciousness is what relationship it has to attention. Recently, one of the focuses of this debate has been on the phenomenon of identity crowding. Ned Block has claimed that identity crowding involves conscious perception of an object that we are unable to pay attention to. In this article, we draw upon a range of empirical findings to argue against Block's interpretation of the data. We also argue that current empirical evidence (...) strongly supports an interpretation of the data that emphasises cognitive inference over conscious perception. (shrink)

In the last 25 years, the concept of information has played a crucial role in communication theory, so much so that the terms information theory and communication theory are sometimes used almost interchangeably. It seems to us, however, that the notion of information is also destined to render valuable services to the student of induction and probability, of learning and reinforcement, of semantic meaning and deductive inference, as~well as of scientific method in general. The present volume is an attempt (...) to illustrate some of these uses of information concepts. In 'On Semantic Information' Hintikka summarizes some of his and his associates' recent work on information and induction, and comments briefly on its philosophical suggestions. Jamison surveys from the sub jectivistic point of view some recent results in 'Bayesian Information Usage'. Rosenkrantz analyzes the information obtained by experimen tation from the Bayesian and Neyman-Pearson standpoints, and also from the standpoint of entropy and related concepts. The much-debated principle of total evidence prompts Hilpinen to examine the problem of measuring the information yield of observations in his paper 'On the Information Provided by Observations'. Pietarinen addresses himself to the more general task of evaluating the systematizing ('explanatory') power of hypotheses and theories, a task which quickly leads him to information concepts. Domotor develops a qualitative theory of information and entropy. His paper gives what is probably the first axiomatization of a general qualitative theory of information adequate to guarantee a numerical representation of the standard sort. (shrink)

The mainstream science of consciousness offers a few predominate views of how the brain gives rise to awareness. Chief among these are the Higher-Order Thought Theory, Global Neuronal Workspace Theory, Integrated Information Theory, and hybrids thereof. In parallel, rapid development in predictive processing approaches have begun to outline concrete mechanisms by which interoceptive inference shapes selfhood, affect, and exteroceptive perception. Here, we consider these new approaches in terms of what they might offer our empirical, phenomenological, and philosophical understanding of (...) consciousness and its neurobiological roots. (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we (...) use the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

There is an important disagreement in contemporary epistemology over the possibility of non-epistemic reasons for belief. Many epistemologists argue that non-epistemic reasons cannot be good or normative reasons for holding beliefs: non-epistemic reasons might be good reasons for a subject to bring herself to hold a belief, the argument goes, but they do not offer any normative support for the belief itself. Non-epistemic reasons, as they say, are just the wrong kind of reason for belief. Other epistemologists, however, argue that (...) there can be cases where non-epistemic reasons directly offer normative support for the beliefs a subject holds. My aim in this paper is to remove an apparent obstacle for the view that there can be non-epistemic normative reasons for belief, by showing that the existence of non-epistemic reasons for belief does not conflict with epistemic standards for the assessment of inferences. More specifically, I aim to show that the following principles are compatible. Epistemic norm of inference (ENI): necessarily, for all subjects S and inferences I: I is a good inference for S only if S can gain a (doxastically) epistemically justified belief in I’s conclusion on the basis of I’s premises. Non-epistemic reasons for belief (NERB): possibly, for some subject S, reason R, and belief B: R is a good (i.e., normative) reason for S to hold B, and R is not an epistemic reason for B. Guidance: for all subjects S, potential reasons R, and beliefs/actions φ: In order for R to count as a normative reason for S to φ, it must be possible for S to take R into account as relevant to the determination of whether S ought to φ. One might naturally think that these principles conflict, for if there are non-epistemic reasons for belief, then they must guide deliberation, and in guiding deliberation, they would violate epistemic standards. The aim of this paper is to show that no such conflict need arise. Section 2 of the paper sets out the concept of an inference, and sketches an epistemic framework for the assessment of inferences and arguments. Section 3 sets out the distinction between normative and motivating reasons, discusses motivational internalism about reasons, and briefly defends the view that there can be non-epistemic reasons for beliefs. Section 4 shows that non-epistemic reasons for belief are compatible with epistemic standards for inference and with a deliberative guidance constraint on normative reasons, because any time a reason R is a good non-epistemic reason for a subject S to hold a belief B, there is an epistemically good inference available to S which takes R as a premise and which concludes with the meta-belief that S ought to hold B. So the paper employs an indirect level-connecting principle between normative reasons for φ-ing and epistemic reasons for believing that one ought to φ. The paper ends with clarifications of that level-connecting principle, and responses to three objections. (shrink)

The underconsideration argument against inference to the best explanation and scientific realism holds that scientists are not warranted in inferring that the best theory is true, because scientists only ever conceive of a small handful of theories at one time, and as a result, they may not have considered a true theory. However, antirealists have not developed a detailed alternative account of why explanatory inference nevertheless appears so central to scientific practice. In this paper, I provide new defences (...) against some recent objections to the underconsideration argument, while also developing an account of explanatory inference that both survives these criticisms and does not entail realism. (shrink)

This paper considers an application of work on probabilistic measures of coherence to inference to the best explanation. Rather than considering information reported from different sources, as is usually the case when discussing coherence measures, the approach adopted here is to use a coherence measure to rank competing explanations in terms of their coherence with a piece of evidence. By adopting such an approach IBE can be made more precise and so a major objection to this mode of reasoning (...) can be addressed. Advantages of the coherence - based approach are pointed out by comparing it with several other ways to characterize ‘ best explanation ’ and showing that it takes into account their insights while overcoming some of their problems. The consequences of adopting this approach for IBE are discussed in the context of recent discussions about the relationship between IBE and Bayesianism. (shrink)

Memes are hypothetical cultural units passed on by imitation; although nonbiological, they undergo Darwinian selection like genes. Cognitive study of multimodular human minds undermines memetics: unlike in genetic replication, high-fidelity transmission of cultural information is the exception, not the rule. Constant, rapid 'mutation' of information during communication generates endlessly varied creations that nevertheless adhere to modular input conditions. The sort of cultural information most susceptible to modular processing is that most readily acquired by children, most easily transmitted across individuals, most (...) apt to survive within a culture, most likely to recur in different cultures, and most disposed to cultural variation and elaboration. (shrink)

The paper addresses the phenomenology of inference. It proposes that the conscious character of conscious inferences is partly constituted by a sense of meaning; specifically, a sense of what Grice called ‘natural meaning’. In consciously drawing the (outright, categorical) conclusion that Q from a presumed fact that P, one senses the presumed fact that P as meaning that Q, where ‘meaning that’ expresses natural meaning. This sense of natural meaning is phenomenologically analogous, I suggest, to our sense of what (...) is said in fluently comprehending everyday utterances in our first language. The proposal that conscious inference involves a sense of natural meaning is compared with views according to which conscious inference involves taking the premises (i) to be good reasons for the conclusion (as defended by Thomson and Grice), (ii) to support it (as argued by Audi and, recently, Boghossian), or (iii) to imply it (as lately contended by Broome). I argue our proposal can explain certain phenomena handled by alternatives (i) and (ii), but that some further phenomena is handled by our account but not these alternatives. In relation to alternative (iii), I argue that, in so far as implicational and natural-meaning relations come apart, the latter are a better fit for what we sense or take to be so in conscious inference. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive (...) presuppositions ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

The article begins by describing two longstanding problems associated with direct inference. One problem concerns the role of uninformative frequency statements in inferring probabilities by direct inference. A second problem concerns the role of frequency statements with gerrymandered reference classes. I show that past approaches to the problem associated with uninformative frequency statements yield the wrong conclusions in some cases. I propose a modification of Kyburg’s approach to the problem that yields the right conclusions. Past theories of direct (...) inference have postponed treatment of the problem associated with gerrymandered reference classes by appealing to an unexplicated notion of projectability . I address the lacuna in past theories by introducing criteria for being a relevant statistic . The prescription that only relevant statistics play a role in direct inference corresponds to the sort of projectability constraints envisioned by past theories. (shrink)

In a series of papers over the past twenty years, and in a new book, Igor Douven has argued that Bayesians are too quick to reject versions of inference to the best explanation that cannot be accommodated within their framework. In this paper, I survey their worries and attempt to answer them using a series of pragmatic and purely epistemic arguments that I take to show that Bayes’ Rule really is the only rational way to respond to your evidence.

We investigate uncertain reasoning with quantified sentences of the predicate calculus treated as the limiting case of maximum entropy inference applied to finite domains.

In this paper we compare grammatical inference in the context of simple and of mixed Lambek systems. Simple Lambek systems are obtained by taking the logic of residuation for a family of multiplicative connectives /,,\, together with a package of structural postulates characterizing the resource management properties of the connective.Different choices for Associativity and Commutativity yield the familiar logics NL, L, NLP, LP. Semantically, a simple Lambek system is a unimodal logic: the connectives get a Kripke style interpretation in (...) terms of a single ternary accessibility relation modeling the notion of linguistic composition for each individual system.The simple systems earch have their virtues in linguistic analysis. But none of them in isolation provides a basis for a full theory of grammar. In the second part of the paper, we consider two types of mixed Lambek systems. (shrink)

“Surrender; therefore, surrender or fight” is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however, have denied that imperative inferences exist, arguing that no such inferences occur in everyday life, imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, “since surrender” or “it follows that surrender or fight”, and distinct imperatives have conflicting permissive presuppositions, so issuing distinct imperatives amounts to changing one’s mind and (...) thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of ‘inference’, some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one’s mind. (shrink)

Twenty philosophers offer new essays examining the form of reasoning known as inference to the best explanation - widely used in science and in our everyday lives, yet still controversial. Best Explanations represents the state of the art when it comes to understanding, criticizing, and defending this form of reasoning.

Recognizing and aligning individuals’ unique adaptive beliefs or “priors” through cooperative communication is critical to establishing a therapeutic relationship and alliance. Using active inference, we present an empirical integrative account of the biobehavioral mechanisms that underwrite therapeutic relationships. A significant mode of establishing cooperative alliances—and potential synchrony relationships—is through ostensive cues generated by repetitive coupling during dynamic touch. Established models speak to the unique role of affectionate touch in developing communication, interpersonal interactions, and a wide variety of therapeutic benefits (...) for patients of all ages; both neurophysiologically and behaviorally. The purpose of this article is to argue for the importance of therapeutic touch in establishing a therapeutic alliance and, ultimately, synchrony between practitioner and patient. We briefly overview the importance and role of therapeutic alliance in prosocial and clinical interactions. We then discuss how cooperative communication and mental state alignment—in intentional communication—are accomplished using active inference. We argue that alignment through active inference facilitates synchrony and communication. The ensuing account is extended to include the role of tactile afferents in realizing the beneficial effect of therapeutic synchrony. We conclude by proposing a method for synchronizing the effects of touch using the concept of active inference. (shrink)

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of Dummett (...) and his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)

Shin and DuBrow propose that a key principle driving event segmentation relates to causal analyses: specifically, that experiences that are attributed as having the same underlying cause are grouped together into an event. This offers an alternative to accounts of segmentation based on prediction error.

In their introduction to this volume, Ram and Leake usefully distinguish between task goals and learning goals. Task goals are desired results or states in an external world, while learning goals are desired mental states that a learner seeks to acquire as part of the accomplishment of task goals. We agree with the fundamental claim that learning is an active and strategic process that takes place in the context of tasks and goals (see also Holland, Holyoak, Nisbett, and Thagard, 1986). (...) But there are important questions about the nature of goals that have rarely been addressed. First, how can a cognitive system deal with incompatible task goals? Someone may want both to get lots of research done and to relax and have fun with his or her friends. Learning how to accomplish both these tasks will take place in the context of goals that cannot be fully realized together. Second, how are goals chosen in the first place and why are some goals judged to be more important than others? People do not simply come equipped with goals and priorities: we sometimes have to learn what is important to us by adjusting the importance of goals in the context of other compatible and incompatible goals. This paper presents a theory and a computational model of how goals can be adopted or rejected in the context of decision making. In contrast to classical decision theory, it views decision making as a process not only of choosing actions but also of evaluating goals. Our theory can therefore be construed as concerned with the goal-directed learning of goals. (shrink)

Several authors have claimed that mechanisms play a vital role in distinguishing between causation and mere correlation in the social sciences. Such claims are sometimes interpreted to mean that without mechanisms, causal inference in social science is impossible. The author agrees with critics of this proposition but explains how the account of how mechanisms aid causal inference can be interpreted in a way that does not depend on it. Nevertheless, he shows that this more charitable version of the (...) account is still unsuccessful as it stands. Consequently, he advances a proposal for shoring up the account, which is founded on the possibility of acquiring knowledge of social mechanisms by linking together norms or practices found in a society. Key Words: causality • social mechanisms • interpretation • anthropology. (shrink)

(2013). Cognitive shortcuts in causal inference. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 64-88. doi: 10.1080/19462166.2012.682655.

This chapter explores the idea that the need to establish common knowledge is one feature that makes social cognition stand apart in important ways from cognition in general. We develop this idea on the background of the claim that social cognition is nothing but a type of causal inference. We focus on autism as our test-case, and propose that a specific type of problem with common knowledge processing is implicated in challenges to social cognition in autism spectrum disorder (ASD). (...) This problem has to do with the individual’s assessment of the reliability of messages that are passed between people as common knowledge emerges. The proposal is developed on the background of our own empirical studies and outlines different ways common knowledge might be comprised. We discuss what these issues may tell us about ASD, about the relation between social and non-social cognition, about social objects, and about the dynamics of social networks. (shrink)