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)

Choquet expected utility substitutes capacities for subjective probabilities to explain uncertainty aversion and related phenomena. This paper studies capacities as models of belief. The notions of inner and outer acceptance context are defined. These are shown to be the natural acceptance contexts when belief expansion is described by naïve Bayesian and Dempster–Shafer updating of capacities respectively. We also show that Eichberger and Kelsey's use of Dempster–Shafer updating as a model of belief revision may lead to violations of the (...) AGM axioms for rational belief change. (shrink)

Expectation Maximisation (EM) and Latent Dirichlet Allocation (LDA) are two frequently used inference algorithms, for finding an appropriate mixture of latent variables, and for finding an allocation of topics for a collection of documents. A recent insight in probabilistic learning is that Jeffrey’s update rule gives a decrease of Kullback-Leibler divergence. Its logic is error correction. It is shown that this same rule and divergence decrease logic is at the heart of EM and LDA, ensuring that successive iterations are decreasingly (...) wrong. (shrink)

A theoretical framework for the reinforcement learning of aesthetic biases was recently proposed based on brain circuitries revealed by neuroimaging. A model grounded on that framework accounted for interesting features of human aesthetic biases. These features included individuality, cultural predispositions, stochastic dynamics of learning and aesthetic biases, and the peak-shift effect. However, despite the success in explaining these features, a potential weakness was the linearity of the value function used to predict reward. This linearity meant that the learning process employed (...) a value function that assumed a linear relationship between reward and sensory stimuli. Linearity is common in reinforcement learning in neuroscience. However, linearity can be problematic because neural mechanisms and the dependence of reward on sensory stimuli were typically nonlinear. Here, we analyze the learning performance with models including optimal nonlinear value functions. We also compare updating the free parameters of the value functions with the delta rule, which neuroscience models use frequently, vs. updating with a new Phi rule that considers the structure of the nonlinearities. Our computer simulations showed that optimal nonlinear value functions resulted in improvements of learning errors when the reward models were nonlinear. Similarly, the new Phi rule led to improvements in these errors. These improvements were accompanied by the straightening of the trajectories of the vector of free parameters in its phase space. This straightening meant that the process became more efficient in learning the prediction of reward. Surprisingly, however, this improved efficiency had a complex relationship with the rate of learning. Finally, the stochasticity arising from the probabilistic sampling of sensory stimuli, rewards, and motivations helped the learning process narrow the range of free parameters to nearly optimal outcomes. Therefore, we suggest that value functions and update rules optimized for social and ecological constraints are ideal for learning aesthetic biases. (shrink)

When preferences are such that there is no unique additive prior, the issue of which updating rule to use is of extreme importance. This paper presents an axiomatization of the rule which requires updating of all the priors by Bayes rule. The decision maker has conditional preferences over acts. It is assumed that preferences over acts conditional on event E happening, do not depend on lotteries received on Ec, obey axioms which lead to maxmin expected utility representation with (...) multiple priors, and have common induced preferences over lotteries. The paper shows that when all priors give positive probability to an event E, a certain coherence property between conditional and unconditional preferences is satisfied if and only if the set of subjective probability measures considered by the agent given E is obtained by updating all subjective prior probability measures using Bayes rule. (shrink)

This paper discusses the Bayesian updating rules of ordinary and Jeffrey conditionalisation. Their justification has been a topic of interest for the last quarter century, and several strategies proposed. None has been accepted as conclusive, and it is argued here that this is for a good reason; for by extending the domain of the probability function to include propositions describing the agent's present and future degrees of belief one can systematically generate a class of counterexamples to the (...) class='Hi'>rules. Dynamic Dutch Book and other arguments for them are examined critically. A concluding discussion attempts to put these results in perspective within the Bayesian approach. (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)

Despite the tremendous empirical success of quantum theory there is still widespread disagreement about what it can tell us about the nature of the world. A central question is whether the theory is about our knowledge of reality, or a direct statement about reality itself. Current interpretations of quantum theory, regardless of their stance on this question, regard the Born rule as fundamental and add an independent state update (or ‘collapse’) rule to describe how quantum states change upon measurement. In (...) this paper we present an alternative perspective and derive a unified probability rule that subsumes both the Born rule and the collapse rule. We show that this more fundamental probability rule can provide a rigorous foundation for informational, or ‘knowledge-based’, interpretations of quantum theory. Our result requires an assumption of instrument non- contextuality, a key notion that generalises previous approaches to non-contextuality. Therefore, the framework also permits one to consider non-contextuality in scenarios with arbitrary causal structure. (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)

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)

In this article, the authors try to answer the following questions: How can an object/instance seen for the first time extend a category or update a concept? How is it possible to determine the reference of a concept that represents a behaviour? In the first case, the authors discuss the learning of inferential linguistic competence used to update a concept through an approach based on prototype theory. In the second case, the authors discuss the learning of referential linguistic competence used (...) to determine the reference of a concept (i.e., determination of an actual behaviour) through an approach based on embodied cognition. The authors show how combining prototype-based and embodied categorization in Wittgenstein’s rule-following praxis (the individual and community dimension), linguistic learning of a concept (inferential competence), and determination of its reference (referential competence) can be traced back to the same model. Keywords Action, Categorization, Embodied Cognition, Embodiment, Linguistic Inferential Competence, Linguistic Referential Competence, Perception, Prototype Theory, Reference, Sign. (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 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)

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)

David Lewis asked in “A problem about permission” about the effects on context, specifically on the “sphere of permissibility,” of allowing behavior that had previously been forbidden. The framework of truthmaker semantics sheds useful light on this problem. Update procedures are definable in the truthmaker framework that capture more than Lewis was able to just with worlds. Connections are drawn with epistemic modals, belief revision and the semantics of exceptives. We consider how a truthmaker account of permissive update might be (...) integrated into a larger semantic/pragmatic account of deontic language. Bridge principles are articulated associating types of deontic act with distinct update rules. Distinct forms of permission trigger distinct procedures because they aim at spheres more or less strongly verifying ◊φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Diamond \varphi $$\end{document}, the claim that φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} is permissible. (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)

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)

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)

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)

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)

The recent Common Rule revision process took almost a decade and the resulting changes are fairly modest, particularly when compared to the ambitious ideas proposed in the advance notice of proposed rulemaking and notice of proposed rulemaking. Furthermore, the revision process did not even attempt to tackle any of the Common Rule subparts pertaining to vulnerable populations where commentators think the rules unduly restrict important research. We believe that this was a missed opportunity to make desirable changes, and that (...) given the usual process the next opportunity to revisit the Common Rule is unacceptably remote. In this article, we argue that the Common Rule should be regularly reassessed, with a mechanism for making substantive changes. Drawing on lessons learned from the recent revision process, we make recommendations about ways to structure future attempts to maximize the ability to make timely and necessary changes. (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)

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)

[EDIT: This book will be published open access. Check back around April 2024 to access the entire book.] One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, (...) rules which allow the transformation of empirical descriptions. Mathematics should not be thought of as describing, in any substantive sense, an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Update on Waiving Informed Consent in Emergency ResearchCharles R. McCarthyMadam: The closing statement of my article on Waiving Informed Consent in Emergency Research published in the June 1995 issue of the Kennedy Institute of Ethics Journal was: "No doubt we shall hear more of this issue."Indeed, we have heard much more on this issue. (1) In May 1995, after my article had already gone to press, the Food and (...) Drug Administration (FDA) and the National Institutes of Health (NIH) jointly published a report on the Public Forum on Informed Consent in Clinical Research Conducted in Emergency Circumstances. (2) On July 26, 1995, the Department of Health and Human Services (HHS) published in the Federal Register a Notice of Action Related to Emergency Research Activity (60 FR 38353-54). This action constituted a waiver of the requirement to obtain prior informed consent from subjects, as required by the Department's Regulations for the Protection of Human Subjects (45 CFR 46), for one specific NIH-funded project under strictly defined circumstances. (3) On September 21, 1995, FDA published a proposed rule to amend its current informed consent regulations (21 CFR 50) to permit harmonization of federal policies on emergency research and to reduce confusion as to when such research can proceed without obtaining prior informed consent from research subjects. The proposed regulation provides a narrow exception to the requirement for obtaining and documenting informed consent from each human research subject.The HHS waiver (a harbinger of a proposed amendment to its regulations) and the FDA proposed rule are intended to be harmonized so that an Institutional Review Board (IRB) in compliance with one set of regulations relative to the waiver of informed consent will be, ipso facto, in compliance with the other set of regulations.In brief: The FDA proposed amendments will allow an IRB to waive informed consent in emergency situations when:1. The human subjects are in a life threatening condition;2. Obtaining informed consent is not feasible because: (i) the subjects will not be able to provide consent because of their medical condition, (ii) the intervention must be administered before consent from legally authorized representatives is feasible, (iii) there is no reasonable way to identify prospectively the individuals likely to become eligible for the research because the emergence of the condition to be studied cannot be predicted reliably in particular individuals; [End Page 385]3. The opportunity to participate is in the interest of the subjects because: (i) a life threatening situation necessitates intervention, (ii) the risk of the intervention is reasonable in the light of what is known about the medical condition and the patient, the risks and benefits of current therapy, if any, and what is known about the risks and benefits of the proposed intervention or activity;4. The research could not practicably be carried out without the waiver;5. Additional protection of the rights and welfare of the subjects will be provided including, at least: (i) consultation (which may include consultation carried out by the IRB itself) with representatives of the communities from which the subjects will be drawn, (ii) public disclosure prior to commencement of the study sufficient to describe the study and its risks and benefits, (iii) public disclosure of sufficient information following completion of the study to apprise the community and researchers of the study and its results, and (iv) the establishment of an independent data and safety monitoring board;6. The IRB has reviewed and approved an informed consent document for use with subjects or legal representatives in situations in which obtaining such consent may be feasible for some subjects.The preamble to the proposed amendments to the regulations and the amendments themselves contain much more information than is presented here. Readers are therefore encouraged to study the proposals carefully. The public comment period ended November 6, and the FDA is expected to issue a final rule in 1996.Charles R. McCarthyKennedy Institute of Ethics Georgetown University Washington, DCCopyright © 1995 The Johns Hopkins University Press... (shrink)

We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship. We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzons postulatesU1--U8 are translated into counterfactual rules C1--C8(Table (...) VII), and many of the familiar counterfactual rulesare translated into rules for updates (Table VIII). Ourconclusions are summarised in Table V. (shrink)

Scoring rules measure the accuracy or epistemic utility of a credence assignment. A significant literature uses plausible conditions on scoring rules on finite sample spaces to argue for both probabilism—the doctrine that credences ought to satisfy the axioms of probabilism—and for the optimality of Bayesian update as a response to evidence. I prove a number of formal results regarding scoring rules on infinite sample spaces that impact the extension of these arguments to infinite sample spaces. A common (...) condition in the arguments for probabilism and Bayesian update is strict propriety: that according to each probabilistic credence, the expected accuracy of any other credence is worse. Much of the discussion needs to divide depending on whether we require finite or countable additivity of our probabilities. I show that in a number of natural infinite finitely additive cases, there simply do not exist strictly proper scoring rules, and the prospects for arguments for probabilism and Bayesian update are limited. In many natural infinite countably additive cases, on the other hand, there do exist strictly proper scoring rules that are continuous on the probabilities, and which support arguments for Bayesian update, but which do not support arguments for probabilism. There may be more hope for accuracy-based arguments if we drop the assumption that scores are extended-real-valued. I sketch a framework for scoring rules whose values are nets of extended reals, and show the existence of a strictly proper net-valued scoring rules in all infinite cases, both for f.a. and c.a. probabilities. These can be used in an argument for Bayesian update, but it is not at present known what is to be said about probabilism in this case. (shrink)

The justification of Bayes' rule by cognitive rationality principles is undertaken by extending the propositional axiom systems usually proposed in two contexts of belief change: revising and updating. Probabilistic belief change axioms are introduced, either by direct transcription of the set-theoretic ones, or in a stronger way but nevertheless in the spirit of the underlying propositional principles. Weak revising axioms are shown to be satisfied by a General Conditioning rule, extending Bayes' rule but also compatible with others, and weak (...) updating axioms by a General Imaging rule, extending Lewis' rule. Strong axioms (equivalent to the Miller–Popper axiom system) are necessary to justify Bayes' rule in a revising context, and justify in fact an extended Bayes' rule which applies, even if the message has zero probability. (shrink)

Jeffrey conditioning is said to provide a more general method of assimilating uncertain evidence than Bayesian conditioning. We show that Jeffrey learning is merely a particular type of Bayesian learning if we accept either of the following two observations: – Learning comprises both probability kinematics and proposition kinematics. – What can be updated is not the same as what can do the updating; the set of the latter is richer than the set of the former. We address the problem (...) of commutativity and isolate commutativity from invariance upon conditioning on conjunctions. We also present a disjunctive model of Bayesian learning which suggests that Jeffrey conditioning is better understood as providing a method for incorporating unspecified but certain evidence rather than providing a method for incorporating specific but uncertain evidence. The results also generalize over many other subjective probability update rules, such as those proposed by Field and Gallow. (shrink)

About a decade ago, Adam Elga introduced philosophers to an intriguing puzzle. In it, Sleeping Beauty, a perfectly rational agent, undergoes an experiment in which she becomes ignorant of what time it is. This situation is puzzling for two reasons: First, because there are two equally plausible views about how she will change her degree of belief given her situation and, second, because the traditional rules for updating degrees of belief don't seem to apply to this case. In (...) this dissertation, my goals are to settle the debate concerning this puzzle and to offer a new rule for updating some types of degrees of belief. Regarding the puzzle, I will defend a view called "the Lesser view," a view largely favorable to the Thirders' position in the traditional debate on the puzzle. Regarding the general rule for updating, I will present and defend a rule called "Shifted Jeffrey Conditionalization." My discussions of the above view and rule will complement each other: On the one hand, I defend the Lesser view by making use of Shifted Jeffrey Conditionalization. On the other hand, I test Shifted Jeffrey Conditionalization by applying it to various credal transitions in the Sleeping Beauty problem and revise that rule in accordance with the results of the test application. In the end, I will present and defend an updating rule called "General Shifted Jeffrey Conditionalization," which I suspect is the general rule for updating one's degrees of belief in so-called tensed propositions. (shrink)

Purpose This study aims to investigate the trending term: “Netiquette” as an important element in the effective digital citizenship. The research suggests a systematic framework of netiquette rules in the field of online education based on the classical core rules of netiquette and according to the digital citizenship scale (DCS). The research also studies the corresponding responsibilities of both educators and students to raise awareness towards using technology in a balanced, safe, smart and ethical way as the shift (...) towards the digital activities increased significantly in the post-corona time. Design/methodology/approach The research used the qualitative data that were based on the everyday observation and analysis of the online education experience at the university of Jordan in the academic year 2020/2021; the online group discussions of students and teachers; and investigating the guidelines of the online learning netiquette rules in various academic institutes. Comparative analysis was conducted to merge and eliminate redundant rules and to add sub rules, and then to cluster them into groups. The suggested clustered groups were distributed into the classical core rules outline of netiquette. In each core rule, the sub rules were reclassified and recategorized according to the DCS by studying the complexity levels and their corresponding factors. The suggested framework updates and adds DCS levels and factors considering the exceptional experience of online education through the pandemic. Findings The research finds that “Netiquette” had been neglected in cyber ethics literature, and so it has to be rediscovered through the lens of digital citizenship that becomes very noticeable issue in the post-COVID era. So, the research presents a systematic framework that outlines more than 150 netiquette sub rules in the field of online education, and that were clustered according to DCS and the classical core rules of netiquette. It also adds a new factor to the bottom level of DCS which is the primarily skills and traits, and also updates the internet and political activism fac-tor by adding the social perspective. Originality/value A novel classification of the classical core rules of netiquette was proposed in the field of online education to serve as a spectrum of identifying the complexity of digital citizenship levels and factors. This research can be a starting point of more works on netiquette research in online education and on other fields such as online business meetings, social media networking and online gaming. (shrink)

This article compares inference to the best explanation with Bayes’s rule in a social setting, specifically, in the context of a variant of the Hegselmann–Krause model in which agents not only update their belief states on the basis of evidence they receive directly from the world, but also take into account the belief states of their fellow agents. So far, the update rules mentioned have been studied only in an individualistic setting, and it is known that in such a (...) setting both have their strengths as well as their weaknesses. It is shown here that in a social setting, inference to the best explanation outperforms Bayes’s rule according to every desirable criterion. 1 What Is Inference to the Best Explanation?2 Judging the Rules—By Which Lights?3 From an Individualistic to a Social Perspective 3.1 The Hegselmann–Krause model 3.2 A probabilistic extension of the Hegselmann–Krause model 3.3 Simulations4 Results and Discussion5 Interpretation6 Conclusion. (shrink)

For several years the research group at our Dialogue Systems Lab has been involved in the development of the information state update approach to the building of dialogue systems and in particular Issue based dialogue management developed in Staffan Larsson's PhD thesis and based on Jonathan Ginzburg's gameboard approach to dialogue, focussing on the notion of questions (or issues) under discussion. Larsson's computational approach to information state updates involves a large collection of update rules which fire when certain conditions (...) in the information state are met in a regime determined by a general control algorithm. An utterance by a dialogue participant will in general unleash a whole chain of such updates and part of the power of the approach lies in the fact that we can define very general update rules which have small effects on the information state and which are not necessarily linked to any particular form of utterance. It gives us a much finer grain on update rules than thinking in terms of single monolithic updates associated with speaker utterances. (shrink)

Leitgeb and Pettigrew argue that (1) agents should minimize the expected inaccuracy of their beliefs and (2) inaccuracy should be measured via the Brier score. They show that in certain diachronic cases, these claims require an alternative to Jeffrey Conditionalization. I claim that this alternative is an irrational updating procedure and that the Brier score, and quadratic scoring rules generally, should be rejected as legitimate measures of inaccuracy.

The justification of Bayes' rule by cognitive rationality principles is undertaken by extending the propositional axiom systems usually proposed in two contexts of belief change: revising and updating. Probabilistic belief change axioms are introduced, either by direct transcription of the set-theoretic ones, or in a stronger way but nevertheless in the spirit of the underlying propositional principles. Weak revising axioms are shown to be satisfied by a General Conditioning rule, extending Bayes' rule but also compatible with others, and weak (...) updating axioms by a General Imaging rule, extending Lewis' rule. Strong axioms (equivalent to the Miller–Popper axiom system) are necessary to justify Bayes' rule in a revising context, and justify in fact an extended Bayes' rule which applies, even if the message has zero probability. (shrink)

Bayes Rule specifies how probabilities over parameters should be updated given any kind of information. But in some cases, the kind of information provided by both simulation and physical experiments is information on how certain output parameters may change when other input parameters are changed. There are three different approaches to this problem, one of which leads to the Garbage-In/garbage-out Paradox, the second of which violates the Borel Paradox, and the third of which is a supra-Bayesian heuristic. This paper shows (...) how to derive a fully Bayesian formula which avoids the Garbage-In/garbage-out and Borel Paradoxes. We also compare a Laplacian approximation of this formula with Bayesian synthesis and Bayesian melding and find that the Bayesian formula sometimes coincides with the Bayesian melding solution. (shrink)

The Second Edition of _Wittgenstein: Rules, Grammar and Necessity_ now includes extensively revised and supplemented coverage of the Wittgenstein's complex and controversial remarks on following rules. Includes thoroughly rewritten essays and the addition of one new essay on communitarian and individualist conceptions of rule-following Includes a greatly expanded essay on Wittgenstein’s conception of logical, mathematical and metaphysical necessity Features updates to the textual exegesis as the result of taking advantage of the search engine for the Bergen edition of (...) the _Nachlass_ Reflects the results of scholarly debates on rule-following that have raged over the past 20 years. (shrink)

My purpose is to provide an update on recent Texas regulatory and statutory changes adopted, since the passage in Texas of the Intractable Pain Treatment Act in 1989. First, I describe the rules adopted by the Texas State Board of Medical Examiners that authorize physicians to prescribe opioids for the treatment of pain. Second, I detail recent statutory changes that pertain to education of physicians and medical students about pain treatment. All of these changes attempt to create a better (...) legal environment for the treatment of chronic pain in Texas.Before describing the Pain Rules adopted in Texas, the question Why adopt rules, rather than simply ask TSBME to issue a policy statement? must be answered. Many states, most notably California, have issued policy statements that clarify for physicians the parameters within which they may treat pain? Policy statements, unlike administrative regulations, do not have the force of law. (shrink)

My purpose is to provide an update on recent Texas regulatory and statutory changes adopted, since the passage in Texas of the Intractable Pain Treatment Act in 1989. First, I describe the rules adopted by the Texas State Board of Medical Examiners that authorize physicians to prescribe opioids for the treatment of pain. Second, I detail recent statutory changes that pertain to education of physicians and medical students about pain treatment. All of these changes attempt to create a better (...) legal environment for the treatment of chronic pain in Texas.Before describing the Pain Rules adopted in Texas, the question Why adopt rules, rather than simply ask TSBME to issue a policy statement? must be answered. Many states, most notably California, have issued policy statements that clarify for physicians the parameters within which they may treat pain? Policy statements, unlike administrative regulations, do not have the force of law. (shrink)

The Second Edition of _Wittgenstein: Rules, Grammar and Necessity_ now includes extensively revised and supplemented coverage of the Wittgenstein's complex and controversial remarks on following rules. Includes thoroughly rewritten essays and the addition of one new essay on communitarian and individualist conceptions of rule-following Includes a greatly expanded essay on Wittgenstein’s conception of logical, mathematical and metaphysical necessity Features updates to the textual exegesis as the result of taking advantage of the search engine for the Bergen edition of (...) the _Nachlass_ Reflects the results of scholarly debates on rule-following that have raged over the past 20 years. (shrink)

This paper addresses the problems of justifying and explaining beliefs about facts in the context of civil trials. The first section contains some remarks about the nature of adjudicative fact-finding and highlights the communicative features of deciding about facts in judicial context. In Sect. 2, some difficulties and the incompleteness presented by Bayesian and coherentist frameworks, which are taken as methods suitable to solve the above-mentioned problems, are pointed out. In the third section, the purely epistemic approach to the justification (...) and the explanation of beliefs about facts is abandoned and focus is given to the dialectical nature of civil procedure, where the parties and, particularly, the judge have to make their reasoning clear enough to allow a fruitful and efficient debate about facts. For this purpose, a communication/argumentation system is put forward, consisting of fourteen intertwined rules of discourse. The system embodies the fundamental epistemic principle according to which belief is updated given new evidence, is tailored for abductive inferences and is structured on fundamental concepts of civil procedural law. The fourth section presents an empirical application of the system to a real case. (shrink)

How should we update de dicto beliefs in the face of de se evidence? The Sleeping Beauty problem divides philosophers into two camps, halfers and thirders. But there is some disagreement among halfers about how their position should generalize to other examples. A full generalization is not always given; one notable exception is the Halfer Rule, under which the agent updates her uncentered beliefs based on only the uncentered part of her evidence. In this brief article, I provide a simple (...) example for which the Halfer Rule prescribes credences that, I argue, cannot be reasonably held by anyone. In particular, these credences constitute an egregious violation of the Reflection Principle. I then discuss the consequences for halfing in general. (shrink)

ABSTRACT To more efficiently cover a wide spectrum of conceptual modeling applications such as computer-aided design, computer-aided manufacturing, and medical information systems, we envision multi-paradigm design environments which have reasoning capability to support analyzing specifcations for correctness. For such applications, information system designers employ conceptual models characterized by semantically-rich specification languages. The problem of providing a comprehensive formal framework for such languages has not been adequately addressed. This paper investigates a formal system for this purpose called Event-Formula Logic (EFL). The (...) analysis focuses in particular on characterizing correctness of database updates. Its applicability is demonstrated from two perspectives: deriving preconditions that guarantee a given update will not violate an integrity constraint, and determining alternative integrity maintenance rules for performing corrective actions when the application semantics requires this update interpretation. The work described in this paper represents an important step in the analysis of database update semantics through the use of algorithmic logic. As a result, it contributes towards providing a formal basis for semantically-rich information system design environments. (shrink)

The Serial Endosymbiotic Theory explains the origin of nucleated eukaryotic cells by a merging of archaebacterial and eubacterial cells. The paradigmatic change is that the driving force behind evolution is not ramification but merging. Lynn Margulis describes the symbiogenetic processes in the language of mechanistic biology in such terms as “merging”, “fusion”, and “incorporation”. Biosemiotics argues that all cell-cell interactions are (rule-governed) sign-mediated interactions, i.e., communication processes. As the description of plant communication demonstrates, the biosemiotic approach is not limited to (...) the level of molecular biology, but is also helpful in examining all sign-mediated interactions between organisms on the phenotypic level. If biosemiotics also uses the notions of “language” and “communication” to describe non-human sign-mediated interactions, then the underlying scientific justification of such usage should be critically considered. Therefore, I summarize the history of this discussion held between 1920 and 1980 and present its result, the pragmatic turn. (shrink)

New to English law? Need to know how rules are made, interpreted and applied? This popular and well-established textbook will show you how. It simplifies legal method by combining examples with an account of rules in general: the who, what, why and how of interpretation. Starting with standpoint and context, it identifies factors that give rise to doubts about the interpretation of a rule and recommends a systematic approach to analysing those factors. Questions and exercises integrated in the (...) text and on the accompanying website will help you to develop skills in reading, interpreting and arguing about legal and other rules. The text is fully updated on developments in the legislative process and the judicial interpretation of statutes and precedent. It includes a new chapter on 'The European Dimension' reflecting the changes brought about by the Human Rights Act 1998. (shrink)

The generalized Bayes’ rule (GBR) can be used to conduct ‘quasi-Bayesian’ analyses when prior beliefs are represented by imprecise probability models. We describe a procedure for deriving coherent imprecise probability models when the event space consists of a finite set of mutually exclusive and exhaustive events. The procedure is based on Walley’s theory of upper and lower prevision and employs simple linear programming models. We then describe how these models can be updated using Cozman’s linear programming formulation of the GBR. (...) Examples are provided to demonstrate how the GBR can be applied in practice. These examples also illustrate the effects of prior imprecision and prior-data conflict on the precision of the posterior probability distribution. (shrink)

Studies of categorical induction typically examine how belief in a premise (e.g., Falcons have an ulnar artery) projects on to a conclusion (e.g., Robins have an ulnar artery). We study induction in cases in which the premise is uncertain (e.g., There is an 80% chance that falcons have an ulnar artery). Jeffrey's rule is a normative model for updating beliefs in the face of uncertain evidence. In three studies we tested the descriptive validity of Jeffrey's rule and a related (...) probability theorem, the rule of total probability. Although these rules provided good approximations to mean judgments in some cases, the results from regression and correlation analyses suggest that participants focus on the parts of these rules that are associated with the highest overall probability. We relate our findings to rational models of judgment. (shrink)

The idea that correspondences relating grammatical relations and semantics (argument structure constructions) are needed to account for simple sentence types is reviewed, clarified, updated and compared with two lexicalist alternatives. Traditional lexical rules take one verb as ‘input’ and create (or relate) a different verb as ‘output’. More recently, invisible derivational verb templates have been proposed, which treat argument structure patterns as zero derivational affixes that combine with a root verb to yield a new verb. While the derivational template (...) perspective can address several problems that arise for traditional lexical rules, it still faces problems in accounting for idioms, which often contain specifications that are not appropriately assigned to individual verbs or derivational affixes (regarding adjuncts, modification, and inflection). At the same time, it is clear that verbs play a central role in determining their distribution. The balance between verbs and phrasal argument structure constructions is addressed via the Principles of Semantic Coherence and Correspondence together with a usage‐based hierarchy of constructions that contains entries which can include particular verbs and other lexical material. (shrink)