The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical structure and the (...) technology of explicit substitutions. This is in contrast to the λσ-calculus where the explicit substitutions are independent of the underlying logical structure. (shrink)

BackgroundIn the Canadian Alliance for Healthy Hearts and Minds (CAHHM) cohort, participants underwent magnetic resonance imaging (MRI) of the brain, heart, and abdomen, that generated incidental findings (IFs). The approach to managing these unexpected results remain a complex issue. Our objectives were to describe the CAHHM policy for the management of IFs, to understand the impact of disclosing IFs to healthy research participants, and to reflect on the ethical obligations of researchers in future MRI studies.MethodsBetween 2013 and 2019, 8252 participants (...) (mean age 58 ± 9 years, 54% women) were recruited with a follow-up questionnaire administered to 909 participants (40% response rate) at 1-year. The CAHHM policy followed a restricted approach, whereby routine feedback on IFs was not provided. Only IFs of severe structural abnormalities were reported.ResultsSevere structural abnormalities occurred in 8.3% (95% confidence interval 7.7–8.9%) of participants, with the highest proportions found in the brain (4.2%) and abdomen (3.1%). The majority of participants (97%) informed of an IF reported no change in quality of life, with 3% of participants reporting that the knowledge of an IF negatively impacted their quality of life. Furthermore, 50% reported increased stress in learning about an IF, and in 95%, the discovery of an IF did not adversely impact his/her life insurance policy. Most participants (90%) would enrol in the study again and perceived the MRI scan to be beneficial, regardless of whether they were informed of IFs. While the implications of a restricted approach to IF management was perceived to be mostly positive, a degree of diagnostic misconception was present amongst participants, indicating the importance of a more thorough consent process to support participant autonomy.ConclusionThe management of IFs from research MRI scans remain a challenging issue, as participants may experience stress and a reduced quality of life when IFs are disclosed. The restricted approach to IF management in CAHHM demonstrated a fair fulfillment of the overarching ethical principles of respect for autonomy, concern for wellbeing, and justice. The approach outlined in the CAHHM policy may serve as a framework for future research studies.Clinical trial registrationhttps://clinicaltrials.gov/ct2/show/nct02220582. (shrink)

We investigate how a uniformly rotating frame is defined as the rest frame of an observer rotating with constant angular velocity Ω around the z axis of an inertial frame. Assuming this frame to be a Lorentz one, we second quantize a free massless scalar field in the rotating frame and obtain that creation-annihilation operators of the field are not the same as those of an inertial frame. This leads to a new vacuum state—a rotating vacuum. After this, introducing an (...) apparatus device coupled linearly with the field, we obtain that there is a strong correlation between the number of Trocheries-Takeno particles (in a given state) obtained via canonical quantization and the response function of the rotating detector. Finally, we analyze polarization effects in circular accelerators in the proper frame of the electron, making a connection with the inertial frame point of view. (shrink)

Here are the 18 guidance points contained in the UNAIDS document on Ethical Considerations in HIV Preventive Vaccine Research, reproduced by kind permission of the Joint United Nations Programme on HIV/AIDS.

Cette contribution dresse le bilan critique d’une étude de corpus, menée par deux chercheuses de disciplines différentes. Elle vise à définir les conditions d’une pratique scientifique interdisciplinaire de l’analyse des données textuelles à l’intérieur des Sciences Humaines et Sociales. Cette étude de cas nourrit un objectif plus vaste, celui d’une herméneutique théorisée dans la tradition française de l’analyse de discours et articulée à un principe méthodologique fondamental – la variation des données textuelles et des pratiques interprétatives – au service duquel (...) sont mis différents outils lexicométriques. (shrink)

A cross-cultural survey experiment revealed a dominant tendency to rely on a rule’s letter over its spirit when deciding which behaviors violate the rule. This tendency varied markedly across (k = 15) countries, owing to variation in the impact of moral appraisals on judgments of rule violation. Compared with laypeople, legal experts were more inclined to disregard their moral evaluations of the acts altogether and consequently exhibited stronger textualist tendencies. Finally, we evaluated a plausible mechanism for the emergence of textualism: (...) in a two-player coordination game, incentives to coordinate in the absence of communication reinforced participants’ adherence to rules’ literal meaning. Together, these studies (total n = 5,794) help clarify the origins and allure of textualism, especially in the law. Within heterogeneous communities in which members diverge in their moral appraisals involving a rule’s purpose, the rule’s literal meaning provides a clear focal point—an identifiable point of agreement enabling coordinated interpretation among citizens, lawmakers, and judges. (shrink)

Purpose (metatask) of the present work is to attempt to give a glance at the problem of existential and anthropo- logical risk caused by the contemporary man-made civilization from the perspective of comparison and confronta- tion of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap pre- sent between the represented social reality and its representation in perception (...) of works of art and in the political doctrines as well. Methodology of the research is evolutionary anthropological comparativistics. Originality of the conducted analysis comes to the following: As the antithesis to biological and social reductionism in interpretation of the phenomenon of bio-power it is proposed a co-evolutionary semantic model in accordance with which the de- scribed semantic gap is of the substantial nature related to the complex module organization of a consistent and adaptive human strategy consisting of three associated but independently functional modules (genetic, cultural and techno-rational). Evolutionary trajectory of all anthropogenesis components including civilization cultural and so- cial-political evolution is identified by the proportion between two macro variables – evolutionary effectiveness and evolutionary stability (sameness), i.e. preservation in the context of consequential transformations of some invari- ants of Homo sapiens species specificity organization. It should be noted that inasmuch as in respect to human, some modules of the evolutionary (adaptive) strategy assume self-reflection attributes, it would be more correctly to state about evolutionary correctness, i.e. correspondence to some perfection. As a result, the future of human nature de- pends not only on the rationalist principles of ethics of Homo species (the archaism of Jurgen Habermas), but also on the holistic and emotionally aesthetic image of «Self». In conclusion it should be noted that there is a causal link between the development of High Hume (NBIC) technologies and the totality of the trend in the anthropological phenomenon of bio-power that permeates all the available human existence in modern civilization. As a result, there is a transformation of a contemporary social (man-made) risk in the evolutionary civilization risk. (shrink)

Review of the Modern Mongolian philosophical history.

Quelles sont les origines et quelles sont les frontières de la philosophie? Jusqu'à quel point et dans quelle mesure la pensée philosophique a-t-elle un développement suffisamment autonome pour faire l'objet d'une histoire distincte de celle des autres disciplines intellectuelles? Peut-on parler d'une évolution régulière ou d'un progrès de la philosophie? L'histoire de la philosophie, des Présocratiques aux années 1940, présentée ici est l'oeuvre d'un seul auteur. Elle constitue aujourd'hui un guide précieux et irremplaçable pour comprendre l'histoire des philosophes et des (...) systèmes philosophiques occidentaux. (shrink)

The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version of (...) any of these is an interesting exercise in extending the range of applicability of the geometric system in question. In this article we produce an intuitionistic version of N-Graphs, based on Maehara's LJ' system, as described by Takeuti. Recall that LJ' has multiple conclusions in all but the essential intuitionistic rules, e.g., implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ'. We also discuss how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL (Full Intuitionistic Logic) of de Paiva and Pereira and sketch future developments. (shrink)