The Abagusii are one of the many communities in Kenya that engage in female genital cutting. Locally, the practice is simply known as “circumcision.” Introduced as “female circumcision” to the West, the practice was thought to parallel male circumcision. Both are referred to as tahiri, and both are coming of age rites. However, female circumcision was thought inaccurately to reflect the difference in health outcomes. As presented to the West, FGC results in worse health outcomes for females than circumcision does (...) for males. While male circumcision is credited with lowering HIV transmission, the opposite is true for FGC (UNICEF... (shrink)

This paper defines reduction on derivations (cut-elimination) in the Strict Intersection Type Assignment System of an earlier paper and shows a strong normalization result for this reduction. Using this result, new proofs are given for the approximation theorem and the characterization of normalizability of terms using intersection types.

The tetravalent modal logic is one of the two logics defined by Font and Rius :481–518, 2000) in connection with Monteiro’s tetravalent modal algebras. These logics are expansions of the well-known Belnap–Dunn’s four-valued logic that combine a many-valued character with a modal character. In fact, $${\mathcal {TML}}$$ TML is the logic that preserves degrees of truth with respect to tetravalent modal algebras. As Font and Rius observed, the connection between the logic $${\mathcal {TML}}$$ TML and the algebras is not so (...) good as in $${{\mathcal {TML}}}^N$$ TML N, but, as a compensation, it has a better proof-theoretic behavior, since it has a strongly adequate Gentzen calculus :481–518, 2000). In this work, we prove that the sequent calculus given by Font and Rius does not enjoy the cut-elimination property. Then, using a general method proposed by Avron et al., we provide a sequent calculus for $${\mathcal {TML}}$$ TML with the cut-elimination property. Finally, inspired by the latter, we present a natural deduction system, sound and complete with respect to the tetravalent modal logic. (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.

Statman and Orevkov independently proved that cut-elimination is of nonelementary complexity. Although their worst-case sequences are mathematically different the syntax of the corresponding cut formulas is of striking similarity. This leads to the main question of this paper: to what extent is it possible to restrict the syntax of formulas and — at the same time—keep their power as cut formulas in a proof? We give a detailed analysis of this problem for negation normal form , prenex normal form and (...) monotone formulas. We show that proof reduction to NNF is quadratic, while PNF behaves differently: although there exists a quadratic transformation into a proof in PNF too, additional cuts are needed; the elimination of these cuts requires nonelementary expense in general. By restricting the logical operators to {,,,}, we obtain the type of monotone formulas. We prove that the elimination of monotone cuts can be of nonelementary complexity . On the other hand, we define a large class of problems where cut-elimination of monotone cuts is only exponential and show that this bound is tight. This implies that the elimination of monotone cuts in equational theories is at most exponential. Particularly, there are no short proofs of Statman's sequence with monotone cuts. (shrink)

To define 'consciousness' is to describe its uses and deter-mine its boundaries, essential nature, and mechanisms. I distinguish between 'normal waking consciousness'; altered forms of waking consciousness underlying trance, absorption, hypnosis, dissociation, meditative states, drug states, and out of body experiences; and REM/dreaming and slow-wave/deep sleep - examining them by the basic characteristics and mechanisms of normal waking conscious-ness: cortical arousal, qualitative experiences, first-person subjectiv-ity, intentionality, knowing objects and self, interaction with external and inner world, united field, and reflective consciousness.

In proof theory one distinguishes sequent proofs with cut and cut-free sequent proofs, while for proof complexity one distinguishes Frege systems and extended Frege systems. In this paper we show how deep inference can provide a uniform treatment for both classifications, such that we can define cut-free systems with extension, which is neither possible with Frege systems, nor with the sequent calculus. We show that the propositional pigeonhole principle admits polynomial-size proofs in a cut-free system with extension. We also define (...) cut-free systems with substitution and show that the cut-free system with extension p-simulates the cut-free system with substitution. (shrink)

Scenes of violence and incisions into the flesh informeethe demand for law. The scene of little girls being held down in practices of female circumcision has been a defining and definitive image that demands the attention of human rights, and the intervention of law. But the investment in protecting women and little girls from such a cut is not all that it seems.eeLaw's Cuteeon theeeBody of Human Rights: Female Circumcision, TortureeeandeeSacred Flesheeconsiders how such imageseecome to inform laweeand the investment of (...) advocates of law in an imagination of this scene. Drawing on psychoanalytic andeepostcolonialeetheory, and accompanying ideas in political theology, Juliet Rogers examines the language, imagery and excitement that accompanies recenteeinitiatives to legislate against what is called 'female genital mutilation'. The author compliments this examination witheea consideration of the scene of torture exposed in images from Abu Ghraib and Guantanamo Bay.eeRogers argues that the modes ofeefascination and excitement that accompanyeesceneseeof torture and female circumcisioneebetray the fantasy of aeepolitical conditioneeagainst which the subject of liberal law is imagined; this is subjectivityeein aeestate of non-mutilation, non-prohibition or, in a psychoanalytic idiom, non-castration.eeTo support the fantasy of this subject,eethe mutilated subject, the authors suggests, is rendered as flesh cut from the democratic nation state, deserving of only selective human rights, or none at all. (shrink)

A predicate extension SQHT= of the logic of here-and-there was introduced by V. Lifschitz, D. Pearce, and A. Valverde to characterize strong equivalence of logic programs with variables and equality with respect to stable models. The semantics for this logic is determined by intuitionistic Kripke models with two worlds with constant individual domain and decidable equality. Our sequent formulation has special rules for implication and for pushing negation inside formulas. The soundness proof allows us to establish that SQHT= is a (...) conservative extension of the logic of weak excluded middle with respect to sequents without positive occurrences of implication. The completeness proof uses a non-closed branch of a proof search tree. The interplay between rules for pushing negation inside and truth in the “there” world of the resulting Kripke model can be of independent interest. We prove that existence is definable in terms of remaining connectives. (shrink)

We present a number of results on the structure of initial segments of models of Peano arithmetic with the arithmetic operations of addition, subtraction, multiplication, division, exponentiation and logarithm. Each of the binary operations introduced is defined in two dual ways, often with quite different results, and we attempt to systematise the issues and show how various calculations may be carried out. To understand the behaviour of addition and subtraction we introduce a notion of derivative on cuts, analogous to (...) differentiation in the calculus. Multiplication, division and other operations are described by higher order versions of derivative. The work here is presented as important preliminary work related to a nonstandard measure theory of non‐definable bounded subsets of a model of Peano arithmetic. (shrink)

A new set of conversions for derivations in the system of sequents for intuitionistic predicate logic will be defined. These conversions will be some modifications of Zucker's conversions from the system of sequents from [11], which will have the following characteristics: (1) these conversions will be sufficient for transforming a derivation into a cut-free one, and (2) in the natural deduction the image of each of these conversions will be either in the set of conversions for normalization procedure, or an (...) identity of derivations. This will be used to give a new proof of the normalization theorem for natural deduction, as a consequence of the cut-elimination theorem for the system of sequents. (shrink)

The concept of plasticity has always been present in the history of developmental biology, both within the theory of epigenesis and within morphogenesis studies. However this tradition relies also upon a genetic conception of plasticity. Founded upon the concepts of ‘‘phenotypic plasticity’’ and ‘‘reaction norm,’’ this genetic conception focuses on the array of possible phenotypic change in relation to diversified environments. Another concept of plasticity can be found in recent publications by some developmental biologists (Gilbert, West-Eberhard). I argue that these (...) authors adopt a ‘‘broad conception of plasticity’’ that is closely related to a notion of development as something that is ongoing throughout an organism’s lifecycle, and has no clear-cut boundaries. However, I suggest that given a narrow conception of plasticity, one can define temporal boundaries for development that are linked to specific features of the morphological process, which are different from behavioral and physiological processes. (shrink)

Previous critics have argued that Robert McCauley defines religion and science selectively and arbitrarily, cutting them to fit his model in Why Religion Is Natural and Science Is Not. McCauley has responded that final definitions are “overrated” and that artificial distinctions can serve an important role in naturalistic investigation. I agree with this position but argue that a genealogy of the category of religion is crucial to the methodology that McCauley describes. Since the inherent ambiguity of religion will undermine any (...) essential claims about its cognitive naturalness, I invite McCauley to consider how his research might investigate scientific and religious cognition in new terms. (shrink)

Steven Rose regards oversimplification of biology as the supreme sin, inevitably leading to evil consequences, and requiring an unique distortion of scientific practice to avoid it. To avoid this, he proposes a short-cut to scientific knowledge by defining certain areas of biology that are intrinsically flawed. But this achieves only a subordination of science to politics. There are no general-purpose shortcuts for evaluating the validity of theories, and no substitutes for testing specific theories using relevant evidence.

The article addresses the potential impact of functional brain imaging (functional magnetic resonance imaging and positron-emission tomography) on surrogate end-of-life decision-making in light of varying state-law definitions of consciousness, some of which define awareness behaviorally and others functionally. The article concludes that, in light of admonitions by neuroscientists that functional brain imaging cannot yet replace behavioral evaluation to determine the existence of consciousness, state legislatures, courts and drafters of written advance healthcare directives should consider treating behavior, not function, as the (...) touchstone for end-of-life decision-making. (shrink)

The theme of this book is the crisis of the early modern state in eighteenth-century Britain. The revolt of the North American colonies and the simultaneous demand for wider religious toleration at home challenged the principles of sovereignty and obligation that underpinned arguments about the character of the state. These were expressed in terms of the 'common good', 'necessity', and 'community' - concepts that came to the fore in early modern European political thought and which gave expression to the problem (...) of defining legitimate authority in a period of increasing consciousness of state power. The Americans and their British supporters argued that individuals ought to determine the common good of the community. A new theory of representation and freedom of thought defines the cutting edge of this revolutionary redefinition of the basic relationship between individual and community. (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)

According to the logic of the gendered modernity/tradition binary, women in traditional societies are oppressed and women in modern societies liberated. While the binary valorizes modern women, it potentially erases gendered oppression in the West and undermines feminist movements on behalf of Western women. Using U.S. newspaper text, I ask whether female genital cutting is used to define women in modern societies as liberated. I find that speakers use FGC to both uphold and challenge the gendered modernity/ tradition binary. Speakers (...) use FGC to denigrate non-Western cultures and trivialize the oppressions that U.S. women typically encounter, but also to make feminist arguments on behalf of women everywhere. I argue that in addition to examining how culturally imperialist logics are reproduced, theorists interested in feminist postcolonialism should turn to the distribution of such logics, emphasizing the who, where, when, and how of reinscription of and resistance to such narratives. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 27.1 (2003) 151-163 [Access article in PDF] Defining "Poetry" Robert B. Pierce SINCE TERMS ARE THE TOOLS of literary study, it is important to keep these tools in good condition, above all by having clear and functional meanings for them. Notoriously, many critical arguments about texts are in fact differences about terminology, and many confused arguments are built on vague or arbitrarily used terms. Few have (...) been the subject of more critical worrying and infighting than "poetry," 1 and few are more disparately defined. Definitions that are fuzzy or tendentious confuse many a discussion of poetry, and in particular they often narrow our response to the rich variety of the texts in front of us by silently imposing a view of what poetry ought to be. I would like to suggest that a Wittgensteinian approach to meaning can cut through a lot of the difficulty that surrounds the term. The refined understanding of the term "poetry" will result in a certain demystification, but it will dissipate only a false mystery based on confusion, not the real mystery of depth and richness that poetry can offer.What does it mean to approach this issue as a Wittgensteinian? The main principle is that the meaning of a term is its use, the way people deploy it in their speaking and writing, the work that it does. 2 A word does not have an essential core of meaning of which the various social uses are approximations; rather those social uses are the meaning. Thus meaning is a social phenomenon, and the way to determine it is to [End Page 151] look outward at how people use a term, not inward for some presumed mental essence that the term designates. Meaning is conventionally divided into reference and sense. What the term "poetry" refers to is a group of publicly visible things in the social world that we call poems, but there is no distillation in the mind that is the essence of poetry, the sense of the term. Of course we have a sense of the term that controls its range of reference. That sense is made up of our bases for calling one thing poetry and not another: the qualities that incline us to see a text as a poem. Wittgenstein would call these defining qualities criteria. The crucial fact is that they are determined by social processes and so are available to public inspection, not hidden away to be discovered only by introspection.Another observation about what it is to assign meaning to a term is important here. If someone asserts that "poetry" means X, he or she can appropriately be asserting that in fact the offered definition describes how people use the term, or else he or she can be suggesting how the term should or will be used in a specific discourse, that is, offering a definition proposal or stipulative definition. In the latter case the proposer needs to show the utility of the change from ordinary speech for his or her purposes. That is of course what literary critics do when they specify meanings for a term like "tragedy" or "irony" that are different from common usage. It is not that Wayne Booth's way of talking about irony uses the real meaning (both his and the ordinary senses are perfectly real since both are socially used), but that his is more useful for literary criticism than the general usage because it is more precise and nuanced. 3Thus it would make sense to begin defining "poetry" by looking at how people use the term and in particular how it is used in literary discourse. However, though I will pay some attention to what critics actually say and write, I would like primarily to offer certain proposals for refining our use of the term so as to avoid confusion and vagueness. It is not that this investigation will be approaching the real meaning of "poetry," which I have suggested is an imaginary goal, but that it will propose a use of the term constituting a vehicle for talking and writing about poetry that... (shrink)

By the theory TT is meant the higher order predicate logic with the following recursively defined types: 1 is the type of individuals and [] is the type of the truth values: [$\tau_l$,..., $\tau_n$] is the type of the predicates with arguments of the types $\tau_l$,..., $\tau_n$. The theory ITT described in this paper is an intensional version of TT. The types of ITT are the same as the types of TT, but the membership of the type 1 of individuals (...) in ITT is an extension of the membership in TT. The extension consists of allowing any higher order term, in which only variables of type 1 have a free occurrence, to be a term of type 1. This feature of ITT is motivated by a nominalist interpretation of higher order predication. In ITT both well-founded and non-well-founded recursive predicates can be defined as abstraction terms from which all the properties of the predicates can be derived without the use of non-logical axioms. The elementary syntax, semantics, and proof theory for ITT are defined. A semantic consistency proof for ITT is provided and the completeness proof of Takahashi and Prawitz for a version of TT without cut is adapted for ITT: a consequence is the redundancy of cut. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 27.1 (2003) 151-163 [Access article in PDF] Defining "Poetry" Robert B. Pierce SINCE TERMS ARE THE TOOLS of literary study, it is important to keep these tools in good condition, above all by having clear and functional meanings for them. Notoriously, many critical arguments about texts are in fact differences about terminology, and many confused arguments are built on vague or arbitrarily used terms. Few have (...) been the subject of more critical worrying and infighting than "poetry," 1 and few are more disparately defined. Definitions that are fuzzy or tendentious confuse many a discussion of poetry, and in particular they often narrow our response to the rich variety of the texts in front of us by silently imposing a view of what poetry ought to be. I would like to suggest that a Wittgensteinian approach to meaning can cut through a lot of the difficulty that surrounds the term. The refined understanding of the term "poetry" will result in a certain demystification, but it will dissipate only a false mystery based on confusion, not the real mystery of depth and richness that poetry can offer.What does it mean to approach this issue as a Wittgensteinian? The main principle is that the meaning of a term is its use, the way people deploy it in their speaking and writing, the work that it does. 2 A word does not have an essential core of meaning of which the various social uses are approximations; rather those social uses are the meaning. Thus meaning is a social phenomenon, and the way to determine it is to [End Page 151] look outward at how people use a term, not inward for some presumed mental essence that the term designates. Meaning is conventionally divided into reference and sense. What the term "poetry" refers to is a group of publicly visible things in the social world that we call poems, but there is no distillation in the mind that is the essence of poetry, the sense of the term. Of course we have a sense of the term that controls its range of reference. That sense is made up of our bases for calling one thing poetry and not another: the qualities that incline us to see a text as a poem. Wittgenstein would call these defining qualities criteria. The crucial fact is that they are determined by social processes and so are available to public inspection, not hidden away to be discovered only by introspection.Another observation about what it is to assign meaning to a term is important here. If someone asserts that "poetry" means X, he or she can appropriately be asserting that in fact the offered definition describes how people use the term, or else he or she can be suggesting how the term should or will be used in a specific discourse, that is, offering a definition proposal or stipulative definition. In the latter case the proposer needs to show the utility of the change from ordinary speech for his or her purposes. That is of course what literary critics do when they specify meanings for a term like "tragedy" or "irony" that are different from common usage. It is not that Wayne Booth's way of talking about irony uses the real meaning (both his and the ordinary senses are perfectly real since both are socially used), but that his is more useful for literary criticism than the general usage because it is more precise and nuanced. 3Thus it would make sense to begin defining "poetry" by looking at how people use the term and in particular how it is used in literary discourse. However, though I will pay some attention to what critics actually say and write, I would like primarily to offer certain proposals for refining our use of the term so as to avoid confusion and vagueness. It is not that this investigation will be approaching the real meaning of "poetry," which I have suggested is an imaginary goal, but that it will propose a use of the term constituting a vehicle for talking and writing about poetry that... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 27.1 (2003) 151-163 [Access article in PDF] Defining "Poetry" Robert B. Pierce SINCE TERMS ARE THE TOOLS of literary study, it is important to keep these tools in good condition, above all by having clear and functional meanings for them. Notoriously, many critical arguments about texts are in fact differences about terminology, and many confused arguments are built on vague or arbitrarily used terms. Few have (...) been the subject of more critical worrying and infighting than "poetry," 1 and few are more disparately defined. Definitions that are fuzzy or tendentious confuse many a discussion of poetry, and in particular they often narrow our response to the rich variety of the texts in front of us by silently imposing a view of what poetry ought to be. I would like to suggest that a Wittgensteinian approach to meaning can cut through a lot of the difficulty that surrounds the term. The refined understanding of the term "poetry" will result in a certain demystification, but it will dissipate only a false mystery based on confusion, not the real mystery of depth and richness that poetry can offer.What does it mean to approach this issue as a Wittgensteinian? The main principle is that the meaning of a term is its use, the way people deploy it in their speaking and writing, the work that it does. 2 A word does not have an essential core of meaning of which the various social uses are approximations; rather those social uses are the meaning. Thus meaning is a social phenomenon, and the way to determine it is to [End Page 151] look outward at how people use a term, not inward for some presumed mental essence that the term designates. Meaning is conventionally divided into reference and sense. What the term "poetry" refers to is a group of publicly visible things in the social world that we call poems, but there is no distillation in the mind that is the essence of poetry, the sense of the term. Of course we have a sense of the term that controls its range of reference. That sense is made up of our bases for calling one thing poetry and not another: the qualities that incline us to see a text as a poem. Wittgenstein would call these defining qualities criteria. The crucial fact is that they are determined by social processes and so are available to public inspection, not hidden away to be discovered only by introspection.Another observation about what it is to assign meaning to a term is important here. If someone asserts that "poetry" means X, he or she can appropriately be asserting that in fact the offered definition describes how people use the term, or else he or she can be suggesting how the term should or will be used in a specific discourse, that is, offering a definition proposal or stipulative definition. In the latter case the proposer needs to show the utility of the change from ordinary speech for his or her purposes. That is of course what literary critics do when they specify meanings for a term like "tragedy" or "irony" that are different from common usage. It is not that Wayne Booth's way of talking about irony uses the real meaning (both his and the ordinary senses are perfectly real since both are socially used), but that his is more useful for literary criticism than the general usage because it is more precise and nuanced. 3Thus it would make sense to begin defining "poetry" by looking at how people use the term and in particular how it is used in literary discourse. However, though I will pay some attention to what critics actually say and write, I would like primarily to offer certain proposals for refining our use of the term so as to avoid confusion and vagueness. It is not that this investigation will be approaching the real meaning of "poetry," which I have suggested is an imaginary goal, but that it will propose a use of the term constituting a vehicle for talking and writing about poetry that... (shrink)

As modernity began with a redefinition of the human being, so does postmodernity. But whereas the modern definition of the human being as res cogitans cut human animals off from both their very animality and the world of nature out of which they evolved and upon which they depend throughout life, the postmodern definition as semeiotic animal both overcomes the separation from nature and restores the animality essential to human being in this life. Semiotics, the doctrine of signs suggested by (...) Augustine and theoretically justified by Poinsot, developed in our own day after Peirce, introduces postmodernity by overcoming the Kantian epistemological limits on the side of ens reale and showing the social constructions superordinate to ens reale as essential to animal life. (shrink)

As modernity began with a redefinition of the human being, so does postmodernity. But whereas the modern definition of the human being as res cogitans cut human animals off from both their very animality and the world of nature out of which they evolved and upon which they depend throughout life, the postmodern definition as semeiotic animal both overcomes the separation from nature and restores the animality essential to human being in this life. Semiotics, the doctrine of signs suggested by (...) Augustine and theoretically justified by Poinsot, developed in our own day after Peirce, introduces postmodernity by overcoming the Kantian epistemological limits on the side of ens reale and showing the social constructions superordinate to ens reale as essential to animal life. (shrink)

Discrete weakly o-minimal structures, although not so stimulating as their dense counterparts, do exhibit a certain wealth of examples and pathologies. For instance they lack prime models and monotonicity for definable functions, and are not preserved by elementary equivalence. First we exhibit these features. Then we consider a countable theory of weakly o-minimal structures with infinite definable discrete subsets and we study the Boolean algebra of definable sets of its countable models.

We define a first-order extension LK(CP) of the cutting planes proof system CP as the first-order sequent calculus LK whose atomic formulas are CP-inequalities ∑ i a i · x i ≥ b (x i 's variables, a i 's and b constants). We prove an interpolation theorem for LK(CP) yielding as a corollary a conditional lower bound for LK(CP)-proofs. For a subsystem R(CP) of LK(CP), essentially resolution working with clauses formed by CP- inequalities, we prove a monotone interpolation theorem (...) obtaining thus an unconditional lower bound (depending on the maximum size of coefficients in proofs and on the maximum number of CP-inequalities in clauses). We also give an interpolation theorem for polynomial calculus working with sparse polynomials. The proof relies on a universal interpolation theorem for semantic derivations [16, Theorem 5.1]. LK(CP) can be viewed as a two-sorted first-order theory of Z considered itself as a discretely ordered Z-module. One sort of variables are module elements, another sort are scalars. The quantification is allowed only over the former sort. We shall give a construction of a theory LK(M) for any discretely ordered module M (e.g., LK(Z) extends LK(CP)). The interpolation theorem generalizes to these theories obtained from discretely ordered Z-modules. We shall also discuss a connection to quantifier elimination for such theories. We formulate a communication complexity problem whose (suitable) solution would allow to improve the monotone interpolation theorem and the lower bound for R(CP). (shrink)

In derivations of a sequent system, $\mathcal{L}\mathcal{J}$, and a natural deduction system, $\mathcal{N}\mathcal{J}$, the trails of formulae and the subformula property based on these trails will be defined. The derivations of $\mathcal{N}\mathcal{J}$ and $\mathcal{L}\mathcal{J}$ will be connected by the map $g$, and it will be proved the following: an $\mathcal{N}\mathcal{J}$-derivation is normal $\Longleftrightarrow $ it has the subformula property based on trails $\Longleftrightarrow $ its $g$-image in $\mathcal{L}\mathcal{J}$ is without maximum cuts $\Longrightarrow $ that $g$-image has the subformula property (...) based on trails. In $\mathcal{L}\mathcal{J}$-derivations, another type of cuts, sub-cuts, will be introduced, and it will be proved the following: all cuts of an $\mathcal{L}\mathcal{J}$-derivation are sub-cuts $\Longleftrightarrow $ it has the subformula property based on trails. (shrink)

Public health emergencies such as pandemics can put health systems in a position where they need to ration medical equipment and interventions because the resources available are not sufficient to meet demand. In public health management, the fair allocation of resources is a permanent and cross-sector issue since resources, and especially economic resources, are not infinite. During the COVID-19 pandemic resources need to be allocated under conditions of extreme urgency and uncertainty. One very problematic aspect has concerned intensive care medicine (...) and age discrimination has been among the most hotly discussed issues, as age has been touted as a probable criterion for selection. In this paper we analyse some documents originating from scientific societies and medical associations, mainly related to EU sphere and available in English, French, Spanish and Italian, concerning the criteria for admission to the intensive care units. We highlights how, in most of these documents, it is explicitly stated that “age itself” is not a criterion for patient selection. Our conclusion is that these criteria should be defined in advance of a crisis situation and be grounded in clinical indicators. Establishing “cut-off” policies with regard to criteria such as age or chronic disability is definitely an unjustifiable form of discrimination even in the context of a public health emergency. (shrink)

We present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed valued fields. Both cases involve discs, forming "Swiss cheeses" in the algebraically closed case, and cuts in the real closed case. As a step in the development, we give a proof for the fact that in "most" valued fields F, if f(x),g(x) ∈ F[ x] (...) and v is the valuation map, then the set {x : v(f(x)) ≤ v(g(x))} is a Boolean combination of discs; in fact, it is a finite union of Swiss cheeses. The development also depends on the introduction of "valued trees", which we define formally. (shrink)

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all the known results on definable functions of certain such theories can be reobtained in a uniform way.

A special kind of maximum cuts in sequent derivations, actual maximum cuts, is defined. It is shown that (1) each actual maximum cut of a sequent derivation makes maximum segments in its natural deduction image, and (2) each maximum segment of a natural deduction derivation makes an actual maximum cut in its sequent image.

Recent events in the United States and beyond have brought debates over the practice of female genital cutting back into public, academic, and policy discourses.1 In April 2017, Jumana Nagarwala, a Michigan-based emergency medicine physician from a small Shia sect known as the Dawoodi Bohra, was charged with performing female genital mutilation. The procedure is prohibited by federal law and defined as the circumcision, excision, or infibulation of the whole or any part of the female genitalia under the age of (...) 18. Nagarwala argues that she did not mutilate, but rather performed a variation of a religious ritual, termed Khatna, which involves the nicking... (shrink)

Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the set C. We do this also over any given set of parameters from M, which yields a description of all subsets of Mn, definable in the expanded structure.

Who am I? How do I live a good life? What is reality? Such perennial questions may seem remote from the pleasures of playing videogames for entertainment and fantasy. yet gamers too, in the midst of having fun, are potentially embarked upon a quest for understanding and for meaning. Missions for thoughtful gamers presents a sequence of 40 challenges, ranging from thought experiments to design exercises, each one inviting players to become more creatively curious and self-aware."--Back cover.

Psychopathology is the study of the signs and symptoms of psychiatric disorders - delusions, hallucinations, phobias, depression, for example. This book gives an account of the terms currently in use and attempts an in-depth analysis of the nature of each. The matter is examined both from a philosophical perspective and from the point of view of what is known about the function of the hemispheres of the brain.

At least 177 scales are available to researchers who want to measure religiosity, but questions exist as to exactly what these scales are measuring and in whom they are measuring it. A review of these scales found a lack items designed to measure ethical action in society or the world as a prophetic response to the experience of the divine. Instead, the vast majority of scales focus on internal experiences and beliefs or institutional relationships. A review of scale norm groups (...) found that norm groups often are not fully described, particularly in the area of race/ethnicity, and when they are described, they reveal an over-reliance on convenience samples of college students and an under-representation of racial/ethnic minority groups. Examples of scales with more fully described and more representative norm groups are given, and recommendations are offered for researchers using and developing religiosity scales. (shrink)

Hannah Arendt's early biography of Rahel Varnhagen, an eighteenth-century German-Jew, provides a revolutionary feminist component to her political theory. In it, Arendt grapples with the theoretical constitution of a female subject and relates Jewish alterity, identity, and history to feminist politics. Because she understood the "female condition" of difference as belonging to the political subject rather than an autonomous self, her theory entails a "politics of alterity" with applications for feminist practice.

Hannah Arendt's early biography of Rahel Varnhagen, an eighteenth-century German-Jew, provides a revolutionary feminist component to her political theory. In it, Arendt grapples with the theoretical constitution of a female subject and relates Jewish alterity, identity, and history to feminist politics. Because she understood the "female condition" of difference as belonging to the political subject rather than an autonomous self, her theory entails a "politics of alterity" with applications for feminist practice.

At least 177 scales are available to researchers who want to measure religiosity, but questions exist as to exactly what these scales are measuring and in whom they are measuring it. A review of these scales found a lack items designed to measure ethical action in society or the world as a prophetic response to the experience of the divine. Instead, the vast majority of scales focus on internal experiences and beliefs or institutional relationships. A review of scale norm groups (...) found that norm groups often are not fully described, particularly in the area of race/ethnicity, and when they are described, they reveal an over-reliance on convenience samples of college students and an under-representation of racial/ethnic minority groups. Examples of scales with more fully described and more representative norm groups are given, and recommendations are offered for researchers using and developing religiosity scales. (shrink)

Popular movies present chunk-like events that promote episodic, serial updating of viewers’ representations of the ongoing narrative. Event-indexing theory would suggest that the beginnings of new scenes trigger these updates, which in turn require more cognitive processing. Typically, a new movie event is signaled by an establishing shot, one providing more background information and a longer look than the average shot. Our analysis of 24 films reconfirms this. More important, we show that, when returning to a previously shown location, the (...) re-establishing shot reduces both context and duration while remaining greater than the average shot. In general, location shifts dominate character and time shifts in event segmentation of movies. In addition, over the last 70 years re-establishing shots have become more like the noninitial shots of a scene. Establishing shots have also approached noninitial shot scales, but not their durations. Such results suggest that film form is evolving, perhaps to suit more rapid encoding of narrative events. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Joanne Cutting-Gray HANNAH ARENDT'S RAHEL VARNHAGEN Hannah Arendt fled Nazi Germany in 1933, a year she called the end of Jewish history. She was 27 years old at the time and carried with her a manuscript that was later to become the peculiar biography of an eighteenth-century German-Jewish "pariah," Rahel Varnhagen (1771-1833). The Life of a fewish Woman, subtitle of the biography by Arendt, distills the largely unpublished Varnhagen (...) correspondence and marks the impact of that life upon German-Jewish history.1 Published more than "half a lifetime" later in 1957, it assays the politics of form in a highly unusual manner. By expunging all detail in order to analyze Varnhagen's introspection, Arendt implicitly questions selfhood as the form for identity and as the appropriate form for biography. She reveals that seeking to preserve the self determines the blank dumbness of an unnarratable life. Rahel Levin (Antonie Friederike Robert) Varnhagen, or simply "Rahel " as Arendt calls her, lived a life as complicated as her many names. The tortured relation she had to her identity, her insatiable preoccupation with self, reflects an effort to eradicate herJewishness by baptism and marriage and becomes a paradigm of a story about a woman lost to a sense of others and herself. Neither rich, cultivated, nor beautiful, Rahel lived her unhappiness fervently, with an ecstasy that made her appear to others as startlingly original. This helps to explain how she came to preside over the most important intellectual salon in Germany during the late eighteenth century. Princes, intellectuals, and artists flocked to her attic apartment, attracted by the impenetrable spectacle of her despair. Rahel's intensity pulled others into her orbit—including, one-hundred years later, the intense and self-absorbed Arendt at the beginning Philosophy and Literature, © 1991, 15: 229-245 230Philosophy and Literature of her university education.2 Each woman suffered the private failure of a love affair complicated by the broader, historical issue of racial identity that connected their lives. Prewar Nazi Germany taught Arendt what Varnhagen learned during the period of German-Jewish assimilation in the nineteenth century—"one does not escape Jewishness."3 It is no wonder that, in analogous moments of personal and civic upheaval, Rahel Varnhagen and Hannah Arendt "corresponded," the one by writing letters about her life, the other by giving that life to a world. Like Arendt, Varnhagen was unclassifiably exotic, an unattached, Jewish female seemingly without a history, aligned with no one and nothing. If"Jewishness" meant letting life "rain upon" her, Rahel Varnhagen let it strike her "like a storm without an umbrella." And like Arendt, she refused to hide the traits and talents of her personality under cover of morality and convention. Her letters are not self-congratulatory, for she never wittingly chose notoriety. Indeed, she spent much of her life trying to escape the stigma ofJewishness that marked her destiny. Notwithstanding the milieu of nineteenth-century German romanticism that drew the biographer toward her subject, various events surrounding the text make more compelling narratives than Varnhagen 's life: how the manuscript survived World War II, Arendt's emigration to the United States, and, especially, the public and private influence of Martin Heidegger.4 At the age of 18 (1925), Arendt had discovered Varnhagen during her brief love-affair with the 35-year-old philosophy professor at the University of Marburg. Though Heidegger would later call Arendt the "passion of his life" and inspiration for his work—he was writing Being and Time during that period—his brush with Nazism precipitated their breach. Since the Heidegger-Arendt correspondence remains closed, much about their youthful relationship and life-long intellectual affair remains a mystery open only to speculation. From Arendt's biographer, Elisabeth Young-Bruehl, we know that Varnhagen's story became a consolation to her in her sorrow, a means ofgiving significance to the ambiguities of a private relationship as it was caught up in public history.5 Certainly Heidegger's retreat from political events for the sake of thinking was as strong an influence on Arendt's political development as was Varnhagen's retreat from her Jewish destiny. Nonetheless, it would be a mistake to expect... (shrink)

Hollywood movies can be deeply engaging and easy to understand. To succeed in this manner, feature-length movies employ many editing techniques with strong psychological underpinnings. We explore the origins and development of one of these, the reaction shot. This shot typically shows a single, unspeaking character with modest facial expression in response to an event or to the behavior or speech of another character. In a sample of movies from 1940 to 2010, we show that the prevalence of one type (...) of these shots—which we call the cryptic reaction shot—has grown dramatically. These shots are designed to enhance viewers’ emotional involvement with characters. They depict a facial gesture that reflects a slightly negative and slightly aroused emotional state. Their use at the end of conversations, and typically at the end of scenes, helps to leave viewers in a state of speculation about what the character is thinking and what her thoughts may mean for the ongoing narrative. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 8.4 (2001) 337-338 [Access article in PDF] On Kimura's Écrits de psychopathologie phénomenologique John Cutting This book is a French translation of six articles that the Japanese psychiatrist, Kimura Bin, wrote in the 1970s and 1980s. There is the usual long introduction in such books by the translator. There is also the mandatory explanation of the whole matter as a postface by philosopher Henry Maldiney (...) as if the meaning of anything these days has to be in the form of a sandwich.The first article by Kimura Bin deals with the meaning of certain Japanese words pertaining to self and inter-subjectivity. The critical Japanese word is aida, which means something like interpersonal bonding and is that primordial state of the human being that founds both everyday sociality and the individual self, the latter both in its external and internal composition and orientation: "From time immemorial, the Japanese understood interpersonal social existence, the being between, life in the aida of itself and of others, as the essential trait of an individual human. The interpersonal aida is in some sense the quintessence of known individuality." Schizophrenia, for Kimura, stems from a disturbance in this aida at the most fundamental level, and all its manifestations follow from this.The second article is entitled "Time and Anxiety (Angoisse)." This sets out his major psychopathological thesis—judging from these six articles—which is that schizophrenia and depressive illness differ fundamentally in their temporality. In schizophrenia the subject is geared toward the future: "Subjects with a schizophrenic tendency give sufficient proof in their daily life of a marked inclination to imagine future possibilities or ideas whose feasibility is impossible or implausible." In depressive illness there is a preoccupation with the past: "The lived time of the melancholic type of person has a preponderance towards the past, or, more precisely, towards lived being up to the present."The third article, entitled "Schizophrenic Temporality," amplifies this thesis and introduces his terminology for these, respectively, as the Latin terms, ante festum and post festum. The French translation gives the meaning of the latter as "apres la fête" and "trop tard"—after the holiday, too late. (I shall deal with the potpourri of languages involved below.) This article is the most elaborate, and in it Kimura attempts to derive the core characteristics of the two nosological entities from these two underlying anomalous temporalities.The fourth article is about borderline states, a nosological entity that I have no sympathy for, and I shall not discuss it.The fifth article is entitled "Reflection and Self in Schizophrenia." Again, it concerns a fundamental difference between the mode of reflection in schizophrenia and that in depressive illness, but I cannot say, despite numerous readings, [End Page 337] that I understand it. The reason for this may be my poor French, an inadequate translation, or a confused formulation in the first place, or all three. The gist of it seems to be that in schizophrenia the "other" is a "stranger" projected by the thinking self, whereas in depressive illness the "other" is a "familiar" inhabitant of the sociality adherent to this condition.The sixth article, "Pathology of Immediateness," is an attempt to seek philosophical, theoretical, psychopathological, and even nosological and biological backing for what Kimura has set out earlier, particularly in the third article. Hegel, Lacan, Bergson, Heidegger, Derrida, and Husserl are brought in as philosophical support. Blankenburg and Binswanger provide psychopathological backing. A third prong is the nosological tradition, prevalent in Germany and Japan in the twentieth century, of promoting the concept of an atypical or third type of psychosis with a biological resemblance to epileptic psychosis. All this is then brought together and complicated by a discussion of language and 'mediation' to support the notion that there is a third psychopathological principle—in addition to the ante festum pertaining to schizophrenia and the post festum pertaining to depressive illness—which is that of an intra festum: a preoccupation with the now, characteristic of atypical psychoses with an epileptic basis.These articles tax one's linguistic and conceptual repertoire to the... (shrink)