You may think the following proposals are thought experiments that's fine, as such they still make the point in question. I happen to think of them as real, highly desirable, possibilities for the foreseeable future. For me they are a solution to the annoying certainty that we will be overtaken in every area by future superintelligent machines, and will be excluded from all the really interesting developments unless we keep up, personally and intimately, with the technologies of thought. That these (...) ideas raise and clarify some interesting metaphysical questions is a bonus. (shrink)

Ethics consultation has become an integral part of the fabric of U.S. health care delivery. This article summarizes the second edition of the Core Competencies for Health Care Ethics Consultation report of the American Society for Bioethics and Humanities. The core knowledge and skills competencies identified in the first edition of Core Competencies have been adopted by various ethics consultation services and education programs, providing evidence of their endorsement as health care ethics consultation (HCEC) standards. This revised report was prompted (...) by thinking in the field that has evolved since the original report. Patients, family members, and health care providers who encounter ethical questions or concerns that ethics consultants could help address deserve access to efficient, effective, and accountable HCEC services. All individuals providing such services should be held to the standards of competence and quality described in the revised report. (shrink)

The rational status of the Bayesian calculus for revising likelihoods is compromised by the common but still unfamiliar phenomenon of information distortion. This bias is the distortion in the evaluation of a new datum toward favoring the currently preferred option in a decision or judgment. While the Bayesian calculus requires the independent combination of the prior probability and a new datum, information distortion invalidates such independence (because the prior influences the datum). Although widespread, information distortion has not generally been recognized. (...) First, individuals are not aware when they themselves commit this bias. In addition, it is often hidden in more obvious suboptimal phenomena. Finally, the Bayesian calculus is usually explained only with undistortable data like colored balls drawn randomly. Partly because information distortion is unrecognized by the individuals exhibiting it, no way has been devised for eliminating it. Partial reduction is possible in some situation such as presenting all data simultaneously rather than sequentially with revision after each datum. The potential dangers of information distortion are illustrated for three professional revision tasks: forecasting, predicting consumer choices from internet data, and statistical inference from experimental results. The optimality of the Bayesian calculus competes with people’s natural desire that their belief systems remain coherent in the face of new data. Information distortion provides this coherence by biasing those data toward greater agreement with the currently preferred position – but at the cost of Bayesian optimality. (shrink)

The Bayesian model has been used in psychology as the standard reference for the study of probability revision. In the first part of this paper we show that this traditional choice restricts the scope of the experimental investigation of revision to a stable universe. This is the case of a situation that, technically, is known as focusing. We argue that it is essential for a better understanding of human probability revision to consider another situation called updating (Katsuno & Mendelzon, (...) 1992), in which the universe is evolving. In that case the structure of the universe has definitely been transformed and the revision message conveys information on the resulting universe. The second part of the paper presents four experiments based on the Monty Hall puzzle that aim to show that updating is a natural frame for individuals to revise their beliefs. (shrink)

Sometimes you are unreliable at fulfilling your doxastic plans: for example, if you plan to be fully confident in all truths, probably you will end up being fully confident in some falsehoods by mistake. In some cases, there is information that plays the classical role of evidence—your beliefs are perfectly discriminating with respect to some possible facts about the world—and there is a standard expected‐accuracy‐based justification for planning to conditionalize on this evidence. This planning‐oriented justification extends to some cases where (...) you do not have transparent evidence, in the sense that your beliefs are not perfectly discriminating with respect to any non‐trivial facts. In other cases, accuracy considerations do not tell you to plan to conditionalize on any information at all, but rather to plan to follow a different updating rule. Even in the absence of evidence, accuracy considerations can guide your doxastic plan. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information (...) you have genuinely learned as time has passed. While the second step resembles traditional procedures of updating by conditionalization, the first is best understood by analogy to traditional models of how agents transmit self-locating opinions through ordinary interpersonal communication. (shrink)

If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study (...) opaque updates using a simple system of dynamic epistemic logic suitably modified for that purpose. The paper highlights the connection between opaque updates and the dynamic-epistemic principles Perfect-Recall and No-Miracles. I argue that opaque updates are central to contemporary discussions in epistemology, in particular to externalist theories of knowledge and to the related problem of epistemic bootstrapping, or easy knowledge. Opaque updates allow us to explicitly investigate a dynamic form of uncertainty, using simple and precise logical tools. (shrink)

Sometimes appearances provide epistemic support that gets undercut later. In an earlier paper I argued that standard Bayesian update rules are at odds with this phenomenon because they are ‘rigid’. Here I generalize and bolster that argument. I first show that the update rules of Dempster–Shafer theory and ranking theory are rigid too, hence also at odds with the defeasibility of appearances. I then rebut three Bayesian attempts to solve the problem. I conclude that defeasible appearances pose a more difficult (...) and pervasive challenge for formal epistemology than is currently thought. 1 The Challenge for Bayesianism1.1 Updating and experience1.2 The problem1.3 Objections2 The Challenge for Dempster–Shafer Theory2.1 Background on Dempster–Shafer theory2.2 The problem for Dempster–Shafer theory3 The Challenge for Ranking Theory4 The Appeal to Metacognition5 The Appeal to Richer Inputs6 The Appeal to a Generic Underminer7 Conclusion. (shrink)

The externalist says that your evidence could fail to tell you what evidence you do or not do have. In that case, it could be rational for you to be uncertain about what your evidence is. This is a kind of uncertainty which orthodox Bayesian epistemology has difficulty modeling. For, if externalism is correct, then the orthodox Bayesian learning norms of conditionalization and reflection are inconsistent with each other. I recommend that an externalist Bayesian reject conditionalization. In its stead, I (...) provide a new theory of rational learning for the externalist. I defend this theory by arguing that its advice will be followed by anyone whose learning dispositions maximize expected accuracy. I then explore some of this theory’s consequences for the rationality of epistemic akrasia, peer disagreement, undercutting defeat, and uncertain evidence. (shrink)

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

This paper presents a review of 100 empirical papers studying corporate codes of ethics in business organizations from the time period mid-2005 until mid-2016, following approximately an 11-year time period after the previous review of the literature. The reviewed papers are broadly categorized as content-oriented, output-oriented, or transformation-oriented. The review sheds light on empirical focus, context, questions addressed, methods, findings and theory. The findings are discussed in terms of the three categories as well as the aggregate, stock of empirical CCE (...) studies in comparison with previous reviews, answering the question “where are we now?” Content and output studies still stand for the majority of the studies, whereas the transformation studies are fewer. Within these areas, two new trends are found to have emerged: discursive analyses and a focus on labor conditions. The review finds that the content of CCEs is still predominantly self-defensive, that CCEs are insufficient in themselves in terms of protecting workers’ rights, that CCEs are likely to encounter tensions when implemented across national and organizational boundaries, and that while perception of CCEs is generally positive, CCEs may lead to both positive and negative outcomes. Based on these findings, potential areas for further exploration in the area of CCE research are suggested. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond (...) those covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

The technique of minimizing information (infomin) has been commonly employed as a general method for both choosing and updating a subjective probability function. We argue that, in a wide class of cases, the use of infomin methods fails to cohere with our standard conception of rational degrees of belief. We introduce the notion of a deceptive updating method and argue that non-deceptiveness is a necessary condition for rational coherence. Infomin has been criticized on the grounds that there are (...) no higher order probabilities that ‘support’ it, but the appeal to higher order probabilities is a substantial assumption that some might reject. Our elementary arguments from deceptiveness do not rely on this assumption. While deceptiveness implies lack of higher order support, the converse does not, in general, hold, which indicates that deceptiveness is a more objectionable property. We offer a new proof of the claim that infomin updating of any strictly-positive prior with respect to conditional-probability constraints is deceptive. In the case of expected-value constraints, infomin updating of the uniform prior is deceptive for some random variables but not for others. We establish both a necessary condition and a sufficient condition (which extends the scope of the phenomenon beyond cases previously considered) for deceptiveness in this setting. Along the way, we clarify the relation which obtains between the strong notion of higher order support, in which the higher order probability is defined over the full space of first order probabilities, and the apparently weaker notion, in which it is defined over some smaller parameter space. We show that under certain natural assumptions, the two are equivalent. Finally, we offer an interpretation of Jaynes, according to which his own appeal to infomin methods avoids the incoherencies discussed in this paper. (shrink)

In this paper, we ask: how should an agent who has incoherent credences update when they learn new evidence? The standard Bayesian answer for coherent agents is that they should conditionalize; however, this updating rule is not defined for incoherent starting credences. We show how one of the main arguments for conditionalization, the Dutch strategy argument, can be extended to devise a target property for updating plans that can apply to them regardless of whether the agent starts out (...) with coherent or incoherent credences. The main idea behind this extension is that the agent should avoid updating plans that increase the possible sure loss from Dutch strategies. This happens to be equivalent to avoiding updating plans that increase incoherence according to a distance-based incoherence measure. (shrink)

We introduce a family of rules for adjusting one's credences in response to learning the credences of others. These rules have a number of desirable features. 1. They yield the posterior credences that would result from updating by standard Bayesian conditionalization on one's peers' reported credences if one's likelihood function takes a particular simple form. 2. In the simplest form, they are symmetric among the agents in the group. 3. They map neatly onto the familiar Condorcet voting results. 4. (...) They preserve shared agreement about independence in a wide range of cases. 5. They commute with conditionalization and with multiple peer updates. Importantly, these rules have a surprising property that we call synergy - peer testimony of credences can provide mutually supporting evidence raising an individual's credence higher than any peer's initial prior report. At first, this may seem to be a strike against them. We argue, however, that synergy is actually a desirable feature and the failure of other updating rules to yield synergy is a strike against them. (shrink)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

The 1-consistency of arithmetic is shown to be equivalent to the existence of fixed points of a certain type of update procedure, which is implicit in the epsilon-substitution method.

Over the past four decades, the paradox of fiction has sparked considerable debate among philosophers. Unfortunately, the most promising solution to this puzzle, thought theory, currently earns its plausibility by way of intuition rather than evidence. I aim to address this by updating thought theory in light of recent empirical findings on affect. I will draw upon a wide range of scientific research—on the cognitive mechanisms driving emotion, the role of affect in counterfactual mind wandering and prospection, and the (...) evolutionary function of affect—to substantiate the claim that fictions can give rise to both real and rational emotional states. (shrink)

We study the Full Bayesian Updating rule for convex capacities. Following a route suggested by Jaffray (IEEE Transactions on Systems, Man and Cybernetics 22(5):1144–1152, 1992), we define some properties one may want to impose on the updating process, and identify the classes of (convex and strictly positive) capacities that satisfy these properties for the Full Bayesian Updating rule. This allows us to characterize two parametric families of convex capacities: ${(\varepsilon,\delta)}$ -contaminations (which were introduced, in a slightly different (...) form, by Huber (Robust Statistics, Wiley, New York, 1981)) and ${\varepsilon}$ -contaminations. (shrink)

In this paper we explore the absentminded driver problem using two different scenarios. In the first scenario we assume that the driver is capable of reasoning about his degree of absentmindedness before he hits the highway. This leads to a Savage-style model where the states are mutually exclusive and the act-state independence is in place. In the second we employ centred possibilities, by modelling the states (i.e. the events about which the driver is uncertain) as the possible final destinations indexed (...) by a time period. The optimal probability we find for continuing at an exit is different from almost all papers in the literature. In this scenario, act-state independence is still violated, but states are mutually exclusive and the driver arrives at his optimal choice probability via Bayesian updating. We show that our solution is the only one guaranteeing immunity from sure loss via a Dutch strategy, and that – despite initial appearances – it is time consistent. This raises important implications for the rationality of commitment in such scenarios. (shrink)

"Novels, movies, and lies - these are all fictions that provoke with their as ifs and what ifs. In response to the idea that fiction has somehow become an unfashionable topic in contemporary criticism, this volume argues that the question of fiction needs to be updated in the absence of a widely accepted theory of truth. This collection, dedicated to the noted scholar and literary critic Lubomir Dolezel, covers an extensive number of theoretical and historical issues relevant to our understanding (...) of the status of fictions - literary or not." "Fiction Updated offers approaches to fiction and poetics that, in an imaginary topography of contemporary humanities, dwell at a distance from both the mimetic theory of literature and deconstruction. The contributors introduce new perspectives to the problem of fictionality, or broaden the scope of its applications, by examining the works of such authors as Homer, Casanova, Aristotle, Woolf, Vaihinger, Borges, Kundera, Coetzee, and Bakhtin."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved. (shrink)

I set out four general facts about things that we can refer to and talk about, whether they exist or not. Then, I set out an argument for the existence of God. Myargument, like Anselm’s original argument, is a reductio ad absurdum: It shows that the assumption that God does not exist leads to a contradiction. Theargument is short and in ordinary language. Each line of the argument, other than the reductio premise, is justified by one of the general facts. (...) Finally, I consider some traditional objections to Anselm’s argument, and show how my updated version avoids them. (shrink)

When an agent undergoes fission, how should the beliefs of the fission results relate to the pre-fission beliefs? This question is important for the Everett interpretation of quantum mechanics, but it is of independent philosophical interest. Among other things, fission scenarios demonstrate that ‘self-locating’ information can affect the probability of uncentred propositions even if an agent has no essentially self-locating uncertainty. I present a general update rule for centred beliefs that gives sensible verdicts in cases of fission, without relying on (...) controversial metaphysical or linguistic assumptions. The rule is supported by the same considerations that support standard conditioning in the traditional framework of uncentred propositions. (shrink)

Jeffrey (1983) proposed a generalization of conditioning as a means of updating probability distributions when new evidence drives no event to certainty. His rule requires the stability of certain conditional probabilities through time. We tested this assumption (“invariance”) from the psychological point of view. In Experiment 1 participants offered probability estimates for events in Jeffrey’s candlelight example. Two further scenarios were investigated in Experiment 2, one in which invariance seems justified, the other in which it does not. Results were (...) in rough conformity to Jeffrey (1983)’s principle. (shrink)

Epistemic modals are a prominent topic in the literature on natural language semantics, with wide-ranging implications for issues in philosophy of language and philosophical logic. Considerations about the role that epistemic "might" and "must" play in discourse and reasoning have led to the development of several important alternatives to classical possible worlds semantics for natural language modal expressions. This is an opinionated overview of what I take to be some of the most exciting issues and developments in the field.

A review of literature published a decade ago noted a significant increase in empirical papers across nine bioethics journals. This study provides an update on the presence of empirical papers in the same nine journals. It first evaluates whether the empirical trend is continuing as noted in the previous study, and second, how it is changing, that is, what are the characteristics of the empirical works published in these nine bioethics journals. A review of the same nine journals was conducted (...) for a 12-year period from 2004 to 2015. Data obtained was analysed descriptively and using a non-parametric Chi-square test. Of the total number of original papers published in the nine bioethics journals, 18.1% collected and analysed empirical data. Journal of Medical Ethics and Nursing Ethics led the empirical publications, accounting for 89.4% of all empirical papers. The former published significantly more quantitative papers than qualitative, whereas the latter published more qualitative papers. Our analysis reveals no significant difference between the proportion of empirical papers published in 2004–2009 and 2010–2015. However, the increasing empirical trend has continued in these journals with the proportion of empirical papers increasing from 14.9% in 2004 to 17.8% in 2015. This study presents the current state of affairs regarding empirical research published nine bioethics journals. In the quarter century of data that is available about the nine bioethics journals studied in two reviews, the proportion of empirical publications continues to increase, signifying a trend towards empirical research in bioethics. The growing volume is mainly attributable to two journals: Journal of Medical Ethics and Nursing Ethics. This descriptive study further maps the still developing field of empirical research in bioethics. Additional studies are needed to completely map the nature and extent of empirical research in bioethics to inform the ongoing debate about the value of empirical research for bioethics. (shrink)

We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing of Arrow Update Logic can be transformed into equivalent belief-changing from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logicrelativized” common knowledge familiar from the Dynamic Epistemic Logic literature.

Accuracy-first epistemology says that the rational update rule is the rule that maximizes expected accuracy. Externalism says, roughly, that we do not always know what our total evidence is. It’s been argued in recent years that the externalist faces a dilemma: Either deny that Bayesian Conditionalization is the rational update rule, thereby rejecting traditional Bayesian epistemology, or else deny that the rational update rule is the rule that maximizes expected accuracy, thereby rejecting the accuracy-first program. Call this the Bayesian Dilemma. (...) Here is roughly how the argument goes. Schoenfield (2017) has shown that following Metaconditionalization maximizes expected accuracy. But if externalism is true, Metaconditionalization is not Bayesian Conditionalization. Therefore, the externalist must choose between the rule that maximizes expected accuracy (Metaconditionalization) and Bayesian Conditionalization. I am not convinced by this argument; once we make the premises fully explicit, we see that it relies on assumptions that the externalist has every reason to reject. Still, I think that the Bayesian Dilemma is a genuine dilemma. I give a new argument—I call it the continuity argument—that doesn’t make any assumptions the externalist rejects. Roughly, I show that if you're sufficiently confident that you will correctly identify your evidence, then you'll expect adopting a rule that I call Accurate Metaconditionalization to be more accurate than adopting Bayesian Conditionalization. (shrink)

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...) on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (shrink)

The purpose of this paper is to introduce a form of update based on the minimization of the geodesic distance on a graph. We provide a characterization of this class using set- theoretic operators and show that such operators bijectively correspond to geodesic metrics. As distance is generated by distinguishability, our framework is appropriate in contexts where distance is generated by threshold, and therefore, when measurement is erroneous.

The discourse on the fundamental issues raised by synthetic biology, such as biosafety and biosecurity, intellectual property, environmental consequences and ethical and societal implications, is still open and controversial. This, coupled with the potential and risks the field holds, makes it one of the hottest topics in technology assessment today. How a new technology is perceived by the public influences the manner in which its products and applications will be received. Therefore, it is important to learn how people perceive synthetic (...) biology. This work gathers, integrates and discusses the results of three studies of public perceptions of synthetic biology: an analysis of existing research on how media portray synthetic biology across 13 European countries and in the USA, the Meeting of Young Minds, a public debate between prospective politicians and synthetic biologists in the Netherlands and the experiences of citizen panels and focus groups in Austria, the UK and the USA. The results show that the media are generally positive in their reports on synthetic biology, rather unbalanced in their view of potential benefits and risks, and also heavily influenced by the sources of the stories, namely scientists and stakeholders. Among the prospective Dutch politicians, there were positive expectations as well as very negative ones. Some of these positions are also shared by participants in public dialogue experiments, such as not only the demand for information, transparency and regulation but also a sense of resignation and ineluctability of scientific and technological progress. (shrink)

Philosophers have recently attempted to justify particular belief revision procedures by arguing that they are the optimal means towards the epistemic end of accurate credences. These attempts, however, presuppose that means should be evaluated according to classical expected utility theory; and there is a long tradition maintaining that expected utility theory is too restrictive as a theory of means–end rationality, ruling out too many natural ways of taking risk into account. In this paper, we investigate what belief-revision procedures are supported (...) by accuracy-theoretic considerations once we depart from expected utility theory to allow agents to be risk-sensitive. We argue that if accuracy-theoretic considerations tell risk-sensitive agents anything about belief-revision, they tell them the same thing they tell risk-neutral agents: they should conditionalize. (shrink)

We relate the theory of presupposition accommodation to a computational framework for reasoning in conversation. We understand presuppositions as private commitments the speaker makes in using an utterance but expects the listener to recognize based on mutual information. On this understanding, the conversation can move forward not just through the positive effects of interlocutors’ utterances but also from the retrospective insight interlocutors gain about one anothers’ mental states from observing what they do. Our title, ENLIGHTENED UPDATE, highlights such cases. Our (...) approach fleshes out two key principles: that interpretation is a form of intention recognition; and that intentions are complex informational structures, which specify commitments to conditions and to outcomes as well as to actions. We present a formalization and implementation of these principles for a simple conversational agent, and draw on this case study to argue that pragmatic reasoning is holistic in character, continuous with common-sense reasoning about collaborative activities, and most effectively characterized by associating specific, reliable interpretive constraints directly with grammatical forms. In showing how to make such claims precise and to develop theories that respect them, we illustrate the general place of computation in the cognitive science of language. (shrink)

Larry Moss and Rohit Parikh used subset semantics to characterize a family of logics for reasoning about knowledge. An important feature of their framework is that subsets always decrease based on the assumption that knowledge always increases. We drop this assumption and modify the semantics to account for logics of knowledge that handle arbitrary changes, that is, changes that do not necessarily result in knowledge increase, such as the update of our knowledge due to an action. We present a system (...) which is complete for subset spaces and prove its decidability. (shrink)

The ease with which genotyping technologies generate tremendous amounts of data on research participants has been well chronicled, a feat that continues to become both faster and cheaper to perform. In parallel to these advances come additional ethical considerations and debates, one of which centers on providing individual research results and incidental findings back to research participants taking part in genetic research efforts. In 2006 the Industry Pharmacogenomics Working Group offered some ‘Points-to-Consider’ on this topic within the context of the (...) drug development process from those who are affiliated to pharmaceutical companies. Today many of these points remain applicable to the discussion but will be expanded upon in this updated viewpoint from the I-PWG. The exploratory nature of pharmacogenomic work in the pharmaceutical industry is discussed to provide context for why these results typically are not best suited for return. Operational challenges unique to this industry which cause barriers to returning this information are also explained. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

We tackle two open questions from Leitgeb and Pettigrew (2010b) regarding what the belief update framework described in that paper mandates as correct responses to two problems. One of them concerns credences in overlapping propositions and is known in the literature as the “simultaneous update problem”. The other is the well known “Judy Benjamin” problem concerning conditional credences. We argue that our results concerning the problems point to deficiencies of the framework. More generally, we observe that the method of minimizing (...) inverse relative entropy seems to work better than (or at least equally well as) its competitors in many situations. (shrink)

We focus on three main sets of topics emerging from the commentaries on our target article. First, we discuss several types of animal behavior that commentators cite as evidence against our claim that animals are restricted to temporal updating and cannot engage in temporal reasoning. In doing so, we illustrate further how explanations of behavior in terms of temporal updating work. Second, we respond to commentators’ queries about the developmental process through which children acquire a capacity for temporal (...) reasoning and about the relation between our account and accounts drawing similar distinctions in other domains of cognition. Finally, we address some broader theoretical issues arising from the commentaries, concerning in particular the question as to how our account relates to the phenomenology of experience in time, and the question as to whether our dichotomy between temporal reasoning and temporal updating is exhaustive, or whether there might be other forms of cognition or representation related to time not captured by it. (shrink)

This paper is on the update semantics for might of Veltman. Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.

Quine challenged traditional views of the a priori by appealing to two key premises: that any statement may be held true “come what may” and that no statement is immune to revision in light of new experience. Chalmers has recently developed a seemingly compelling response to each of these claims. The critique is particularly threatening because it seems to rest on the Bayesian premise that upon acquiring evidence E, a rational agent will update her credence in any statement S to (...) equal her prior conditional credence in S given E. We argue that Chalmers’s criticisms misfire. When properly understood, Quine’s two theses are largely consistent with Bayesianism. (shrink)

This paper is on the update semantics for might of Veltman. Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.

As I head home from work, I’m not sure whether my daughter’s new bike is green, and I’m also not sure whether I’m on drugs that distort my color perception. One thing that I am sure about is that my attitudes towards those possibilities are evidentially independent of one another, in the sense that changing my confidence in one shouldn’t affect my confidence in the other. When I get home and see the bike it looks green, so I increase my (...) confidence that it is green. But something else has changed: now an increase in my confidence that I’m on color-drugs would undermine my confidence that the bike is green. Jonathan Weisberg and Jim Pryor argue that the preceding story is problematic for standard Bayesian accounts of perceptual learning. Due to the ‘rigidity’ of Conditionalization, a negative probabilistic correlation between two propositions cannot be introduced by updating on one of them. Hence if my beliefs about my own color-sobriety start out independent of my beliefs about the color of the bike, then they must remain independent after I have my perceptual experience and update accordingly. Weisberg takes this to be a reason to reject Conditionalization. I argue that this conclusion is too pessimistic: Conditionalization is only part of the Bayesian story of perceptual learning, and the other part needn’t preserve independence. Hence Bayesian accounts of perceptual learning are perfectly consistent with potential underminers for perceptual beliefs. (shrink)

Since the publication of a critical review on ADHD neuroimaging in a past issue of this journal , several relevant studies have appeared, including one study that had a subgroup of unmedicated ADHD children . In this update to our earlier review we comment on this last study’s failure to report on the crucial comparison between unmedicated and medicated ADHD subjects. The issue of prior medication exposure in ADHD subjects constitutes a serious confound in this body of research, and still (...) continues to be dismissed and willfully obscured by researchers in this field. (shrink)