Mixed method study designs are becoming increasingly popular among nurse researchers. Mixed studies can have advantages over single method or methodological investigative designs. However, these advantages may be squandered where researchers fail to think through and justify their theoretic decisions. This paper argues that nurse researchers do not always pay sufficient heed to the philosophic and theoretic elements of research design and, in consequence, some mixed study reports lack argumentative coherence and validity. It is here suggested that Hempel's concept of (...) equivalence can be stretched to usefully illustrate one of the main threats to argumentative coherence in mixed study design. The critical realist theory of Roy Bhaskar is then introduced and this, it is proposed, offers one means by which Hempel's equivalence dilemma can be overcome. Critical realists recognize the existence of logical connections between the ontological, epistemological, and methodological premises that underpin their work. They are therefore more likely to produce coherent studies than uncritical pragmatists who ignore such linkages and, paradoxically, critical realists can be epistemological pluralists because, in re‐conceptualizing the ontological basis of inquiry, problems associated with the mixing of alternative metaphysics are circumvented. (shrink)

Sections 1 through 3 present all of the main ideas behind the probabilistic logic of evidential support. For most readers these three sections will suffice to provide an adequate understanding of the subject. Those readers who want to know more about how the logic applies when the implications of hypotheses about evidence claims (called likelihoods) are vague or imprecise may, after reading sections 1-3, skip to section 6. Sections 4 and 5 are for the more advanced reader who wants a (...) detailed understanding of some telling results about how this logic may bring about convergence to the truth. (shrink)

I argue that its appearing to you that P does not provide justification for believing that P unless you have independent justification for the denial of skeptical alternatives – hypotheses incompatible with P but such that if they were true, it would still appear to you that P. Thus I challenge the popular view of ‘dogmatism,’ according to which for some contents P, you need only lack reason to suspect that skeptical alternatives are true, in order for an experience as (...) of P to justify belief that P. I pursue three lines of objection to dogmatism, having to do with probabilistic reasoning, considerations of future or hypothetically available justification, and epistemic circularity. I briefly sketch a fall-back position which avoids the problems raised. (shrink)

In this essay I defend a solution to a skeptical paradox. The paradox I focus on concerns epistemic justification (rather than knowledge), and skeptical scenarios that entail that most of our ordinary beliefs about the external world are false. This familiar skeptical paradox hinges on a “closure” principle. The solution is to restrict closure, despite its first appearing as a fully general principle, so that it can no longer give rise to the paradox. This has some extra advantages. First, it (...) suggests a general strategy that provides solutions to other versions of the paradox, not just those that depend on closure. Second, it clarifies the relation between the paradox and other kinds of skeptical problem. (shrink)

The aim of this thesis is to provide a systematic account of Nietzsche’s philosophy of value by examining his exemplars. It will be argued that these exemplars represent his favoured evaluative practices and therefore illustrate what I will call his evaluative ideals. The thesis will be structured in three chapters, each examining a different exemplar that emerges from a particular period of Nietzsche’s work. Proceeding in this way will allow me to examine what I take to be three strands of (...) his philosophy of value; the critical ideal through the exemplar of the Free Spirit, the ethical ideal through Zarathustra, and the meta-ethical ideal through the exemplar of the Future Philosopher. These standpoints, it will be claimed, reflect Nietzsche’s central insights about what we should value and the way in which we should value, and are in this sense his evaluative ideals. Moreover, in doing so I will also attempt to provide some key insights on Nietzsche’s reasons for his evaluative preferences, as given through these exemplars as evaluative ideals. (shrink)

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...) as it is based on logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality. (shrink)

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

Responding to the paradox of inference and the related problems in philosophy of logic, this paper argues for the necessity of distinguishing between two different objects of justification: logica utens and logica docens. Then, equipped with Peirce’s critical common-sensist conception of logica utens and his classification of sciences, I propose a diagnosis of and a solution to the problem of justification of logic. I argue that this alternative approach successfully avoids circularity in which most attempts in philosophy of logic have (...) been inescapably trapped. I also anticipate and respond to possible objections to taking a Peircean turn in justifying logic. (shrink)

Knowledge is closed under implication, according to standard theories. Orthodoxy can allow, though, that apparent counterexamples to closure exist, much as Kripkeans recognize the existence of illusions of possibility which they seek to explain away. Should not everyone, orthodox or not, want to make sense of “intimations of openness”? This paper compares two styles of explanation: evidence that boosts P’s probability need not boost that of its consequence Q; evidence bearing on P’s subject matter may not bear on the subject (...) matter of Q. (shrink)

As many philosophers agree, the frame problem is concerned with how an agent may efficiently filter out irrelevant information in the process of problem-solving. Hence, how to solve this problem hinges on how to properly handle semantic relevance in cognitive modeling, which is an area of cognitive science that deals with simulating human's cognitive processes in a computerized model. By "semantic relevance", we mean certain inferential relations among acquired beliefs which may facilitate information retrieval and practical reasoning under certain epistemic (...) constraints, e. g., the insufficiency of knowledge, the limitation of time budget, etc. However, traditional approaches to relevance—as for example, relevance logic, the Bayesian approach, as well as Description Logic—have failed to do justice to the foregoing constraints, and in this sense, they are not proper tools for solving the frame problem/relevance problem. As we will argue in this paper, Non-Axiomatic Reasoning System (NARS) can handle the frame problem in a more proper manner, because the resulting solution seriously takes epistemic constraints on cognition as a fundamental theoretical principle. (shrink)

To solve the highly counterintuitive paradox of confirmation represented by the statement, “A pair of red shoes confirms that all ravens are black,” Hempel employed a strategy that retained the equivalence condition but abandoned Nicod’s irrelevance condition. However, his use of the equivalence condition is fairly ad hoc, raising doubts about its applicability to this problem. Furthermore, applying the irrelevance condition from Nicod’s criterion does not necessarily lead to paradoxes, nor does discarding it prevent the emergence of paradoxes. Hempel’s approach (...) fails to adequately resolve the paradox. (shrink)

This paper documents the pragmatic turn in the later philosophy of C. G. Hempel.

I argue elsewhere (Roche 2014) that evidence of evidence is evidence under screening-off. Tal and Comesaña (2017) argue that my appeal to screening-off is subject to two objections. They then propose an evidence of evidence thesis involving the notion of a defeater. There is much to learn from their very careful discussion. I argue, though, that their objections fail and that their evidence of evidence thesis is open to counterexample.

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence, a fast-growing research area that is so far lacking in firm theoretical foundations. In this article, an expanded version of a paper originally presented at the 37th Conference on Uncertainty in Artificial Intelligence, we attempt to fill this gap. Building on work in logic, probability, and causality, we establish the central role of (...) necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We propose a novel formulation of these concepts, and demonstrate its advantages over leading alternatives. We present a sound and complete algorithm for computing explanatory factors with respect to a given context and set of agentive preferences, allowing users to identify necessary and sufficient conditions for desired outcomes at minimal cost. Experiments on real and simulated data confirm our method’s competitive performance against state of the art XAI tools on a diverse array of tasks. (shrink)

Simple random sampling resolutions of the raven paradox relevantly diverge from scientific practice. We develop a stratified random sampling model, yielding a better fit and apparently rehabilitating simple random sampling as a legitimate idealization. However, neither accommodates a second concern, the objection from potential bias. We develop a third model that crucially invokes causal considerations, yielding a novel resolution that handles both concerns. This approach resembles Inference to the Best Explanation (IBE) and relates the generalization’s confirmation to confirmation of an (...) associated law. We give it an objective Bayesian formalization and discuss the compatibility of Bayesianism and IBE. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

Curating is a confounding concept—highly specialized in its technical meaning but wildly ecumenical in colloquial usage. This makes it a good candidate for philosophical attention. Considering how often the boundaries of curating have been redrawn since the 1960s, it is encouraging to see philosophers finally turning their lens on it in the last decade. This is also partly what makes Sue Spaid’s The philosophy of curatorial practice: between work and world a welcome contribution. The book might fall short of a (...) definitive philosophical account of curating, but it charts helpful vectors of interest for future scholarship. On a personal note, as someone who has had the opportunity to debate Spaid on the subject of curating, both at live events and in print, I consider her book a meaningful addition to the conversational momentum the topic has been enjoying. -/- In what follows, I start with some general remarks and then focus on two constitutive aspects of Spaid’s book—her account of what curating is and her description of what curated exhibitions do. These are also two of the central questions philosophy has traditionally asked of art. In this sense, Spaid’s study traverses familiar methodological and thematic terrain. What she adds to the existing scholarship on perennial issues of intentionality, authorship, spectatorship, interpretation, etc. is her keen curiosity about the increasingly rich contributions curated exhibitions make to the life of art. (shrink)

Exhumation and study of the 1945 paradox of confirmation brings out the defect of its formulation. In the context of quantifier conditional-probability logic it is shown that a repair can be accomplished if the truth-functional conditional used in the statement of the paradox is replaced with a connective that is appropriate to the probabilistic context. Description of the quantifier probability logic involved in the resolution of the paradox is presented in stages. Careful distinction is maintained between a formal logic language (...) and its semantics, as the same language may be outfitted with different semantics. An acquaintance with sections 1? 5 of Hailperin (2006) covering the sentential aspects of probability logic is assumed as background information for quantifier probability logic. (shrink)

We examine whether the "evidence of evidence is evidence" principle is true. We distinguish several different versions of the principle and evaluate recent attacks on some of those versions. We argue that, whatever the merits of those attacks, they leave the more important rendition of the principle untouched. That version is, however, also subject to new kinds of counterexamples. We end by suggesting how to formulate a better version of the principle that takes into account those new counterexamples.

Influential classical and recent approaches to explicate confirmation, explanation, or explanatory power define these relations or degrees between hypotheses and evidence. This holds for both deductive and Bayesian approaches. However, this neglects the role of data, which for many everyday and scientific examples cannot simply be classified as evidence. I present arguments to sharply distinguish data from evidence in Bayesian approaches. Taking into account this distinction, we can rewrite Schupbach and Sprenger’s measure of explanatory power and show the strengths of (...) this adaptation by applying it to the example of the detection of gravitational waves in physics. (shrink)

Conceptual spaces are a frequently applied framework for representing concepts. One of its central aims is to find criteria for what makes a concept natural. A prominent demand is that natural concepts cover convex regions in conceptual spaces. The first aim of this paper is to analyse the convexity thesis and the arguments that have been advanced in its favour or against it. Based on this, I argue that most supporting arguments focus on single-domain concepts (e.g., colours, smells, shapes). Unfortunately, (...) these concepts are not the primary examples of natural concepts. Building on this observation, the second aim of the paper is to develop criteria for natural multi-domain concepts. The representation of such concepts has two main aspects: features that are associated with the concept and the probabilistic correlation pattern which the concept captures. Conceptual spaces, together with probabilistic considerations, provide a helpful framework to approach these aspects. With respect to feature representation, the existence of characteristic features (i.e., that apples have a specific taste) is essential. Moreover, natural concepts capture peaks of a probabilistic distribution over complex spaces. They carve up nature at its joints, that is, at areas with no or low probabilistic density. This last aspect is shown to be closely related to the convexity demand. (shrink)

Nelson Goodman’s new riddle of induction forcefully illustrates a challenge that must be confronted by any adequate theory of inductive inference: provide some basis for choosing among alternative hypotheses that fit past data but make divergent predictions. One response to this challenge is to distinguish among alternatives by means of some epistemically significant characteristic beyond fit with the data. Statistical learning theory takes this approach by showing how a concept similar to Popper’s notion of degrees of testability is linked to (...) minimizing expected predictive error. In contrast, formal learning theory appeals to Ockham’s razor, which it justifies by reference to the goal of enhancing efficient convergence to the truth. In this essay, I show that, despite their differences, statistical and formal learning theory yield precisely the same result for a class of inductive problems that I call strongly VC ordered , of which Goodman’s riddle is just one example. (shrink)

Richard Boyd and Nicholas Sturgeon develop distinctive naturalistic arguments for scientific realism and moral realism. Each defends a realist position by an inference to the best explanation. In this paper, I suggest that these arguments for realism should be reformulated, with the law of likelihood replacing inference to the best explanation. The resulting arguments for realism do not work.

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

Good chefs know the importance of maintaining sharp knives in the kitchen. What’s their secret? A well-worn Taoist allegory offers some advice. The king asks about his butcher’s impressive knifework. “Ordinary butchers,” he replied “hack their way through the animal. Thus their knife always needs sharpening. My father taught me the Taoist way. I merely lay the knife by the natural openings and let it find its own way through. Thus it never needs sharpening” (Kahn 1995, vii; see also Watson (...) 2003, 46). Plato famously employed this image as an analogy for the reality of his Forms (Phaedrus, 265e). Just like an animal, the world comes pre-divided for us. Ideally, our best theories will be those which “carve nature at its joints”. While Plato employed the “carving” metaphor to convey his views about the reality of his celebrated Forms, its most common contemporary use involves the success of science -- particularly, its success in identifying distinct kinds of things. Scientists often report discovering new kinds of things -- a new species of mammal or novel kind of fundamental particle, for example -- or uncovering more information about already familiar kinds. Moreover, we often notice considerable overlap in different approaches to classification. As Ernst Mayr put it: No naturalist would question the reality of the species he may find in his garden, whether it is a catbird, chickadee, robin, or starling. And the same is true for trees or flowering plants. Species at a given locality are almost invariably separated from each other by a distinct gap. Nothing convinced me so fully of the reality of species as the observation . . . that the Stone Age natives in the mountains of New Guinea recognize as species exactly the same entities of nature as a western scientist. (Mayr 1987, 146) Such agreement is certainly suggestive. It suggests that taxonomies are discoveries rather than mere inventions. Couple this with their utility in scientific inference and explanation and we have compelling reason for accepting the objective, independent reality of many different natural kinds of things.. (shrink)

In this two-parts paper we present paranormal modal logic: a modal logic which is both paraconsistent and paracomplete. Besides using a general framework in which a wide range of logics  including normal modal logics, paranormal modal logics and classical logic can be defined and proving some key theorems about paranormal modal logic (including that it is inferentially equivalent to classical normal modal logic), we also provide a philosophical justification for the view that paranormal modal logic is a formalization of (...) the notions of skeptical and credulous plausibility. (shrink)

My purpose in this paper is to clarify or explicate the concept of theodicy. More specifically, I shall provide an account of the concept that takes its logical aspects seriously into consideration as well as satisfies the basic intuitions philosophers of religions have had about it. This shall be done by systematically analysing the several theodical conditions found in the literature. As it shall be seen, these conditions are logically related to one another; collectively, they point not to one, but (...) to several concepts of theodicy. Thus, as by-product of this explicatory endeavour, I shall provide a logically guided, I may say, analysis of such conditions as well as a systematization of the theodical concepts arising from them. I shall follow what might be termed a semiformal approach; despite not developing a full logical theory, I use the standard notation and some important results from the field of formal logic. (shrink)

Our purpose in this paper is to contribute to the project of meta-theodicy, understood here as the elucidation of the concept of theodicy through the analysis of its adequacy. In our case, the analysis shall be made inside a framework including a taxonomical view of the theodical adequacy conditions which allows for a rigorously acceptable description of them as well as for a natural appraisal of the role, importance and intra-logical relations holding between them. The result of the analysis shall (...) be used to introduce definitions minimally precise of the notions of theodicy, satisfactory theodicy, plausible theodicy, ideal theodicy, and the like. (shrink)

Social scientists often draw on a variety of evidence for their causal inferences. There is also a call to use a greater variety of evidence in social science research. This topical collection examines the philosophical foundations and implications of evidential diversity in the social sciences. It assesses the application of Evidential Pluralism in the context of the social sciences, especially its application to economics and political science. It also discusses the concept of causation in cognitive science and the implications of (...) evidential diversity for the social sciences. (shrink)

There are two important traditions in the philosophy of induction. According to one tradition, which has dominated for the last couple of centuries, inductive arguments are warranted by rules. Bayesianism is the most popular view within this tradition. Rules of induction provide functional accounts of inductive support, but no rule is universal; hence, no rule is by itself an accurate model of inductive support. According to another tradition, inductive arguments are not warranted by rules but by matters of fact. Norton’s (...) material theory of induction (MTI) is an influential view within this tradition. Norton’s MTI fails to provide an account of inductive support, but it provides a good account of inductive warrant that can help us define the domain of validity of each rule of induction. Despite their limitations, both approaches to induction are illuminating important aspects of how relations of inductive support work. In this article I present a hybrid theory of induction (HTI), in which I acknowledge and articulate the role of both rules and matters of fact in our understanding of inductive support. According to the HTI, rules of induction accurately describe relations of inductive support when they are warranted, and a rule of induction is warranted if the right facts about the matter of the induction obtain. Crucially, the HTI allows us to address the main challenges that each tradition faces while retaining their strengths, thus obtaining a functional and accurate account of inductive support. The HTI also provides a useful general framework to examine and understand induction, to make sense of how different rules of induction can coexist and to tackle some problems in epistemology. Moreover, the HTI allows us to clarify and resolve some current debates on induction, like the apparent divide between Norton and rule-based theorists. (shrink)

According to Hempel’s raven paradox, the observation of one non-black non-raven confirms the hypothesis that all ravens are black. Bayesians such as Howson and Urbach (Scientific reasoning: the Bayesian approach, 2nd edn. Open Court, Chicago, 1993 ) claim that the raven paradox can be solved by spelling out the concept of confirmation in the sense of the relevance criterion. Siebel (J Gen Philos Sci 35:313–329, 2004 ) disputes the adequacy of this Bayesian solution. He claims that spelling out the concept (...) of confirmation in the relevance sense lets the raven paradox reappear as soon as numerous non-black non-ravens are observed. It is shown in this paper that Siebel’s objection to the Bayesian solution is flawed. Nevertheless, the objection made by Siebel may give us an idea of how Bayesians can successfully handle situations in which we observe more than one non-black non-raven. (shrink)

In recent years, permissivism—the claim that a body of evidence can rationalize more than one response—has enjoyed somewhat of a revival. But it is once again being threatened, this time by a host of new and interesting arguments that, at their core, are challenging the permissivist to explain why rationality matters. A version of the challenge that I am especially interested in is this: if permissivism is true, why should we expect the rational credences to be more accurate than the (...) irrational ones? My aim is to turn this challenge on its head and argue that, actually, those who deny permissivism will have a harder time responding to such a challenge than those who accept it. (shrink)

Extant literature on Goodman’s ‘New Riddle of Induction’ deals mainly with two versions. I consider both of them, starting from the (‘epistemic’) version of Goodman’s classic of 1954. It turns out that it belongs to the realm of applications of inductive logic, and that it can be resolved by admitting only significant evidence (as I call it) for confirmations of hypotheses. Sect. 1 prepares some ground for the argument. As much of it depends on the notion of evidential significance, this (...) concept is defined and its introduction motivated. Further, I introduce and explain the distinction between support and confirmation: put in a slogan, ‘confirmation is support by significant evidence’. The second section deals with the Riddle itself. I demonstrate that, given the provisions of the first section, not ‘anything confirms anything’: significant green-evidence confirms only green-hypotheses (and no grue-hypotheses), and significant grue-evidence confirms only grue-hypotheses (and no green-hypotheses), whichever terms we use for expressing these evidences or hypotheses. The third section rounds off my treatment. First I show that Frank Jackson’s use of his counterfactual condition is unsuccessful. Further, I argue that no unwanted consequences result, if one starts from the other, ‘objective’, definition of ‘grue’, as it constitutes no more than a mere fact of logic that cannot do any harm. Finally, I present a grue-case involving both kinds of definition, where the exclusive confirmation of either the green- or the grue-hypothesis is shown. (shrink)