Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic

The variety \({\mathcal{SH}}\) of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of the 9th “Dr. Antonio A. R. Monteiro” Congress, Universidad Nacional del Sur, Bahía Blanca, 2008) [13] as an abstraction of the variety of Heyting algebras. Semi-Heyting algebras are the algebraic models for a logic HsH, known as semi-intuitionistic logic, which is equivalent to the one defined by a Hilbert style calculus in Cornejo (Studia Logica 98(1–2):9–25, 2011) [6]. In this article we introduce a Gentzen style sequent calculus GsH for the semi-intuitionistic logic whose associated logic GsH is the same as HsH. The advantage of this presentation of the logic is that we can prove a cut-elimination theorem for GsH that allows us to prove the decidability of the logic. As a direct consequence, we also obtain the decidability of the equational theory of semi-Heyting algebras.     

THE BIBLICAL ROOTS OF LOCKE'S THEORY OF PERSONAL IDENTITY

Locke's consciousness‐based theory of personal identity resulted not only from his agnosticism on substance, but also from his biblical theology. This theory was intended to complement and sustain Locke's moral and theological commitments to a system of otherworldly rewards and sanctions as revealed in Scripture. Moreover, he inferred mortalist ideas from the Bible, rejecting the resurrection of the same body and maintaining that the soul dies at physical death and will be resurrected by divine miracle. Accordingly, personal identity is neither in the soul, nor in the body, nor in a union of soul and body. To Locke, personal identity is in consciousness, which, extending “backwards to any past Action or Thought,” enables the self, both in this life and upon resurrection for the Last Judgment, to recognize that “it is the same self now it was then; and ‘tis by the same self with this present one that now reflects on it, that that Action was done” (Essay II.xxvii.9).     

Peter Bol,Neo-Confucianism in History

In the past two or three decades,there has been renewed interest in returning to the teachings of Confucius.I say that it is renewed because during the transition period between the Tang and Song dynasties,from the eighth to the eleventh century,some thinkers had already called attention to the project of recovering various aspects of Confucian philosophy and political culture that were present in ancient times.This new interest seems to arise from the questions that Chinese and non-Chinese are now facing concerning the moral and intellectual foundation of contemporary China.     

Ethological analysis of the male rat's socioagonistic behavior in a resident-intruder paradigm

The object of the present study was to assess the rat's socioagonistic behavior by means of ethological procedures. Two groups of male Wistar rats were used: 33 residents and 66 intruders. To allow reliable characterization of social and agonistic patterns, social interactions were increased by the isolation of residents and, on the other hand, both offense in residents and defense in intruders were increased by differences in weight, agonistic experience, and habituation to the enclosure. Encounters were videotaped, and the animals' behavior was analyzed by a 27-pattern ethogram and a software package made up to this end. Several patterns parameters were quantified, and two ethological mathematical models were employed: sequential analysis of preferential directions and cluster analysis based on similarities between patterns. Following mean latencies of the most frequent elements, the first four pattern sequences appeared to be the same in both groups of animals. From the fifth pattern on, residents displayed mainly dominance and threat, whereas intruders showed defensive and submissive patterns. Attack was also displayed by residents, but less frequently than dominance and threat. The alpha status was established by two sorts of domination, either through dominance and threat or by attack. The mean frequency of the intraindividual transition of patterns was higher in residents than in intruders. Pathway graphs, derived from sequential analysis, showed some common dyads, triads, or quadrads of patterns, but they basically defined different behavior structures in residents and intruders. Dendrograms, obtained by cluster analysis, allowed classification of patterns into behavior categories. The categories in residents were exploration, dominance, threat, and attack, and they encompassed 18 elements; in intruders the categories were exploration, dominance, and defense, and they consisted of nine patterns. A submissive category composed of three patterns could be also deduced considering similarity results. To summarize, six behavior categories were obtained: one “socioindividual” (exploration) and five “agonistic” (dominance, threat, attack, submission, and defense). In conclusion, the present study shows how ethological procedures may help to elucidate the rat's socioagonistic behavior and to classify the observed patterns into behavior categories.     

Global/local processing of hierarchical visual stimuli in a conflict–choice task by capuchin monkeys (<Emphasis Type="Italic">Sapajus</Emphasis> spp.)

In the last two decades, comparative research has addressed the issue of how the global and local levels of structure of visual stimuli are processed by different species, using Navon-type hierarchical figures, i.e. smaller local elements that form larger global configurations. Determining whether or not the variety of procedures adopted to test different species with hierarchical figures are equivalent is of crucial importance to ensure comparability of results. Among non-human species, global/local processing has been extensively studied in tufted capuchin monkeys using matching-to-sample tasks with hierarchical patterns. Local dominance has emerged consistently in these New World primates. In the present study, we assessed capuchins’ processing of hierarchical stimuli with a method frequently adopted in studies of global/local processing in non-primate species: the conflict–choice task. Different from the matching-to-sample procedure, this task involved processing local and global information retained in long-term memory. Capuchins were trained to discriminate between consistent hierarchical stimuli (similar global and local shape) and then tested with inconsistent hierarchical stimuli (different global and local shapes). We found that capuchins preferred the hierarchical stimuli featuring the correct local elements rather than those with the correct global configuration. This finding confirms that capuchins’ local dominance, typically observed using matching-to-sample procedures, is also expressed as a local preference in the conflict–choice task. Our study adds to the growing body of comparative studies on visual grouping functions by demonstrating that the methods most frequently used in the literature on global/local processing produce analogous results irrespective of extent of the involvement of memory processes.     

Depressed mothers' newborns show less discrimination of other newborns' cry sounds

Newborns' crying in response to the cry of another newborn has been called an empathetic response. The purpose of this study was to determine whether newborns of depressed mothers showed the same response. Newborns of depressed and non-depressed mothers were presented with cry sounds of themselves or other infants, and their sucking and heart rate were recorded. The newborns of non-depressed mothers responded to the cry sounds of other infants with reduced sucking and decreased heart rate. In contrast, the newborns of depressed mothers did not show a change in their sucking or heart rate to the cry sounds of other infants. This lesser attentiveness/responsiveness to other infants' cry sounds may predict their later lack of empathy.     

Adrenergic modulation of olfactory bulb circuitry affects odor discrimination

A rodent's survival depends upon its ability to perceive odor cues necessary to guide mate selection, sexual behavior, foraging, territorial formation, and predator avoidance. Arguably, the need to discriminate odor cues in a complex olfactory environment requires a highly adaptable olfactory system. Indeed, it has been proposed that context-dependent modulation of the initial sensory relay could alter olfactory perception. Interestingly, 40% of the adrenergic innervation from the locus coeruleus, fibers that are activated by contextual cues, innervates the first relay station in the olfactory system (the main olfactory bulb). Here we utilize restricted pharmacological inhibition of olfactory bulb noradrenergic receptors in awake-behaving animals. We show that combined blockade of alpha and beta adrenergic receptors does not impair two-odor discrimination behavior per se but does impair the ability to discriminate perceptually similar odors. Thus, contextual cues conveyed by noradrenergic fibers alter processing before the second synapse in the olfactory cortex, resulting in tuning of the ability to discriminate between similar odors.     

Suicidal Behavior in the Western Pacific Region: Characteristics and Trends

Current knowledge of suicidal behavior in the Western Pacific region is relatively limited when compared to other areas of the world. This area is characterized by a wide diversity of social, economic, and cultural aspects that do not permit any homogenous reading of suicide phenomena. Data from countries of the region included in this article suggest the existence of important differences among nations in terms of gender, age, and methods of suicide, as well role of mental illness. In addition, the Western Pacific region appears to be affected by higher rates of suicide than other areas in the world, with signs of progressive worsening in recent years and worrying predictions for the next two decades. The Suicide Trends in At‐Risk Territories (START) Study, initiated by the World Health Organization Regional Office in Manila, seeks to research the incidence of both fatal and nonfatal suicidal behavior in countries of the region and to implement interventions for suicide attempters. This ambitious project is expected to standardize data collection procedures and improve the knowledge cultural factors in suicide.