Strategies for improving the explainability of artificial agents are a key approach to support the understandability of artificial agents’ decision-making processes and their trustworthiness. However, since explanations are not inclined to standardization, finding solutions that fit the algorithmic-based decision-making processes of artificial agents poses a compelling challenge. This paper addresses the concept of trust in relation to complementary aspects that play a role in interpersonal and human–agent relationships, such as users’ confidence and their perception of artificial agents’ reliability. Particularly, this (...) paper focuses on non-expert users’ perspectives, since users with little technical knowledge are likely to benefit the most from “post-hoc”, everyday explanations. Drawing upon the explainable AI and social sciences literature, this paper investigates how artificial agent’s explainability and trust are interrelated at different stages of an interaction. Specifically, the possibility of implementing explainability as a trust building, trust maintenance and restoration strategy is investigated. To this extent, the paper identifies and discusses the intrinsic limits and fundamental features of explanations, such as structural qualities and communication strategies. Accordingly, this paper contributes to the debate by providing recommendations on how to maximize the effectiveness of explanations for supporting non-expert users’ understanding and trust. (shrink)

Abduction is considered the most powerful, but also the most controversially discussed type of inference. Based on an analysis of Peirce’s retroduction, Lipton’s Inference to the Best Explanation and other theories, a new theory of abduction is proposed. It considers abduction not as intrinsically explanatory but as intrinsically conditional: for a given fact, abduction allows one to infer a fact that implies it. There are three types of abduction: Selective abduction selects an already known conditional whose consequent is the given (...) fact and infers that its antecedent is true. Conditional-creative abduction creates a new conditional in which the given fact is the consequent and a defined fact is the antecedent that implies the given fact. Propositional-conditional-creative abduction assumes that the given fact is implied by a hitherto undefined fact and thus creates a new conditional with a new proposition as antecedent. The execution of abductive inferences is specified by theory-specific patterns. Each pattern consists of a set of rules for both generating and justifying abductive conclusions and covers the complete inference process. Consequently, abductive inferences can be formalised iff the whole pattern can be formalised. The empirical consistency of the proposed theory is demonstrated by a case study of Semmelweis' research on puerperal fever. (shrink)

Two long-standing arguments in cognitive science invoke the assumption that holistic inference is computationally infeasible. The first is Fodor’s skeptical argument toward computational modeling of ordinary inductive reasoning. The second advocates modular computational mechanisms of the kind posited by Cosmides, Tooby and Sperber. Based on advances in machine learning related to Bayes nets, as well as investigations into the structure of scientific and ordinary information, I maintain neither argument establishes its architectural conclusion. Similar considerations also undermine Fodor’s decades-long diagnosis of (...) artificial intelligence research as confounded by an inability to circumscribe the amount of information relevant to inferential processes. This diagnosis is particularly inapposite with respect to Bayes nets, since one of their strengths as machine learning systems has been their capacity to reason probabilistically about large data sets whose size overwhelms the capacities of individual human reasoners. A general moral follows from these criticisms: Insights into artificial and human cognitive systems are likely to be cultivated by focusing greater attention on the structure and density of connections among items of information that are available to them. (shrink)

This paper aims at elucidating the connection between explanatory considerations and epistemic justification stipulated by explanationism which take epistemic justification to be definable in terms of best explanations. By relying on the notion of truthlikeness, this paper argues that it is rational for a subject to expect the best explanation she has for her evidence to be more truthlike than any of the other potential explanations available to her by virtue of containing a class of propositions that, given her evidence, (...) she is justified in believing. Based on this elucidation of the connection between explanatory considerations and epistemic justification, an explanationist account of the evidential support relation is then offered. (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 inference. Overall, (...) this paper offers a precise account and novel defense of one important version of IBE. (shrink)

Philosophical theists argue with great ingenuity and sophistication that there is excellent evidence in support of the existence of the God of western theism. Philosophical atheists argue with equal skill that the evidence is negative. Both sides can't be right. But, this seems to imply that one camp is guilty of serious epistemological error. I explore in this essay a way of understanding good theological evidence that mitigates charges of intellectual error or blindness. According to a position that Rowe calls (...) friendly atheism, the atheist can argue that the relevant evidence supports his or her view, but that theists are rationally justified in believing that God exists in spite of the intense suffering that manifest in this world. I will argue that friendly atheism, and more generally friendly natural theology, when articulated in more detail, and with great care, represents an important metaphilosophical insight about use of evidence in theological contexts. (shrink)

The Minimum Description Length principle is the modernformalisation of Occam's razor. It has been extensively and successfullyused in machine learning, especially for noisy and long sources ofdata. However, the MDL principle presents some paradoxes andinconveniences. After discussing all these, we address two of the mostrelevant: lack of explanation and lack of creativity. We present newalternatives to address these problems. The first one, intensionalcomplexity, avoids extensional parts in a description, so distributingcompression ratio in a more even way than the MDL principle. (...) The secondone, information gain, forces that the hypothesis is informative wrt. the evidence, so giving a formaldefinition of what is to discover. (shrink)

O argumento da inferência da melhor explicação enuncia que dado que uma evidência necessita de explicação e dado que uma hipótese, baseada em conhecimento anterior verdadeiro, ofereceu uma melhor explicação do que suas rivais para, conclui-se que temos boas razões para acreditar que H é verdadeira. Este argumento é apresentado com a finalidade de apresentar razões em favor da confiabilidade da metodologia científica: a melhor teoria teria emergido num contexto competitivo no qual foram eliminadas teorias rivais. Para antirrealistas, porém, este (...) argumento apresenta sérias deficiências. Um dos problemas deste argumento está na premissa, que descreve uma competição entre hipóteses rivais; de acordo com Kyle Stanford, o registro histórico mostra que a competição nem sempre teria ocorrido, já que algumas hipóteses rivais a uma hipótese proposta nem mesmo teriam sido concebidas, e portanto a confiabilidade da ciência não seria, ao menos em alguns casos, um produto de inferências eliminativas; com isso estaríamos diante do “problema das alternativas não concebidas”. Neste artigo pretendemos descrever sumariamente o argumento da inferência da melhor explicação. Em seguida, apresentamos o problema das alternativas não concebidas. Após, mostramos um estudo de caso oferecido por Stanford para uma defesa de sua posição. Por fim, na conclusão, apontamos um pequeno problema na proposta de Stanford. (shrink)

How should the information that a proposition p is a mystery impact your credence in p? To answer this question, we first provide a taxonomy of mysteries; then, we develop a test to distinguish two types of mysteries. When faced with mysteries of the first type, rational epistemic agents should lower their credence in p upon learning that p is a mystery. The same information should not impact agents’ credence in p, when they face mysteries of the second type. Our (...) account of mystery complements existing explications of abduction. We illustrate its significance by examining the mystery of consciousness. (shrink)

The paper presents an infinite hierarchy PR m [ m = 1, 2, . . . ] of sound and complete axiomatic systems for modal logic with graded probabilistic modalities , which are to reflect what I have elsewhere called the Bolding-Ekelöf degrees of evidential strength as applied to the establishment of matters of fact in law-courts. Our present approach is seen to differ from earlier work by the author in that it treats the logic of these graded modalities not (...) only from a semantical or model-theoretic viewpoint but from a prooftheoretical and axiomatic stance as well. A paramount feature of the approach is its use of so-called systematic frame constants as labels of diverse grades of probability. Apart from this novel feature our approach can be seen to go back to pioneering work by Lou Goble in 1970. (shrink)

In this paper I critically examine the notion of explanation used in Artificial Intelligence in general, and in the theory of belief revision in particular. I focus on two of the best known accounts in the literature: Pagnucco’s abductive expansion functions and Gärdenfors’ counterfactual analysis. I argue that both accounts are at odds with the way in which this notion has historically been understood in philosophy. They are also at odds with the explanatory strategies used in actual scientific practice. At (...) the end of the paper I outline the desiderata for an epistemologically motivated, scientifically informed belief revision model for explanation. (shrink)

Primeiramente, oferecemos uma apresentação teórica da representação do pensamento prático, começando pela distinção entre silogismo dialético e silogismo demonstrativo. Fazemos referência à crítica de Toulmin contra o dedutivismo dominante de seu tempo. Em seguida, fornecemos argumentos para apoiar a relevância heurística do modelo de Toulmin para entender a discussão sobre a inclusão da lógica padrão na representação do pensamento comum. Afirmamos que o projeto analítico toulmaniano permite entender, com clareza metódica, a derrotabilidade dos argumentos do senso comum por meio da (...) investigação da noção modal de probabilidade na linguagem comum. First, we offer theoretical resemblance of the representation of practical reasoning, beginning with the distinction between demonstrative and dialectical syllogism. We make reference to the Toulmin’s critique against to the dominant deductivism in his time. Then we give arguments to sustain the heuristic relevance of Toulmin’s model to understand the discussion about the inclusion of default logics in the representation of ordinary reasoning. We assert that the Toulminian analytic design allows to understand, with methodical clarity, the defeasibility of common sense arguments by means of the investigation of the modal notion of probability in ordinary language. (shrink)

According to a popular strategy amongst economists and philosophers, in order to solve the problem of interpersonal utility comparisons, we have to look at how ordinary people make such comparisons in everyday life. The most recent attempt to develop this strategy has been put forward by Goldman in his “Simulation and Interpersonal Utility” (Ethics 4:709–726, 1995). Goldman claims, first, that ordinary people make interpersonal comparisons by simulation and, second, that simulation is reliable for making interpersonal comparisons. In this paper, I (...) focus on Goldman’s latter claim. After updating Goldman’s account of how ordinary people make interpersonal comparisons in the light of Goldman’s newest formulation of his simulation theory of mental ascription (Goldman, Simulating Minds. Oxford University Press, Oxford, 2006), I develop and assess Goldman’s arguments in favour of the reliability of simulation for interpersonal comparisons. I argue that, under certain conditions, there may be room for a scientifically acceptable solution to the problem of interpersonal utility comparisons. (shrink)

Like Glenn Shafer, we are nostalgic for the time when “philosophers, mathematicians, and scientists interested in probability, induction, and scientific methodology talked with each other more than they do now”, [p.10]. 1 Shafer goes on to mention other relevant contemporary communities. He himself has been at the interface of many of these communities while at the same time making major contributions to them and this very symposium represents something of that desired discussion. We begin with a couple of general points (...) about issues several commentators have raised and then discuss other more particular issues. (shrink)

Apresentaçáo da traduçáo do artigo der Peter Lipton: "Is the Best Good Enough?" (publicado em 1993 no Proceedings of the Aristotelian Society , vol. XCIII, parte 2, pp. 89-104).

We discuss in this paper the scope of abduction in Economics. The literature on this type of inference shows that it can be interpreted in different ways, according to the role and nature of its outcome. We present a formal model that allows to capture these various meanings in different economic contexts.

Various proposals have suggested that an adequate explanatory theory should reduce the number or the cardinality of the set of logically independent claims that need be accepted in order to entail a body of data. A (and perhaps the only) well-formed proposal of this kind is William Kneale’s: an explanatory theory should be finitely axiomatizable but it’s set of logical consequences in the data language should not be finitely axiomatizable. Craig and Vaught showed that Kneale theories (almost) always exist for (...) any recursively enumerable but not finitely axiomatizable set of data sentences in a first order language with identity. Kneale’s criterion underdetermines explanation even given all possible data in the data language; gratuitous axioms may be “tacked on.” Define a Kneale theory, T, to be logically minimal if it is deducible from every Kneale theory (in the vocabulary of T) that entails the same statements in the data language as does T. If they exist, minimal Kneale theories are candidates for best explanations: they are “bold” in a sense close to Popper’s; some minimal Kneale theory is true if any Kneale theory is true; the minimal Kneale theory that is data equivalent to any given Kneale theory is unique; and no Kneale theory is more probable than some minimal Kneale theory. I show that under the Craig-Vaught conditions, no minimal Kneale theories exist. (shrink)

Scientific realism at least in large measure reflects the conviction that physics limns the true nature of reality; that it is the right metaphysical picture of things. This conviction is in turn a product of the failure of positivism's attempt to expunge metaphysics from the corpus of philosophically respectable activities. Since natural science is objective knowledge of the worldpar excellencepost-positivists have embraced it as the ontology which their predecessors had failed to make unnecessary. Scientific realism is metaphysics, shameless or unashamed.

David Chalmers supports his contention that there is a possible world populated by our zombie twins by arguing for the assumption that conceivability entails possibility. But, I argue, the modal epistemology he sets forth, ‘modal rationalism,’ ignores the problem of incompleteness and relies on an idealized notion of conceivability. As a consequence, this epistemology can’t justify our quotidian judgments of possibility, let alone those judgments that concern the mind/body connection. Working from the analogy that the imagination is to the possible (...) as perception is to the actual, I set forth a competing epistemology, ‘modal empiricism.’ This epistemology survives the incompleteness objection and allows some of our everyday modal judgments to be justified. But this epistemology can’t justify the claim that Zombie World is possible, which leaves Chalmers’s property dualism without the support it needs. (shrink)

Alan Musgrave is one of the foremost contemporary defenders of scientific realism. He is also one of the leading exponents of Karl Popper’s critical rationalist philosophy. In this paper, my main focus will be on Musgrave’s realism. However, I will emphasize epistemological aspects of realism. This will lead me to address aspects of his critical rationalism as well.

In this article, I compare two varieties of abduction as reconstructive models for analysing discovery. The first is 'Hansonian abduction', which is based on N. R. Hanson's formulations of abduction. The other is 'Harmanian abduction', the Inference to the Best Explanation (IBE) model, formulated especially by Gilbert Harman. Peter Lipton has analysed processes of discovery on the basis of his developed form of Harmanian abduction. I argue that Hansonian abduction would, however, be a more apt model for this purpose. As (...) an example, I reconstruct, in a Hansonian manner, Ignaz Semmelweis's research on childbed fever and compare it to the IBE reconstruction of Lipton. I argue that Hansonian abduction is in accordance with Lipton's aim of taking into account the distinction between actual and potential explanations on the one hand, and between likely and lovely explanations on the other. I maintain that a developed version of Hansonian abduction combined with loveliness gives an important, new conceptual means for analysing processes of discovery. (shrink)

The main factor of intelligence is defined as the ability tocomprehend, formalising this ability with the help of new constructsbased on descriptional complexity. The result is a comprehension test,or C- test, which is exclusively defined in computational terms. Due toits absolute and non-anthropomorphic character, it is equally applicableto both humans and non-humans. Moreover, it correlates with classicalpsychometric tests, thus establishing the first firm connection betweeninformation theoretical notions and traditional IQ tests. The TuringTest is compared with the C- test and the (...) combination of the two isquestioned. In consequence, the idea of using the Turing Test as apractical test of intelligence should be surpassed, and substituted bycomputational and factorial tests of different cognitive abilities, amuch more useful approach for artificial intelligence progress and formany other intriguing questions that present themselves beyond theTuring Test. (shrink)

Revised simulation theory allows mental state attributions containing some or all of the attributor's genuine, non-simulated mental states. It is thought that this gives the revised theory an empirical advantage, because unlike theory theory and rationality theory, it can explain egocentric bias. I challenge this view, arguing that theory theory and rationality theory can explain egocentricity by appealing to heuristic mindreading and the diagnosticity of attributors' own beliefs, and that these explanations are as simple and consistent as those provided by (...) revised simulation theory. (shrink)

Some scientists or philosophers argue that multiverse theories are unfalsifiable and thus not scientific. However, some advocates of multiverse theories have recently argued that although the multiverse is not observable, multiverse theories are indeed falsifiable in principle. Therefore, they share similar features with a conventional scientific theory. On the other hand, the proposals of an epistemic shift and nonempirical theory assessment have possibly revived the discussions of the scientific nature of multiverse theories. In this article, I revisit the falsifiable arguments (...) made by the advocates of multiverse theories and show that these arguments do not justify arguing the scientific nature of such theories. Moreover, even if we accept the proposals of the epistemic shift and the nonempirical theory assessment, I argue that multiverse theories still cannot pass or satisfy the required assessments based on the new theoretical virtues and the nonempirical arguments. (shrink)

Marušić & Schwenkler (Analytic Philosophy, 59, 309) offer a simple and elegant defense of strong cognitivism about intention: the view that an intention to φ is a form of belief that one will φ. I show that their defense fails: however simple and elegant, it fails to account for various aspects about intention and its expression, and faces distinctive challenges of its own, including a dilemma and counterexample. These also undermine Marušić & Schwenkler's claim to a best-explanation type of account (...) and recommend alternatives to strong cognitivism altogether. (shrink)

Charles S. Peirce luokitteli 1865 päättelyn lajit deduktioon, induktioon ja hypoteesiin, joista viimeksi mainittua hän luonnehti päättelynä vaikutuksista syihin tai päättelynä selitykseen. Hypoteesi on Peircelle induktion ohella tietoa laajentava päätelmä. 1890-luvun lopun kirjoituksissaan hän alkoi kutsua hypoteettista päättelyä uusilla nimillä ”retroduktio” ja ”abduktio”. Tässä vaiheessa Peirce kuvasi abduktiota tieteellisen päättelyn ensimmäisenä askeleena, mahdollisten arvausten esittämisenä, jonka tulokset on asetettava induktion kautta testeihin. Hänen tunnetuin kaavionsa abduktion loogiselle muodolle on vuodelta 1903: The surprising fact C is observed; But if A were (...) true, C would be a matter of course. Hence, there is reason to think that A is true. Toisin sanoen abduktio päättelee yllättävästä tosiseikasta hypoteettiseen teoriaan, joka selittäisi tämän faktan. Peircen ajatukset tulivat laajemmin tunnetuiksi, kun kuusiosainen Collected Papers ilmestyi 1931-35. Maailmansodan jälkeen hänen ehdotuksiaan on tulkittu kolmessa suunnassa. Hansonin mukaan abduktio on keksimisen logiikkaa. Laudanin mukaan abduktiossa on kyse ohjeesta työskennellä kiinnostavan hypoteesin parissa. Harmanin mukaan abduktio on päättelyä parhaaseen selitykseen. Monet loogikot, tekoälyn tutkijat ja tieteenfilosofit käyttävät termiä ”abduktio” suoraviivaisesti IBE:n synonyyminä, kun taas varovaisemman kannan ottavat mm. Aliseda, Magnani ja Douven. Toisaalta tätä rinnastusta on eri syistä pidetty harhaanjohtavana abduktion todellisen luonteen ja tehtävän perusteella. Myös monet Peirce-tutkijat ovat ottaneet intohimoisesti kantaa asiaan vedoten mestarin monitulkintaisiin kirjoituksiin. Esimerkiksi Minnamaier esittää, että abduktion samaistaminen IBE:n kanssa hämärtäisi Peircen erottelua induktion ja abduktion välillä. Campos argumentoi, että abduktio tulisi rajata selittävien hypoteesien generoimiseen, joten valikointi hypoteesien välillä ei kuulu sen tehtäviin. Gaultierin mukaan skeeman johtopäätös ei ole suositus testata A:n totuutta, vaan selvittää, onko A todellakin mahdollinen selitys C:lle. Sen sijaan Nyrupin mukaan jättää avoimeksi, tukeeko onnistunut selitys hypoteesin totuutta, joten abduktiossa on kyse hypoteesin työstämisestä. Peircen kirjoituksista puolen vuosisadan aikana kuitenkin löytyy aineksia kaikille kolmelle abduktion päätulkinnalle. Abduktio on ainoa menetelmä uusien ideoiden generoimiseksi. Abduktio auttaa tunnistamaan testaamisen arvioisia hypoteeseja. Joissakin tapauksissa, kuten havainnoissa ja historiallisissa päätelmissä, abduktio on ”pakottavaa” tai ”täysin varmaa”, joten sillä voi olla tekemistä myös hypoteesien oikeuttamisen kanssa. Vaikka Peirce päätyi esittämään, ettei abduktiivisiin päätelmiin liity mitään todennäköisyyksiä, hän kuitenkin myöhäisissäkin töissään antoi abduktiolle selkeän loogisen muodon. Lisäksi abduktion ja IBE:n yhteyttä puolustaa käsikirjoitus ”The Logic of Drawing History from Ancient Documents”, jossa Peirce antaa kriteerejä ”abduktiolle eli hypoteesien valinnan prosessille”. Näitä kriteerejä ovat selitysvoima, testattavuus, varovaisuus, laajuus ja yksinkertaisuus. Samantapaisia metodologisia sääntöjä ovat muotoilleet ne tutkijat, jotka ovat kehitelleet eteenpäin IBE:n muotoja. Vastaus otsikon kysymykseen on siis ”kyllä ja ei”. Vaikka Peirce keksi termin ”abduktio”, hänellä ei ole loputonta yksinoikeutta määrätä sen käytöstä. Hän ajatuksensa ovat inspiroivia tavalla, joka voi johtaa abduktion tutkimisessa erilaisiin suuntiin. Näitä linjoja on tarpeetonta oikeaoppisesti pitää toisilleen vastakkaisina. Keksimisen logiikka on kiehtova aihe, mutta samalla tavoin on aihetta analysoida sitä, miten keksittyjen selityshypoteesien paremmuutta voidaan vertailla ja millaisilla ehdoilla voisimme olla oikeutettuja hyväksymään parhaan toistaiseksi löydetyistä selityksistä. Kaikki nämä loogis-metodologiset tutkimuslinjat tekevät omalla tavallaan oikeutta Peircen filosofian suurille oivalluksille. (shrink)

This thesis is set out as a collection of self-standing essays. Throughout these essays, I try to illuminate a number of controversies surrounding the way in which delusions are formed, and relatedly, their nature and epistemic standing. In Chapter 2, after an introductory chapter, I flesh out a new ‘endorsement’ approach to the Capgras delusion, the main idea being that the delusion is formed by endorsing the content of a metaphorical-perceptual state in which a loved one is represented metaphorically as (...) an imposter. In Chapter 3, I take issue with the idea, prevalent in the literature, that Bayesian accounts of inference in delusions are best characterised as versions of ‘explanationism’. Taking one such influential account as a test case, I argue that it is no more or less compatible with the endorsement alternative, which says delusions are acquired non-inferentially from experience. In Chapter 4, I examine a recent critique of predictive processing theories of delusions, according to which such theories suffer two limitations: they fail to explain why an agent believes something delusional as opposed to nothing at all or something else; they fail to explain how delusional hypotheses are generated in the first place. I suggest ways in which these concerns might be addressed. In Chapter 5, I consider how the Spinozan theory of belief fixation can improve the prospects of doxasticism about delusions. Doxasticism has been criticised on the grounds that delusions typically do not abide by rational standards which we expect beliefs to conform to. If belief fixation is Spinozan, I argue, these deviations from rationality are not just compatible with, but supportive of, their status as beliefs. In Chapter 6, I ask whether misidentification delusions formed via endorsement processes have any measure of perceptual justification. To give the best chance of getting a ‘yes’ answer, I address the question from the perspective of perceptual dogmatism, as this appears the best option if we are to grant at least defeasible justifiedness to MDs. I argue that, even so, MDs are completely unjustified. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

The article describes the potential of abductive legal reasoning as a means of systematically exploring the role of inferences within legal reasoning. Starting out from the structures of abduction as originally presented by Peirce in his four‐horsemen example, the author points to the fact that Peirce actually employed a hypothesis that targeted an institutional fact. Hence the abductive inference has a great potential for categorising new phenomena under norms, yet it is undertheorised within the field of law as compared to (...) other fields of science. The article presents the idea of comparison in the frame of “double abduction” as an important feature of legal reasoning. (shrink)

In this paper I offer a coherentist justification of induction along the lines of a Sellarsian coherence theory. On this coherence theory, a proposition is justified if we can answer all objections raised against it in our social practice of demanding justification and responding to such demands. On the basis of this theory of justification, I argue that we are justified in accepting the uniformity of nature partly because we have no alternative but to accept it for rationally pursuing our (...) epistemic goal. In addition, my coherentist view explains which inductive inferences it is rational to accept. Furthermore, my coherentist view also explains why we can hardly determine a particular numerical value x such that we can draw the conclusion ‘it is rational to accept that p’ from the premise ‘the numerical probability of p is greater than or equal to x’. (shrink)

This article argues that the testimony of mystics provides an interesting potential source of evidence for theism. The model of inference to the best explanation is utilized to analyze and assess mystics' testimony. It is argued that the evidential value of the reports from mystics, both within the theistic tradition and from without, ultimately proves weak.

We provide a novel Bayesian justification of inference to the best explanation. More specifically, we present conditions under which explanatory considerations can provide a significant confirmatory boost for hypotheses that provide the best explanation of the relevant evidence. Furthermore, we show that the proposed Bayesian model of IBE is able to deal naturally with the best known criticisms of IBE such as van Fraassen?s?bad lot? argument.