Frege's Begriffsschrift is Indeed First-Order Complete

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete.     

Exploring the Correlates of Individual Willingness to Engage in Ideologically Motivated Cyberattacks

In the last few years, there has been an increase in the use of Web defacements, where individuals post political or ideological messages on websites in place of the original content. There is generally little research on the predictors of Web defacements against either domestic or foreign targets. This study addresses this gap by examining the attitudinal and behavioral correlates of willingness to engage in defacements using a sample of university students in Taiwan and the United States. The findings demonstrate that political attitudes toward marginalized groups and support for cybercrime increase individuals’ willingness to engage in defacements.     

Cognitive and Personality Characteristics of Masculinity and Femininity Predict Wayfinding Competence and Strategies of Men and Women

Bem (1974) reconceptualized masculinity and femininity as independent and orthogonal constructs that both men and women possess to varying degrees. This perspective was used as a starting point to investigate whether the contributions of gender-typed characteristics can help to account for commonly observed gender differences in wayfinding (the ability to identify one’s current location and successfully navigate to an unseen location in the environment) favoring men. We further divided gender-typed characteristics into cognitive and personality characteristics to assess their separate influence on wayfinding and explored whether gender-typed characteristics predicted self-reported use of masculine wayfinding strategies (i.e., orientation strategies) and self-reported wayfinding competence. Participants were 452 college women and men in a southern U.S. public university. They completed the Gender-Stereotypic Characteristics questionnaire (Diekman and Eagly 2000), a social comparison questionnaire (created by the authors), a wayfinding strategy questionnaire (Lawton 1994), and a wayfinding competence questionnaire (Hegarty et al. 2002). For both men and women, higher masculine cognitive characteristics significantly correlated with greater use of orientation wayfinding strategies typical of men. For men, both higher masculine and feminine cognitive characteristics predicted better overall wayfinding competence whereas for women, only higher masculine cognitive characteristics predicted better overall wayfinding competence. For both men and women, higher feminine personality characteristics predicted poorer wayfinding competence. These results demonstrated the importance of considering cognitive and personality characteristics of masculinity and femininity in explaining individual differences in wayfinding.     

大小判断任务中正负号及其异同对SNARC效应的影响

SNARC效应(Spatial-Numerical Association of Response Codes)是指被试对数字做按键反应时,对于较小的数字,按左键的速度快于按右键;对于较大的数字,按右键的速度快于按左键。本研究以ERP作为测量手段,采用修正的大小判断任务,旨在探究数字正负号及其异同对SNARC效应的影响。行为结果发现,在反应时上,当目标数字与基线数字正负号相同且基线数字为+5时,一致条件显著快于不一致条件。ERP结果发现,当目标数字与基线数字正负号相同时,无论基线数字为+5还是–5,在反应选择阶段,不一致都比一致条件更负且均诱发了P3。当目标数字与基线数字正负号相异时,若基线数字为+5,一致比不一致条件在刺激呈现阶段诱发了波幅显著更小的N300;若基线数字为–5,一致比不一致条件在反应执行阶段诱发了更正的LPP。无论目标数字与基线数字正负号相同还是相异,在反应选择阶段,不一致都比一致条件更负且均诱发了P3,表明出现了SNARC效应。同时,SNARC效应的出现激活了额叶头皮位置,负数加工伴随左额叶的激活,而正数加工伴随右额叶的激活,溯源分析结果进一步表明SNARC效应定位于额叶与顶叶。这些结果说明负数按实际大小表征在心理数字线上,支持了负数空间表征的个体发展论假说;表明符号捷径机制会改变SNARC效应的发生时间;同时证明了负数与正数的空间表征具有不同的优势半球。     

Crossover of Weekly Work Engagement Among Dual-Working Couples

Purpose

Based on crossover theory and the actor-partner interdependence model, the purpose of this study was to investigate the crossover process of work engagement among Chinese dual-working couples.

Design/Methodology/Approach

Fifty-one dual-working couples first completed a general questionnaire to collect basic demographic information and then completed a weekly diary over five consecutive work weeks.

Findings

The results of multilevel analyses showed that (1) actor’s work engagement had a significant impact on his or her own work performance, (2) communication quality between the dual-working couples moderated the crossover of work engagement, but this effect was only found from husbands to wives and when women scored high on communication quality, (3) when men were treated as actors, the actor’s work engagement interacted with communication quality to relate to the partner’s work performance, through the mediating mechanism of the partner’s work engagement.

Implications

Dual-working couples should communicate with each other frequently through sharing positive experiences, and each member of the couple should support the partner through concrete actions. Organizations should adequately facilitate employees’ engagement, as engaged employees can not only positively influence their colleagues but also their partners at home.

Originality/Value

Previous research on work engagement has focused mainly on static and cross-sectional studies, and most studies on crossover have been conducted primarily in the context of western cultures, whereas systematic and empirical study of oriental cultures, especially Chinese cultures, is relatively scarce. The current study explored the crossover process of work engagement among Chinese dual-working couples using a diary study methodology.

     

Iron in solution with aluminum matrix after non-equilibrium processing: an atom probe tomography study

In this paper, we report on the influence of rapid solidification and severe plastic deformation on the solid solubility of Fe in Al. Atom probe tomography, for the first time, was performed on fine (3–4 μm diameter) and coarse (~100 μm) as-atomised Al-5 at.% Fe powder and cryomilled Al-5 at.% Fe powder. The atomised powders exhibited negligible Fe in solution with Al, whereas the cryomilled powder contained ~2 at.% Fe in solution. Moreover, our results suggest that severe plastic deformation is preferable to atomisation/rapid solidification for increasing the non-equilibrium solid solubility of Fe in Al.     

结果呈现对决策过程影响的眼动模式

采用眼动追踪技术探究了在一般决策过程中决策者的眼动规律和结果呈现对决策的影响。结果表明,在决策过程中,收益信息比概率信息更受决策者关注;决策者的注视点在选项内转换多于在选项间转换;决策前的眼动指标对最终的选择有很强的预测作用,决策者会在最终选择的选项上投入更多认知资源;结果的呈现使风险偏好型决策者在决策获益后趋于保守,更关注低风险选项;而风险回避型决策者在决策获益后会变得敢于冒险。     

Unable to be a Human Being in Front of Other People: A Qualitative Study of Self-Isolation Among People Living with HIV/AIDS in China

In China, acute stigma accompanying an HIV diagnosis can lead to self-isolation. In a cultural setting where family relationships are highly valued and contribute critically to well-being, such self-isolation can thwart HIV self-management and engagement in medical care, and so heighten risk for health disparities. To understand this phenomenon, we conducted individual in-depth interviews with 34 persons living with HIV/AIDS (PLwHA) in Shanghai and Beijing. Inductive content analysis revealed a range of forms of self-isolation motivation, beliefs, and behaviors influenced by: 1) internalized stigma and desire to avoid discrimination; 2) HIV-related factors such as HIV knowledge and disease progression; and 3) familial factors such as a sense of responsibility and family members’ reactions. Based on a proposed framework centering on dialectical family influences (whereby PLwHA are pushed away from, yet pulled toward the family fold), implications for provision of multidisciplinary care in medical settings are considered, including culturally appropriate strategies to decrease health disparities.