Do moral properties figure in the best explanatory account of the world? According to a popular realist argument, if they do, then they earn their ontological rights, for only properties that figure in the best explanation of experience are real properties. Although this realist strategy has been widely influential—not just in metaethics, but also in philosophy of mind and philosophy of science—no one has actually made the case that moral realism requires: namely, that moral facts really will figure in the (...) best explanatory picture of the world. This issue may have been neglected in part because the influential dialectic on moral explanations between philosophers Gilbert Harman and Nicholas Sturgeon has focused debate on whether moral facts figure in relevant explanations. Yet as others have noted, explanatory relevance is irrelevant when it comes to realism: after all, according to the popular realist argument, it is inference to the best explanation of experience that is supposed to confer ontological rights. I propose to ask, then, the relevant question about moral explanations: should we think that moral properties will figure in the best explanatory account of the world? (shrink)

According to Skow (2016, 2017), correct answers to why-questions only cite causes or grounds, but not non-accidental regularities. Accounts that cite non-accidental regularities typically confuse second-level reasons with first-level reasons. Only causes and grounds are first-level reasons why. Non-accidental regularities are second-level reasons why. I first show that Skow's arguments for the accusation of confusion depend on the independent thesis that only citations of first-level reasons why are (parts of) answers to why-questions. Then, I argue that this thesis is false. (...) Consequently, the claim that correct answers to why-questions only cite causes or grounds is refuted as well. (shrink)

In this paper, I explore the possibilities for arriving at a useful conception of methodological reductionism. Some participants in the debate talk about methodological reductionism as a research program. I argue that the concept of a research program, at least in Lakatos’ sense, cannot account for the diverse nature of methodological reductionism. I then present my own concept of a research directive as a useful alternative and elaborate on this by drawing on Hasok Chang’s theory of ontological principles and epistemic (...) activities. According to my view, the reductionist research directive can be characterized as consisting of the principles fundamental ontological homogeneity, part-whole asymmetry, and orderliness, together with the corresponding activities construction of identities, decomposition, and unification. I suggest that looking at reductionism in this way enables us to understand it as a gradual concept and thus go beyond the simplistic yes-or-no-questions that dominate many current debates on this topic. (shrink)

The instrumentalist argument from the underdetermination of theories by data runs as follows: (1) every theory has empirically equivalent rivals; (2) the only warrant for believing one theory over another is its possession of a greater measure of empirical virtue; (3) therefore belief in any theory is arbitrary. In this paper, I examine the status of the first premise. Several arguments against the universal availability of empirically equivalent theoretical rivals are criticized, and four algorithms for producing empirically equivalent rivals are (...) defended. I conclude that the case for the first premise of the argument from underdetermination is very strong. The disposition of the argument itself depends on the fate of the second premise. (shrink)

The usefulness of machine learning algorithms has led to their widespread adoption prior to the development of a conceptual framework for making sense of them. One common response to this situation is to say that machine learning suffers from a “black box problem.” That is, machine learning algorithms are “opaque” to human users, failing to be “interpretable” or “explicable” in terms that would render categorization procedures “understandable.” The purpose of this paper is to challenge the widespread agreement about the existence (...) and importance of a black box problem. The first section argues that “interpretability” and cognates lack precise meanings when applied to algorithms. This makes the concepts difficult to use when trying to solve the problems that have motivated the call for interpretability. Furthermore, since there is no adequate account of the concepts themselves, it is not possible to assess whether particular technical features supply formal definitions of those concepts. The second section argues that there are ways of being a responsible user of these algorithms that do not require interpretability. In many cases in which a black box problem is cited, interpretability is a means to a further end such as justification or non-discrimination. Since addressing these problems need not involve something that looks like an “interpretation” of an algorithm, the focus on interpretability artificially constrains the solution space by characterizing one possible solution as the problem itself. Where possible, discussion should be reformulated in terms of the ends of interpretability. (shrink)

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)

Humeans identify the laws of nature with universal generalizations that systematize rather than govern the particular matters of fact. Humeanism is frequently accused of circularity: laws explain their instances, but Humean laws are, in turn, grounded by those instances. Unfortunately, this argument trades on controversial assumptions about grounding and explanation that Humeans routinely reject. However, recently an ostensibly semantic circularity objection has been offered, which seeks to avoid reading such assumptions into the Humean view. This paper argues that the new (...) semantic version tacitly relies on the familiar metaphysical one and, therefore, it ultimately brings nothing new to the table. (shrink)

According to Humeanism about the laws, the laws of nature are nothing over and above certain kinds of regularities about particular facts. Humeanism has often been accused of circularity: according to scientific practice laws often explain their instances, but on the Humean view they also reduce to the mosaic, which includes those instances. In this paper I formulate the circularity problem in a way that avoids a number of controversial assumptions routinely taken for granted in the literature, and against which (...) many extant responses are therefore ineffective. I then propose a solution that denies the alleged Humean commitment that laws are explained by their instances. The solution satisfies three desiderata that other solutions don’t: it provides independent motivation against the idea that Humean laws are explained by their instances; it specifies the sense in which Humean laws are nonetheless “nothing over and above” their instances; and it gives an alternative account of what does explain the laws, if not their instances. This solution, I will argue, is not only the simplest but also the oldest one: it appeals only to tools and theses whose first appearance predates the earliest statements of the circularity problem itself. (shrink)

This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (shrink)

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

The Question of Iterated Grounding (QIG) asks what grounds the grounding facts. Although the question received a lot of attention in the past few years, it is usually discussed independently of another important issue: the connection between metaphysical explanation and the relation or relations that supposedly “back” it. I will show that once we get clear on the distinction between metaphysical explanation and the relation(s) backing it, we can distinguish no fewer than four questions lumped under QIG. I will also (...) argue that given some plausible assumptions about what it would take for a relation to back metaphysical explanation, many salient views about grounding allow us to give “easy” answers to these questions—easy in the sense that we can straightforwardly derive them from the respective conception of grounding without getting into the sorts of complexities that typically inform answers to QIG. The paper's main upshot is that we cannot expect to make much progress on QIG without first addressing the difficult issue of how exactly grounding is related to metaphysical explanation. (shrink)

How is grounding related to metaphysical explanation? The standard view is that the former somehow “backs”, “undergirds” or “underlies” the latter. This view fits into a general picture of explanation, according to which explanations in general hold in virtue of a certain elite group of “explanatory relations” or “determinative relations” that back them. This paper turns the standard view on its head: grounding doesn't “back” metaphysical explanation but is in an important sense downstream from it. I call this view “grounding (...) idealism”, since it structurally resembles an analogous view about causation that is known as “causal idealism” and has been endorsed by philosophers like Michael Scriven and Philip Kitcher. I formulate a specific version of grounding idealism, Metaphysical Explanation‐First Idealism (MEFI), according to which the semantic value of ‘grounding’ is an abundant, gerrymandered relation settled by the metaphysical explanation facts. Then I offer some theoretical considerations that support MEFI over rival accounts of the relation between grounding and metaphysical explanation. Finally, I address the question of what role is left for grounding to play, if not that of “backing” metaphysical explanations. (shrink)

This paper provides a sorely-needed evaluation of the view that mathematical explanations in science explain by unifying. Illustrating with some novel examples, I argue that the view is misguided. For believers in mathematical explanations in science, my discussion rules out one way of spelling out how they work, bringing us one step closer to the right way. For non-believers, it contributes to a divide-and-conquer strategy for showing that there are no such explanations in science. My discussion also undermines the appeal (...) to unifying power in support of the enhanced indispensability argument. (shrink)

Multiply realizable kinds are scientifically problematic, for it appears that we should not expect discoveries about them to hold of other members of that kind. As such, it looks like MR kinds should have no place in the ontology of the special sciences. Many resist this conclusion, however, because we lack a positive account of the role that certain realization-unrestricted terms play in special science explanations. I argue that many such terms actually pick out idealizing models. Idealizing explanation has many (...) of the features normally associated with explanation by MR kinds. As idealized models are usually mere possibilia, such explanations do not run afoul of the metaphysical problems that plague MR kinds. (shrink)

My title question as it stands is ambiguous, and is in want of some initial clarification. Does the question ask how the explanandum is logically related to the explanans? Or does it ask about the details of the dynamics of the explanation speech-act? Or does it ask how the linguistic ambiguities of explanation questions and answers should properly be unpacked? Or does it ask yet some other question? The ways of studying explanation, like the ways of understanding the world, are (...) many and varied. By this, I mean more than that the phenomenon of explanation can be studied as it arises in the different disciplines of biology, physics, the social sciences, and the like. Rather, I mean that there are varied disciplines of explanation-study itself. For example, the Hempelian tradition has largely focused on the logic of explanation, and others have focused on the linguistic, psychological, social, and epistemological angles of explanation. Thus, it is not appropriate for me to begin by arguing that explanation is a set of logically related statements or a speech-act , but appropriate instead to begin by specifying the explanatory discipline within which I ask my title question. (shrink)

There has been a growing trend to include non-causal models in accounts of scientific explanation. A worry addressed in this paper is that without a higher threshold for explanation there are no tools for distinguishing between models that provide genuine explanations and those that provide merely potential explanations. To remedy this, a condition is introduced that extends a veridicality requirement to models that are empirically underdetermined, highly-idealised, or otherwise non-causal. This condition is applied to models of electroweak symmetry breaking beyond (...) the Standard Model. (shrink)

Peter Lipton has argued that understanding can exist in the absence of explanation. We argue that this does not denigrate explanation's importance to understanding. Specifically, we show that all of Lipton's examples are consistent with the idea that explanation is the ideal of understanding, i.e. other modes of understanding ought to be assessed by how well they replicate the understanding provided by a good and correct explanation. We defend this idea by showing that for all of Lipton's examples of non-explanatory (...) understanding of why p , there exists a correct and reasonably good explanation that would provide greater understanding of p. (shrink)

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.

I propose that empirical procedures, like computational procedures, are justified in terms of truth-finding efficiency. I contrast the idea with more standard philosophies of science and illustrate it by deriving Ockham's razor from the aim of minimizing dramatic changes of opinion en route to the truth.

Different why-questions emerge under different contexts and require different information in order to be addressed. Hence a relevance relation can hardly be invariant across contexts. However, what is indeed common under any possible context is that all explananda require scientific information in order to be explained. So no scientific information is in principle explanatorily irrelevant, it only becomes so under certain contexts. In view of this, scientific thought experiments can offer explanations, should we analyze their representational strategies. Their representations involve (...) empirical as well as hypothetical statements. I call this the “representational mingling” which bears scientific information that can explain events. Buchanan’s thought experiment from constitutional economics is examined to show how mingled representations explain. (shrink)

I examine the relation between explanation and unification in both the original Kaluza–Klein theory, which originated in the works of Theodor Kaluza and Oskar Klein in the 1920s, and in the modern Kaluza–Klein theories which date back to the late 1970s and which are still considered by the majority of the physics community to be the best hope for a complete unified theory of all fundamental interactions. I use the conclusions of this case study to assess the merits of Philip (...) Kitcher's account of explanation as unification. I also draw lessons about physicists’ pursuit of the higher dimensional unification of the fundamental forces of nature. (shrink)

Abstract While agreeing that dynamical models play a major role in cognitive science, we reject Stepp, Chemero, and Turvey's contention that they constitute an alternative to mechanistic explanations. We review several problems dynamical models face as putative explanations when they are not grounded in mechanisms. Further, we argue that the opposition of dynamical models and mechanisms is a false one and that those dynamical models that characterize the operations of mechanisms overcome these problems. By briefly considering examples involving the generation (...) of action potentials and circadian rhythms, we show how decomposing a mechanism and modeling its dynamics are complementary endeavors. (shrink)

Research in education and cognitive development suggests that explaining plays a key role in learning and generalization: When learners provide explanations—even to themselves—they learn more effectively and generalize more readily to novel situations. This paper proposes and tests a subsumptive constraints account of this effect. Motivated by philosophical theories of explanation, this account predicts that explaining guides learners to interpret what they are learning in terms of unifying patterns or regularities, which promotes the discovery of broad generalizations. Three experiments provide (...) evidence for the subsumptive constraints account: prompting participants to explain while learning artificial categories promotes the induction of a broad generalization underlying category membership, relative to describing items (Exp. 1), thinking aloud (Exp. 2), or free study (Exp. 3). Although explaining facilitates discovery, Experiment 1 finds that description is more beneficial for learning item details. Experiment 2 additionally suggests that explaining anomalous observations may play a special role in belief revision. The findings provide insight into explanation’s role in discovery and generalization. (shrink)

It's not uncommon for scientists to give different explanations of the same phenomenon, but we currently lack clear guidelines for deciding whether to treat such accounts as competitors. This article discusses how science studies can help create tools and guidelines for thinking about whether explanations compete. It also specifies how one family of discourse rules enables there to be differing accounts that appear to compete but don't. One hopes that being more aware of the linguistic mechanisms making compatible accounts appear (...) to compete will prevent people from wasting resources trying to show which account is right. (shrink)

P. Kitcher's unification theory of explanation appears to endorse a reductionistic view of scientific explanation that is inconsistant with scientific practice. In this paper, I argue that this appearance is illusory. The existence of multiply realizable generalizations enable the unification theory to also count many high-level accounts as explanatory.

This paper attacks the perennial philosophical and scientific quest for a simple and unified vision of the world. Without denying the attraction of this vision, I argue that such a goal often seriously distorts our understanding of complex phenomena. The argument is illustrated with reference to simplistic attempts to provide extremely general views of biology, and especially of human nature, through the theory of evolution. Although that theory is a fundamental ingredient of our scientific world view, it provides only one (...) of a number of perspectives that are required for an understanding of biology in general, and human behaviour in paticular. The argument is connected to the replacement of views of science in terms of universal laws with views that emphasise ranges of models more locally suited to specific phenomena. (shrink)

String theory has been the dominating research field in theoretical physics during the last decades. Despite the considerable time elapse, no new testable predictions have been derived by string theorists and it is understandable that doubts have been voiced. Some people have argued that it is time to give up since testability is wanting. But the majority has not been convinced and they continue to believe that string theory is the right way to go. This situation is interesting for philosophy (...) of science since it highlights several of our central issues. In this paper we will discuss string theory from a number of different perspectives in general methodology. We will also relate the realism/antirealism debate to the current status of string theory. Our goal is two-fold; both to take a look at string theory from philosophical perspectives and to use string theory as a test case for some philosophical issues. (shrink)

We discuss explanation of an earlier event by a later event, and argue that prima facie cases of backwards event explanation are ubiquitous. Some examples: (1) I am tidying my flat because my brother is coming to visit tomorrow. (2) The scarlet pimpernels are closing because it is about to rain. (3) The volcano is smoking because it is going to erupt soon. We then look at various ways people might attempt to explain away these prima facie cases by arguing (...) that in each case the 'real' explanation is something else. We argue that none of the explaining-away strategies are successful, and so any plausible account of explanation should either make room for backwards explanation, or have a good story to tell about why it doesn't have to. (shrink)

. This paper takes as its point of departure two striking incongruities between scientific practice and trends in modern history and philosophy of science. Many modern historians of science are so preoccupied with local scientific practices that they fail to recognize important non-local elements. Many modern philosophers of science make a sharp distinction between explanation and evidence, whereas in scientific practice explanatory power is routinely used as evidence for scientific claims. I draw attention to one specific way in.

This paper takes as its point of departure two striking incongruities between scientiªc practice and trends in modern history and philosophy of science. (1) Many modern historians of science are so preoccupied with local scientiªc practices that they fail to recognize important non-local elements. (2) Many modern philosophers of science make a sharp distinction between explanation and evidence, whereas in scientiªc practice explanatory power is routinely used as evidence for scientiªc claims. I draw attention to one speciªc way in..

Several theistic arguments are formulated as arguments for the best explanation. This article discusses how one can determine that some phenomenon actually needs an explanation. One way to demonstrate that an explanation is needed is by providing one. The proposed explanation ought to either make the occurrence of the phenomenon in question more probable than it occurring by chance, or it has to sufficiently increase our understanding of the phenomenon. A second way to demonstrate that an explanation is needed is (...) to show that the phenomenon in question both violates our expectations and is particularly noticeable. (shrink)

Scientists often use aesthetic values in the evaluation and choice of theories. Aesthetic values are not only regarded as leading to practically more useful theories but are often taken to stand in a special epistemic relation to the truth of a theory such that the aesthetic merit of a theory is evidence of its truth. This paper explores what aesthetic considerations influence scientists' reasoning, how such aesthetic values relate to the utility of a scientific theory, and how one can justify (...) the epistemic role for such values. The paper examines ways in which the link between beauty and truth can be defended, the challenges facing such accounts, and explores alternative epistemic roles for aesthetic values in scientific practice. (shrink)

Mathematical explanations are poorly understood. Although mathematicians seem to regularly suggest that some proofs are explanatory whereas others are not, none of the philosophical accounts of what such claims mean has become widely accepted. In this paper we explore Wilkenfeld’s suggestion that explanations are those sorts of things that generate understanding. By considering a basic model of human cognitive architecture, we suggest that existing accounts of mathematical explanation are all derivable consequences of Wilkenfeld’s ‘functional explanation’ proposal. We therefore argue that (...) the explanatory criteria offered by earlier accounts can all be thought of as features that make it more likely that a mathematical proof will generate understanding. On the functional account, features such as characterising properties, unification, and salience correlate with explanatoriness, but they do not define explanatoriness. (shrink)

A common objection against deflationist theories of truth is that they cannot do justice to the correspondence intuition, i.e. the intuition that there is an explanatory relationship between, for instance, the truth of ‘Snow is white’ and snow's being white. We scrutinize two attempts to meet this objection and argue that both fail. We then propose a new response to the objection which, first, sheds doubt on the correctness of the correspondence intuition and, second, seeks to explain how we may (...) nonetheless have come to have that intuition. (shrink)

It is widely recognized that Frege's systematic conception of science has a major impact on his work. I argue that central to this conception and its impact is Frege's Simplicity Requirement that a scientific system must have as few primitive truths as possible. Frege states this requirement often, justifies it in several ways, and appeals to it to motivate important aspects of his broader views. Acknowledging its central role illuminates several aspects of his work in new ways, including his treatment (...) of truth values, logical concepts, and the dependence relations that induce a ‘natural order’ of truths. (shrink)

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...) one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

This paper argues that besides mechanistic explanations, there is a kind of explanation that relies upon “topological” properties of systems in order to derive the explanandum as a consequence, and which does not consider mechanisms or causal processes. I first investigate topological explanations in the case of ecological research on the stability of ecosystems. Then I contrast them with mechanistic explanations, thereby distinguishing the kind of realization they involve from the realization relations entailed by mechanistic explanations, and explain how both (...) kinds of explanations may be articulated in practice. The second section, expanding on the case of ecological stability, considers the phenomenon of robustness at all levels of the biological hierarchy in order to show that topological explanations are indeed pervasive there. Reasons are suggested for this, in which “neutral network” explanations are singled out as a form of topological explanation that spans across many levels. Finally, I appeal to the distinction of explanatory regimes to cast light on a controversy in philosophy of biology, the issue of contingence in evolution, which is shown to essentially involve issues about realization. (shrink)

In scientific explanations, the explanans theory is sometimes incommensurable with the explanandum empirical data. How is this possible, especially when the explanation is deductive in nature? This paper attempts to solve the puzzle without relying on any particular theory of reference. For us, it is rather obvious that the geometric idea of projection plays a key role in Keplers explanation of Tycho Brahes empirical data. We discover that a similar mechanism operates in theoretic explanations in general. In short, all theoretic (...) explanations are projective explanations. If so, there should be no logical reason why explanans theories cannot be incommensurable with explanandum data. For illustration, we analyse Einsteins explanation of the results of the Michelson–Morley experiment in some detail. (shrink)

This paper argues that in some explanations mathematics are playing an explanatory rather than a representational role, and that this feature unifies many types of non-causal or non-mechanistic explanations that some philosophers of science have been recently exploring under various names. After showing how mathematics can play either a representational or an explanatory role by considering two alternative explanations of a same biological pattern—“Bergmann’s rule”—I offer an example of an explanation where the bulk of the explanatory job is done by (...) a mathematical theorem, and where mechanisms involved in the target systems are not explanatorily relevant. Then I account for the way mathematical properties may function in an explanatory way within an explanation by arguing that some mathematical propositions involving variables non directly referring to the target system features constitute constraints to which a whole class of systems should comply, provided they are describable by a mathematical object concerned by those propositions. According to such “constraint account”, those mathematical facts are directly entailing the explanandum, as a consequence of such constraints. I call those explanations “structural”, because here properties of mathematical structures are accounting for the explanandum; various kinds of mathematical structures thereby define various types of structural explanations. (shrink)

There has been considerable recent philosophical debate over the implications of many particle quantum mechanics for the metaphysics of individuality (cf. Huggett [1997]). In this paper I look at things from a rather different perspective: by investigating the significance of permutation symmetry. I consider how various philosophical positions link up to the physical postulate of the indistinguishability of permuted states-permutation invariance-and how this postulate is used to explain quantum statistics. I offer an explanation of the statistics that relies on the (...) neglected parallel between permutations and covariant spatial transformation. And I explore the parallel, showing that a further kind of symmetry explains why permutations are invariant when spatial symmetries are not. (shrink)

The question of how to frame agential preferences in economics finds one caught between Scylla and Charybdis. If preferences are framed in as minimal and deflationary a manner as revealed preference theory recommends, the theory falls prey to objections about its predictiveness and explanatory power. Alternatively, if too many cognitive and causal intricacies are incorporated into the preference concept, revealed preference models will violate pragmatic norms of model construction, surrendering model simplicity and generality. This paper charts a middle course, arguing (...) that the path to salvation lies through an understanding of revealed preference models as program explanations. (shrink)

Among the many problems posed by Peirce's concept of abduction is how to determine the scope of this form of inference, and how to distinguish different types of abduction. This problem can be illustrated by taking a look at one of his best known definitions of the term:Abduction is the process of forming an explanatory hypothesis. It is the only logical operation which introduces any new idea; for induction does nothing but determine a value, and deduction merely evolves the necessary (...) consequences of a pure hypothesis.The second half of this quote is not part of the definition, but an explanation of it. However, it adds something to this definition because it says implicitly that there are only three logical.. (shrink)