Coherent frequentism

By representing the range of fair betting odds according to a pair of confidence set estimators, dual probability measures on parameter space called frequentist posteriors secure the coherence of subjective inference without any prior distribution. The closure of the set of expected losses corresponding to the dual frequentist posteriors constrains decisions without arbitrarily forcing optimization under all circumstances. This decision theory reduces to those that maximize expected utility when the pair of frequentist posteriors is induced by an exact or approximate confidence set estimator or when an automatic reduction rule is applied to the pair. In such cases, the resulting frequentist posterior is coherent in the sense that, as a probability distribution of the parameter of interest, it satisfies the axioms of the decision-theoretic and logic-theoretic systems typically cited in support of the Bayesian posterior. Unlike the p-value, the confidence level of an interval hypothesis derived from such a measure is suitable as an estimator of the indicator of hypothesis truth since it converges in sample-space probability to 1 if the hypothesis is true or to 0 otherwise under general conditions.Comment: The confidence-measure theory of inference and decision is explicitly extended to vector parameters of interest. The derivation of upper and lower confidence levels from valid and nonconservative set estimators is formalize

The Dialectica Models of Type Theory

This thesis studies some constructions for building new models of Martin-Löf type theory out of old. We refer to the main techniques as gluing and idempotent splitting. For each we give general conditions under which type constructors exist in the resulting model. These techniques are used to construct some examples of Dialectica models of type theory. The name is chosen by analogy with de Paiva's Dialectica categories, which semantically embody Gödel's Dialectica functional interpretation and its variants. This continues a programme initiated by von Glehn with the construction of the polynomial model of type theory. We complete the analogy between this model and Gödel's original Dialectica by using our techniques to construct a two-level version of this model, equipping the original objects with an extra layer of predicates. In order to do this we have to carefully build up the theory of finite sum types in a display map category. We construct two other notable models. The first is a model analogous to the Diller-Nahm variant, which requires a detailed study of biproducts in categories of algebras. To make clear the generalization from the categories studied by de Paiva, we illustrate the construction of the Diller-Nahm category in terms of gluing an indexed system of types together with a system of predicates. Following this we develop the general techniques needed for the type-theoretic case. The second notable model is analogous to the Dialectica category associated to the error monad as studied by Biering. This model has only weak dependent products. In order to get a model with full dependent products we use the idempotent splitting construction, which generalizes the Karoubi envelope of a category. Making sense of the Karoubi envelope in the type-theoretic case requires us to face up to issues of coherence in our models. We choose the route of making sure all of the constructions we use preserve strict coherence, rather than applying a general coherence theorem to produce a strict model afterwards. Our chosen method preserves more detailed information in the final model.EPSRC studentshi

Coherence as a Test for Truth

This paper sets out to demonstrate that a contrast can be drawn between coherentism as an account of the structure of justification, and coherentism as a method of inquiry. Whereas the former position aims to offer an answer to the ‘regress of justification’ problem, the latter position claims that coherence plays a vital and indispensable role as a criterion of truth, given the fallibility of cognitive methods such as perception and memory. It is argued that ‘early’ coherentists like Bradley and Blanshard were coherentists of the latter kind, and that this sort of coherentism is not open to certain sorts of standard objection that can be raised against justificatory coherentism

A Critical Examination of BonJour’s, Haack’s, and Dancy’s Theory of Empirical Justification

In this paper, we shall describe and critically evaluate four contemporary theories which attempt to solve the problem of the infinite regress of reasons: BonJour's ‘impure’ coherentism, BonJour's foundationalism, Haack's ‘foundherentism’ and Dancy's pure coherentism. These theories are initially put forward as theories about the justification of our empirical beliefs; however, in fact they also attempt to provide a successful response to the question of their own ‘metajustification.’ Yet, it will be argued that 1) none of the examined theories is successful as a theory of justification of our empirical beliefs, and that 2) they also fall short of being adequate theories of metajustification. It will be further suggested that the failure of these views on justification is not coincidental, but is actually a consequence of deeper and tacitly held problematic epistemological assumptions (namely, the requirements of justificatory generality and epistemic priority), whose acceptance paves the way towards a generalized scepticism about empirical justification

The use of salutogenesis theory in empirical studies of maternity care for healthy mothers and babies

Background: Health care outcomes used in service evaluation and research tend to measure morbidity and mortality. This is the case even in maternity care, where most women and babies are healthy. Salutogenesis theory recognises that health is a continuum, with explicit inclusion of well-being as well as illness and pathology. This offers the potential to reframe the outcomes and therefore, the focus of, maternity care research and provision. Aim: The aim of this study was to identify how salutogenesis has been defined and used in maternity care research undertaken with healthy women. Method: A scoping review was undertaken, using a formal pre-defined search strategy. Inclusion criteria encompassed research papers relating to the maternity episode up to 1 year after birth, using salutogenesis or any of its associated concepts, focused on healthy women, and written in a language which any of the members of the group could understand. The search was undertaken in two phases (database inception - April 2011 and May 2011-February 2013). Included studies were subject to narrative analysis. Findings: Eight papers met the inclusion criteria. They covered seven topics, spanning the antenatal, intrapartum and postnatal periods. Only two papers employed both positive health orientation and explicit use of Antonovsky's theory. The remaining studies used discrete aspects of the theory. Conclusion: Salutogenic framing is rarely used in maternity care research with healthy participants. An increase in research that measures salutogenically orientated outcomes could, eventually, provide a balance to the current over-emphasis on pathology in maternity care design and provision worldwide

The low-dimensional structures formed by tricategories

We form tricategories and the homomorphisms between them into a bicategory, whose 2-cells are certain degenerate tritransformations. We then enrich this bicategory into an example of a three-dimensional structure called a locally cubical bicategory, this being a bicategory enriched in the monoidal 2-category of pseudo double categories. Finally, we show that every sufficiently well-behaved locally cubical bicategory gives rise to a tricategory, and thereby deduce the existence of a tricategory of tricategories.Comment: 41 pages; v2: final journal versio

A co-original approach towards law-making in the internet age

There is an increasing interest in incorporating significant citizen participation into the law-making process by developing the use of the internet in the public sphere. However, no well-accepted e-participation model has prevailed. This article points out that, to be successful, we need critical reflection of legal theory and we also need further institutional construction based on the theoretical reflection. Contemporary dominant legal theories demonstrate too strong an internal legal point of view to empower the informal, social normative development on the internet. Regardless of whether we see the law as a body of rules or principles, the social aspect is always part of people’s background and attracts little attention. In this article, it is advocated that the procedural legal paradigm advanced by Jürgen Habermas represents an important breakthrough in this regard. Further, Habermas’s co-originality thesis reveals a neglected internal relationship between public autonomy and private autonomy. I believe the co-originality theory provides the essential basis on which a connecting infrastructure between the legal and the social could be developed. In terms of the development of the internet to include the public sphere, co-originality can also help us direct the emphasis on the formation of public opinion away from the national legislative level towards the local level; that is, the network of governance.1 This article is divided into two sections. The focus of Part One is to reconstruct the co-originality thesis (section 2, 3). This paper uses the application of discourse in the adjudication theory of Habermas as an example. It argues that Habermas would be more coherent, in terms of his insistence on real communication in his discourse theory, if he allowed his judges to initiate improved interaction with the society. This change is essential if the internal connection between public autonomy and private autonomy in the sense of court adjudication is to be truly enabled. In order to demonstrate such improved co-original relationships, the empowering character of the state-made law is instrumental in initiating the mobilization of legal intermediaries, both individual and institutional. A mutually enhanced relationship is thus formed; between the formal, official organization and its governance counterpart aided by its associated ‘local’ public sphere. Referring to Susan Sturm, the Harris v Forklift Systems Inc. (1930) decision of the Supreme Court of the United States in the field of sexual harassment is used as an example. Using only one institutional example to illustrate how the co-originality thesis can be improved is not sufficient to rebuild the thesis but this is as much as can be achieved in this article. In Part Two, the paper examines, still at the institutional level, how Sturm develops an overlooked sense of impartiality, especially in the derivation of social norms; i.e. multi-partiality instead of neutral detachment (section 4). These two ideas should be combined as the criterion for impartiality to evaluate the legitimacy of the joint decision-making processes of both the formal official organization and ‘local’ public sphere. Sturm’s emphasis on the deployment of intermediaries, both institutional and individual, can also enlighten the discourse theory. Intermediaries are essential for connecting the disassociated social networks, especially when a breakdown of communication occurs due to a lack of data, information, knowledge, or disparity of value orientation, all of which can affect social networks. If intermediaries are used, further communication will not be blocked as a result of the lack of critical data, information, knowledge or misunderstandings due to disparity of value orientation or other causes. The institutional impact of the newly constructed co-originality thesis is also discussed in Part Two. Landwehr’s work on institutional design and assessment for deliberative interaction is first discussed. This article concludes with an indication of how the ‘local’ public sphere, through e-rulemaking or online dispute resolution, for example, can be constructed in light of the discussion of this article

Dialogue Concerning Two Views on Quantum Coherence: Factist and Fictionist

A controversy that has arisen many times over in disparate contexts is whether quantum coherences between eigenstates of certain quantities are fact or fiction. We present a pedagogical introduction to the debate in the form of a hypothetical dialogue between proponents from each of the two camps: a factist and a fictionist. A resolution of the debate can be achieved, we argue, by recognizing that quantum states do not only contain information about the intrinsic properties of a system but about its extrinsic properties as well, that is, about its relation to other systems external to it. Specifically, the coherent quantum state of the factist is the appropriate description of the relation of the system to one reference frame, while the incoherent quantum state of the fictionist is the appropriate description of the relation of the system to another, uncorrelated, reference frame. The two views, we conclude, are alternative but equally valid paradigms of description.Comment: 14 pages, Contribution to the Int. J. of Quant. Info. issue dedicated to the memory of Asher Peres; v2 updated summary and critique of prior literatur