Unmanaged recreation presents a challenge to both researchers and managers of outdoor recreation in the United States because it is shrouded in uncertainty resulting from disagreement over the definition of the problem, the strategies for resolving the problem, and the outcomes of management. Incomplete knowledge about recreation visitors’ values and relationships with one another, other stakeholders, and the land further complicate the problem. Uncertainty and social complexity make the unmanaged recreation issue a wicked problem. We describe the wickedness inherent in (...) unmanaged recreation and some of the implications of wickedness for addressing the problem for the Front Range of the Rocky Mountains in Colorado. Conclusions about the nature of the problem are based on a problem appraisal that included a literature review and interviews of key informants. Addressing wickedness calls for institutional changes that allow for and reward the use of trust building, inclusive communication, and genuinely collaborative processes. (shrink)

Probabilistic support is not transitive. There are cases in which x probabilistically supports y , i.e., Pr( y | x ) > Pr( y ), y , in turn, probabilistically supports z , and yet it is not the case that x probabilistically supports z . Tomoji Shogenji, though, establishes a condition for transitivity in probabilistic support, that is, a condition such that, for any x , y , and z , if Pr( y | x ) > Pr( y (...) ), Pr( z | y ) > Pr( z ), and the condition in question is satisfied, then Pr( z | x ) > Pr( z ). I argue for a second and weaker condition for transitivity in probabilistic support. This condition, or the principle involving it, makes it easier (than does the condition Shogenji provides) to establish claims of probabilistic support, and has the potential to play an important role in at least some areas of philosophy. (shrink)

It is standard practice, when distinguishing between the foundationalist and the coherentist, to construe the coherentist as an internalist. The coherentist, the construal goes, says that justification is solely a matter of coherence, and that coherence, in turn, is solely a matter of internal relations between beliefs. The coherentist, so construed, is an internalist (in the sense I have in mind) in that the coherentist, so construed, says that whether a belief is justified hinges solely on what the subject is (...) like mentally. I argue that this practice is fundamentally misguided, by arguing that the foundationalism / coherentism debate and the internalism / externalism debate are about two very different things, so that there is nothing, qua coherentist, precluding the coherentist from siding with the externalist. I then argue that this spells trouble for two of the three most pressing and widely known objections to coherentism: the Alternative-Systems Objection and the Isolation Objection. (shrink)

Andrew Cling presents a new version of the epistemic regress problem, and argues that intuitionist foundationalism, social contextualism, holistic coherentism, and infinitism fail to solve it. Cling’s discussion is quite instructive, and deserving of careful consideration. But, I argue, Cling’s discussion is not in all respects decisive. I argue that Cling’s dilemma argument against holistic coherentism fails.

Coherentists on epistemic justification claim that all justification is inferential, and that beliefs, when justified, get their justification together (not in isolation) as members of a coherent belief system. Some recent work in formal epistemology shows that “individual credibility” is needed for “witness agreement” to increase the probability of truth and generate a high probability of truth. It can seem that, from this result in formal epistemology, it follows that coherentist justification is not truth-conducive, that it is not the case (...) that, under the requisite conditions, coherentist justification increases the probability of truth and generates a high probability of truth. I argue that this does not follow. (shrink)

We argue elsewhere that explanatoriness is evidentially irrelevant . Let H be some hypothesis, O some observation, and E the proposition that H would explain O if H and O were true. Then O screens-off E from H: Pr = Pr. This thesis, hereafter “SOT” , is defended by appeal to a representative case. The case concerns smoking and lung cancer. McCain and Poston grant that SOT holds in cases, like our case concerning smoking and lung cancer, that involve frequency (...) data. However, McCain and Poston contend that there is a wider sense of evidential relevance—wider than the sense at play in SOT—on which explanatoriness is evidentially relevant even in cases involving frequency data. This is their main point, but they also contend that SOT does not hold in certain cases not involving frequency data. We reply to each of these points and conclude with some general remarks on screening-off as a test of evidential relevance. (shrink)

We argued that explanatoriness is evidentially irrelevant in the following sense: Let H be a hypothesis, O an observation, and E the proposition that H would explain O if H and O were true. Then our claim is that Pr = Pr. We defended this screening-off thesis by discussing an example concerning smoking and cancer. Climenhaga argues that SOT is mistaken because it delivers the wrong verdict about a slightly different smoking-and-cancer case. He also considers a variant of SOT, called (...) “SOT*”, and contends that it too gives the wrong result. We here reply to Climenhaga’s arguments and suggest that SOT provides a criticism of the widely held theory of inference called “inference to the best explanation”. (shrink)

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.

There are numerous (Bayesian) confirmation measures in the literature. Festa provides a formal characterization of a certain class of such measures. He calls the members of this class “incremental measures”. Festa then introduces six rather interesting properties called “Matthew properties” and puts forward two theses, hereafter “T1” and “T2”, concerning which of the various extant incremental measures have which of the various Matthew properties. Festa’s discussion is potentially helpful with the problem of measure sensitivity. I argue, that, while Festa’s discussion (...) is illuminating on the whole and worthy of careful study, T1 and T2 are strictly speaking incorrect (though on the right track) and should be rejected in favor of two similar but distinct theses. (shrink)

There is a plethora of confirmation measures in the literature. Zalabardo considers four such measures: PD, PR, LD, and LR. He argues for LR and against each of PD, PR, and LD. First, he argues that PR is the better of the two probability measures. Next, he argues that LR is the better of the two likelihood measures. Finally, he argues that LR is superior to PR. I set aside LD and focus on the trio of PD, PR, and LR. (...) The question I address is whether Zalabardo succeeds in showing that LR is superior to each of PD and PR. I argue that the answer is negative. I also argue, though, that measures such as PD and PR, on one hand, and measures such as LR, on the other hand, are naturally understood as explications of distinct senses of confirmation. (shrink)

I develop a probabilistic account of coherence, and argue that at least in certain respects it is preferable to (at least some of) the main extant probabilistic accounts of coherence: (i) Igor Douven and Wouter Meijs’s account, (ii) Branden Fitelson’s account, (iii) Erik Olsson’s account, and (iv) Tomoji Shogenji’s account. Further, I relate the account to an important, but little discussed, problem for standard varieties of coherentism, viz., the “Problem of Justified Inconsistent Beliefs.”.

According to Michael Friedman’s theory of explanation, a law X explains laws Y1, Y2, …, Yn precisely when X unifies the Y’s, where unification is understood in terms of reducing the number of independently acceptable laws. Philip Kitcher criticized Friedman’s theory but did not analyze the concept of independent acceptability. Here we show that Kitcher’s objection can be met by modifying an element in Friedman’s account. In addition, we argue that there are serious objections to the use that Friedman makes (...) of the concept of independent acceptability. (shrink)

A common way of testing the inner sense theory of introspection exploits the possibility of damage to inner sense. Such damage is expected to lead to first-personal deficits/impairments of one kind or another. I raise various problems for this way of testing the theory. The main difficulty, I argue, stems from the existence of the method subserving confabulation.

In the world of philosophy of science, the dominant theory of confirmation is Bayesian. In the wider philosophical world, the idea of inference to the best explanation exerts a considerable influence. Here we place the two worlds in collision, using Bayesian confirmation theory to argue that explanatoriness is evidentially irrelevant.

We show that as a chain of confirmation becomes longer, confirmation dwindles under screening-off. For example, if E confirms H1, H1 confirms H2, and H1 screens off E from H2, then the degree to which E confirms H2 is less than the degree to which E confirms H1. Although there are many measures of confirmation, our result holds on any measure that satisfies the Weak Law of Likelihood. We apply our result to testimony cases, relate it to the Data-Processing Inequality (...) in information theory, and extend it in two respects so that it covers a broader range of cases. (shrink)

Anydomainofscientificresearchhasitssustainingorthodoxy. Thatis, research on a problem, whether in astronomy, physics, or biology, is con- ducted against a backdrop of broadly shared assumptions. It is these as- sumptionsthatguideinquiryandprovidethecanonofwhatisreasonable-- of what "makes sense." And it is these shared assumptions that constitute a framework for the interpretation of research results. Research on the problem of how we see is likewise sustained by broadly shared assump- tions, where the current orthodoxy embraces the very general idea that the business of the visual system is to (...) create a detailed replica of the visual world, and that it accomplishes its business via hierarchical organization and by operatingessentiallyindependently of other sensorymodalitiesas well as independently of previous learning, goals, motor planning, and motor execution. (shrink)

Bayesian confirmation theory is rife with confirmation measures. Zalabardo focuses on the probability difference measure, the probability ratio measure, the likelihood difference measure, and the likelihood ratio measure. He argues that the likelihood ratio measure is adequate, but each of the other three measures is not. He argues for this by setting out three adequacy conditions on confirmation measures and arguing in effect that all of them are met by the likelihood ratio measure but not by any of the other (...) three measures. Glass and McCartney, hereafter “G&M,” accept the conclusion of Zalabardo’s argument along with each of the premises in it. They nonetheless try to improve on Zalabardo’s argument by replacing his third adequacy condition with a weaker condition. They do this because of a worry to the effect that Zalabardo’s third adequacy condition runs counter to the idea behind his first adequacy condition. G&M have in mind confirmation in the sense of increase in probability: the degree to which E confirms H is a matter of the degree to which E increases H’s probability. I call this sense of confirmation “IP.” I set out four ways of precisifying IP. I call them “IP1,” “IP2,” “IP3,” and “IP4.” Each of them is based on the assumption that the degree to which E increases H’s probability is a matter of the distance between p and a certain other probability involving H. I then evaluate G&M’s argument in light of them. (shrink)

It is well known that the probabilistic relation of confirmation is not transitive in that even if E confirms H1 and H1 confirms H2, E may not confirm H2. In this paper we distinguish four senses of confirmation and examine additional conditions under which confirmation in different senses becomes transitive. We conduct this examination both in the general case where H1 confirms H2 and in the special case where H1 also logically entails H2. Based on these analyses, we argue that (...) the Screening-Off Condition is the most important condition for transitivity in confirmation because of its generality and ease of application. We illustrate our point with the example of Moore’s “proof” of the existence of a material world, where H1 logically entails H2, the Screening-Off Condition holds, and confirmation in all four senses turns out to be transitive. (shrink)

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (shrink)

An important question in the current debate on the epistemic significance of peer disagreement is whether evidence of evidence is evidence. Fitelson argues that, at least on some renderings of the thesis that evidence of evidence is evidence, there are cases where evidence of evidence is not evidence. I introduce a condition and show that under this condition evidence of evidence is evidence.

Dretske’s theory of self-knowledge is interesting but peculiar and can seem implausible. He denies that we can know by introspection that we have thoughts, feelings, and experiences. But he allows that we can know by introspection what we think, feel, and experience. We consider two puzzles. The first puzzle, PUZZLE 1, is interpretive. Is there a way of understanding Dretske’s theory on which the knowledge affirmed by its positive side is different than the knowledge denied by its negative side? The (...) second puzzle, PUZZLE 2, is substantive. Each of the following theses has some prima facie plausibility: there is introspective knowledge of thoughts, knowledge requires evidence, and there are no experiences of thoughts. It is unclear, though, that these claims form a consistent set. These puzzles are not unrelated. Dretske’s theory of self-knowledge is a potential solution to PUZZLE 2 in that Dretske’s theory is meant to show how,, and can all be true. We provide a solution to PUZZLE 1 by appeal to Dretske’s early work in the philosophy of language on contrastive focus. We then distinguish between “Closure” and “Transmissibility”, and raise and answer a worry to the effect that Dretske’s theory of self-knowledge runs counter to Transmissibility. These results help to secure Dretske’s theory as a viable solution to PUZZLE 2. (shrink)

Igor Douven establishes several new intransitivity results concerning evidential support. I add to Douven’s very instructive discussion by establishing two further intransitivity results and a transitivity result.

Jaegwon Kim’s influential exclusion argument attempts to demonstrate the inconsistency of nonreductive materialism in the philosophy of mind. Kim’s argument begins by showing that the three main theses of nonreductive materialism, plus two additional considerations, lead to a specific and familiar picture of mental causation. The exclusion argument can succeed only if, as Kim claims, this picture is not one of genuine causal overdetermination. Accordingly, one can resist Kim’s conclusion by denying this claim, maintaining instead that the effects of the (...) mental are always causally overdetermined. I call this strategy the ‘ overdetermination challenge’. One of the main aims of this paper is to show that the overdetermination challenge is the most appropriate response to Kim’s exclusion argument, at least in its latest form. I argue that Kim fails to adequately respond to the overdetermination challenge, thus failing to prevent his opponents from reasonably maintaining that the effects of the mental are always causally overdetermined. Interestingly, this discussion reveals a curious dialectical feature of Kim’s latest response to the overdetermination challenge: if it succeeds, then a new, simpler and more compact version of the exclusion argument is available. While I argue against the consequent of this conditional, thereby also rejecting the antecedent, this dialectical feature should be of interest to philosophers on either side of this debate. (shrink)

All extant purely probabilistic measures of explanatory power satisfy the following technical condition: if Pr(E | H1) > Pr(E | H2) and Pr(E | ∼H1) < Pr(E | ∼H2), then H1’s explanatory power with respect to E is greater than H2’s explanatory power with respect to E. We argue that any measure satisfying this condition faces three serious problems—the Problem of Temporal Shallowness, the Problem of Negative Causal Interactions, and the Problem of Nonexplanations. We further argue that many such measures (...) face a fourth problem—the Problem of Explanatory Irrelevance. (shrink)

Bayesian confirmation theory is rife with confirmation measures. Many of them differ from each other in important respects. It turns out, though, that all the standard confirmation measures in the literature run counter to the so-called “Reverse Matthew Effect” (“RME” for short). Suppose, to illustrate, that H1 and H2 are equally successful in predicting E in that p(E | H1)/p(E) = p(E | H2)/p(E) > 1. Suppose, further, that initially H1 is less probable than H2 in that p(H1) < p(H2). (...) Then by RME it follows that the degree to which E confirms H1 is greater than the degree to which it confirms H2. But by all the standard confirmation measures in the literature, in contrast, it follows that the degree to which E confirms H1 is less than or equal to the degree to which it confirms H2. It might seem, then, that RME should be rejected as implausible. Festa (2012), however, argues that there are scientific contexts in which RME holds. If Festa’s argument is sound, it follows that there are scientific contexts in which none of the standard confirmation measures in the literature is adequate. Festa’s argument is thus interesting, important, and deserving of careful examination. I consider five distinct respects in which E can be related to H, use them to construct five distinct ways of understanding confirmation measures, which I call “Increase in Probability”, “Partial Dependence”, “Partial Entailment”, “Partial Discrimination”, and “Popper Corroboration”, and argue that each such way runs counter to RME. The result is that it is not at all clear that there is a place in Bayesian confirmation theory for RME. (shrink)

Can a perceptual experience justify (epistemically) a belief? More generally, can a nonbelief justify a belief? Coherentists answer in the negative: Only a belief can justify a belief. A perceptual experience can cause a belief but cannot justify a belief. Coherentists eschew all noninferential justification—justification independent of evidential support from beliefs—and, with it, the idea that justification has a foundation. Instead, justification is holistic in structure. Beliefs are justified together, not in isolation, as members of a coherent belief system. The (...) main question of the paper is whether coherentism is consistent. I set out an apparent inconsistency in coherentism and then give a resolution to that apparent inconsistency. (shrink)

Recently there have been several attempts in formal epistemology to develop an adequate probabilistic measure of coherence. There is much to recommend probabilistic measures of coherence. They are quantitative and render formally precise a notion—coherence—notorious for its elusiveness. Further, some of them do very well, intuitively, on a variety of test cases. Siebel, however, argues that there can be no adequate probabilistic measure of coherence. Take some set of propositions A, some probabilistic measure of coherence, and a probability distribution such (...) that all the probabilities on which A’s degree of coherence depends (according to the measure in question) are defined. Then, the argument goes, the degree to which A is coherent depends solely on the details of the distribution in question and not at all on the explanatory relations, if any, standing between the propositions in A. This is problematic, the argument continues, because, first, explanation matters for coherence, and, second, explanation cannot be adequately captured solely in terms of probability. We argue that Siebel’s argument falls short. (shrink)

Is there some general reason to expect organisms that have beliefs to have false beliefs? And after you observe that an organism occasionally occupies a given neural state that you think encodes a perceptual belief, how do you evaluate hypotheses about the semantic content that that state has, where some of those hypotheses attribute beliefs that are sometimes false while others attribute beliefs that are always true? To address the first of these questions, we discuss evolution by natural selection and (...) show how organisms that are risk-prone in the beliefs they form can be fitter than organisms that are risk-free. To address the second question, we discuss a problem that is widely recognized in statistics – the problem of over-fitting – and one influential device for addressing that problem, the Akaike Information Criterion (AIC). We then use AIC to solve epistemological versions of the disjunction and distality problems, which are two key problems concerning what it is for a belief state to have one semantic content rather than another. (shrink)

There are many scientific and everyday cases where each of Pr and Pr is high and it seems that Pr is high. But high probability is not transitive and so it might be in such cases that each of Pr and Pr is high and in fact Pr is not high. There is no issue in the special case where the following condition, which I call “C1”, holds: H 1 entails H 2. This condition is sufficient for transitivity in high (...) probability. But many of the scientific and everyday cases referred to above are cases where it is not the case that H 1 entails H 2. I consider whether there are additional conditions sufficient for transitivity in high probability. I consider three candidate conditions. I call them “C2”, “C3”, and “C2&3”. I argue that C2&3, but neither C2 nor C3, is sufficient for transitivity in high probability. I then set out some further results and relate the discussion to the Bayesian requirement of coherence. (shrink)

Malcolm’s English-Latin Leviathan is a marvelous technical accomplishment. My issues are with his contextualization, seeing Leviathan primarily as an advice book for Hobbes’s teenage pupil, the future Charles II. Malcolm’s localization involves minimalizing Leviathan's remoter sources, so the European Republic of Letters, for which Hobbes so painstakingly translated his works into Latin, is almost entirely missing, along with current European traditions of Hobbes scholarship. Is this very British Hobbes truly credible, or do we need a more European Hobbes to account (...) for the complexity of Leviathan? (shrink)

We seem to enjoy a special kind of access to our beliefs. We seem able to know about them via a distinctively first-personal method, and such knowledge seems epistemically superior to any knowledge that others might attain of our beliefs. This paper defends a novel account of this access. The account is extrospective in that it explains this access in terms of our ability to think about the (non-mental) world. Moreover, it does not require the contentious claim that judging that (...) p suffices for coming to believe that p. This is a significant strength of the account. (shrink)

Physicalism is the view, roughly, that everything is physical. This thesis is often characterized in terms of a particular supervenience thesis. Central to this thesis is the idea of physical duplication. I argue that the standard way of understanding physical duplication leads—along with other claims—to a sub-optimal consequence for the physicalist. I block this consequence by shifting to an alternative sense of physical duplication. I then argue that physicalism is best characterized by a supervenience thesis that employs both the new (...) sense of physical duplication and a new class of possible worlds. (shrink)

This dissertation seeks to examine the validity of the justification commonly offered for a coercive(1) psychiatric intervention, namely that the intervention was in the ‘best interests’ of the subject and/or that the subject posed a danger to others. As a first step,it was decided to analyse justifications based on ‘best interests’ [the ‘Stage 1’ argument] separately from those based on dangerousness [the ‘Stage 2’ argument]. Justifications based on both were the focus of the ‘Stage 3’ argument. Legal and philosophical analyses (...) of coercive psychiatric interventions generally regard such interventions as embodying a benign paternalism occasioning slight, if any, ethical concern. Whilst there are some dissenting voices even at the very heart of academic and professional psychiatry, the majority of psychiatrists also appear to share such views. The aim of this dissertation is to show that such a perspective is mistaken and that such interventions raise philosophical and ethical questions of the profoundest importance.(2) The philosophical well-spring of the Stage 1 dissertation argument lay in an observation made by Philippa Foot (3) that the “… right to be let free from unwanted interference” is one of the most fundamental and distinctive rights of persons, a right which takes precedence over any “… action we would dearly like to take for his sake.” This – in conjunction with the recognition that some coercive psychiatric interventions are of a gravity as to result in the personhood of the subject being severely damaged if not destroyed – suggested that the concept of personhood play a central role in the formulation of the dissertation argument. For ease of analysis it was presumed that the term ‘person’ could be defined by a set of necessary and sufficient conditions of which ‘minimum levels of rationality’ and ‘ability to communicate’ were the only conditions relevant to the formulation of justifications for coercive psychiatric interventions. This presumption was explicated into a number of postulates which enabled the construction of a rigorous foundation on which to develop the dissertation argument. This argument then sought to determine whether psychiatric assessments of irrationality were accurate and reliable. In furtherance of this analysis it was necessary to examine the reliability of psychiatric determinations in other areas of claimed expertise namely diagnosis, treatment and assessment of dangerousness. This ‘crossing of the disciplinary threshold’ brought to light the dearth of studies on psychiatric misdiagnosis and iatrogenic harm. A variant of the Precautionary Principle was developed to enable the extent of such harms to be estimated. The not insignificant levels of psychiatric misdiagnosis and iatrogenic harm and erroneous assessments of dangerousness which were thus found are of considerable relevance to any ethical analysis of the justification for coercive psychiatric intervention and serve to undermine simple paternalistic justifications. ---- (1)The term ‘coercive’ (rather than ‘non-consensual’) is used to indicate an intervention carried out against the explicit and contemporaneous objections of the subject (2)Not least because the number of individuals detained in Irish psychiatric hospitals is of a comparable order of magnitude to the number detained in Irish prisons subsequent to a criminal conviction. (3) See Foot (1977), p.102. (shrink)

This paper brings new work to bear on the perennial question about Hobbes's atheism to show that as a debate about scepticism it is falsely framed. Hobbes, like fellow members of the Mersenne circle, Descartes and Gassendi, was no sceptic, but rather concerned to rescue physics and metaphysics from radical scepticism by exploring corporealism. In his early letter of November 1640, Hobbes had issued a provocative challenge to Descartes to abandon metaphysical dualism and subscribe to a ?corporeal God?; a provocation (...) to which the Frenchman angrily responded, but was perhaps importantly influenced. Hobbes's minimal realism was consonant with atheism, to which Descartes felt he was being forced. Moreover, Hobbes was unrelenting in his battle against Cartesian dualism, for which he saw Robert Boyle's experimental science as a surrogate. (shrink)

Povinelli’s Problem is a well-known methodological problem confronting those researching nonhuman primate cognition. In this paper I add a new wrinkle to this problem. The wrinkle concerns introspection, i.e., the ability to detect one’s own mental states. I argue that introspection either creates a new obstacle to solving Povinelli’s Problem, or creates a slightly different, but closely related, problem. I apply these arguments to Robert Lurz and Carla Krachun’s (Review of Philosophy and Psychology 2: 449–481, 2011) recent attempt at solving (...) Povinelli’s Problem. (shrink)

The transparency approach to introspection has received much attention over the last few decades. It is inspired by some wellknown remarks from Gareth Evans (1982). Although this approach can seem quite plausible as applied to belief (and perhaps perception), philosophers tend to be sceptical that it can succeed for other mental kinds. This paper focuses on desire. It lays out in detail a transparency theory of desire introspection and addresses various concerns and objections to such a theory. The paper takes (...) as its launching point Alex Byrne's (2018) influential work on transparency. (shrink)

A book review of 'Feeling Extended: Sociality as Extended Body-Becoming-Mind' by Douglas Robinson.

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This article proposes a new interpretation of mutual information. We examine three extant interpretations of MI by reduction in doubt, by reduction in uncertainty, and by divergence. We argue that the first two are inconsistent with the epistemic value of information assumed in many applications of MI: the greater is the amount of information we acquire, the better is our epistemic position, other things being equal. The third interpretation is consistent with EVI, but it is faced with the problem of (...) measure sensitivity and fails to justify the use of MI in giving definitive answers to questions of information. We propose a fourth interpretation of MI by reduction in expected inaccuracy, where inaccuracy is measured by a strictly proper monotonic scoring rule. It is shown that the answers to questions of information given by MI are definitive whenever this interpretation is appropriate, and that it is appropriate in a wide range of applications with epistemic implications. _1_ Introduction _2_ Formal Analyses of the Three Interpretations _2.1_ Reduction in doubt _2.2_ Reduction in uncertainty _2.3_ Divergence _3_ Inconsistency with Epistemic Value of Information _4_ Problem of Measure Sensitivity _5_ Reduction in Expected Inaccuracy _6_ Resolution of the Problem of Measure Sensitivity _6.1_ Alternative measures of inaccuracy _6.2_ Resolution by strict propriety _6.3_ Range of applications _7_ Global Scoring Rules _8_ Conclusion. (shrink)

This paper analyzes a non-temporal interpretation of the adverb sempre “always” in European Portuguese and Italian, in which the adverb expresses persistence of the truth of a proposition over time and displays specific contextual constraints (TP-sempre). Despite an overlap in the contexts in which TP-sempre may occur in both languages, we provide data showing that its distribution is not exactly the same in European Portuguese and Italian. In view of these data, we propose that TP-sempre is a modal operator of (...) confirmation in both languages, but that it is more restricted in Italian in that it has a plan presupposition only in this language. (shrink)

Buddhist philosophy asserts that human suffering is caused by ignorance regarding the true nature of reality. According to this, perceptions and thoughts are largely fabrications of our own minds, based on conditioned tendencies which often involve problematic fears, aversions, compulsions, etc. In Buddhist psychology, these tendencies reside in a portion of mind known as Store consciousness. Here, I suggest a correspondence between this Buddhist Store consciousness and the neuroscientific idea of stored synaptic weights. These weights are strong synaptic connections built (...) in through experience. Buddhist philosophy claims that humans can find relief from suffering through a process in which the Store consciousness is transformed. Here, I argue that this Buddhist 'transformation at the base' corresponds to a loosening of the learned synaptic connections. I will argue that Buddhist meditation practices create conditions in the brain which are optimal for diminishing the strength of our conditioned perceptual and behavioural tendencies. (shrink)

Dretske is a “conciliatory skeptic” on self-knowledge. Take some subject S such that S thinks that P and S knows that she has thoughts. Dretske’s theory can be put as follows: S has a privileged way of knowing what she thinks, but she has no privileged way of knowing that she thinks it. There is much to be said on behalf of conciliatory skepticism and Dretske’s defense of it. We aim to show, however, that Dretske’s defense fails, in that if (...) his defense of CS’s skeptical half succeeds, then his defense of CS’s conciliatory half fails. We then suggest a potential way forward. We suggest in particular that the correct way of being a Dretskean conciliatory skeptic is to deny that S has a privileged way of knowing about her thoughts, but to grant that she is nonetheless an authority on her thoughts. (shrink)

Ted Poston's book Reason and Explanation: A Defense of Explanatory Coherentism is a book worthy of careful study. Poston develops and defends an explanationist theory of (epistemic) justification on which justification is a matter of explanatory coherence which in turn is a matter of conservativeness, explanatory power, and simplicity. He argues that his theory is consistent with Bayesianism. He argues, moreover, that his theory is needed as a supplement to Bayesianism. There are seven chapters. I provide a chapter-by-chapter summary along (...) with some substantive concerns. (shrink)

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

Is evidential support transitive? The answer is negative when evidential support is understood as confirmation so that X evidentially supports Y if and only if p(Y | X) > p(Y). I call evidential support so understood “support” (for short) and set out three alternative ways of understanding evidential support: support-t (support plus a sufficiently high probability), support-t* (support plus a substantial degree of support), and support-tt* (support plus both a sufficiently high probability and a substantial degree of support). I also (...) set out two screening-off conditions (under which support is transitive): SOC1 and SOC2. It has already been shown that support-t is non-transitive in the general case (where it is not required that SOC1 holds and it is not required that SOC2 holds), in the special case where SOC1 holds, and in the special case where SOC2 holds. I introduce two rather weak adequacy conditions on support measures and argue that on any support measure meeting those conditions it follows that neither support-t* nor support-tt* is transitive in the general case, in the special case where SOC1 holds, or in the special case where SOC2 holds. I then relate some of the results to Douven’s evidential support theory of conditionals along with a few rival theories. (shrink)

It is widely thought in philosophy and elsewhere that parsimony is a theoretical virtue in that if T1 is more parsimonious than T2, then T1 is preferable to T2, other things being equal. This thesis admits of many distinct precisifications. I focus on a relatively weak precisification on which preferability is a matter of probability, and argue that it is false. This is problematic for various alternative precisifications, and even for Inference to the Best Explanation as standardly understood.

The disjunction problem and the distality problem each presents a challenge that any theory of mental content must address. Here we consider their bearing on purely probabilistic causal theories. In addition to considering these problems separately, we consider a third challenge—that a theory must solve both. We call this “the hard problem.” We consider 8 basic ppc theories along with 240 hybrids of them, and show that some can handle the disjunction problem and some can handle the distality problem, but (...) none can handle the hard problem. This is our main result. We then discuss three possible responses to that result, and argue that though the first two fail, the third has some promise. (shrink)

Some recent work in formal epistemology shows that “witness agreement” by itself implies neither an increase in the probability of truth nor a high probability of truth—the witnesses need to have some “individual credibility.” It can seem that, from this formal epistemological result, it follows that coherentist justification (i.e., doxastic coherence) is not truth-conducive. I argue that this does not follow. Central to my argument is the thesis that, though coherentists deny that there can be noninferential justification, coherentists do not (...) deny that there can be individual credibility. (shrink)

Schwarz pursues a primordial theme by Freudian means, extrapolating from the psychogenesis of a person to the psychogenesis of a nation. He thus associates monarchy with culture in its infancy, displaying infantile narcisism and meglomania. But as perhaps the best worst case, Pharaonic Egypt, demonstrates, meglomania and narcissism expresssed in colossi, grandiose claims of the king that would shame even the gods, are more likely a sign of weakness than strength. And classical republicanism continues to maintain a monarchical element, now (...) transferred to presidents. (shrink)