Describes and discusses the rather special behaviour of one of the postulates in the AGM account of theory change.

Two recent defences of the recovery postulate for contraction of belief sets are analyzed. It is concluded that recovery is defensible as a by-product of a formalization that is idealized in the sense of being simplified for the sake of clarity. However, recovery does not seem to be a required feature of the doxastic behaviour of ideal (perfectly rational) agents. It is reasonable to expect that there should be epistemic residues (remnants of rejected beliefs), but not (...) that these should always suffice to recover all the original beliefs if the discarded belief is reinstated. (shrink)

The postulate of recovery is commonly regarded to be the intuitively least compelling of the six basic Gärdenfors postulates for belief contraction. We replace recovery by the seemingly much weaker postulate of core-retainment, which ensures that if x is excluded from K when p is contracted, then x plays some role for the fact that K implies p. Surprisingly enough, core-retainment together with four of the other Gärdenfors postulates implies recovery for logically closed belief sets. (...) Reasonable contraction operators without recovery do not seem to be possible for such sets. Instead, however, they can be obtained for non-closed belief bases. Some results on partial meet contractions on belief bases are given, including an axiomatic characterization and a non-vacuous extension of the AGM closure condition. (shrink)

The problem of how to remove information from an agent's stock of beliefs is of paramount concern in the belief change literature. An inquiring agent may remove beliefs for a variety of reasons: a belief may be called into doubt or the agent may simply wish to entertain other possibilities. In the prominent AGM framework for belief change, upon which the work here is based, one of the three central operations, contraction, addresses this concern (the other two deal with the (...) incorporation of new information). Makinson has generalised this work by introducing the notion of a withdrawal operation. Underlying the account proffered by AGM is the idea of rational belief change. A belief change operation should be guided by certain principles or integrity constraints in order to characterise change by a rational agent. One of the most noted principles within the context of AGM is the Principle of Informational Economy. However, adoption of this principle in its purest form has been rejected by AGM leading to a more relaxed interpretation. In this paper, we argue that this weakening of the Principle of Informational Economy suggests that it is only one of a number of principles which should be taken into account. Furthermore, this weakening points toward a Principle of Indifference. This motivates the introduction of a belief removal operation that we call severe withdrawal. We provide rationality postulates for severe withdrawal and explore its relationship with AGM contraction. Moreover, we furnish possible worlds and epistemic entrenchment semantics for severe withdrawals. (shrink)

The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom—while agreeing that some of their insight deserves to be preserved—and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This makes iterated revision possible and renders explicit the connection between iterated belief change and the axiom of recovery. We provide (...) a representation theorem that connects the semantic conditions we impose on iterated revision and our additional syntactical properties. We show interesting similarities between our framework and that of Darwiche–Pearl (Artificial Intelligence 89:1–29 1997). In particular, we show that intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2)). We present postulates for contraction, in the same spirit as the Darwiche–Pearl postulates for revision, and provide a theorem that connects our syntactic postulates with a set of semantic conditions. Lastly, we show a connection between the contraction postulates and a generalisation of the recovery axiom. (shrink)

ABSTRACT The well-known AGM-theory-contraction and theory-revision, due to Alchourrón, Gärdenfors and Makinson, relies heavily on the so-called postulate of recovery. This postulate is supposed to capture the requirement of “minimum mutilation”; but it does not. Recovery can be satisfied even when there is more mutilation than is necessary. Recovery also ensures that very often too little is given up in a contraction, in this paper I bring out clearly the deficiencies of the AGM-theory in these (...) two regards, showing how it is doubly off-beam. I show that some of the most serious inadequacies of the AGM-theory derive from early claims in some of its founding contributions, claims that have not been seriously questioned within the tradition since. The upshot of these investigations is that recovery cannot, and should not, be recovered. Theory contraction is hysteretic. Whether the AGM-theory can now recover is a good question. (shrink)

Research reported by Posner & Raichle may be usefully applied to the rehabilitation of persons with brain damage. Their findings are related to the “dual premotorsystems hypothesis” that reciprocally interactive medial and lateral brain systems are involved in attention and learning. Recent studies show that “brain healing” occurs through dynamic reorganization involving attentional networks postulated by Posner & Raichle.

Although AGM theory contraction (Alchourrón et al., 1985; Alchourrón and Makinson, 1985) occupies a central position in the literature on belief change, there is one aspect about it that has created a fair amount of controversy. It involves the inclusion of the postulate known as Recovery. As a result, a number of alternatives to AGM theory contraction have been proposed that do not always satisfy the Recovery postulate (Levi, 1991, 1998; Hansson and Olsson, 1995; Fermé, 1998; (...) Fermé and Rodriguez, 1998; Rott and Pagnucco, 1999). In this paper we present a new addition, systematic withdrawal, to the family of withdrawal operations, as they have become known. We define systematic withdrawal semantically, in terms of a set of preorders, and show that it can be characterised by a set of postulates. In a comparison of withdrawal operations we show that AGM contraction, systematic withdrawal and the severe withdrawal of Rott and Pagnucco (1999) are intimately connected by virtue of their definition in terms of sets of preorders. In a future paper it will be shown that this connection can be extended to include the epistemic entrenchment orderings of Gärdenfors (1988) and Gärdenfors and Makinson (1988) and the refined entrenchment orderings of Meyer et al. (2000). (shrink)

I. Levi has advocated a decision-theoretic account of belief revision. We argue that the game-theoretic framework of Interrogative Inquiry Games, proposed by J. Hintikka, can extend and clarify this account. We show that some strategic use of the game rules generate Expansions, Contractions and Revisions, and we give representation results. We then extend the framework to represent explicitly sources of answers, and apply it to discuss the Recovery Postulate. We conclude with some remarks about the potential extensions of (...) interrogative games, with respect to some issues in the theory of belief change. (shrink)

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to (...) rule change is much more problematic. First, we generalise belief base contraction to rule base contraction, and show that two representation results of Hansson still hold for rule base contraction. Second, we show that the six so-called basic postulates of AGM contraction are consistent only for some input/output logics, but not for others. In particular, we show that the notorious recovery postulate can be satisfied only by basic output, but not by simple-minded output. Third, we show how AGM rule revision can be defined in terms of AGM rule contraction using the Levi identity. We highlight various topics for further research. (shrink)

Agents which perform inferences on the basis of unreliable information need an ability to revise their beliefs if they discover an inconsistency. Such a belief revision algorithm ideally should be rational, should respect any preference ordering over the agent’s beliefs (removing less preferred beliefs where possible) and should be fast. However, while standard approaches to rational belief revision for classical reasoners allow preferences to be taken into account, they typically have quite high complexity. In this paper, we consider belief revision (...) for agents which reason in a simpler logic than full first-order logic, namely rule-based reasoners. We show that it is possible to define a contraction operation for rule-based reasoners, which we call McAllester contraction, which satisfies all the basic Alchourrón, Gärdenfors and Makinson (AGM) postulates for contraction (apart from the recovery postulate) and at the same time can be computed in polynomial time. We prove a representation theorem for McAllester contraction with respect to the basic AGM postulates (minus recovery), and two additional postulates. We then show that our contraction operation removes a set of beliefs which is least preferred, with respect to a natural interpretation of preference. Finally, we show how McAllester contraction can be used to define a revision operation which is also polynomial time, and prove a representation theorem for the revision operation. (shrink)

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to (...) rule change is much more problematic. First, we generalise belief base contraction to rule base contraction, and show that two representation results of Hansson still hold for rule base contraction. Second, we show that the six so-called basic postulates of AGM contraction are consistent only for some input/output logics, but not for others. In particular, we show that the notorious recovery postulate can be satisfied only by basic output, but not by simple-minded output. Third, we show how AGM rule revision can be defined in terms of AGM rule contraction using the Levi identity. We highlight various topics for further research. (shrink)

An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, some results are (...) reported on operations on bases that are closed under material implication. (shrink)

AGM-theory, named after its founders Carlos Alchourrón, Peter Gärdenfors and David Makinson, is the leading contemporary paradigm in the theory of belief-revision. The theory is reformulated here so as to deal with the central relational notions 'J is a contraction of K with respect to A' and 'J is a revision of K with respect to A'. The new theory is based on a principal-case analysis of the domains of definition of the three main kinds of theory-change (expansion, contraction and (...) revision). The new theory is stated by means of introduction and elimination rules for the relational notions. In this new setting one can re-examine the relationship between contraction and revision, using the appropriate versions of the so-called Levi and Harper identities. Among the positive results are the following. One can derive the extensionality of contraction and revision, rather than merely postulating it. Moreover, one can demonstrate the existence of revision-functions satisfying a principle of monotonicity. The full set of AGM-postulates for revision-functions allow for completely bizarre revisions. This motivates a Principle of Minimal Bloating, which needs to be stated as a separate postulate for revision. Moreover, contractions obtained in the usual way from the bizarre revisions, by using the Harper identity, satisfy Recovery. This provides a new reason (in addition to several others already adduced in the literature) for thinking that the contraction postulate of Recovery fails to capture the Principle of Minimal Mutilation. So the search is still on for a proper explication of the notion of minimal mutilation, to do service in both the theory of contraction and the theory of revision. The new relational formulation of AGM-theory, based on principal-case analysis, shares with the original, functional form of AGM-theory the idealizing assumption that the belief-sets of rational agents are to be modelled as consistent, logically closed sets of sentences. The upshot of the results presented here is that the new relational theory does a better job of making important matters clear than does the original functional theory. A new setting has been provided within which one can profitably address two pressing questions for A GM-theory: (1) how is the notion of minimal mutilation (by both contractions and revisions) best analyzed? and (2) how is one to rule out unnecessary bloating by revisions? (shrink)

In recent years, the postulation that deception is necessary for placebos to have an effect on pain relief or increased well-being has come into question. Latest studies have shown that an openly administered mock drug works just as well as a deceptively administered placebo on certain complaints. This open-label placebo effect has primarily been used in the area of pain treatment so far. This study is the first to examine the effect of such placebos on healthy individuals with the use (...) of drinking water. In two experiments, participants were required to use certain specified water bottles for their daily drinking water consumption. At the beginning of Experiment 1, all participants received one bottle of water, which they were asked to refill themselves each day during a 2-week intervention period. In Experiment 2, participants received a new sealed water bottle every day. In both experiments, participants were randomly assigned to one of four groups: no treatment, open-label placebo without rationale, open-label placebo with rationale, and open-label placebo with additional rationale in a suggested relaxed state. We conducted baseline and post-treatment measurements of the subjective perceived physical and mental well-being of the participants. In Experiment 1, only the OPR++ group reported enhanced vitality at the post-treatment level compared to the other groups. In Experiment 2, post-treatment measurements showed improvements for the OPR++ group in the Physical Performance Capability, Mental Performance Capability, Emotional Balance, Overall Recovery, Negative Emotional State, and Overall Stress categories compared to the other groups. Our results support the idea that placebos with an additional rationale in a suggestive relaxed state are more effective than with just a rationale in a normal state. Furthermore, our study shows the tendency that OLP++ in the form of water with health claims may be more effective when the water is given in several sealed bottles separately than in one sealed but refillable bottle. (shrink)

We review three broadly geometrodynamical---and in part, Machian or relational---projects, from the perspective of spacetime functionalism. We show how all three are examples of functionalist reduction of the type that was advocated by D. Lewis, and nowadays goes by the label `the Canberra Plan’. The projects are: the recovery of geometrodynamics by Hojman et al. ; the programme of Schuller and collaborators to deduce a metric from the physics of matter fields; the deduction of the ADM Hamiltonian by Gomes (...) and Shyam. We end by drawing a positive corollary about shape dynamics: namely, it has a good rationale for the Hamiltonian it postulates. (shrink)

Open peer commentary on the article “Perception-Action Mutuality Obviates Mental Construction” by Martin Flament Fultot, Lin Nie & Claudia Carello. Upshot: Enactive approaches highlight the deep interdependency of brains, action, agency, and environment in shaping the world we inhabit. This perspective goes beyond input-output models of cognition, postulating instead closed loops of action and perception framed by the agent-environment complementarity. As a unique, dynamical, system, no representational recovery is required for cognitive-behavioral experience to take place.

The Theory of theory change has contraction and revision as its central notions. Of these, contraction is the more fundamental. The best-known theory, due to Alchourrón, Gärdenfors, and Makinson, is based on a few central postulates. The most fundamental of these is the principle of recovery: if one contracts a theory with respect to a sentence, and then adds that sentence back again, one recovers the whole theory. Recovery is demonstrably false. This paper shows why, and investigates how (...) one can nevertheless characterize contraction in a theoretically fruitful way. The theory proposed lends itself to implementation, which in turn could yield new theoretical insights. The Main proposal is a ‘staining algorithm’ which identifies which sentences to reject when contracting a theory. The algorithm requires one to be clear about the structure of reasons one has for including sentences within one's theory. (shrink)

A representation theorem is obtained for contraction operators that are based on Levi's recent proposal that selection functions should be applied to the set of saturatable contractions, rather than to maximal subsets as in the AGM framework. Furthermore, it is shown that Levi's proposal to base the selection on a weakly monotonic measure of informational value guarantees the satisfaction of both of Gärdenfors' supplementary postulates for contraction. These results indicate that Levi has succeeded in constructing a well-behaved operation of contraction (...) that does not satisfy the postulate of recovery. (shrink)

Generalized structured component analysis (GSCA) is a component-based approach to structural equation modeling (SEM), where latent variables are approximated by weighted composites of indicators. It has no formal mechanism to incorporate errors in indicators, which in turn renders components prone to the errors as well. We propose to extend GSCA to account for errors in indicators explicitly. This extension, called GSCA_M, considers both common and unique parts of indicators, as postulated in common factor analysis, and estimates a weighted composite of (...) indicators with their unique parts removed. Adding such unique parts or uniqueness terms serves to account for measurement errors in indicators in a manner similar to common factor analysis. Simulation studies are conducted to compare parameter recovery of GSCA_M and existing methods. These methods are also applied to fit a substantively well-established model to real data. (shrink)

Changing the Theory of Theory Change: Towards a Computational Approach’ (Tennant [1994]; henceforth CTTC) claimed that the AGM postulate of recovery is false, and that AGM contractions of theories can be more than minimally mutilating. It also described an alternative, computational method for contracting theories, called the Staining Algorithm. Makinson [1995] and Hansson and Rott [1995] criticized CTTC's arguments against AGM-theory, and its specific proposals for an alternative, computational approach. This paper replies as comprehensively as space allows.

This article will address Edith Stein's interests in relation to the microcosm of man, whether as a material, living, animated or spiritual body, as well as in his social, historical, community and cultural position. For Edith Stein, only through this set of interrelated and exclusive instances, each with its own particularities and yet dependent on the others. The phenomenological study of the SELF presented by the author, in the search for the Divine, for awareness of “character”, in the experience of (...) each part of one's own being, in experience, in empathy, where through philosophical anthropology Edith Stein conceives everyone as living beings, with man as a microcosm. For this reason, in the first part it will be discussed regarding The Centrality of the Body in Stein's Philosophical Anthropology. It has become a necessity within anthropology to refer to the body/empathy element. These two realities are established as essential in Stein's considerations and they are what will determine the scope of what refers to the empathic process and the Constitution of the self, elements so necessary for the recovery of the affirming reality of the human in its specification’s man/woman. In the second stage will address about the Soul and Spirit in Stein's Philosophical Anthropology. The living body is established in the fact that in addition to possessing external sensory characteristics, which can be grasped by consciousnesses, they themselves are holders of the ability to feel. Stein postulates as the first characteristic of the experienced body The Binding of the latter to an individual consciousness, to a subject. In his doctoral work, Stein turns to the characterization of an individual who has an essence that is established not only in the corporeal-psychic dimension, but also in that of spiritual appreciation. Finally, and will be closed with conclusions. (shrink)

‘Changing the Theory of Theory Change: Towards a Computational Approach’ (Tennant [1994]; henceforth CTTC) claimed that the AGM postulate of recovery is false, and that AGM contractions of theories can be more than minimally mutilating. It also described an alternative, computational method for contracting theories, called the Staining Algorithm. Makinson [1995] and Hansson and Rott [1995] criticized CTTC's arguments against AGM-theory, and its specific proposals for an alternative, computational approach. This paper replies as comprehensively as space allows.

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

Creating a space for recovery‐focused psychiatric nursing care Within contemporary mental health‐care, power relationships are regularly played out between psychiatric nurses and service users. These power relationships are often imperceptible to the practicing nurse. For instance, in times of distress, service users often turn to or/and ‘construct’ discourses, beliefs and knowledge that are at odds with those which psychiatric nurses rely on to inform them of the mental status of the service user. The psychiatric nurse is in the position (...) to impose knowledge onto service users, usually in concurrence with ‘traditional or bio‐psychiatry’, without realizing or failing to acknowledge that the service user may have an alternative explanation of his/her mental health problems/experiences. In this paper, practice examples, based on the experiences of the four authors (from within and outside of services), are used to illustrate this ‘hidden’ power relationship. The authors use Foucault's ideas about: (i) government; (ii) the knowledge/power nexus and resistance; (iii) and his analytic tool of genealogy to help unravel this paradox within psychiatric nursing practice. The authors also use the emerging discourse of recovery as an alternative (and challenge) to ‘traditional bio‐psychiatry’ and consider the implications for psychiatric nursing practice. (shrink)

Recovery is a model of care in (forensic) mental health settings across Western nations that aims to move past the paternalistic and punitive models of institutional care of the 20th century and toward more patient‐centered approaches. But as we argue in this paper, the recovery‐oriented services that evolved out of the early stages of this liberating movement signaled a shift in nursing practices that cannot be viewed only as improvements. In effect, as “recovery” nursing practices became more (...) established, more codified, and more institutional(ized), a stasis developed. Recovery had been reterritorialized. The purpose of this paper is to examine some of the threads of recovery, from its early days of antipsychiatry activism to its codification into mental health—including forensic mental health—institutions through the lens of poststructuralist philosophers Gilles Deleuze and Felix Guattari. We believe that Deleuze and Guattari's scholarship provides the necessary, albeit uncomfortable, framework for this critical examination. From a conceptualization of recovery as an assemblage, we critically examine how we can go about creating something new, caught in a tension between stasis and change. (shrink)

Organ donation after cardiac or circulatory death (DCD) has been introduced to increase the supply of transplantable organs. In this paper, we argue that the recovery of viable organs useful for transplantation in DCD is not compatible with the dead donor rule and we explain the consequential ethical and legal ramifications. We also outline serious deficiencies in the current consent process for DCD with respect to disclosure of necessary elements for voluntary informed decision making and respect for the donor's (...) autonomy. We compare two alternative proposals for increasing organ donation consent in society: presumed consent and mandated choice. We conclude that proceeding with the recovery of transplantable organs from decedents requires a paradigm change in the ethics of organ donation. The paradigm change to ensure the legitimacy of DCD practice must include: (1) societal agreement on abandonment of the dead donor rule, (2) legislative revisions reflecting abandonment of the dead donor rule, and (3) requirement of mandated choice to facilitate individual participation in organ donation and to ensure that decisions to participate are made in compliance with the societal values of respect for autonomy and self-determination. (shrink)

Discourses of recovery and resilience have risen to positions of dominance in the mental health field. Models of recovery and resilience enjoy purchase, in both policy and practice, across a range of settings from self-described psychiatric survivors through to mental health charities through to statutory mental health service providers. Despite this ubiquity, there is confusion about what recovery means. In this article we problematize notions of recovery and resilience, and consider what, if anything, should be recovered (...) from these concepts. We focus on three key issues, i) individualization, ii) the persistence of a deficit model, and iii) collective approaches to recovery. Through documentary analysis we consider these issues across third sector organizations, and public and mental health policy. Firstly, definitional debates about recovery reflect wider ideological debates about the nature of mental health. The vagueness of these concepts and implicit assumptions inherent in dominant recovery and resilience discourses render them problematic because they individualize what are social problems. Secondly, these discourses, despite being seen as inherently liberatory are conceptually dependent on a notion of deficit in that talk of “positives” and “strengths” requires the existence of “negatives” and “weaknesses” for these concepts to make sense. We argue that this does little to substantially transform dominant understandings of psychological distress. Thirdly, these issues combine to impact upon the progressive potential of recovery. It comes to be seen as an individualistic experiential narrative accompaniment to medical understandings where the structural causes of distress are obscured. This in turn impacts upon the potential for recovery to be used to explore more collective, political aspects of emotional distress. Drawing on the work of Fraser, we use this critique to characterize “recovery” as a “struggle for recognition,” founded on a model of identity politics which displaces and marginalizes the need for social, political and economic redistribution to address many of the underlying causes of emotional distress. We conclude by stating that it is only when the collective, structural experiences of inequality and injustice are explicitly linked to processes of emotional distress that recovery will be possible. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

This article uncovers a foundational relationship between the ‘gauge symmetry’ of a Newton-Cartan theory and the celebrated Trautman Recovery Theorem and explores its implications for recent philosophical work on Newton-Cartan gravitation.

In this paper, we argue that there are reasons to believe that an implicit bias for normalcy influences what are considered medically necessary treatments in psychiatry. First, we outline two prima facie reasons to suspect that this is the case. A bias for ‘the normal’ is already documented in disability studies; it is reasonable to suspect that it affects psychiatry too, since psychiatric patients, like disabled people, are often perceived as ‘weird’ by others. Secondly, psychiatry's explicitly endorsed values of well-being (...) and function are hard to measure directly, which is why we see simpler box-ticking conceptions of recovery used in large research studies. This need not be problematic, but might lead to researchers and clinicians focusing too much on treatments that promote easy-to-measure proxies for recovery, instead of what actually matters to psychiatric patients themselves. Next, we provide examples of treatments and treatment decisions within two areas – self-injury and psychosis – which are hard to explain unless we assume that an implicit and harmful normalcy bias is at work. We conclude with some suggestions for clinicians and future research. (shrink)

Both the theory that traumatic childhood memories can be repressed, and the reliability of the techniques used to retrieve these memories are challenged in this paper. Questions are raised about the robustness of the theory and the literature that purports to provide scientific evidence for it. Evidence to this end is provided by the demographic and qualitative results of a research study conducted by the authors which surveyed New Zealand families in which one member had accused another (or others) of (...) sexual abuse on the basis of recovered memories. It is shown that a number of these allegations involve very low probability events. Since memory repression theory is not currently scientifically substantiated it is argued that care needs to be taken in the mental health, legal and insurance compensation arenas. Memories recalled during therapy may be treated as metaphorical but, in the absence of corroborative evidence, should not be considered factually true. Clinicians who wish to use memory recovery techniques should inform patients of their experimental and controversial nature, point out potential adverse effects, and obtain consent before proceeding. (shrink)

Both the theory that traumatic childhood memories can be repressed, and the reliability of the techniques used to retrieve these memories are challenged in this paper. Questions are raised about the robustness of the theory and the literature that purports to provide scientific evidence for it. Evidence to this end is provided by the demographic and qualitative results of a research study conducted by the authors which surveyed New Zealand families in which one member had accused another (or others) of (...) sexual abuse on the basis of recovered memories. It is shown that a number of these allegations involve very low probability events. Since memory repression theory is not currently scientifically substantiated it is argued that care needs to be taken in the mental health, legal and insurance compensation arenas. Memories recalled during therapy may be treated as metaphorical but, in the absence of corroborative evidence, should not be considered factually true. Clinicians who wish to use memory recovery techniques should inform patients of their experimental and controversial nature, point out potential adverse effects, and obtain consent before proceeding. (shrink)

Tongan people in Aotearoa New Zealand experience higher rates of mental health challenges than Tongans born in Tonga. Engagement with services is lower for Pacific Island groups than it is for the dominant population in Aotearoa New Zealand. Meanwhile, the Pacific population is growing in Aotearoa New Zealand year after year. This paper explores how services could use evidence to support more appropriate responses for Pacific Islanders, in particular, Tongan communities. It takes recovery in mental health and explores the (...) relevant concepts that would better support engagement and response for Tongans in Aotearoa New Zealand. (shrink)

This paper is an explication of Gadamer's idea of "application." I argue that the relation between the first and third persons in application contains a viable conception of the normativity of understanding. Application includes a measure for understanding. The thing that is to be understood must be allowed to address me, and such involvement responds to the text’s meaning. While this measure is not expressible in principled rules, application is normatively accountable both to the text’s third-person claim to meaning and (...) to my first-person involvement with the text. The participation of the interpreter with the item of her understanding forms a normative standard. (shrink)

Dominant discourses of recovery permeate substance use research, policy, and practice recommendations around the world, exercising the power to shape the identities of people with substance use issues. Drawing on Foucauldian and intersectionality theories, this study explores power operations embedded in recovery discourses constructing a certain type of recovery for a certain type of subject. A critical discourse analysis using van Leeuwen’s social semiotic approach examines two Canadian federal recovery documents to consider the discursive representation of (...) people with substance use issues, legitimization of recovery, and interpretation of space. Findings suggest that substance use recovery discourses are entwined in a complex web of neoliberal, biomedical, and moral discourses by which stigmatized identities are (co)constructed at micro, mezzo, and macro levels. This study offers a unique and relevant opportunity to complicate the dominant recovery literature by challenging oppression, deconstructing normative identities, and facilitating the empowerment of marginalized populations. (shrink)

This article argues for the importance of studying life after mental illness. A significant proportion of people who experience mental illness recover, but the experience continues to affect their lives. Historical examination of the birth of mental after-care through the Mental After-Care Association (MACA) highlights the challenges faced by those who were discharged recovered from English and Welsh lunatic asylums between 1879 and 1928. This research demonstrates the relationship between ideas regarding psychiatric recovery and citizenship. Throughout the period, certification (...) of insanity for institutional treatment stripped patients of the status and rights of citizenship. Discharge on account of recovery restored a patient's legal access to citizenship, yet suspicions about their right and ability to particate in society lingered. The MACA designed after-care to facilitate restoration to full citizenship. The MACA was a product of the active citizenship movement, according to which, one's right to identify as a citizen depended on the performance of certain duties to the community. These duties varied according to socio-economic position and sex, meaning that each individual was prescribed a gendered personal citizenship role. MACA personnel saw their endeavours as part of their own citizenship roles, and designed their treatments accordingly. The MACA used a patient's assumption of a citizenship role to indicate recovery, and believed that supporting the performance of that role had mentally healing effects for patients who had been discharged recovered. MACA workers thus imbued the psychiatric innovation of after-care with the liberal political and social values of active citizenship. (shrink)

BackgroundMonitoring recovery–stress balance in sport is becoming more relevant to prevent training maladaptation and reach the optimal performance for each athlete. The use of questionnaires that identify the athlete’s recovery–stress state have much acceptance in sports due to reliability and useful, furthermore for its low cost. Identifying possible differences between sport modalities and sex is important to determine specific needs and possible intervention ways to keep a recovery–stress balance. The aim was to analyze the differences in the (...) recovery–stress state and mood states by sex and sport type during the competitive phase in young Mexican athletes. As a secondary objective, the psychometric properties of the Mexican version of the Recovery–Stress Questionnaire for Athletes were analyzed.MethodsA cross-sectional study was carried on with 461 athletes, 17.95 years old, from six sports disciplines. The RESTQ-Sport and Profile of Mood States were applied in a single moment. Differences by sex and sports modality were analyzed. RESTQ-Sport’s confirmatory factor analysis was performed after the stress and recovery theoretical structure of two stress and two recovery dimensions, and last, the concurrent validation with the POMS was carried on.ResultsSignificant differences by sex were found in the General Recovery and Sport Stress dimensions of the RESTQ-Sport as well as Vigor factor of the POMS, being higher for men; furthermore, both the Sport Recovery dimension of RESTQ-Sport and Cholera and the Fatigue and Depression factors from POMS also had differences by sport type, showing a less recovery and high stress for individual sport athletes. Goodness-of-fit indexes of the model for the RESTQ-Sport were acceptable. Pearson’s correlation between questionnaires was moderate.ConclusionThe recovery–stress state shows differences in the function of sex and sport modality. More special attention is suggested for women and individual sport athletes. The higher punctuation for men compared with women in sport stress dimension did not negatively affect the recovery–stress balance for male athletes. Finally, the Mexican context adaptation of the RESTQ-Sport provides a psychometric instrument suitable to assess the recovery–stress balance in Mexican athletes. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

The most controversial condition that the AGM theory of rational belief change places on belief contraction is the recovery condition. The condition is controversial because of a series of putative counterexamples due (separately) to I. Levi and S. O. Hansson. In this paper we show that the conflicts that Levi and Hansson arrange between AGM contraction and our intuitions about how to give up beliefs are merely apparent. We argue that these conflicts disappear once we attend more closely to (...) the identification of the beliefs contracted away in each counterexample case. Since, on our view, speakers" belief contraction intentions are often more complicated than they may first appear, we are led to develop apparatus for thinking about the communication and identification of those intentions. Our argument refocuses attention on the difficult question of how to apply the AGM theory to particular cases. (shrink)

The most controversial condition that the AGM theory of rational belief change places on belief contraction is the recovery condition. The condition is controversial because of a series of putative counterexamples due (separately) to I. Levi and S. O. Hansson. In this paper we show that the conflicts that Levi and Hansson arrange between AGM contraction and our intuitions about how to give up beliefs are merely apparent. We argue that these conflicts disappear once we attend more closely to (...) the identification of the beliefs contracted away in each counterexample case. Since, on our view, speakers' belief contraction intentions are often more complicated than they may first appear, we are led to develop apparatus for thinking about the communication and identification of those intentions. Our argument refocuses attention on the difficult question of how to apply the AGM theory to particular cases. (shrink)

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it (...) develops algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper. (shrink)

This article outlines the work of a group of US mathematicians called the American Postulate Theorists and their influence on Tarski's work in the 1930s that was to be foundational for model theory. The American Postulate Theorists were influenced by the European foundational work of the period around 1900, such as that of Peano and Hilbert. In the period roughly from 1900???1940, they developed an indigenous American approach to foundational investigations. This made use of interpretations of precisely formulated (...) axiomatic theories to prove such metatheoretic properties as independence, consistency, categoricity and, in some cases, completeness of axiom sets. This approach to foundations was in many respects similar to that later taken by Tarski, who frequently cites the work of American Postulate Theorists. Their work served as paradigm examples of the theories and concepts investigated in model theory. The article also examines the possibility of a more specific impetus to Tarski's model theoretic investigation, arising from his having studied in 1927???1929 a paper by C. H. Langford proving completeness for various axiom sets for linear orders. This used the method of elimination of quantifiers. The article concludes with an examination of one example of Langford's methods to indicate how their correct formulation seems to call for model-theoretic concepts. (shrink)

The qualitative theory of nomic truth approximation, presented in Kuipers in his, in which ‘the truth’ concerns the distinction between nomic, e.g. physical, possibilities and impossibilities, rests on a very restrictive assumption, viz. that theories always claim to characterize the boundary between nomic possibilities and impossibilities. Fully recognizing two different functions of theories, viz. excluding and representing, this paper drops this assumption by conceiving theories in development as tuples of postulates and models, where the postulates claim to exclude nomic impossibilities (...) and the models claim to represent nomic possibilities. Revising theories becomes then a matter of adding or revising models and/or postulates in the light of increasing evidence, captured by a special kind of theories, viz. ‘data-theories’. Under the assumption that the data-theory is true, achieving empirical progress in this way provides good reasons for the abductive conclusion that truth approximation has been achieved as well. Here, the notions of truth approximation and empirical progress are formally direct generalizations of the earlier ones. However, truth approximation is now explicitly defined in terms of increasing truth-content and decreasing falsity-content of theories, whereas empirical progress is defined in terms of lasting increased accepted and decreased rejected content in the light of increasing evidence. These definitions are strongly inspired by a paper of Gustavo Cevolani, Vincenzo Crupi and Roberto Festa, viz., “Verisimilitude and belief change for conjunctive theories” :183–222, 2011). (shrink)