This article aims at proposing a solution to one of the well-known textual cruces in Lucretius’ De rerum natura. After a brief survey of the suggested emendations, the author will shed some fresh light on Manning's gratus, which recent editors have curiously neglected. The idea that the old man should retire from life with thanks is not uncommon among classical writers. In addition, parallel expressions are also found in Epicurus’ own words. This article concludes that gratus is what we would (...) expect in the last line of Nature's admonition in De rerum natura and, therefore, the most probable emendation. (shrink)

In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact the one (...) that validates inference based on the left monotonicity of the determiner. This accounts for the lack of strong reading in donkey sentences with MON determiners, which have been neglected in the literature. I consider the relevance of other natural forms of inference as well, but also suggest how monotonicity inference might play a central role in the actual process of interpretation. The formal theory is couched in dynamic predicate logic with generalized quantifiers. (shrink)

Some formal properties of enriched systems of Lambek calculus with analogues of conjunction and disjunction are investigated. In particular, it is proved that the class of languages recognizable by the Lambek calculus with added intersective conjunction properly includes the class of finite intersections of context-free languages.

It is proved that for any k, the class of classical categorial grammars that assign at most k types to each symbol in the alphabet is learnable, in the Gold (1967) sense of identification in the limit from positive data. The proof crucially relies on the fact that the concept known as finite elasticity in the inductive inference literature is preserved under the inverse image of a finite-valued relation. The learning algorithm presented here incorporates Buszkowski and Penn's (1990) algorithm for (...) determining categorial grammars from input consisting of functor-argument structures. (shrink)

Every language recognized by the Lambek calculus with brackets is context-free. This is shown by combining an observation by Jäger with an entirely straightforward adaptation of the method Pentus used for the original Lambek calculus. The case of the variant of the calculus allowing sequents with empty antecedents is slightly more complicated, requiring a restricted use of the multiplicative unit.

Hirschi and Gottfredson (1983) claim that the relationship between age and crime is similar in all social and cultural conditions and that no current sociological or criminological theory can account for this similarity. We introduce the new field of evolutionary psychology and extend Daly and Wilson's (1988) work on homicide to construct a general theory of male criminality, which explains why men commit violent and property crimes. The theory can also explain the age-crime curve. It might also account for some (...) empirical anomalies such as why physically smaller boys are more delinquent, and why violent criminals desist more slowly. (shrink)

Combined with recent evolutionary psychological theories, Crespi & Badcock's (C&B's) intragenomic conflict theory of the social brain suggests that schizophrenics are more religious, and autistics are less religious, than the normal population. Combined with the generalized Trivers-Willard hypothesis (gTWH), it suggests that schizophrenics have more daughters, and autistics have more sons, than expected.

I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like Prawitz’s, works on natural deductions rather than sequent derivations, and, unlike existing methods, always finds a ‘strongest’ interpolant under a certain restricted but reasonable notion of what counts as an ‘interpolant’.

The Last Gift is an observational HIV cure-related research study conducted with people with HIV at the end of life (EOL) at the University of California San Diego. Participants agree to voluntarily donate blood and other biospecimens while living and their bodies for a rapid research autopsy postmortem to better understand HIV reservoir dynamics throughout the entire body. The Last Gift study was initiated in 2017. Since then, 30 volunteers were enrolled who are either (1) terminally ill with a concomitant (...) condition and have a prognosis of 6 months or less or (2) chronically ill with multiple comorbidities and nearing the EOL.Multiple ethical and logistical challenges have been revealed during this time; here, we share our lessons learnt and ethical analysis. Issues relevant to healthcare research include surrogate informed consent, personal and professional boundaries, challenges posed conducting research in a pandemic, and clinician burnout and emotional support. Issues more specific to EOL and postmortem research include dual roles of clinical care and research teams, communication between research personnel and clinical teams, legally required versus rapid research autopsy, identification of next of kin/loved ones and issues of inclusion. Issues specific to the Last Gift include logistics of body donation and rapid research autopsy, and disposition of the body as a study benefit.We recommend EOL research teams to have clear provisions around surrogate informed consent, rotate personnel to maintain boundaries, limit direct contact with staff associated with clinical care and have a clear plan for legally required versus research autopsies, among other recommendations. (shrink)

This volume is an outgrowth of the second Workshop on Logic, Language and Computation held at Stanford in the spring of 1993. The workshop brought together researchers interested in natural language to discuss the current state of the art at the borderline of logic, linguistics and computer science. The papers in this collection fall into three central research areas of the nineties, namely quantifiers, deduction, and context. Each contribution reflects an ever-growing interest in a more dynamic approach to meaning, which (...) focuses on inference patterns and the interpretation of sentences in the context of a larger discourse. The papers apply either current logical machinery - such as linear logic, generalised quantifier theory, dynamic logic - or formal analyses of the notion of context in discourse to classical linguistic issues, with original and thought-provoking results deserving of a wide audience. (shrink)

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string and tree (...) languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars. (shrink)

The savanna theory of happiness proposes that, due to evolutionary constraints on the human brain, situations and circumstances that would have increased our ancestors’ happiness may still increase our happiness today, and those that would have decreased their happiness then may still decrease ours today. It further proposes that, because general intelligence evolved to solve evolutionarily novel problems, this tendency may be stronger among less intelligent individuals. Because humans are a diurnal species that cannot see in the dark, darkness always (...) represented danger to our ancestors and may still decrease our happiness today. Consistent with this prediction, the analysis of the National Longitudinal Study of Adolescent to Adult Health (Add Health) data shows that exposure to sunlight was associated with happiness but the association was significantly weaker among more intelligent individuals. (shrink)

Building on Ben-Avi and Winter’s (2007) work, this paper provides a general “intensionalization” procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating “truly intensional” lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague’s (1973) PTQ.

Little is known about the time of development of the binocular suppression. In the present study, we evaluated the emergence of binocular suppression in infants by using continuous flash suppression (CFS, Tsuchiya & Koch, 2006). In our experiment, one eye of infants presented with a static face image at one side of the screen, while another eye is presented with dynamic Mondrian patterns in full screen. Adult observers confirmed that the static face image was consciously repressed by the changing Mondrian (...) patterns. If binocular suppression were functional, the infant would not perceive the face as did the adults, and thus would not show any preference in the experiment. However, if binocular suppression in the infants were not yet acquired, they would perceive the face and the Mondrian patterns at the same time, and would thus show preference for the side where the face was presented. The results showed that infants aged 2–3 months, but not those aged 4–5 months, detected the position of the face. Furthermore, this detection was not due to weak contrast sensitivity to the dynamic Mondrian mask. These results indicated that the immature binocular visual system may perceive different images from different eyes simultaneously, and that infants may lose this ability after establishing binocular suppression at 4–5 months of age. (shrink)

Pupil contagion is the phenomenon in which an observer’s pupil-diameter changes in response to another person’s pupil. Even chimpanzees and infants in early development stages show pupil contagion. This study investigated whether dynamic changes in pupil diameter would induce changes in infants’ pupil diameter. We also investigated pupil contagion in the context of different faces. We measured the pupil-diameter of 50 five- to six-month-old infants in response to changes in the pupil diameter of upright and inverted faces. The results showed (...) that in the upright presentation condition, dilating the pupil diameter induced a change in the infants’ pupil diameter while constricting the pupil diameter did not induce a change, and pupil contagion occurred only in the upright face presentation, and not in the inverted face presentation. These results indicate the face-inversion effect in infants’ pupil contagion. (shrink)

This study examined whether 8-month-old infants’ hemodynamic responses in the temporal region were modulated by repeated presentation of “Peekaboo” by using functional near-infrared spectroscopy. Previous studies have shown that infants’ temporal region responds to faces. A recent electroencephalography study showed that the neural activity of infants was modulated by repeated presentation of “Peekaboo.” Some fNIRS studies also revealed that the movie of “Peekaboo” activated the hemodynamic response of the temporal region in infancy. However, no studies have shown the hemodynamic modulation (...) of the temporal region according to the repeated presentation of “Peekaboo” in infants. In order to examine whether the hemodynamic responses of the temporal region were modulated by repeated presentation of “Peekaboo,” we compared the activity of the temporal region between the early and late trials. We set long and short delays before face-presentation. The results showed that the concentration of oxy-hemoglobin in the right occipitotemporal region in both conditions increased after the presentation of “Peekaboo” relative to the baseline. Moreover, in the long delay condition, the hemodynamic modulation of the right occipitotemporal region was induced according to the repeated presentation of “Peekaboo” in infants. (shrink)

This paper surveys the historiography of the global response to HIV/AIDS. Since 1981, when the disease was first identified, there have been great strides in the medical and biological sciences in understanding the impact of the new virus on the human immune system. Although there is still no successful vaccine, antiretroviral (ART) treatment continues to improve the likelihood of HIV-positive people living long and healthy lives. We have also seen a few exciting cases of full recovery, which will allow scientists (...) to explore new avenues towards a cure. Yet the AIDS pandemic is by no means over: 40 million have died and over 35 million individuals still live with HIV. More importantly, as historians and scholars in the humanities and social sciences have been pointing out since the early 1980s, HIV brought to light how non-medical factors play a critical role in a successful disease response. As the global community faces the aftermath of a new pandemic, it is timely to examine how broader social, economic, political, and cultural factors influence individual experiences of disease at local, national, international, and global scales. This essay examines how scholars have written historically about the HIV pandemic, using a variety of methods and approaches: from traditional histories of medicine to anthropologies of development. While HIV has sparked a massive corpus of historical reflection from a variety of disciplines, its contemporaneity means that “global AIDS historiography” cannot yet be described as a cohesive academic conversation. Yet what unites the scholarship, this essay argues, is its use of HIV to examine how and why post-war social and economic systems have achieved health objectives for some populations and not others. (shrink)

BackgroundOne of the next frontiers in HIV research is focused on finding a cure. A new priority includes people with HIV (PWH) with non-AIDS terminal illnesses who are willing to donate their bodies at the end-of-life (EOL) to advance the search towards an HIV cure. We endeavored to understand perceptions of this research and to identify ethical and practical considerations relevant to implementing it.MethodsWe conducted 20 in-depth interviews and 3 virtual focus groups among four types of key stakeholders in the (...) United States (PWH, biomedical HIV cure researchers, HIV clinicians, and bioethicists) to obtain triangulated viewpoints because little was known about the ethics of this topic. Each group was queried as to ethical considerations, safeguards, and protections for conducting HIV cure-related research at the EOL to ensure this research remains acceptable.ResultsAll four key stakeholder groups generally supported HIV cure-related research conducted at the EOL because of the history of altruism within the PWH community and the potential for substantial scientific knowledge to be gained. Our informants expressed that: (1) Strong stakeholder and community involvement are integral to the ethical and effective implementation, as well as the social acceptability of this research; (2) PWH approaching the EOL should not inherently be considered a vulnerable class and their autonomy must be respected when choosing to participate in HIV cure-related research at the EOL; (3) Greater diversity among study participants, as well as multi-disciplinary research teams, is necessitated by HIV cure-related research at the EOL; (4) The sensitive nature of this research warrants robust oversight to ensure a favorable risk/benefit balance and to minimize the possibility of therapeutic misconception or undue influence; and (5) Research protocols should remain flexible to accommodate participants’ comfort and needs at the EOL.ConclusionBecause of the ethical issues presented by HIV cure-related research at the EOL, robust ethical safeguards are of utmost importance. The proposed ethical and practical considerations presented herein is a first step in determining the best way to maximize this research’s impact and social value. More much inquiry will need to be directed towards understanding context-specific and cultural considerations for implementing EOL HIV cure research in diverse settings. (shrink)

BackgroundHIV cure research involving cell and gene therapy has intensified in recent years. There is a growing need to identify ethical standards and safeguards to ensure cell and gene therapy (CGT) HIV cure research remains valued and acceptable to as many stakeholders as possible as it advances on a global scale.MethodsTo elicit preliminary ethical and practical considerations to guide CGT HIV cure research, we implemented a qualitative, in-depth interview study with three key stakeholder groups in the United States: (1) biomedical (...) HIV cure researchers, (2) bioethicists, and (3) community stakeholders. Interviews permitted evaluation of informants’ perspectives on how CGT HIV cure research should ethically occur, and were transcribed verbatim. We applied conventional content analysis focused on inductive reasoning to analyze the rich qualitative data and derive key ethical and practical considerations related to CGT towards an HIV cure.ResultsWe interviewed 13 biomedical researchers, 5 community members, and 1 bioethicist. Informants generated considerations related to: perceived benefits of CGT towards an HIV cure, perceived risks, considerations necessary to ensure an acceptable benefit/risk balance, CGT strategies considered unacceptable, additional ethical considerations, and considerations for first-in-human CGT HIV cure trials. Informants also proposed important safeguards to developing CGT approaches towards an HIV cure, such as the importance of mitigating off-target effects, mitigating risks associated with long-term duration of CGT interventions, and mitigating risks of immune overreactions.ConclusionOur study identified preliminary considerations for CGT-based HIV cure across three key stakeholder groups. Respondents identified an ideal cure strategy as one which would durably control HIV infection, protect the individual from re-acquisition, and eliminate transmission to others. Known and unknown risks should be anticipated and perceived as learning opportunities to preserve and honor the altruism of participants. Preclinical studies should support these considerations and be transparently reviewed by regulatory experts and peers prior to first-in-human studies. To protect the public trust in CGT HIV cure research, ethical and practical considerations should be periodically revisited and updated as the science continues to evolve. Additional ethics studies are required to expand stakeholder participation to include traditionally marginalized groups and clinical care providers. (shrink)

BackgroundThe pursuit of a cure for HIV is a high priority for researchers, funding agencies, governments and people living with HIV (PLWH). To date, over 250 biomedical studies worldwide are or have been related to discovering a safe, effective, and scalable HIV cure, most of which are early translational research and experimental medicine. As HIV cure research increases, it is critical to identify and address the ethical challenges posed by this research.MethodsWe conducted a scoping review of the growing HIV cure (...) research ethics literature, focusing on articles published in English peer-reviewed journals from 2013 to 2021. We extracted and summarized key developments in the ethics of HIV cure research. Twelve community advocates actively engaged in HIV cure research provided input on this summary and suggested areas warranting further ethical inquiry and foresight via email exchange and video conferencing.DiscussionDespite substantial scholarship related to the ethics of HIV cure research, additional attention should focus on emerging issues in six categories of ethical issues: (1) social value (ongoing and emerging biomedical research and scalability considerations); (2) scientific validity (study design issues, such as the use of analytical treatment interruptions and placebos); (3) fair selection of participants (equity and justice considerations); (4) favorable benefit/risk balance (early phase research, benefit-risk balance, risk perception, psychological risks, and pediatric research); (5) informed consent (attention to language, decision-making, informed consent processes and scientific uncertainty); and (6) respect for enrolled participants and community (perspectives of people living with HIV and affected communities and representation).ConclusionHIV cure research ethics has an unfinished agenda. Scientific research and bioethics should work in tandem to advance ethical HIV cure research. Because the science of HIV cure research will continue to rapidly advance, ethical considerations of the major themes we identified will need to be revisited and refined over time. (shrink)