A confluent λ-calculus with a catch/throw mechanism

1999 ◽  
Vol 9 (6) ◽  
pp. 625-647 ◽  
Author(s):  
TRISTAN CROLARD
Keyword(s):  
Natural Deduction ◽  
Second Order ◽  
The Other ◽  
Strong Normalization ◽  
Reduction Property ◽  
The Subject

We derive a confluent λ-calculus with a catch/throw mechanism (called λct-calculus) from Parigot's λμ-calculus. We also present several translations from one calculus into the other which are morphisms for the reduction. We use them to show that the λct-calculus is a retract of λμ-calculus (these calculi are isomorphic if we consider only convertibility). As a by-product, we obtain the subject reduction property for the λct-calculus, as well as the strong normalization for λct-terms typable in the second order classical natural deduction.

Strong normalization proof with CPS-translation for second order classical natural deduction

2003 ◽  
Vol 68 (3) ◽  
pp. 851-859 ◽  
Author(s):  
Koji Nakazawa ◽  
Makoto Tatsuta
Keyword(s):  
Natural Deduction ◽  
Second Order ◽  
Strong Normalization

AbstractThis paper points out an error of Parigot's proof of strong normalization of second order classical natural deduction by the CPS-translation, discusses erasing-continuation of the CPS-translation, and corrects that proof by using the notion of augmentations.

Golgi Apparatus and Melanogenesis: Ultrastructural Study of a Human Cellular Blue Nevus (Melanocytoma)

1973 ◽  
Vol 31 ◽  
pp. 380-381
Author(s):  
S.R. Allegra
Keyword(s):  
Endoplasmic Reticulum ◽  
Golgi Apparatus ◽  
Ultrastructural Study ◽  
The Other ◽  
Blue Nevus ◽  
Normal Complement ◽  
Golgi Vesicles ◽  
Golgi System ◽  
The Subject ◽  
Cellular Blue Nevus

The respective roles of the ribo somes, endoplasmic reticulum, Golgi apparatus and perhaps nucleus in the synthesis and maturation of melanosomes is still the subject of some controversy. While the early melanosomes (premelanosomes) have been frequently demonstrated to originate as Golgi vesicles, it is undeniable that these structures can be formed in cells in which Golgi system is not found. This report was prompted by the findings in an essentially amelanotic human cellular blue nevus (melanocytoma) of two distinct lines of melanocytes one of which was devoid of any trace of Golgi apparatus while the other had normal complement of this organelle.

The Dark Tetrad

2015 ◽  
Vol 36 (4) ◽  
pp. 228-236 ◽  
Author(s):  
Janko Međedović ◽  
Boban Petrović
Keyword(s):  
Personality Traits ◽  
Antisocial Behavior ◽  
Second Order ◽  
The Other ◽  
Negative Pole ◽  
Latent Space ◽  
Order Factor

Abstract. Machiavellianism, narcissism, and psychopathy are personality traits understood to be dispositions toward amoral and antisocial behavior. Recent research has suggested that sadism should also be added to this set of traits. In the present study, we tested a hypothesis proposing that these four traits are expressions of one superordinate construct: The Dark Tetrad. Exploration of the latent space of four “dark” traits suggested that the singular second-order factor which represents the Dark Tetrad can be extracted. Analysis has shown that Dark Tetrad traits can be located in the space of basic personality traits, especially on the negative pole of the Honesty-Humility, Agreeableness, Conscientiousness, and Emotionality dimensions. We conclude that sadism behaves in a similar manner as the other dark traits, but it cannot be reduced to them. The results support the concept of “Dark Tetrad.”

“Channeling” the powers of God’s Word

2010 ◽  
Vol 4 (2) ◽  
pp. 135-156 ◽  
Author(s):  
Dorothea E. Schulz
Keyword(s):  
The Other ◽  
Border Zone ◽  
Focus Attention ◽  
Spiritual Power ◽  
New Materials ◽  
God's Word ◽  
Audio Recordings ◽  
Heated Debate ◽  
The Subject ◽  
The One

Starting with the controversial esoteric employment of audio recordings by followers of the charismatic Muslim preacher Sharif Haidara in Mali, the article explores the dynamics emerging at the interface of different technologies and techniques employed by those engaging the realm of the Divine. I focus attention on the “border zone” between, on the one hand, techniques for appropriating scriptures based on long-standing religious conventions, and, on the other, audio recording technologies, whose adoption not yet established authoritative and standardized forms of practice, thereby generating insecurities and becoming the subject of heated debate. I argue that “recyclage” aptly describes the dynamics of this “border zone” because it captures the ways conventional techniques of accessing the Divine are reassessed and reemployed, by integrating new materials and rituals. Historically, appropriations of the Qur’an for esoteric purposes have been widespread in Muslim West Africa. These esoteric appropriations are at the basis of the considerable continuities, overlaps and crossovers, between scripture-related esoteric practices on one side, and the treatment by Sharif Haidara’s followers of audio taped sermons as vessels of his spiritual power, on the other.

The problem of woman’s emansipation in the feuilleton “Amazonia: a very inept story” by Mykola Chirsky

2020 ◽  
pp. 71-76
Author(s):  
Iryna Rusnak
Keyword(s):  
Scientific Understanding ◽  
The Other ◽  
Literary Studies ◽  
Ethical Guidelines ◽  
Compositional Structure ◽  
Urgent Task ◽  
The Subject ◽  
The One ◽  
Artistic Heritage

The author of the article analyses the problem of the female emancipation in the little-known feuilleton “Amazonia: A Very Inept Story” (1924) by Mykola Chirsky. The author determines the genre affiliation of the work and examines its compositional structure. Three parts are distinguished in the architectonics of associative feuilleton: associative conception; deployment of a “small” topic; conclusion. The author of the article clarifies the role of intertextual elements and the method of constantly switching the tone from serious to comic to reveal the thematic direction of the work. Mykola Chirsky’s interest in the problem of female emancipation is corresponded to the general mood of the era. The subject of ridicule in provocative feuilleton is the woman’s radical metamorphoses, since repulsive manifestations of emancipation becomes commonplace. At the same time, the writer shows respect for the woman, appreciates her femininity, internal and external beauty, personality. He associates the positive in women with the functions of a faithful wife, a caring mother, and a skilled housewife. In feuilleton, the writer does not bypass the problem of the modern man role in a family, but analyses the value and moral and ethical guidelines of his character. The husband’s bad habits receive a caricatured interpretation in the strange behaviour of relatives. On the one hand, the writer does not perceive the extremes brought by female emancipation, and on the other, he mercilessly criticises the male “virtues” of contemporaries far from the standard. The artistic heritage of Mykola Chirsky remains little studied. The urgent task of modern literary studies is the introduction of Mykola Chirsky’s unknown works into the scientific circulation and their thorough scientific understanding.

MUNDANE MIRACLES IN AWADH. ENCOUNTERS WITH THE REVEALED AND THE HIDDEN

2020 ◽  
pp. 130-140
Author(s):  
Maxim B. Demchenko ◽  
Keyword(s):  
The Other ◽  
Local People ◽  
Natural Phenomena ◽  
Mughal Empire ◽  
The Public ◽  
British Raj ◽  
The Subject ◽  
Other World ◽  
Better Than

The sphere of the unknown, supernatural and miraculous is one of the most popular subjects for everyday discussions in Ayodhya – the last of the provinces of the Mughal Empire, which entered the British Raj in 1859, and in the distant past – the space of many legendary and mythological events. Mostly they concern encounters with inhabitants of the “other world” – spirits, ghosts, jinns as well as miraculous healings following magic rituals or meetings with the so-called saints of different religions (Hindu sadhus, Sufi dervishes),with incomprehensible and frightening natural phenomena. According to the author’s observations ideas of the unknown in Avadh are codified and structured in Avadh better than in other parts of India. Local people can clearly define if they witness a bhut or a jinn and whether the disease is caused by some witchcraft or other reasons. Perhaps that is due to the presence in the holy town of a persistent tradition of katha, the public presentation of plots from the Ramayana epic in both the narrative and poetic as well as performative forms. But are the events and phenomena in question a miracle for the Avadhvasis, residents of Ayodhya and its environs, or are they so commonplace that they do not surprise or fascinate? That exactly is the subject of the essay, written on the basis of materials collected by the author in Ayodhya during the period of 2010 – 2019. The author would like to express his appreciation to Mr. Alok Sharma (Faizabad) for his advice and cooperation.

De-Finition

2019 ◽  
Vol 95 (2) ◽  
pp. 231-245
Author(s):  
Erik Ode
Keyword(s):  
Educational Research ◽  
The Other ◽  
Political Perspective ◽  
The World ◽  
The Subject ◽  
Scientific Terms

Abstract De-Finition. Poststructuralist Objections to the Limitation of the Other The metaphysic tradition always tried to structure the world by definitions and scientific terms. Since poststructuralist authors like Derrida, Foucault and Deleuze have claimed the ›death of the subject‹ educational research cannot ignore the critical objections to its own methods. Definitions and identifications may be a violation of the other’s right to stay different and undefined. This article tries to discuss the scientific limitations of the other in a pedagogical, ethical and political perspective.

Emmanuel Levinas: Um estudo sobre a ética da alteridade

2020 ◽  
Author(s):  
Abimael Francisco do Nascimento
Keyword(s):  
Emmanuel Levinas ◽  
Transcendental Philosophy ◽  
The Other ◽  
New Thought ◽  
Philosophical Criticism ◽  
The Face ◽  
The Subject ◽  
Theoretical Foundations ◽  
First Philosophy

The general objective of this study is to analyze the postulate of the ethics of otherness as the first philosophy, presented by Emmanuel Levinas. It is a proposal that runs through Levinas' thinking from his theoretical foundations, to his philosophical criticism. Levinas' thought presents itself as a new thought, as a critique of ontology and transcendental philosophy. For him, the concern with knowledge and with being made the other to be forgotten, placing the other in totality. Levinas proposes the ethics of otherness as sensitivity to the other. The subject says here I am, making myself responsible for the other in an infinite way, in a transcendence without return to myself, becoming hostage to the other, as an irrefutable responsibility. The idea of the infinite, present in the face of the other, points to a responsibility whoever more assumes himself, the more one is responsible, until the substitution by other.

Sign in / Sign up

Export Citation Format

Share Document