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 (...) class='Hi'>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)

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)

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)

Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.

In lieu of an abstract, here is a brief excerpt of the content:The Declaration of Independence:Inalienable Rights, the Creator, and the Political OrderChristopher KaczorPierre Manent puts his finger on numerous problems that arise from an emphasis on human rights that is detached from any consideration of human nature, the Creator, or the traditions that inform human practice. In his book Natural Law and Human Rights: Towards a Recovery of Practical Wisdom, Manent writes: "Let us dwell a moment on the (...) proposition in which so much passion is invested today: man is the being who possesses rights. It resonates as our self-definition and our perspective on humanity, one that we take to have fortunately replaced other definitions and perspectives, such as that man is God's creature or that man is a political animal."1 Contemporary political discourse has arrived, so he thinks, at an impasse of contradiction, incoherence, and self-defeating beliefs.Manent finds a vital help for thinking through these issues in Thomas Aquinas,2 but perhaps also a useful resource is the work of Thomas Jefferson. In Natural Law and Human Rights, Manent cites the first article of the 1789 Declaration of the Rights of Man and of the Citizen: "Human beings are born and remain free and equal in rights."3 But Manent does not cite the Declaration of Independence drafted by Jefferson. The 1776 Declaration provides a way of addressing many of Manent's concerns about human rights, human nature, and equality because it combines an appeal to the Creator [End Page 249] with the establishment of rights grounded in human nature and defended by limited government. In order to approach some of the important political, religious, and philosophical questions raised in Natural Law and Human Rights, we can reconsider the famous "American proposition": "We hold these truths to be self-evident, that all men are created equal, that they are endowed by their Creator with certain unalienable Rights, that among these are Life, Liberty and the pursuit of Happiness." What exactly does this famous American proposition mean? Can it help us to address some of the concerns about incoherent political discourse that Manent highlights?We Hold These Truths to Be Self-EvidentWhat does "we hold these truths to be self-evident" mean? The interpretation of this phrase has generated no small amount of speculation.4 As Manent notes, appeals to self-evidence arise also today in disputes about same-sex marriage.5 Even if we cannot perfectly trace the remote or proximate historical origins of the phrase in 1776, we might still examine some possible meanings.For John Locke, a self-evident truth is akin to what later philosophers called an analytically true proposition.6 Such propositions are true in virtue of the agreement of the ideas that make up the proposition. "A bachelor is an unmarried man of marriageable age" is self-evidently true, since the idea of "bachelor" agrees with the idea "an unmarried man of marriageable age." It does not seem plausible that the self-evident truths of the Declaration of Independence were meant in this sense. The assertions of the Declaration are not true simply by agreement of ideas or by definition in a way that is obvious to anyone who is a native speaker.Thomas Reid suggests a different sense of self-evidence. On his view, [End Page 250] self-evidence does not mean obviousness to everyone, but rather clear to those with the requisite education and maturity: "Moral truths... are self-evident to every man whose understanding and moral faculty are ripe."7 If a person is conscious of no moral obligation whatsoever, then reasoning with such a person will not bring the person to understand his or her obligations. Just as mathematical calculations cannot begin without acceptance of basic axioms of mathematics, so too ethical reflection presupposes but does not establish its first principles. As Reid says, "the man who does not by the light of his own mind, perceive some things in conduct to be right, and others to be wrong, is as incapable of reasoning about morals as a blind man is about colours."8 Just as there are people who cannot see colors, so too there are people lacking the requisite moral... (shrink)

To write a history “from antiquity to the present” of classical art or literature (or, worst of all, classicism) is the ultimate nightmare aspiration for a scholar whose colleagues are attentive methodologists. The product, when there is one (which I add because the aspiration can yield paralysis), is always in part an apologetic treatise on historical method. Professor Vout—of Christ's College, Cambridge—apologizes with the first word of her subtitle, A, which stresses that many differing histories may be as valid as (...) her own. The next two words, Life History, imply that her study is unauthorized, conjectural, a bit personal or informal, and reliant to an extent on unconfirmable stories. Her book, she tells readers, is of necessity an arrangement of “fragments” and “a mapping not of facts, but of ways in which Greek and Roman artifacts experience history.” She sets down, moreover, as a rule that “classical” is not “a self-standing category: it is always relational” (which historians of the novel have been telling us for many decades about “realism”).We might expect the result of Vout's axioms to be evenhanded diffidence when treating definitions of the classical, and indeed she entertains even the idea of Jeff Koons—maker of Balloon Venus (Orange) and Gazing Ball (Barberini Faun)—as a classical sculptor. There is, however, one approach that she dismisses out of hand: the obsession of classical humanism with authenticity and its renascence. She objects especially to research into the original conditions of objects and to the application of increasingly intrusive methods of restoring them. As she writes, “ ‘Real knowledge’ comes not from antiquities that have been ripped from their original context, cleaned and reconstituted for display in galleries and glass cabinets. ‘Real knowledge’ comes from antiquities that carry their dirt with them.”What Vout, as a critic of humanism, means by dirt is patina—the residue, interesting and sometimes beautiful in itself, of the use and misuse of objects. Dirt is a word that would occur to a humanist art historian when examining the patina of a Greek or Roman object. Vout's use of the word is a parodic expression of reverse snobbery. When studying changes, whether mistakes or enhancements, in a Greek or Roman document, a humanist literary historian would speak of corruption and edit the corrupt text by means of processes that humanist editors invented and perfected. Despite the humanists’ devotion to the recovery of classical learning, however, once a Renaissance edition of a manuscript was in print, the original, however rare, was often destroyed or lost. In effect, the work was reborn, better than new. Rebirth is not the same as preservation: though both are perhaps conservative (or better, in Ulysses's words, “rere regardant”), a renascence or a resurrection is cataclysmic.The humanist approach to the past can appear unlovable and is certainly arrogant, but it can also inspire awe and gratitude. The work of Michelangelo depended on it, and so (more to the point) did Martin Luther's. Vout's attitude toward dirt (patina, corruption, misprision, insertions, recontextualizations, bowdlerizations, misappropriations, translocations) resembles that of Catholic theologians to the depositum fidei. Restoring the original conditions of the Christian church involved methods of research learned from Renaissance humanists and the removal, often destructive, of the “deposit” or residue or patina that adhered to, distorted, discolored, and obscured the conditions of the “primitive church.” A Roman Catholic may well dislike the processes that Luther set in motion, but imagine a scholarly history of Christianity that mentioned Protestantism only to regret its existence.Still, Vout's reasoning, it seems to me, is more sophisticated in its defense of dirt and in its criticism of restoration than any offered against the Protestants’ reasoning during the Counter-Reformation. Consider, for instance, this inspiring passage: “When the curators at the Munich Glyptothek removed Thorwaldsen's restorations from the Aegina pediments, they did not so much take them back to a pristine state as out of the feedback loop, rendering them damaged goods. It was not a restriction of avenues or a change of direction that was being enacted here, but a refusal to speak the language, or rather an insistence that the only language worth speaking was an academic [humanist, restorationist] one.... In 2011, the Glyptothek marked the two hundredth year of the pediments’ discovery by putting new versions of Thorvaldsen's restored figures on display. They had relearned the lingo. For art to be ‘classical,’ it has to know its place in the discourse.” May lingo and feedback loop have successful careers in the lexicon of classical scholarship. “Far from producing a nostalgic narrative,” as Vout informs us, “the lessons learned from looking back ensure that we keep traveling.”. (shrink)

The paradox of biological diversity is the key problem of theoretical ecology. The paradox consists in the contradiction between the competitive exclusion principle and the observed biodiversity. The principle is important as the basis for ecological theory. On a relatively simple model we show a mechanism of indefinite coexistence of complete competitors which violates the known formulations of the competitive exclusion principle. This mechanism is based on timely recovery of limiting resources and their spatio-temporal allocation between competitors. Because of (...) limitations of the black-box modeling there was a problem to formulate the exclusion principle correctly. Our white-box multiscale model of two-species competition is based on logical deterministic individual-based cellular automata. This approach provides an automatic deductive inference on the basis of a system of axioms, and gives a direct insight into mechanisms of the studied system. It is one of the most promising methods of artificial intelligence. We reformulate and generalize the competitive exclusion principle and explain why this formulation provides a solution of the biodiversity paradox. In addition, we propose a principle of competitive coexistence. (shrink)

This paper traces missing links in the history of economic thought. In outlining Hume's concept of 'the reflexive mind' it shows that this opened frontiers between philosophy and psychology which Bertrand Russell denied and which logical positivism in philosophy and positive economics displaced. It relates this to Hume's influence not only on Smith, but also on Schopenhauer and the later Wittgenstein, with parallels in Gestalt psychology and recent findings from neural research and cognitive psychology. It critiques Kant's reaction to Hume's (...) claim that one may assume but cannot prove cause and effect and how Samuelson's Foundations of Economic Analysis has been Kantian but wrong in claims for axioms that are universal truths. It illustrates how Samuelson's presumption that language and mathematics are 'identical' was as mistaken as the logical atomism of Russell and the early Wittgenstein, relates this to Kleinian splitting, denial and projective identification and suggests that recovery of greater realism in economics needs to regain links with such philosophy and psychology. (shrink)

In the …rst part of this paper, the origins of modal-structuralism are traced from Hilary Putnam’s seminal article, "Mathematics without Foundations" (1967) to its transformation and development into the author’s modal-structural approach. The addition of a logic of plurals is highlighted for its recovery (in combination with the resources of mereology) of full, second-order logic, essential for articulating a good theory of mathematical structures. The second part concentrates on the motivation of large trans…nite cardinal numbers, arising naturally from the (...) second-order machinery combined with an extendability principle on structures for set theories due independently to Zermelo (1930) and Putnam (in the paper just cited). The power of this is enhanced by a novel modal re‡ection principle recently introduced by the author. This is illustrated in detail with the …rst axiom of in…nity: After reviewing some of the trouble this basic classical axiom has caused for previous foundational programs, we show how it is derived easily using the re‡ection principle and a weak form of extendability for …nite structures. We conclude with some comparative remarks on how this improves on the closest set-theoretic analogue to the present proposal. (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)

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)

Dynamic Theodicy (DT) is a broad concept we bring up to designate some modern Philosophical Theology attempts to reconcile the necessary and perfect existence of God with the contingent characteristics of human life. In this paper we analyze such approaches and discuss how they have become incomprehensible because the metaphysical assumptions implicit in these explanations have lost their intrinsic relation to the natural human desire for salvation. In the first part we show Charles Hartshorne's DT-model, arising from the modal logic (...) of perfection, and the modern rational problems of this position in making infinite-necessary Being (God) and finite-contingent being (human) compatible. We note that at the heart of the contradictions in this DT account is a dialectical mode of thinking that makes it difficult to find a correct solution to this dichotomy, and to assume a human desire that could be considered related to lifelong goals. In the second part, supported by the proposal of Hans Urs von Balthasar's DT, we develop the concepts of bodily vulnerability, corporeal intentionality, and natural desire for salvation, which come from an Aristotelian-Thomistic thought. This theory is established in order to build an argument, following Alasdair MacIntyre’s ethical framework, on how to make possible the recovery of a metaphysical and anthropological desire that transcends natural aging and goes beyond death. We conclude that both human dependence and the virtues that arise naturally when human beings decide to seek the good of their transcendent condition, make it possible to recover the natural desire for salvation through divine and human love. (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)

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)

We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.

This collection of thirty yoga and mindfulness tools will help support those in recovery from addiction of all kinds. Thirty accessible, pointed teachings offer inspiration, comfort, and solidarity in the moment, helping us cultivate a powerful and purposeful life in recovery, and to create a new design for living. Each chapter focuses on a quality-such as vigilance, acceptance, accountability, among others-and delves into how to manifest it in your recovery journey. Brian Hyman, a yoga teacher and (...) class='Hi'>recovery activist, understands deeply what people need to maintain sobriety and strengthen recovery-and knows that those who struggle with addiction also often need support with other mental health challenges, like obsession, anxiety, depression. He uses yogic philosophy, mindfulness teachings, personal anecdotes, and secular wisdom to illuminate each quality and the role it plays in helping us create the life we want. The practices--which include inquiry questions, meditations, awareness exercises, breathing practices, yoga nidra, among others--will quiet the mind in difficult moments, support us as we establish meaningful relationships, and reinforce the power that recovery offers us. Hyman offers resources and additional reading suggestions in the back matter. Based on Hyman's popular online course, this book is essential reading for people of all ages in recovery-along with their family members and friends, and anyone in a health care profession who works with those struggling with addiction of any kind. Hyman includes a list of recovery organizations and a reading list in the back matter. (shrink)

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)

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)

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)

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.

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)

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)

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)

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)

According to telling based views of testimony (TBVs), B has reason to believe that p when A tells B that p because A thereby takes public responsibility for B's subsequent belief that p. Andrew Peet presents a new argument against TBVs. He argues that insofar as A uses context-sensitive expressions to express p, A doesn't take public responsibility for B's belief that p. Since context-sensitivity is widespread, the kind of reason TBVs say we have to believe what we're told, is (...) not widespread. Peet doesn't identify any problem with his own argument though he does attempt to limit its sceptical potential by identifying special contexts in which TBVs stand a chance of success. A more general defence of TBVs can be provided by showing Peet's argument to be unsound. I argue that Peet's argument is unsound because it requires us to wrongly suppose that speakers do far less labour than their audiences in context-sensitive linguistic communication. I aim to show why—in the context of the epistemology of testimony and the philosophy of language—it's important to recognize the labour that speakers can do, and so can can be held responsible for not doing, in episodes of context-sensitive linguistic communication. (shrink)

Recovery is a commonly used concept in both professional and everyday contexts. Yet despite its extensive use, it has not drawn much philosophical attention. In this paper, I question the common understanding of recovery, show how the concept is inadequate, and introduce new and much needed terminology. I argue that recovery glosses over important distinctions and even misrepresents the process of moving away from malady as "going back" to a former state of health. It does not invite (...) important nuances needed to distinguish between biomedical, phenomenological, and social perspectives. In addition, I claim that there are many conditions where we are making use of the concept of recovery, although the person recovered from the condition in question, has not regained the same degree of soundness. I show how the concept of recovery leads to conceptual discrepancies that can result in worsening patients' conditions. To gain a fuller understanding, I propose to rethink the direction of the process in question. I define the process of moving away from malady as a move forward towards a new state of soundness. I also suggest three terms, corresponding to different perspectives, to describe this movement forward: 'curing', 'healing', and 'habilitating'. This new terminology provides a more nuanced understanding of the states of both malady and soundness and an attentiveness as to how they differ and relate. (shrink)

We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable [Formula: see text]-algebras with the metric approximation property and an increasing approximate identity of projections.

We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable [Formula: see text]-algebras with the metric approximation property and an increasing approximate identity of projections.

This paper relates to a formal statement of the mechanisms that are thought minimally necessary to underpin consciousness. This is expressed in the form of axioms. We deem this to be useful if there is ever to be clarity in answering questions about whether this or the other organism is or is not conscious. As usual, axioms are ways of making formal statements of intuitive beliefs and looking, again formally, at the consequences of such beliefs. The use of this style (...) of exposition does not entail a claim to provide a mathematically rigorous formal deductive system. Conventional mathematical notation is used to achieve clarity, although this is elaborated with natural language in an attempt to reduce terseness. In our view, making the approach axiomatic is synonymous with building clear usable tests for consciousness and is therefore a central feature of the paper. The extended scope of this approach is to lay down some essential properties that should be considered when designing machines that could be said to be conscious. In the broader discussion about the nature of consciousness and its neurological mechanisms, it may seem to some that axiomatisation is premature and continues to beg many questions. However, the approach is meant to be open- ended so that others can build further axiomatic clarifications that address the very large number of questions which, in the search for a formal basis for consciousness, still remain to be answered. Of course, in discussions about consciousness many will also argue that the subject is not one that may ever be formally addressed by means of axioms. The view taken in this paper is 'let's try to do it and see how far it gets'. (shrink)

This critical review of the literature examines recovery from borderline personality disorder to inform a deeper understanding, identifying supports and barriers to recovery, through the exploration of historical and socio-political influences. It critically evaluates research literature for the effectiveness of recovery concept implementation. This review presents the strengths of current evidence and suggestions for future considerations to better support the recovery of whaiora (people seeking wellness) by taking concepts of connection, empowerment, hope, identity and meaning-making, and (...) interweaving them with aspects of established therapies, such as Dialectal Behaviour Therapy, focussing on interpersonal effectiveness, distress tolerance, creating a life worth living, the reconstruction of stable self-image and the use of mindfulness practice. The focus is on developing interventions and responses that support self-management. (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)

There seems to be a view that intuitionists not only take the Axiom of Choice (AC) to be true, but also believe it a consequence of their fundamental posits. Widespread or not, this view is largely mistaken. This article offers a brief, yet comprehensive, overview of the status of AC in various intuitionistic and constructivist systems. The survey makes it clear that the Axiom of Choice fails to be a theorem in most contexts and is even outright false (...) in some important contexts. Of the systems surveyed, only intensional type theory renders AC a theorem, but the extent of AC in that theory does not include, for instance, real analysis. Only a small amount of extensionality is required in order for the obvious proof an intuitionist might offer for AC to break down. (shrink)

It is only in the past 20 years that the concept of 'recovery' from mental health has been more widely considered and researched. This book is unique in addressing philosophical issues - including conceptual challenges and opportunities - raised by the notion of recovery of people with mental illness.

How reliable is a diagnosis of irreversible unconsciousness? In a unique case in New York, a state Supreme Court judge vacated an order allowing removal of life‐sustaining treatment after Carrie Coons showed signs of recovery from a diagnosed vegetative state.

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)

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)

We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection axioms are equiconsistent over ZFC with the existence of an uplifting cardinal.