Compatible Functions in Algebras Associated to Extensions of Positive Logic

In [4], Caicedo and Cignoli study compatible functions on Heytingalgebras and the corresponding logical properties of connectivesdefined on intuitionistic propositional calculus. In this paperwe study some aspects of compatible functions on the algebrasassociated to positive propositional calculus and successiveextensions of it: intuitionistic calculus itself, the modalsymmetric propositional calculus of Moisil and n-valued ukasiewiczpropositional calculus.     

NARROW HEDONISM

Narrow hedonism is defined and defended, as a view according to which pleasurable states are individuated as concrete and total experiential situations of a sentient being at a time. Typical of such situations is that, when we are in them, we are at a certain hedonic level. They feel in a certain way for the creature in them. On this understanding of narrow hedonism, which is the only one making good sense of the theory and which was probably also intended by classical hedonists such as Bentham and Edgeworth, standard objections to hedonism, based on the claim that different pleasures have nothing in common, can be set to one side as misplaced and irrelevant. It is also hard to see how this kind of hedonism can be refined, or revised, in the direction indicated by J.S. Mill, when he wants to distinguish “higher” pleasures from “lower” ones. On this understanding of hedonism, we must claim that, those who want to follow Mill will have to rely on non-hedonistic intuitions and thus desert the hedonist camp altogether.     

关于上下视野不对称性的研究

该研究就国内外对上下视野不对称性的研究成果做了详细的阐述,主要包括上下视野的定义、上下视野不对称性的行为和神经机制方面的研究成果及当前所面临的问题,并在文章的最后提出自己的观点。     

Mental health of Chinese primary care patients with lower urinary tract symptoms

The aim of this study was to evaluate the mental health of Chinese primary care patients with lower urinary tract symptoms (LUTS). This was a cross-sectional observational study. Five hundred and nineteen subjects with LUTS completed a structured questionnaire containing the Depression, Anxiety, and Stress Scale-Short Form, the International Prostate Symptom Score, the adapted International Consultation on Incontinence Questionnaire-Urinary Incontinence Short Form and questions about socio-demographics. Overall, 17.7% of subjects reported depressive symptoms, 24.3% anxiety symptoms and 9.6% stress symptoms. In males, demographic factors associated with poorer mental health included being not married; clinical factors included higher LUTS severity, weak stream, straining and mixed urinary incontinence. In females, demographic factors associated with poorer mental health included being younger, not married and lower household income; clinical factors included higher LUTS severity, incomplete bladder emptying, urgency and weak stream. Chinese primary care patients with LUTS appear to be an at-risk group for poorer mental health with increased prevalence of anxiety and depressive symptoms and may require routine screening to identify those who may require more tailored interventions to address both their urinary symptoms and psychological distress.     

“转换-坚持”对低阶层健康的保护作用及其机制

低社会阶层是不良健康状况最可靠的社会决定因素之一。然而, 很少有人理解为什么同样处于低阶层, 有些个体却能保持良好的健康状况。在大量实证研究的基础上, 研究者们发现“转换-坚持”策略这一心理因素能有效保护处于逆境中的低阶层者的健康, 使其免于受到疾病的侵扰。当个体面临持续或频繁的压力时, “转换-坚持”策略减轻了下丘脑-垂体-肾上腺轴的急性生理激活, 有效抑制了低阶层面临逆境时的生理应激反应, 随着时间的推移, 阻止了致病过程的发展; 同时, 该策略还减少了低阶层者的不良健康行为, 进而对健康起到保护作用。未来研究应在深入探索核心机制基础上开发出有效的干预方案, 为解决我国相对贫困问题中的健康贫困提供新的路径。     

Bipedal Hopping Reveals Evidence of Advanced Neuromuscular Aging Among People With Mild Multiple Sclerosis

Measures of walking such as the timed 25-ft walk test (T25FWT) may not be able to detect subtle impairment in lower limb function among people with multiple sclerosis (MS). We examined bipedal hopping to determine to what extent people with mild (Expanded Disease Severity Scale ≤ 3.5) MS (n = 13) would differ compared to age-, gender-, and education-matched controls (n = 9) and elderly participants (n = 13; ≥ 70 years old). We estimated lower limb power (e.g., hop length, velocity), consistency (e.g., variability of hop length, time), and symmetry (ratio of left to right foot). Participants completed the T25FWT and, after a rest, they then hopped using both feet 4 times along the walkway. We found that although all groups scored below the 6 -s cutoff for T25FWT, the elderly group had significantly shorter hop lengths, more variability, and more asymmetry than the controls. The results of the MS group were not significantly different from the elderly or controls in most measures and most of their values fell between the control and elderly groups. Hop length, but not measures of walking predicted Expanded Disease Severity Scale score (R² = .38, p = .02). Bipedal hopping is a potentially useful measure of lower limb neuromuscular performance.     

5～7岁儿童类比系统性效应的实验研究

本研究利用Gentner的理论,参考Robins的研究方法自己编制材料,以故事呈现的方式研究了5岁、6岁和7岁三个年龄组儿童的类比系统性效应。结果表明,5岁年龄组的儿童不容易进行结构映射,而6岁和7岁两个年龄组的儿童表现出比较明显的类比系统性效应。这表明在合适的年龄阶段,儿童可以理解故事中的因果关系。     

Gentzen Calculi for the Existence Predicate

We introduce Gentzen calculi for intuitionistic logic extended with an existence predicate. Such a logic was first introduced by Dana Scott, who provided a proof system for it in Hilbert style. We prove that the Gentzen calculus has cut elimination in so far that all cuts can be restricted to very simple ones. Applications of this logic to Skolemization, truth value logics and linear frames are also discussed.