"How do we go about weighing evidence, testing hypotheses and making inferences? According to the model of 'inference to the Best explanation', we work out what to inter from the evidence by thinking about what would actually explain that evidence, and we take the ability of a hypothesis to explain the evidence as a sign that the hypothesis is correct. In inference to the Best Explanation, Peter Lipton gives this important and influential idea the development and assessment it (...) deserves." "The second edition has been substantially enlarged and reworked, with a new chapter on the relationship between explanation and Bayesianism, and an extension and defence of the account of contractive explanation. It also includes an expanded defence of the claims that our inferences really are guided by diverse explanatory considerations, and that this pattern of inference can take us towards the truth. This edition of Inference to the Best Explanation has also been updated throughout and incudes a new bibliography."--BOOK JACKET. (shrink)

Abstract In his Aquinas Lecture 1992 at Marquette University, Ernan McMullin discusses whether there is a pattern of inference that particularly characterizes the sciences of nature. He pursues this theme both on a historical and a systematic level. There is a continuity of concern across the ages that separate the Greek inquiry into nature from our own vastly more complex scientific enterprise. But there is also discontinuity, the abandonment of earlier ideals as unworkable. The natural sciences involve many types (...) of inference; three of these interlock in a special way to produce “retroductive inference,” the kind of complex inference that supports causal theory. (shrink)

I argue that inference can tolerate forms of self-ignorance and that these cases of inference undermine canonical models of inference on which inferrers have to appreciate (or purport to appreciate) the support provided by the premises for the conclusion. I propose an alternative model of inference that belongs to a family of rational responses in which the subject cannot pinpoint exactly what she is responding to or why, where this kind of self-ignorance does nothing to undermine (...) the intelligence of the response. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and (...) Greg Restall’s bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

We investigated people's ability to infer others’ mental states from their emotional reactions, manipulating whether agents wanted, expected, and caused an outcome. Participants recovered agents’ desires throughout. When the agent observed, but did not cause the outcome, participants’ ability to recover the agent's beliefs depended on the evidence they got. When the agent caused the event, participants’ judgments also depended on the probability of the action ; when actions were improbable given the mental states, people failed to recover the agent's (...) beliefs even when they saw her react to both the anticipated and actual outcomes. A Bayesian model captured human performance throughout, consistent with the proposal that people rationally integrate information about others’ actions and emotional reactions to infer their unobservable mental states. (shrink)

How do we go about weighing evidence, testing hypotheses, and making inferences? The model of " inference to the best explanation " -- that we infer the hypothesis that would, if correct, provide the best explanation of the available evidence--offers a compelling account of inferences both in science and in ordinary life. Widely cited by epistemologists and philosophers of science, IBE has nonetheless remained little more than a slogan. Now this influential work has been thoroughly revised and updated, and (...) features a new introduction and two new chapters. Inference to the Best Explanation is an unrivaled exposition of a theory of particular interest in the fields both of epistemology and the philosophy of science. (shrink)

Inferences from the absence of evidence to something are common in ordinary speech, but when used in scientific argumentations are usually considered deficient or outright false. Yet, as demonstrated here with the help of various examples, archaeologists frequently use inferences and reasoning from absence, often allowing it a status on par with inferences from tangible evidence. This discrepancy has not been examined so far. The article analyses it drawing on philosophical discussions concerning the validity of inference from absence, using (...) probabilistic models that were originally developed to show that such inferences are weak and inconclusive. The analysis reveals that inference from absence can indeed be justified in many important situations of archaeological research, such as excavations carried out to explore the past existence and time-span of sedentary human habitation. The justification is closely related to the fact that archaeology explores the human past via its material remains. The same analysis points to instances where inference from absence can have comparable validity in other historical sciences, and to research questions in which archaeological inference from absence will be problematic or totally unwarranted. (shrink)

We present and contrast two accounts of cooperative communication, both based on Active Inference, a framework that unifies biological and cognitive processes. The mental alignment account, defended in Vasil et al., takes the function of cooperative communication to be the alignment of the interlocutor's mental states, and cooperative communicative behavior to be driven by an evolutionarily selected adaptive prior belief favoring the selection of action policies that promote such an alignment. We argue that the mental alignment account should be (...) rejected because it neglects the action-oriented nature of cooperative communication, which skews its view of the dynamics of communicative interaction. We introduce our own conception of cooperative communication, inspired by a more radical ecological interpretation of the active inference framework. Cooperative communication, on our ecological conception, serves to guide and constrain the dynamics of the cooperative interaction via the construction and restructuring of shared fields of affordances, in order to reach the local goals of the joint actions in which episodes of cooperative communication are embedded. We argue that our ecological conception provides a better theoretical standpoint to account for the action-oriented nature of cooperative communication in the active inference framework. (shrink)

Two opposing tendencies in the philosophy of language go by the names of ‘referentialism’ and ‘inferentialism’ respectively. In the crudest version of the contrast, the referentialist account of meaning gives centre stage to the referential semantics for a language, which is then used to explain the inference rules for the language, perhaps as those which preserve truth on that semantics (since a referential semantics for a language determines the truth-conditions of its sentences). By contrast, the inferentialist account of meaning (...) gives centre stage to the inference rules for the language, which are then used to explain its referential semantics, perhaps as the semantics on which the rules preserve truth. On pain of circularity, we cannot combine both directions of explanation. (shrink)

How do we go about weighing evidence, testing hypotheses, and making inferences? According to the model of _Inference to the Best Explanation_, we work out what to infer from the evidence by thinking about what would actually explain that evidence, and we take the ability of a hypothesis to explain the evidence as a sign that the hypothesis is correct. In _Inference to the Best Explanation_, Peter Lipton gives this important and influential idea the development and assessment it deserves. The (...) second edition has been substantially enlarged and reworked, with a new chapter on the relationship between explanation and Bayesianism, and an extension and defence of the account of contrastive explanation. It also includes an expanded defence of the claims that our inferences really are guided by diverse explanatory considerations, and that this pattern of inference can take us towards the truth. This edition of _Inference to the Best Explanation_ has also been updated throughout and includes a new bibliography. (shrink)

Does the formation of delusions involve abnormal reasoning? According to the prominent ‘two-factor’ theory of delusions (e.g. Coltheart, 2007), the answer is yes. The second factor in this theory is supposed to affect a deluded individual's ability to evaluate candidates for belief. However, most published accounts of the two-factor theory have not said much about the nature of this second factor. In an effort to remedy this shortcoming, Coltheart, Menzies and Sutton (2010) recently put forward a Bayesian account of (...) class='Hi'>inference in delusions. I outline some criticisms of this important account, and sketch an alternative account of delusional inference that, I argue, avoids these criticisms. Specifically, I argue that the second factor in delusion formation involves a systematic deviation from Bayesian updating, a deviation that may be characterized as a bias towards ‘explanatory adequacy’. I present a numerical model of this idea and show that my alternative account is broadly consistent with prominent prediction error models of delusion formation (e.g. Corlett, Murray et al., 2007). (shrink)

Despite decades of focused philosophical investigation, Inference to the Best Explanation still lacks a precise articulation and compelling defense. The primary reason for this is that it is not at all clear what it means for a hypothesis to be the best available explanation of the evidence. This paper first seeks to rectify this problem by developing a formal explication of the explanatory virtue of power. A resulting account of IBE is then evaluated as a form of uncertain (...) class='Hi'>inference. Overall, this paper offers a precise account and novel defense of one important version of IBE. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, (...) supervaluationists can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve." What is a question? How to represent questions in formal languages? How to model reasoning in which questions are involved? Can we prove anything by means of pure questioning? How to model goal-directed problem solving? These are the main issues of Andrzej Wi niewski's "Questions, Inferences, and Scenarios." This book offers a state-of-the-art exposition of Inferential (...) Erotetic Logic, that is, an approach to the logic of questions focused on inferences which lead to questions as conclusions. Wi niewski characterizes semantic relations which determine validity of these inferences within the framework of Minimal Erotetic Semantics, applicable to a wide range of formal languages. He elaborates in detail the concept of erotetic search scenario, a tool for modelling problem solving. Moreover, the author presents some applications of Inferential Erotetic Logic in proof theory. Andrzej Wi niewski is one of the most prominent contemporary researchers in the logic of questions. Currently, he is a full professor at the Department of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University in Pozna, Poland. (shrink)

If Amelia utters ‘Brad ate a salad in 2005’ assertorically, and she is speaking literally and sincerely, then I can infer that Amelia believes that Brad ate a salad in 2005. This paper discusses what makes this kind of inference truth-preserving. According to the baseline picture, my inference is truth-preserving because, if Amelia is a competent speaker, she believes that the sentence she uttered means that Brad ate a salad in 2005; thus, if Amelia believes that that sentence (...) is true, then she must believe that Brad ate a salad in 2005. I argue that this view is not correct; on pain of irrationality, normal speakers can’t have specific beliefs about the meaning of the sentences they utter. I propose a new account, relying on the view that epistemically responsible speakers utter sentences assertorically only if they believe all the propositions which they think those sentences might mean. (shrink)

Maxwell's deduction of the probability distribution over the velocity of gas molecules—one of the most important passages in physics (Truesdell)—presents a riddle: a physical discovery of the first importance was made in a single inferential leap without any apparent recourse to empirical evidence. -/- Tychomancy proposes that Maxwell's derivation was not made a priori; rather, he inferred his distribution from non-probabilistic facts about the dynamics of intermolecular collisions. Further, the inference is of the same sort as everyday reasoning about (...) the physical probabilities attached to such canonical chance setups as tossed coins or rolled dice. The structure of this reasoning is investigated and some simple rules for inferring physical probabilities from symmetries and other causally relevant properties of physical systems are proposed. -/- Not only physics but evolutionary biology and population ecology, the science of measurement error, and climate modeling have benefited enormously from the same kind of reasoning, the book goes on to argue. Inferences from dynamics to probability are so obvious to us, however, that their methodological importance has been largely overlooked. (shrink)

We argue in Roche and Sober (2013) that explanatoriness is evidentially irrelevant in that Pr(H | O&EXPL) = Pr(H | O), where H is a hypothesis, O is an observation, and EXPL is the proposition that if H and O were true, then H would explain O. This is a “screening-off” thesis. Here we clarify that thesis, reply to criticisms advanced by Lange (2017), consider alternative formulations of Inference to the Best Explanation, discuss a strengthened screening-off thesis, and consider (...) how it bears on the claim that unification is evidentially relevant. (shrink)

We argue that a modified version of Mill’s method of agreement can strongly confirm causal generalizations. This mode of causal inference implicates the explanatory virtues of mechanism, analogy, consilience, and simplicity, and we identify it as a species of Inference to the Best Explanation (IBE). Since rational causal inference provides normative guidance, IBE is not a heuristic for Bayesian rationality. We give it an objective Bayesian formalization, one that has no need of principles of indifference and yields (...) responses to the Voltaire objection, van Fraassen’s Bad Lot objection, and John Norton’s recent objection to IBE. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

Defenders of Inference to the Best Explanation claim that explanatory factors should play an important role in empirical inference. They disagree, however, about how exactly to formulate this role. In particular, they disagree about whether to formulate IBE as an inference rule for full beliefs or for degrees of belief, as well as how a rule for degrees of belief should relate to Bayesianism. In this essay I advance a new argument against non-Bayesian versions of IBE. My (...) argument focuses on cases in which we are concerned with multiple levels of explanation of some phenomenon. I show that in many such cases, following IBE as an inference rule for full beliefs leads to deductively inconsistent beliefs, and following IBE as a non-Bayesian updating rule for degrees of belief leads to probabilistically incoherent degrees of belief. (shrink)

This paper discusses the nature and the status of inference to the best explanation. We outline the foundational role given IBE by its defenders and the arguments of critics who deny it any place at all ; argue that, on the two main conceptions of explanation, IBE cannot be a foundational inference rule ; sketch an account of IBE that makes it contextual and dependent on substantive empirical assumptions, much as simplicity seems to be ; show how that (...) account avoids the critics ' complaints and leaves IBE an important role ; and sketch how our account can clarify debates over IBE in arguments for scientific realism. (shrink)

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is (...) basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook. (shrink)

This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.

The paper offers an account of inference. The account underwrites the idea that inference requires that the reasoner takes her premises to support her conclusion. I reject views according to which such ‘takings’ are intuitions or beliefs. I sketch an alternative view on which inferring consists in attaching what I call ‘inferential force’ to a structured collection of contents.

The idea that simplicity matters in science is as old as science itself, with the much cited example of Ockham's Razor, 'entia non sunt multiplicanda praeter necessitatem': entities are not to be multiplied beyond necessity. A problem with Ockham's razor is that nearly everybody seems to accept it, but few are able to define its exact meaning and to make it operational in a non-arbitrary way. Using a multidisciplinary perspective including philosophers, mathematicians, econometricians and economists, this 2002 monograph examines simplicity (...) by asking six questions: what is meant by simplicity? How is simplicity measured? Is there an optimum trade-off between simplicity and goodness-of-fit? What is the relation between simplicity and empirical modelling? What is the relation between simplicity and prediction? What is the connection between simplicity and convenience? The book concludes with reflections on simplicity by Nobel Laureates in Economics. (shrink)

I will argue that a person is causally responsible for believing what she does. Through inference, she can sustain and change her perspective on the world. When she draws an inference, she causes herself to keep or to change her take on things. In a literal sense, she makes up her own mind as to how things are. And, I will suggest, she can do this voluntarily. It is in part because she is causally responsible for believing what (...) she does that there are things that she ought to believe, and that what she believes can be to her credit or discredit. I won’t pursue these ethical matters here, but will focus instead on the metaphysics that underpin them. (shrink)

The paper is dedicated to particular cases of interaction and mutual impact of philosophy and cognitive science. Thus, philosophical preconditions in the middle of the 20th century shaped the newly born cognitive science as mainly based on conceptual and propositional representations and syntactical inference. Further developments towards neural networks and statistical representations did not change the prejudice much: many still believe that network models must be complemented with some extra tools that would account for proper human cognitive traits. I (...) address some real implemented connectionist models that show how ‘new associationism ’ of the neural network approach may not only surpass Humean limitations, but, as well, realistically explain abstraction, inference and prediction. Then I stay on Predictive Processing theories in a little more detail to demonstrate that sophisticated statistical tools applied to a biologically realist ontology may not only provide solutions to scientific problems or integrate different cognitive paradigms but propose some philosophical insights either. To conclude, I touch on a certain parallelism of Predictive Processing and philosophical inferentialism as presented by Robert Brandom. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate (...) how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

What is the connection between justification and the kind of consequence relations that are studied by logic? In this essay, I shall try to provide an answer, by proposing a general conception of the kind of inference that counts as justified or rational.

In informal terms, abductive reasoning involves inferring the best or most plausible explanation from a given set of facts or data. It is a common occurrence in everyday life and crops up in such diverse places as medical diagnosis, scientific theory formation, accident investigation, language understanding, and jury deliberation. In recent years, it has become a popular and fruitful topic in artificial intelligence research. This volume breaks new ground in the scientific, philosophical, and technological study of abduction. It presents new (...) ideas about inferential and information-processing foundations for knowledge and certainty. The authors argue that knowledge arises from experience by processes of abductive inference, in contrast to the view that it arises non-inferentially, or that deduction and inductive generalization are enough to account for knowledge. Much AI research is hypothetical, so the importance of this book is that it reports key discoveries about abduction that have been made as a result of designing, building, testing, and analyzing actual working knowledge-based systems for medical diagnosis and other abductive tasks. The book tells the story of six generations of increasingly sophisticated generic abduction machines, RED-1, RED-2, PEIRCE, MDX2, TIPS, QUAWDS, and the discovery of reasoning strategies that make it computationally feasible to form well-justified composite explanatory hypotheses, despite the threat of combinatorial explosion. The final chapter argues that perception is logically abductive and presents a layered-abduction computational model of perceptual information processing. This book will be of great interest to researchers in AI, cognitive science, and philosophy of science. (shrink)

Inference versus consequence , an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997 , Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it (...) is republished here with only bibliographical changes and an afterword. (shrink)

What are the prospects (if any) for a virtue-theoretic account of inference? This paper compares three options. Firstly, assess each argument individually in terms of the virtues of the participants. Secondly, make the capacity for cogent inference itself a virtue. Thirdly, recapture a standard treatment of cogency by accounting for each of its components in terms of more familiar virtues. The three approaches are contrasted and their strengths and weaknesses assessed.

Van Fraassen (1989) argues that Inference to the Best Explanation is incoherent in the sense that adopting it as a rule for belief change will make one susceptible to a dynamic Dutch book. The present paper argues against this. A strategy is described that allows us to infer to the best explanation free of charge.

In this book, Reiss argues in favor of a tight fit between evidence, concept and purpose in our causal investigations in the sciences. There is no doubt that the sciences employ a vast array of techniques to address causal questions such as controlled experiments, randomized trials, statistical and econometric tools, causal modeling and thought experiments. But how do these different methods relate to each other and to the causal inquiry at hand? Reiss argues that there is no "gold standard" in (...) settling causal issues against which other methods can be measured. Rather, the various methods of inference tend to be good only relative to certain interpretations of the word "cause", and each interpretation, in turn, helps to address some salient purpose but not others. The main objective of this book is to explore the metaphysical and methodological consequences of this view in the context of numerous cases studies from the natural and social sciences. (shrink)

Plausibly, an inference is an act of coming to believe something on the basis of something else you already believe. But what is it to come to believe some- thing on the basis of something else? I propose a disjunctive answer: it is either for some beliefs to rationally cause another—where rational causation is understood as causation that is either actually or potentially productive of knowledge—or for some beliefs to “deviantly” cause another, but for the believer mistakenly to come (...) thereby to believe that the former have rationally caused the latter. The result, I argue, is both a theoretically satisfying account of the act of inferring and a demonstration of the power of a knowledge-first approach to the philosophy of mind. (shrink)

This article generalizes the explanationist account of inference to the best explanation. It draws a clear distinction between IBE and abduction and presents abduction as the first step of IBE. The second step amounts to the evaluation of explanatory power, which consist in the degree of explanatory virtues that a hypothesis exhibits. Moreover, even though coherence is the most often cited explanatory virtue, on pain of circularity, it should not be treated as one of the explanatory virtues. Rather, coherence (...) should be equated with explanatory power and considered to be derivable from the other explanatory virtues: unification, explanatory depth and simplicity. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

It is well known that there are, at least, two sorts of cases where one should not prefer a direct inference based on a narrower reference class, in particular: cases where the narrower reference class is gerrymandered, and cases where one lacks an evidential basis for forming a precise-valued frequency judgment for the narrower reference class. I here propose (1) that the preceding exceptions exhaust the circumstances where one should not prefer direct inference based on a narrower reference (...) class, and (2) that minimal frequency information for a narrower (non-gerrymandered) reference class is sufficient to yield the defeat of a direct inference for a broader reference class. By the application of a method for inferring relatively informative expected frequencies, I argue that the latter claim does not result in an overly incredulous approach to direct inference. The method introduced here permits one to infer a relatively informative expected frequency for a reference class R', given frequency information for a superset of R' and/or frequency information for a sample drawn from R'. (shrink)

Original and penetrating, this book investigates of the notion of inference from signs, which played a central role in ancient philosophical and scientific method. It examines an important chapter in ancient epistemology: the debates about the nature of evidence and of the inferences based on it--or signs and sign-inferences as they were called in antiquity. As the first comprehensive treatment of this topic, it fills an important gap in the histories of science and philosophy.

Explanation is asymmetric: if A explains B, then B does not explain A. Tradition- ally, the asymmetry of explanation was thought to favor causal accounts of explanation over their rivals, such as those that take explanations to be inferences. In this paper, we develop a new inferential approach to explanation that outperforms causal approaches in accounting for the asymmetry of explanation.

A surge of empirical research demonstrating flexible cognition in animals and young infants has raised interest in the possibility of rational decision-making in the absence of language. A venerable position, which I here call “Classical Inferentialism”, holds that nonlinguistic agents are incapable of rational inferences. Against this position, I defend a model of nonlinguistic inferences that shows how they could be practically rational. This model vindicates the Lockean idea that we can intuitively grasp rational connections between thoughts by developing the (...) Davidsonian idea that practical inferences are at bottom categorization judgments. From this perspective, we can see how similarity-based categorization processes widely studied in human and animal psychology might count as practically rational. The solution involves a novel hybrid of internalism and externalism: intuitive inferences are psychologically rational (in the explanatory sense) given the intensional sensitivity of the similarity assessment to the internal structure of the agent's reasons for acting, but epistemically rational (in the justificatory sense) given an ecological fit between the features matched by that assessment and the structure of the agent's environment. The essay concludes by exploring empirical results that show how nonlinguistic agents can be sensitive to these similarity assessments in a way that grants them control over their opaque judgments. (shrink)

Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility (...) itself – for restricted cases, to show the problems arising in the course of study. (shrink)

The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as a (...) necessary prerequisite to first possess a clear picture of what the deviation of mathematical proof from formal proof consists in. The present work aims to contribute building such a picture by investigating the relation between the elementary steps of deduction constituting the two types of proofs—mathematical inference and logical inference. Many claims have been made in the literature regarding the relation between mathematical inference and logical inference, most of them stating that the former is lacking properties that are constitutive of the latter. Such differentiating claims are, however, usually put forward without a clear conception of the properties occurring in them, and are generally considered to be immediately justified by our direct acquaintance, or phenomenological experience, with the two types of inferences. The present study purports to advance our understanding of the relation between mathematical inference and logical inference by developing a detailed philosophical analysis of the differentiating claims, that is, an analysis of the meaning of the differentiating claims—through the properties that occur in them—as well as the reasons that support them. To this end, we provide at the outset a representative list of the different properties of logical inference that have occurred in the differentiating claims, and we notice that they all boil down to the three properties of formality, generality, and mechanicality. For each one of these properties, our analysis proceeds in two steps: we first provide precise conceptual characterizations of the different ways logical inference has been said to be formal, general, and mechanical, in the philosophical and logical literature on formal proof; we then examine why mathematical inference does not appear to be formal, general, and mechanical, for the different variations of these notions identified. Our study results in a precise conceptual apparatus for expressing and discussing the properties differentiating mathematical inference from logical inference, and provides a first inventory of the various reasons supporting the observations of those differences. The differentiating claims constitute thus a set of data that any philosophical account of mathematical inference and proof purporting to be more faithful to mathematical practice ought to be able to accommodate and explain. (shrink)

Inferences are familiar movements of thought, but despite important recent work on the topic, we do not yet have a fully satisfying theory of inference. Here I provide a functionalist theory of inference. I argue that the functionalist framework allows us the flexibility to meet various demands on a theory of inference that have been proposed (such as that it must explain inferential Moorean phenomena and epistemological ‘taking’). While also allowing us to compare, contrast, adapt, and combine (...) features of extant theories of inference into one unified theory. In fleshing out the inference role, I also criticize the common assumption that inference requires rule-following. (shrink)

It is impossible to hold patently contradictory beliefs in mind together at once. Why? Because we know that it is impossible for both to be true. This impossibility is a species of rational necessity, a phenomenon that uniquely characterizes the relation between one person's beliefs. Here, Eric Marcus argues that the unity of the rational mind--what makes it one mind--is what explains why, given what we already believe, we can't believe certain things and must believe certain others in this special (...) sense. What explains this is that beliefs, and the inferences by which we acquire them, are constituted by a particular kind of endorsement of those very states and acts. This, in turn, entails that belief and inference are essentially self-conscious: to hold a belief or to make an inference is at the same time to know that one does. An examination of the nature of belief and inference, in light of the phenomenon of rational necessity, reveals how the unity of the rational mind is a function of our knowledge of ourselves as bound to believe the true. Rational self-consciousness is the form of mental togetherness. (shrink)

There has been an intense discussion, albeit largely an implicit one, concerning the inference of causal hypotheses from statistical correlations in quantum mechanics ever since John Bell’s first statement of his notorious theorem in 1966. As is well known, its focus has mainly been the so-called Einstein-Podolsky-Rosen (“EPR”) thought experiment, and the ensuing observed correlations in real EPR like experiments. But although implicitly the discussion goes as far back as Bell’s work, it is only in the last two decades (...) that it has become recognizably and explicitly a debate about causal inference in the quantum realm. The bulk of this paper is devoted to a review of three influential arguments in the philosophical literature that aim to show that causal models for the EPR correlations are impossible, due to Bas Van Fraassen, Daniel Hausman and Huw Price. I contend that all these arguments are inconclusive since they contain premises or presuppositions that are false, unwarranted, or at least controversial. Five different common cause models are outlined that seem perfectly viable for the EPR correlations. These models are then employed to illustrate various difficulties with the premises and presuppositions underlying Van Fraassen’s, Hausman’s and Price’s arguments. In all these cases it is argued that the difficulties cut deep against these authors’ own theories of causation and causal inference. My conclusions are that causal models for the EPR correlations remain viable, that philosophical work is still required to assess their relative virtues, and that in any case the mere theoretical conceivability and empirical possibility of these models sheds doubts over Van Fraassen’s, Hausman’s and (important elements in) Price’s theories of causation and causal inference. (shrink)

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by counterconditioning (...) or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

An important field of probability logic is the investigation of inference rules that propagate point probabilities or, more generally, interval probabilities from premises to conclusions. Conditional probability logic (CPL) interprets the common sense expressions of the form “if . . . , then . . . ” by conditional probabilities and not by the probability of the material implication. An inference rule is probabilistically informative if the coherent probability interval of its conclusion is not necessarily equal to the (...) unit interval [0, 1]. Not all logically valid inference rules are probabilistically informative and vice versa. The relationship between logically valid and probabilistically informative inference rules is discussed and illustrated by examples such as the modus ponens or the affirming the consequent. We propose a method to evaluate the strength of CPL inference. (shrink)