In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to some 1-degree formula, i.e. a modally-flat formula with modal functors having only boolean formulas in its scope. In contrast to many sequent calculi for S5 the presented system does not introduce any extra devices. Thus it is a standard version of SC (...) but with some additional simple rewrite rules. The procedure combines the proces of saturation of sequents with reduction of their elements to some normal modal form. (shrink)

In a previous article, I defended the standard picture of law (or SP), so labeled by its foremost critic, Mark Greenberg. In that article, I addressed Greenberg's root-and-branch critique of the SP and, to a much lesser extent, a related critique by Scott Hershovitz. But the Greenberg and Hershovitz frontal attacks on the SP are not its only threats. Some theorists, while not attacking the SP directly, give accounts of law that the SP cannot accommodate. Those theorists will be (...) challenged here, because if they are correct, the SP is not a tenable account of law. (shrink)

An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion of (...) coherence to characterize strong cutelimination in such systems. We show that the following properties of a canonical system G with arbitrary (n, k)-ary quantifiers are equivalent: (i) G is coherent, (ii) G admits strong cut-elimination, and (iii) G has a strongly characteristic two-valued generalized non-deterministic matrix. In addition, we define simple calculi, an important subclass of canonical calculi, for which coherence is equivalent to the weaker, standard cut-elimination property. (shrink)

We present a uniform characterisation of three-valued logics by means of a bisequent calculus (BSC). It is a generalised form of a sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakest kind of system in the rich family of generalised SC operating on items being some collections of ordinary sequents, like hypersequent and nested sequent calculi. It seems that for many non-classical logics, including some many-valued, paraconsistent and modal logics, (...) the reasonably modest generalisation of standard SC offered by BSC is sufficient. In this paper, we examine a variety of three-valued logics and show how they can be formalised in the framework of BSC. We present a constructive syntactic proof that these systems are cut-free, satisfy the subformula property, and allow one to prove the interpolation theorem in many cases. (shrink)

Antibiotic resistance, arising when bacteria develop defences against antibiotics, is creating a public health threat of massive proportions. This raises challenging questions for standard notions in bioethics when suitable policy is to be characterized and justified. We examine the particular proposal of expediting innovation of new antibiotics by cutting various forms of regulatory ‘red tape’ in the standard system for the clinical introduction of new drugs. We find strong principled reasons in favour of such a lowering of the (...) ethical standards of research and the clinical introduction of new antibiotic formulas. However, this support is undermined by pragmatic challenges owing to expected responses from stakeholders, creating uncertainty about which policies could actually be effectively implemented. We describe an underlying dilemma on how to rationally justify compromises between ideal ethical justification and pragmatic risks that needs to be further addressed in this light. We suggest a solution to this dilemma related to proposals of expediting antibiotic drug innovation. (shrink)

Canonical Propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the sub-formula property, in which exactly one occurrence of a connective is introduced in the conclusion, and no other occurrence of any connective is mentioned anywhere else. In this paper we considerably generalize the notion of a “canonical system” to first-order languages and beyond. We extend the Propositional coherence criterion for the non-triviality of such systems to rules (...) with unary quantifiers and show that it remains constructive. Then we provide semantics for such canonical systems using 2-valued non-deterministic matrices extended to languages with quantifiers, and prove that the following properties are equivalent for a canonical system G: (1) G admits Cut-Elimination, (2) G is coherent, and (3) G has a characteristic 2-valued non-deterministic matrix. (shrink)

While it is widely agreed that decoherence will not solve the measurement problem, decoherence has been used to explain the “emergence of classicality” and to eliminate the need for a Copenhagen edict that some systems simply have to be treated as classical via a quantum-classical “cut”. I argue that decoherence still relies on such a cut. Decoherence accounts derive classicality only in virtue of their incompleteness, by omission of part of the entangled system of which the classical-appearing subsystem is a (...) part. I argue that this omission is only justified by implicit classical assumptions that objectify a subsystem and are employed via either a traditional Copenhagen cut or a functionally equivalent imposition of separability on a system in a non-separable state. I argue that decoherence cannot derive classicality without assuming it in some other form, and I provide an analysis of when it is appropriate to make these otherwise implicit classical assumptions by adopting a minimalistic Copenhagen-style approach to measurement. Finally, I argue that, ironically, the conditions for making these assumptions may be better satisfied in standard measurement situations than in cases of environmental monitoring. (shrink)

Any set of truth-functional connectives has sequent calculus rules that can be generated systematically from the truth tables of the connectives. Such a sequent calculus gives rise to a multi-conclusion natural deduction system and to a version of Parigot’s free deduction. The elimination rules are “general,” but can be systematically simplified. Cut-elimination and normalization hold. Restriction to a single formula in the succedent yields intuitionistic versions of these systems. The rules also yield generalized lambda calculi providing proof terms for natural (...) deduction proofs as in the Curry-Howard isomorphism. Addition of an indirect proof rule yields classical single-conclusion versions of these systems. Gentzen’s standard systems arise as special cases. (shrink)

Following François Laruelle's nonstandard philosophy and the work of Judith Butler, Drucilla Cornell, Luce Irigaray, and Rosi Braidotti, Katerina Kolozova reclaims the relevance of categories traditionally rendered "unthinkable" by postmodern feminist philosophies, such as "the real," "the one," "the limit," and "finality," thus critically repositioning poststructuralist feminist philosophy and gender/queer studies. Poststructuralist (feminist) theory sees the subject as a purely linguistic category, as _always alread_y multiple, as _always already_ nonfixed and fluctuating, as limitless discursivity, and as constitutively detached from the (...) instance of the real. This reconceptualization is based on the exclusion of and dichotomous opposition to notions of the real, the one (unity and continuity), and the stable. The non-philosophical reading of postructuralist philosophy engenders new forms of universalisms for global debate and action, expressed in a language the world can understand. It also liberates theory from ideological paralysis, recasting the real as an immediately experienced human condition determined by gender, race, and social and economic circumstance. (shrink)

In this article, a cut-free system TLMω1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames.The system TLMω1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω1 is defined as a finite tree of sequents in a standard sense. We prove the cut-elimination theorem for TLMω1 via its Kripke completeness.

Debates about female genital mutilation/cutting have polarized opinion between those who see it as an abuse of women’s health and human rights, to be ‘eradicated’, and those who may or may not oppose the practice, but see a double standard on the part of western campaigners who fail to challenge other unnecessary surgical interventions — such as male circumcision or cosmetic surgery — in their own communities and cultures. This article interrogates these debates about FGM/c in the context of (...) measures to reduce it in the UK over recent decades. It does not suggest that FGM/c is a legitimate practice, seeing it, rather, as an abuse of women’s and children’s rights that should be combated using a combination of measures. However, it argues that reduction strategies are undermined by inconsistencies in the law and the failure to back up the law with research and education. (shrink)

Let U be an initial segment of $^*{\mathbb N}$ closed under addition (such U is called a cut) with uncountable cofinality and A be a subset of U, which is the intersection of U and an internal subset of $^*{\mathbb N}$ . Suppose A has lower U-density α strictly between 0 and 3/5. We show that either there exists a standard real $\epsilon$ > 0 and there are sufficiently large x in A such that | (A+A) ∩ [0, 2x]| (...) > (10/3+ $\epsilon$ ) | A ∩ [0, x]| or A is a large subset of an arithmetic progression of difference greater than 1 or A is a large subset of the union of two arithmetic progressions with the same difference greater than 2 or A is a large subset of the union of three arithmetic progressions with the same difference greater than 4. (shrink)

Current General Medical Council guidelines state that any doctor who does not wish to carry out a non-therapeutic circumcision (NTC) on a boy must invoke conscientious objection. This paper argues that this is illogical, as it is clear that an ethical doctor will object to conducting a clinically unnecessary operation on a child who cannot consent simply because of the parents’ religious beliefs. Comparison of the GMC guidelines with the more sensible British Medical Association guidance reveals that both are biased (...) in favour of NTC and subvert standard consent procedures. It is further argued that any doctor who does participate in non-therapeutic circumcision of a minor may be guilty of negligence and in breach of the Human Rights Act. In fact, the GMC guidance implies that doctors must claim conscientious objection if they do not wish to be negligent. Both sets of guidelines should be changed to ensure an objective consent process and avoid confusion over the ethics of NTC. (shrink)

Surrogate motherhood-at least if carefully structured to protect the interests of the women involved-seems defensible along standard liberal lines which place great stress on free agreements as moral bedrocks. But feminist theories have tended to be suspicious about the importance assigned to this notion by mainstream ethics, and in this paper, we develop implications of those suspicions for surrogacy. We argue that the practice is inconsistent with duties parents owe to children and that it compromises the freedom of surrogates (...) to perform their share of those duties. Standard liberal perspectives tend to be insensitive to such considerations; we propose a view which takes more seriously the moral importance of the causal relationship between parents and children, and which therefore illuminates rather than obscures the stake that women and children have in surrogacy. (shrink)

Cut reductions are defined for a Kripke-style formulation of modal logic in terms of indexed systems of sequents. A detailed proof of the normalization (cutelimination) theorem is given. The proof is uniform for the propositional modal systems with all combinations of reflexivity, symmetry and transitivity for the accessibility relation. Some new transformations of derivations (compared to standard sequent formulations) are needed, and some additional properties are to be checked. The display formulations [1] of the systems considered can be presented (...) as encodings of Kripke-style formulations. (shrink)

This paper concerns the relationship between transitivity of entailment, omega-inconsistency and nonstandard models of arithmetic. First, it provides a cut-free sequent calculus for non-transitive logic of truth STT based on Robinson Arithmetic and shows that this logic is omega-inconsistent. It then identifies the conditions in McGee for an omega-inconsistent logic as quantified standard deontic logic, presents a cut-free labelled sequent calculus for quantified standard deontic logic based on Robinson Arithmetic where the deontic modality is treated as a predicate, (...) proves omega-inconsistency and shows thus, pace Cobreros et al., that the result in McGee does not rely on transitivity. Finally, it also explains why the omega-inconsistent logics of truth in question do not require nonstandard models of arithmetic. (shrink)

The WHO, American Academy of Pediatrics and other Western medical bodies currently maintain that all medically unnecessary female genital cutting of minors is categorically a human rights violation, while either tolerating or actively endorsing medically unnecessary male genital cutting of minors, especially in the form of penile circumcision. Given that some forms of female genital cutting, such as ritual pricking or nicking of the clitoral hood, are less severe than penile circumcision, yet are often performed within the same families for (...) similar reasons, it may seem that there is an unjust double standard. Against this view, it is sometimes claimed that while female genital cutting has ‘no health benefits’, male genital cutting has at least some. Is that really the case? And if it is the case, can it justify the disparate treatment of children with different sex characteristics when it comes to protecting their genital integrity? I argue that, even if one accepts the health claims that are sometimes raised in this context, they cannot justify such disparate treatment. Rather, children of all sexes and genders have an equal right to bodily autonomy. This includes the right to decide whether their own ‘private’ anatomy should be exposed to surgical risk, much less permanently altered, for reasons they themselves endorse when they are sufficiently mature. (shrink)

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, (...) we notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules. (shrink)

This article examines the role that humbling plays in Socratic practice. Specifically, we consider how Socrates humbles his interlocutors in order to turn them towards the pursuit of philosophical friendship. We argue against a standard interpretation of humbling in the Lysis, which holds that Socrates humbles Lysis by exposing his own ignorance to him at 210d. Instead, we argue that the humbling occurs not when Lysis is (allegedly) made aware of his own ignorance, but at 222d near the end (...) of the dialogue, when Lysis is made to think that he is not as good a friend as he thought he was. On this reading, Socrates humbles Lysis not by exposing to him his ignorance about theoretical matters but by suggesting to him that he may be not the sort of person he thought he was. (shrink)

Regulatory responses to the business failures of 1998–2001 framed them as a general failure of governance and ethics rather than as firm-specific problems. Among the regulatory responses are Section 406 of Sarbanes–Oxley Act, SEC, and exchange requirements to provide a Code of Ethics. However, institutional pressures surrounding this regulation suggest the potential for symbolic responses and decoupling of response from organizational action. In this article, we examine Codes of Ethics for a stratified sample of 75 U.S. firms across five distinct (...) industries and find that content and language converge across organizations in ways undesired by the regulators, and that language is used to minimize the effects of the Code on constraining organizational behavior. There is, however, a noteworthy exception in the sections of the Codes dedicated the ethics of financial reporting. Although this material still contains legalistic boilerplate information, it does offer concrete guidance and emphatic language pertaining to the need to maintain the integrity of reporting practices. This suggests that the corporate understanding of the source of the failures is one of fraudulent financial reporting. Aside from the matter of financial reporting, the vague and stylized content of the Codes was a predicted response and constitutes a rational response to the regulation. The regulation, however, clearly states the belief that Codes should vary from firm to firm and that individual firms should determine the specific content of a Code. Aside from financial reporting matters, the observed result suggests that regulatory efforts may have failed to instigate corporate change in attitudes toward and enforcement of higher ethical standards by corporate actors. (shrink)

Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism (...) links it to the opposition of propositional logic, to which Gentzen’s cut rule refers immediately, on the one hand, and the linguistic and mathematical theory of metaphor therefore sharing the same structure borrowed from Hilbert arithmetic in a wide sense. An example by hermeneutical circle modeled as a dual pair of a syllogism (accomplishable also by a Turing machine) and a relevant metaphor (being a formal and logical mistake and thus fundamentally inaccessible to any Turing machine) visualizes human understanding corresponding also to Gentzen’s cut elimination and the Gödel dichotomy about the relation of arithmetic to set theory: either incompleteness or contradiction. The metaphor as the complementing “half” of any understanding of hermeneutical circle is what allows for that Gödel-like incompleteness to be overcome in human thought. (shrink)

We live in the era of Facebook, Fitbit, and Skype. As such, it would be unreasonable to expect that the healthcare industry would not see the same kind of globalization as do our social spheres and consumer activities. Indeed, the explosion of information technology, the ease of transcontinental travel, and the emergence of a more globally aware citizenry allows for scientific collaboration that has had many positive effects on global health. However, the economic and structural disparities between systems of healthcare (...) delivery in the industrialized world and parts of the developing world have created a monster in the form of an international medical tourism industry that endangers the health and safety of citizens of the host country as well as visiting patients. Not only does the practice of medical tourism pose a practical danger to those in direct contact with the industry, but it brings up troubling philosophical problems centering on national responsibility and the commodification of healthcare, among other important issues. In the United States, the driving force behind international medical tourism is the exorbitant cost of healthcare, particularly for the uninsured but also for the underinsured and those who experience catastrophic medical expenses from chronic illness or sudden health crises. Not only have individuals begun to look outside the U.S. for surgical procedures and other expensive therapies, but employers have begun to toy with the idea of outsourcing the medical care of the employees they insure in order to cut costs. In other industrialized nations, the issues that underpin international medical tourism are related to healthcare rationing and reflect different shortcomings in the delivery of healthcare in those nations, such as the United Kingdom and Canada, that have single-payer systems. Yet the regulatory and philosophical implications for both patients and hosts of international healthcare are largely the same. The challenge of regulating international trade in medical care is obvious and becomes particularly acute when there are insurers and employers involved. Complicating matters further, medical care that takes place outside the country of origin of the patient is often brokered by “medical concierge services,” which, though quick to claim indemnity from any harm arising from substandard or inappropriate medical care, cannot be divorced from responsibility for the health outcomes of their clients. Agreements hashed out between concierge services and patients specify that any remedy for harm stemming from their medical care must be pursued within the confines of the law of the host country, but the practical implications of this are troublesome. How can a foreign patient—often without either linguistic or cultural competency in the host country—be expected to navigate the complexity of a foreign legal system, particularly one that may be far less developed than his home country? Furthermore, if insurance companies and employers are involved with such care, who pays for an adverse result or determines responsibility for harm that may befall the patient? Under which countries’ laws? If a patient travels to Singapore for sexual reassignment surgery or a cardiac valve repair, returns to the States and suffers complications, who pays for the restoration of her health? Beyond legal standards and judicial remedies for harm to patients seeking care on the international market, there is the question of what ethical standards and norms apply to such patients. What effect does it have on American patients, for example, to receive care within a system that does not emphasize autonomy and informed consent the way they are used to? Why should foreign physicians care about the cultural mores of their patients’ country of origin? Can they be expected to grasp cultural differences between American, Canadian, and British patients? The medical concierge might respond, “Well, buyer beware!” This is unreasonable: It is nearly impossible for any patient to accurately assess the various options, risks and benefits that go with a particular medical treatment, much less the patient who is attempting to do so on the international market. And the crass invocation of the doctrine of caveat emptor betrays a view of healthcare as a commodity that is naive and inappropriate. Paramount in my mind, however, are the practical implications for the care of the citizens of developing nations that host international patients and the broader philosophical issue of what the goals of the medical profession as a whole and each country’s individual healthcare system should be. While I understand the argument that international medical tourism creates great economic gains for developing nations, which can then be channeled toward the care of their citizenry as a whole, there is much reason to doubt that this “trickle-down” model of economics provides real benefits for underserved, whether in healthcare or other arenas. What is more likely is that, while lucrative international “medi-cities” may keep bright doctors in their home countries, it is also likely to lure them away from the institutions that serve the lion’s share of their countrymen. With the concentration of talented native doctors in private hospitals that serve citizens of the developed world, the population at large is left to obtain care at institutions that suffer “brain drain” from the flight of talented local staff to more prestigious, often “brand name,” institutions that give them more Western-like salaries while allowing them to practice in their countries of origin. The very fact that citizens of the wealthiest nations in the world are forced to go abroad for life-saving care speaks to an abdication of national responsibility on the part of their home countries. The provision of health care is one of the principal responsibilities of any nation and it is unacceptable that a nation with the strength and wealth of the United States would take advantage of the weaker political and economic situations of developing nations in order to shirk its responsibility to its fellow citizens. If we take care of our countrymen and take pride in an equitable system of healthcare delivery, there will be no need to shrug our shoulders and say “Buyer beware” to the patient who heads to the Philippines for heart surgery. (shrink)

We examine Paul Halmos’ comments on category theory, Dedekind cuts, devil worship, logic, and Robinson’s infinitesimals. Halmos’ scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is “certainty” and “architecture” yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to (...) teach us the opposite lesson, namely that the castle is floating in midair. Halmos’ realism tends to color his judgment of purely scientific aspects of logic and the way it is practiced and applied. He often expressed distaste for nonstandard models, and made a sustained effort to eliminate first-order logic, the logicians’ concept of interpretation, and the syntactic vs semantic distinction. He felt that these were vague, and sought to replace them all by his polyadic algebra. Halmos claimed that Robinson’s framework is “unnecessary” but Henson and Keisler argue that Robinson’s framework allows one to dig deeper into set-theoretic resources than is common in Archimedean mathematics. This can potentially prove theorems not accessible by standard methods, undermining Halmos’ criticisms. (shrink)

Nanomaterials have attracted much interest in the medical field and related applications as their distinct properties in the nanorange enable new and improved diagnosis and therapies. Owing to these properties and their potential interactions with the human body and the environment, the impact of nanomaterials on humans and their potential toxicity have been regarded a very significant issue. Consequently, nanomaterials are the subject of a wide range of cutting-edge research efforts in the medical and related fields to thoroughly probe their (...) potential beneficial utilizations and their more negative effects. We posit that the lack of standardization in the field is a serious shortcoming as it has led to the establishment of methods and results that do not ensure sufficient consistency and thus in our view can possibly result in research outputs that are not as robust as they should be. The main aim of this article is to present how NanoDiaRA, a large FP7 European multidisciplinary project that seeks to investigate and develop nanotechnology-based diagnostic systems, has developed and implemented robust, standardized methods to support research practices involving the engineering and manipulation of nanomaterials. First, to contextualize this research, an overview of the measures defined by different regulatory bodies concerning nanosafety is presented. Although these authorities have been very active in the past several years, many questions remain unanswered in our view. Second, a number of national and international projects that attempted to ensure more reliable exchanges of methods and results are discussed. However, the frequent lack of publication of procedures and protocols in research can often be a hindrance for sharing those good practices. Subsequently, the efforts made through NanoDiaRA to introduce standardized methods and techniques to support the development and utilization of nanomaterials are discussed in depth. A series of semi-structured interviews were conducted with the partners of this project, and the interviews were analyzed thematically to highlight the determined efforts of the researchers to standardize their methods. Finally, some recommendations are made toward the setting up of well-defined methods to support the high-quality work of collaborative nanoparticle-based research and development projects and to enhance standardization processes. (shrink)

We discuss the methods for providing sequent calculi for Suszko’s basic non-Fregean Logic with sentential identity SCI. After examination of possible strategies and already proposed systems we focus on the new calculus and its modification. It does not satisfy full cut elimination but a slightly generalised form of the subformula property holds for it. It is also standard in the sense of satisfying several conditions on rules formulated by Gentzen and his followers. We examine also the problem of providing (...) a constructive proof of the interpolation theorem in the setting of this sequent calculus. (shrink)

This article explains problems and opportunities created by standardized ethics initiatives (e.g., the UN Global Compact, the Global Reporting Initiative, and SA 8000) from the perspective of stakeholder theory. First, we outline differences and commonalities among currently existing initiatives and thus generate a common ground for our discussion. Second, based on these remarks, we critically evaluate standardized ethics initiatives by drawing on descriptive, instrumental, and normative stakeholder theory. In doing so, we explain why these standards are helpful tools when it (...) comes to ‘managing’ stakeholder relations but also face considerable limitations that can eventually hamper their successful expansion. We suspect that this discussion is necessary to conduct meaningful empirical research in the future and also to provide managers with a more clear-cut picture about a successful application of such initiatives. Third, we outline possible ways to cope with the identified problems and thus demonstrate how standard-setting institutions can improve the initiatives they offer. (shrink)

It is well known that the self-energy of the gauge bosons is quadratically divergent in the Standard Model when a simple cutoff is imposed. We demonstrate phenomenologically that the quadratic divergences in fact unify. The unification occurs at a surprisingly low scale, \(\Lambda _\mathrm {u}\approx 4\times 10^7\) GeV. Suppose now that there is a spontaneously broken rotational symmetry between the space-time coordinates and gauge theoretical phases. The symmetry-breaking pattern is such that the gauge bosons arise as the massless Goldstone (...) bosons, whereas the dilatonic mode acts as the massive (Higgs) boson, whose vacuum expectation value determines the gauge couplings. In this case, the quadratic divergences or the tadpoles of the gauge boson self-energy should indeed unify because these divergences need to be cancelled by a universal dilatonic contribution, assuming dynamical symmetry breaking. If there is dynamical symmetry breaking, we are in principle able to calculate the value of the gauge couplings as well as the scale hierarchy \(\Lambda _\mathrm {cut}/\Lambda _\mathrm {u}\) . We perform this calculation by adopting a naive quartic symmetry-breaking potential which unfortunately violates local gauge invariance. Using tadpole-cancellation and dilatonic self-energy conditions, the value of \(\Lambda _\mathrm {cut}\) is then found to be approximately \(4\times 10^{18}\) GeV in the Feynman gauge and \(5\times 10^{15}\) GeV in the Landau gauge. The cancellation of an anomaly in the dilaton self-energy requires that the number of fermionic generations equals three. The symmetry-breaking needs to be driven by some other mass-generating mechanism such as electroweak symmetry breaking. Our estimation for \(\Lambda _\mathrm {u}\) is of the correct order if \(\Lambda _\mathrm {cut}\approx 5\times 10^{15}\) GeV. (shrink)

This paper shows that, for the Hertz–Gentzen Systems of 1933, extended by a classical rule T1 and using certain axioms, all derivations are analytic: every cut formula occurs as a subformula in the cut’s conclusion. Since the Stoic cut rules are instances of Gentzen’s Cut rule of 1933, from this we infer the decidability of the propositional logic of the Stoics. We infer the correctness for this logic of a “relevance criterion” and of two “balance criteria”, and hence that a (...) particular derivable sequent has no derivation that is “normal” in the sense that the first premiss of each cut is cut-free. We also infer that Cut is not admissible in the Stoic system, based on the standard Stoic axioms, the T1 rule and the instances of Cut with just two antecedent formulae in the first premiss. OPEN ACCESS. (shrink)

This paper focuses on the role of regulation in the shaping new scientific facts. Fleck chose to study the origins of a diagnostic test for a disease seen as a major public health problem, that is, a ‘scientific fact’ that had a direct and immediate influence outside the closed universe of fundamental scientific research. In 1935, when Fleck wrote his book, Genesis and development of a scientific fact, he believed that the tumultuous early history of the Wassermann reaction had come (...) to an end, and that this reaction was successfully stabilized through the standardization of laboratory practices and thanks to the rise of a specific professional segment—the serologists. He could not have predicted that in the 15 years that followed the publication of his book, regulatory measures—barely metioned in his historical narrative—would play a key role in the destabilization of the original meaning of this reaction. The introduction of mass screening for syphilis—mainly via legislation that introduced obligatory premarital tests and promoted the testing of pregnant women—weakened in fine the link between Wassermann serology and infection by the etiological agent of syphilis, the bacterium Treponema pallidum. Fleck elected to study the Wassermann reaction because of its novelty, its complexity, and because it became the focus of a controversy regarding its origins. However, the Wassermann reaction was also one the first examples of a medical technology regulated by the state and incorporated into legal dispositions. It may therefore be seen as an exemplary case of the close intertwining of scientific investigations, their practical applications and regulatory practices. (shrink)

We propose an approach for texture segmentation based on weak supervised learning. The weak supervision implies that the user marks only a single small patch for each class in the input image. These patches are used for training. We employ the method of graph cuts for the segmentation task. Our work demonstrates that even under such weak training, texture segmentation can be achieved efficiently and with good accuracy via graph cuts. Moreover, our approach uses a simpler feature representation than that (...) in similar contemporary segmentation approaches. We also provide a brief discussion indicating the good performance of our approach. We validate our method on various standard texture mosaics and also on segmentation of natural images with large texture variations. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a (...) serious problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

Background: The field of clinical ethics is examining ways of determining competency. The Assessing Clinical Ethics Skills (ACES) tool offers a new approach that identifies a range of skills necessary in the conduct of clinical ethics consultation and provides a consistent framework for evaluating these skills. Through a training website, users learn to apply the ACES tool to clinical ethics consultants (CECs) in simulated ethics consultation videos. The aim is to recognize competent and incompetent clinical ethics consultation skills by watching (...) and evaluating a videotaped CEC performance. We report how we set a criterion cut score (i.e., minimally acceptable score) for judging the ability of users of the ACES tool to evaluate simulated CEC performances.Methods: A modified Angoff standard-setting procedure was used to establish the cut score for an end-of-life case included on the ACES training website. The standard-setting committee viewed the Futility Case and estimated the probability that a minimally competent CEC would correctly answer each item on the ACES tool. The committee further adjusted these estimates by reviewing data from 31 pilot users of the Futility Case before determining the cut score.Results: Averaging over all 31 items, the proposed proportion correct score for minimal competency was 80%, corresponding to a cut score that is between 24 and 25 points out of 31 possible points. The standard-setting committee subsequently set the minimal competency cut score to 24 points.Conclusions: The cut score for the ACES tool identifies the number of correct responses a user of the ACES tool training website must attain to “pass” and reach minimal competency in recognizing competent and incompetent skills of the CECs in the simulated ethics consultation videos. The application of the cut score to live training of CECs and other areas of practice requires further investigation. (shrink)

I begin with an appeal to the GHZ/Mermin state to illustrate the allure of contextualism and value-definiteness. I then point out that standard contextualism, with its special status for non-degenerate operators, faces some embarrassing questions. Further, there is an alternative that apparently does not have the same problems. A modest re-pasting of Hilbert space makes the honors almost even between these two varieties. The paper closes with some reflections on the peculiarities of contextualism.

In this paper we present a finitary sequent calculus for the S5 multi-modal system with common knowledge. The sequent calculus is based on indexed hypersequents which are standard hypersequents refined with indices that serve to show the multi-agent feature of the system S5. The calculus has a non-analytic right introduction rule. We prove that the calculus is contraction- and weakening-free, that (almost all) its logical rules are invertible, and finally that it enjoys a syntactic cut-elimination procedure. Moreover, the use (...) of the non-analytic rule can be restricted so that the calculus can be considered as suitable for proof search. (shrink)

An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion of (...) coherence to characterize strong cutelimination in such systems. We show that the following properties of a canonical system G with arbitrary (n, k)-ary quantifiers are equivalent: (i) G is coherent, (ii) G admits strong cut-elimination, and (iii) G has a strongly characteristic two-valued generalized non-deterministic matrix. (shrink)

Cesarean delivery rates have been steadily increasing worldwide. In response, many countries have introduced target goals to reduce rates. But a focus on target goals fails to address practices embedded in standards of care that encourage, rather than discourage, cesarean sections. Obstetrical standards of care normalize use of technology, creating an imperative to use technology during labor and birth. A technological imperative is implicated in rising cesarean rates if physicians or patients fear refusing use of technology. Reproductive autonomy is at (...) stake since a technological imperative undermines patients’ ability to choose cesareans or refuse use of technology increasing the likelihood of cesareans. To address practices driven by a technological imperative I outline three physician obligations that are attached to respecting patient autonomy. These moral obligations show that a focus on respect for autonomy may prove not only an ideal ethical response but also an achievable practical response to lowering cesarean rates. (shrink)

We provide a constructive, direct, and simple proof of the completeness of the cut-free part of the hypersequential calculus for G¨odel logic (thereby proving both completeness of the calculus for its standard semantics, and the admissibility of the cut rule in the full calculus). We then extend the results and proofs to derivations from assumptions, showing that such derivations can be confined to those in which cuts are made only on formulas which occur in the assumptions.

In lieu of an abstract, here is a brief excerpt of the content:Better to Have No Deep Cut Anywhere in the Biopsychosocial SystemDerek Bolton, PhD (bio)It is very good to see theoretical work on the biopsychosocial model, acknowledging the causal role of these three kinds of factors in health and disease. I think Ongaro is right to argue that the biopsychosocial model requires an account of these three also being one—integrated—and that systems theoretic concepts such as dynamic, nonlinear causation are (...) helpful for capturing this. In a recent paper (Bolton, 2023) I have described Engel’s original (1997) paper as visionary but programmatic: visionary in seeing radical theory change afoot, citing von Bertalanffy’s new general system theory, but programmatic because the changes had not happened. The systems theoretic approach applies across the life, behavioral and social sciences, and typically envisages multiple interacting systems and causal pathways, including feedback and feedforward mechanisms, within and between systems. However, linear mechanisms are less complicated to research, and early social epidemiology used standard linear regression models (e.g., see the Whitehall II study [Marmot et al., 1991]). Such models do not capture non-linear connections in which the dependent variable also functions over time as an independent variable. However, the background theory typically would not exclude nonlinear dynamic causation, but on the contrary envisages it. Lower social status raises risk of ill health in a linear model, but it is also a plausible hypothesis that ill health in turn raises risk of lowering social status, which is testable in another or in a composite linear model. As well as social epidemiology, another large-scale theory change was underway at the time Engel wrote, the so-called cognitive revolution in psychology. Axiomatic in this shift was the idea that behavior is a response to the environment as perceived, thus merging the psychological/behavioral with the environmental, including the social. This latter point bears on Ongaro’s main proposal that the biopsychosocial model should envisage social causes as externalist, distinguished from the bio-psychological orientation of current psychiatry—and will be picked up below.Paper 2 makes some bold claims about the positive therapeutic value of construing causes [End Page 321] of mental health problems in external terms that have shared social meaning. These claims are made for functional neurological problems, but with extension to other kinds, in relation to a culture in which the shared social meanings refer to spirit possession, which, as a general type, is found in many non-modern Western cultures, as well as now, in our globalized world, in subcultures worldwide. One of the author’s claims is that within the spirit possession framework the shared framework of external causes enables society to adapt to the problem of living, to make it manageable, by shifting the social environment around the patient. As appropriate for ethnomethodology, there is no reference to controlled studies of outcome or mechanisms and I follow this immersed observational methodology here, with an experiential story that illustrates absence of personal and social acceptance and manageability of problematic conditions. While wandering recently with a friend in the mountains in the northern part of Africa, the local guide, in conversation in the local language and in English, having found out that two of us worked in “psychiatry/psychology,” asked us what we knew about; our brief reply included “obsessive-compulsive disorder” (OCD) and “anxiety”; the guide responded by asking whether OCD was washing hands a lot, and then wanted to discuss with us two people he knew well. One was a relation engaged, since many years, for many hours a day washing and cleaning, avoiding many daily tasks, sometimes childcare; friends and wider kinship structures had tried everything, except modern Western psychiatry (which was unavailable anyway), and, to put it briefly and colloquially, they were not at all happy about the person’s state and wished the person would get better. This person lived at a distance and we could not see them, so we do not know their view, but to judge by people with definite or probable OCD that we are familiar with, they may or may not have been happy in their reclusive state. Also to mention that the local healer had investigated... (shrink)

A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then combined into a “geometric technique” used to prove several results about countable non-standard models of set theory. In particular, back-and-forth constructions are carried out to establish various generalizations and refinements of Friedman’s theorem on the existence of rank-initial embeddings between countable non-standard models (...) of the fragment \ + \-Separation of \; and Gaifman’s technique of iterated ultrapowers is employed to show that any countable model of \ can be elementarily rank-end-extended to models with well-behaved automorphisms whose sets of fixed points equal the original model. These theoretical developments are then utilized to prove various results relating self-embeddings, automorphisms, their sets of fixed points, strong rank-cuts, and set theories of different strengths. Two examples: The notion of “strong rank-cut” is characterized in terms of the theory \, and in terms of fixed-point sets of self-embeddings. (shrink)

This study presents a theory of causally complex configurations of antecedent conditions influencing the adoption versus non-adoption of international supplier ethical certification-standards. Using objective measures of antecedents and outcomes, a large-scale study of exporting firms in the cut-flower industry in two South American countries supports the theory. The theory includes the following and additional propositions. No single -antecedent condition is sufficient for accurately predicting a high membership score in outcome conditions; the outcome conditions include a firm’s adoption or rejection of (...) a product certification. No single -antecedent condition is necessary for accurately predicting high scores in the outcome condition. A few complex antecedent conditions are sufficient but the occurrence of each is not necessary for accurately predicting high scores in an outcome condition. Causal asymmetry of antecedent conditions indicating adoption versus non-adoption of specific ethical standards occurs—that is, causal conditions leading to rejection are not the mirror opposites of causal conditions leading to adoption. (shrink)

Let us recall that Raphael Robinson's Arithmetic Q is an axiom system that differs from Peano Arithmetic essentially by containing no Induction axioms [13], [18]. We will generalize the semantic-tableaux version of the Second Incompleteness Theorem almost to the level of System Q. We will prove that there exists a single rather long Π 1 sentence, valid in the standard model of the Natural Numbers and denoted as V, such that if α is any finite consistent extension of Q (...) + V then α will be unable to prove its Semantic Tableaux consistency. The same result will also apply to axiom systems α with infinite cardinality when these infinite-sized axiom systems satisfy a minor additional constraint, called the Conventional Encoding Property. Our formalism will also imply that the semantic-tableaux version of the Second Incompleteness Theorem generalizes for the axiom system IΣ 0 , as well as for all its natural extensions. (This answers an open question raised twenty years ago by Paris and Wilkie [15].). (shrink)

Background Female genital mutilation and circumcision (FGM/C) practices present physicians in Germany with numerous challenges. One possible intervention is elective clitoral reconstruction for esthetic and physiological recovery after FGM/C. Even if the study situation regarding the results achieved by clitoral reconstruction is controversial, the range of reconstruction options is increasing. Arguments The aim of this study is to critically examine the epistemic and ethical dimensions of the interdisciplinary debate on clitoral reconstruction that has arisen over the last 20 years. It (...) is intended to provide orientation in the complex field in which cultural, gender-specific, sexual, and psychosocial factors interact with anatomical–physiological knowledge and the lack thereof. The analysis shows the ambivalent role of evidence claims and promises in relation to clitoral reconstruction. Conclusions Difficulties in testing and comparing existing surgical procedures and in the use of standardized questioning tools demonstrate how essential cultural competence and diversity awareness are in dealing with those affected. The prima facie correct argument of insufficient evidence on the efficacy, comparability, and long-term consequences of reconstruction procedures proves to be problematic for ethical and epistemic reasons. In order to generate valid and useful data on sexuality, body perception, pain, and pleasure before and after clitoral reconstruction, survey modalities that address the culturally heterogeneous target group of women with FGM/C are needed. Cultural competence and sensitivity in medicine are also urgently needed for target group-oriented education and counseling as a prerequisite for self-determined decisions for/against clitoral reconstruction. (shrink)

The paper addresses some similarities and differences in the institutional set-up of the classical gold standard and European Monetary Union. I argue that giving up monetary nationalism and committing to the rules of either the gold standard or EMU initially seemed to restrict the scope of state action. Therefore, the euro – like previously the gold standard – provided some policy credibility. Policy credibility was a main determinant of capital market integration and low government borrowing costs in (...) Europe under both systems. However, I shall emphasize that the membership in the gold or euro club itself did not force reforms and spending cuts upon countries that faced crisis and debt problems. The article suggests that the institutional set-ups of the gold standard and EMU determined the degree of commitment to them and the way in which countries reacted to deal with debt problems. (shrink)

Failings of a categorical systemFor decades, standardized classification systems have attempted to define psychiatric disorders in our mental health care system, with the Diagnostic and Statistical Manual of Mental Disorders (5th ed.; DSM-5; American Psychiatric Association (APA), 2013) and International Statistical Classification of Diseases and Related Health Problems 10th revision (ICD-10; World Health Organization, 2010) being internationally best-known. One of the major advantages of the DSM must be that it has seriously diminished the international linguistic confusion regarding psychiatric disorders. Since (...) its introduction, it contributed extensively towards one common international language for defining and conceptualizing psychiatric disorders. Strikingly, within the field of psychological testing a similar step forward seems to have not yet been taken. At present, there exists no international standard for the use of psychological tests that takes the definition of a specific symptom as listed in DSM-5 as its starting point, and reliably and validly measures this symptom. Rather, the majority of tests are measuring constructs consisting of a multitude of symptoms. For example, the Beck’s Depression Inventory (Beck et al., 1996) measures core symptoms of depression summing up to a depression score. Accordingly, we believe it is time for a change. The diagnostics of psychiatric disorders, where disorders are defined as nosological units with a single cause, a single organic substrate, and a single time course, has been problematic for centuries. The field of psychiatry has always been ambivalent about its desire to follow a medical model (Blaney, 2015), but afflicted due to its definitions of pathology. The definition of a psychiatric disorder in DSM-5 offers little room for a clear cut pathogenesis and harsh demarcation of syndromes. This is reflected in the DSM-5, where it states: “A mental disorder is a syndrome characterized by clinically significant disturbance in an individual’s cognition, emotion regulation, or behavior that reflects a dysfunction in the psychological, biological, or developmental processes underlying mental functioning” (APA, 2013, p.20). An unfortunate and recognized consequence of this definition within the current system is that many symptoms overlap within categories of psychiatric disorders and patients end up diagnosed with many co-morbid disorders.Two fundamental problemsRegardless of new attempts to improve the diagnostics of psychiatric disorders, the DSM-5 represents the status quo. Consequently, the distinction between diagnosis and classification remains substantial and more than a discussion on semantics. We identify two fundamental problems within the current framework. Generally, a psychiatric diagnosis is considered to be descriptive (Hengeveld and Schudel, 2003). The clinician will describe a syndrome (its nature, timespan, and severity) within the framework of a disorder, and often include a differential diagnosis, predisposing protective or vulnerability factors, and provoking or maintaining factors. Within the DSM-5 framework, a similar ‘approach to clinical case formulation’ is taken (APA, 2013, p. 19). Evidently, a descriptive diagnosis has a hypothetical character. It consists of the clinician’s hypothesis and is based on his or hers professional considerations according to the abovementioned factors. Once the clinician has formulated a descriptive diagnosis, it is then complementary ‘translated’ into a DSM-5 classification. Herein lies the problem. For the layman, the existence of this distinction between diagnosis and classification is usually unknown. Preceding treatment, the clinician will give the client a classification of the existing psychiatric problems and the client may attribute more meaning to it than appropriate, thereby fostering the risk of reification. Second, the DSM-5 is a categorical system. Thus, individual disorders are regarded as discrete units – ‘you either have it, or you don’t’. DSM-5 states about this: “(…) scientific evidence places many, if not most, disorders on a spectrum with closely related disorders that have shared symptoms, shared genetic and environmental risk factors (…)”. And “(…) we have come to recognize that the boundaries between disorders are more porous than originally perceived.” (APA, 2013, p. 6). This leads to a fundamental problem. Because the overwhelming majority of psychiatric disorders examined thus far using taxometric methods appear to be dimensional in nature (Haslam, 2003; Widiger and Samuel, 2005), consequently all of their categorizations become artificial and debatable. Even though DSM-5 took a modest step towards a more dimensional approach, its core remains categorical. To illustrate, consider the Borderline Personality Disorder (BPD). This classification consists of nine diagnostic criteria of which a minimum of five need to be present for the diagnosis of BPD. A simple numerical combination algorithm leads to a staggering number of 256 distinct presentations of BPD (Albion et al., 2013). Due to this chameleon-like nature, the disorder’s diagnostic validity becomes questionable. Strikingly, this number is relatively small when compared to other conditions, e.g., there are 636,120 ways to have posttraumatic stress disorder (Galatzer-Levy and Bryant, 2013).DSM-5 does propose an alternative model for personality disorders based on personality functioning and traits (APA, 2013, p. 761), as a possible answer to the problem that most patients fit with multiple co-morbid personality disorders or to the category of personality disorder not otherwise specified. In November 2012, the chair committee of APA decided to move this alternative model to section III of DSM-5 and to sustain the categorical system in section II. A potential solutionDSM-5 and its predecessors have brought about an invaluable improvement regarding the formulation of a common international language for psychiatric disorders. However, the individual disorders fit poorly with its starting point of discrete units and strict boundaries. Van Os (2014) has argued for a better balance between the categorical and personalized aspects of psychiatric disorders. We argue for a two-step approach.Particularly due to the ‘weak boundaries’ between disorders, it might be beneficial to limit ourselves by merely categorizing clients into the main categories of the DSM-5 according to their most prominent symptoms (Van Os, 2014), i.e. their main complaint. In other words, clinicians could first ask themselves whether the symptomatology is concerning a neurodevelopmental disorder, or a bipolar and related disorder, or a depressive disorder, and so on. It will drastically reduce the over 400 classifications in DSM-5 down to 20 categories. Van Os (2014) even argues to combine some of the main categories, reducing this number even further to 15 categories. The advantages of reducing the over 400 classifications are fivefold: 1) a syndrome, being an aggregation of symptoms, creates a false relation between symptoms that are that are already heterogeneous themselves; 2) 15 broad categories are functional: it results into a very heterogeneous group of clients within a category and thus prevents stereotypes and invites further personalizing of complaints; and 3) a dimensional measure of a symptom rather than a syndrome will correspond better with the client regardless of it not providing the complete picture. Focusing on the main complaint will indicate where there is an immediate need for care (Van Os, 2014); 4) it will allow clinicians to recognise subthreshold conditions more easily (Magruder and Calderone, 2000); and 5) it might facilitate the development of clear demarcations between normal and abnormal functioning (Kessler, 2002; Widiger and Samuel, 2005). Please, see also Table 1.This also fits well within scientific advances, as thus far strongest evidence has been found for a distinction between internalizing and externalizing disorders, even superseding these 15 main categories (DSM-5; APA, 2013, p.13, but see Weiss et al., 1998). The second step would concern the personalized aspect, which we argue to define on a level of core symptoms of the specific main category, to be agreed upon later. To assess these core symptoms, the field of psychological testing could develop an internationally applicable instrument to reliably and validly measure each (core) symptom on a dimensional scale. Many of these instruments are readily available and have proven its psychometric properties within scientific research. Elements from these instruments could be easily transformed to work within the new system. Within the field of psychology, this approach could aid development of a common international language to define symptoms, analogous to the field of psychiatry. Importantly, current psychological testing mainly implies the use of self-report measures. This leads to an abundance of auto-amnestic information. To increase the reliability and validity of psychological tests to assess DSM-5 symptoms, it may be important to add two additional information resources. This would entail psychological tests where a next of kin answers questions about the symptom of the client, and psychological tests that include the clinicians’ judgment, such as structured clinician-based interviews. Conversely, we also need to acknowledge the well-known limitations of clinical judgment (e.g., Faust, 1986; Garb, 1998). Advantages of a new frameworkThe changes we suggest have big implications and are not easily implemented in the current framework. Clients may prefer the comfort of a single clear label, similar to what they are used to in other areas of medicine. Health insurance providers and policy makers may argue for single labels as well. Therefore, it would require a lot of explanation from our clinicians to promote a change. Our suggestions for broader categories may not disambiguate the current situation better than the existing approach, but it will promote personalisation of health care. Difficulties in diagnostic reliability will remain in disorders that fall on the boundaries of the taxons, e.g., schizoaffective disorder versus bipolar disorder with psychotic characteristics, which may benefit from further study. There are also some politically tinged questions to keep in mind: How will we finance our health care, and how will we ensure a gradual transition from the current financing system, including clients who already have their labels? What about visitations from insurers and health inspection? How can they control for a good standard of quality in health care when considering the increasing heterogeneity? Nevertheless, we argue that the benefits outweigh the disadvantages. We will see a shift from a categorical to a personalized approach, which will lead to less (self) stigmatizing, less estrangement, and it will challenge reification thinking. DSM-V states that “a reformulation of research goals should also keep DSM-5 central to the development of dimensional approaches to diagnosis that will likely supplement or supersede current categorical approaches to diagnosis in coming years” (APA, 2013, p. 13). Our proposition for psychological testing on symptom level could contribute to this development. Furthermore, this new approach will do more justice to the heterogeneity of symptoms within and outside of classification categories, see also Table 1. Moreover, in this new approach we join forces of expert knowledge from the fields of psychiatry and psychological science. Finally, it offers new and potentially better opportunities to map health care needs. This in turn will lead to a better interface for allocation of appropriate treatment. It will present a clearer picture of when preventative care is preferred over treatment and vice versa. Importantly, health care needs will be more closely attuned to the ‘own story’ of the client.We argue for the national and international psychological associations in Europe and the United States of America to support the idea of a collective approach to develop an internationally standardized psychological testing battery to reliably assess all the core symptoms of the main categories in DSM-5. (shrink)

ABSTRACT:It may be too late to avoid the climate crisis, likely to be humanity's most expensive, widespread, and enduring catastrophe. This is a qualitatively different kind of catastrophe, in which increased costs, decreased revenue, and no possibility of bailout force communities to harshly cut budgets, especially in health care. Little is known about making such brutal cuts fair or efficient, nor how to help the public accept them. The crisis presents an opportunity for bioethicists to play a crucial role, but (...) one for which traditional approaches are inherently inadequate. Although often dismissed as heartless, Garrett Hardin's "lifeboat ethics" started a conversation about making ethical choices in global disasters—where all options are painful and unacceptable—and may provide guidance. Bioethics during the climate crisis must focus on communities rather than individuals and help survivors grieve the terrible consequences. Because today's choices will affect many generations, with the burdens falling most heavily on poor communities, we have to construct a radical bioethics to help tomorrow's health care become green, efficient, and fair. (shrink)

This paper explores the integration of machine learning into economics and social sciences, assessing its potential impact and limitations. It introduces fundamental machine learning concepts and principles, highlighting the differences between the two disciplines, particularly the focus on causal inference in economics and prediction in machine learning. The paper discusses diverse applications of machine learning, from extracting insights from unstructured data to creating novel indicators and improving predictive accuracy, while also addressing challenges related to data quality, computational efficiency, and data (...) ownership. It emphasizes the importance of standardization, transparency, and ethical considerations in prediction tasks, recognizing that machine learning is a powerful tool but cannot replace economic theory. Ultimately, researchers remain optimistic about the transformative potential of machine learning in re-shaping research methodologies and generating new insights in economics and social sciences. (shrink)

We prove that the standard cut is definable in each existentially closed model ofIΔ0+ exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.

In this paper we will show that for every cut I of any countable nonstandard model $\mathcal {M}$ of $\mathrm {I}\Sigma _{1}$, each I-small $\Sigma _{1}$ -elementary submodel of $\mathcal {M}$ is of the form of the set of fixed points of some proper initial self-embedding of $\mathcal {M}$ iff I is a strong cut of $\mathcal {M}$. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model (...) $\mathcal {M}$ of $ \mathrm {I}\Sigma _{1} $. In addition, we will find some criteria for extendability of initial self-embeddings of countable nonstandard models of $ \mathrm {I}\Sigma _{1} $ to larger models. (shrink)

In this paper it is shown that addition of certain reductions to the standard cut removing reductions of deductions in prepositional logic makes prepositional logic non-normalizable. From this follows that some provable propositions in prepositional logic has no direct proof.

We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as well as seems possible the intrinsic computational character of the standard cut elimination process. The article is intended to be suitable for teaching purposes and just requires basic familiarity with PA and the ordinals below ε0. (Familiarity with a cut elimination theorem for a Gentzen or Tait calculus is helpful but not presupposed).