Adaptive logics using the minimal abnormality strategy are $$\Pi^1_1$$ -complex

In this article complexity results for adaptive logics using the minimal abnormality strategy are presented. It is proven here that the consequence set of some recursive premise sets is -complete. So, the complexity results in (Horsten and Welch, Synthese 158:41–60, 2007) are mistaken for adaptive logics using the minimal abnormality strategy.     

Hertzmann,Leezah & Newbigin,Juliet (Eds.). Sexuality and Gender Now: Moving Beyond Heteronormativity. The Tavistock Clinic Series. London: Routledge. 2019. Pp. 358. Pbk. £29.99.

In this paper the author argues that trans-identification and its associated medical treatment can constitute an attempt to evade experiences of psychological distress. This occurs on three levels. Firstly, the trans person themselves may seek to evade dysregulated affects associated with such experiences as attachment trauma, childhood abuse, and ego-alien sexual feelings. Secondly, therapists may attempt to evade feelings, such as fear and hatred, evoked by engaging with these dysregulated affects. Thirdly, we, as a society, may wish to evade acknowledging the reality of such trauma, abuse and sexual distress by hypothesizing that trans-identification is a biological issue, best treated medically. The author argues that the quality of evidence supporting the biomedical approach is extremely poor. This puts young trans people at risk of receiving potentially damaging medical treatment they may later seek to reverse or come to regret, while their underlying psychological issues remain unaddressed.     

The value(s) of information on social network sites: The role of user personality traits

PurposeThe present research examines the relationship between personality of social network site (SNS) users and the perceived value of the information they seek. Building on the Reasoned Action Approach, personality is conceptualized as a background factor influencing people's attitude towards the information they search for on SNS.Design/methodology/approachData were collected using a face-to-face survey among Facebook users (n = 311). Personality traits were assessed based on the Big Five dimensions. Statistical analyses estimate the effects of personality traits on the various values of the information sought on SNS. A three-step procedure was followed to standardize the independent variables and create interaction variables for the moderation test.FindingsThe results support the predictions that certain personality traits (e.g., conscientiousness and extraversion), as described by the FFM framework, are related to particular facets of information value (economic value and social value respectively). The effect of personality was moderated by participants’ Facebook usage intensity. Usage intensity dampens the relationship between agreeableness and functional value of information, and strengthens the negative relationship between openness-to-experience and psychological value of information.Practical implicationsThe personality-information value relationships found can help social media practitioners and marketers shape the content and appeal of the messages communicated to their audience on SNS, and tailor marketer-customer interactions in an engaging way.Originality/valueThe present research contributes to understanding the pivotal role of personality in evaluating the information people seek on social networks. It also adds to the literature regarding FFM and social media usage by supporting the notion that the Big Five personality traits predict value aspects of information that people pursue in the course of search behavior on Facebook.Article classificationResearch paper.     

Encoding Modal Logics in Logical Frameworks

We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.     

Bringing “The Dead” to Life: Reading James Joyce

The author offers a personal reading of James Joyce's The Dead. She focuses on how the sounds of the language are used to portray the main character's deadness and his beginning to come to life once the barriers to inner self and self-knowledge are broken.     

试论《周易参同契》以“易”为核心的发展变化观

本文尝试从汉易学所主张的“易一名而含三义”义理出发,来考察《周易参同契》所蕴含的易学思想。从“易简”之义看,《参同契》突出了乾坤二卦法象着宇宙天地的生成变化法则及乾坤体性表现为“自然”而无人为的情态。从“变易”之义看,《参同契》主要是借鉴汉易学的“纳甲说”和“十二消息卦说”,来探讨天地判分之后阴阳之气的变通迭更过程。进而法象修仙之秩序或步骤。以及所应注意的火候进退或身体气息变化等。从“不易”之义看,《参同契》以乾坤二卦为体,坎离二卦为用,来比拟宇宙的张设布列之结构及相应变化过程。《参同契》已将《周易》之义理创造性地运用于炼丹的实践当中。     

Students’ knowledge about the value of discussions for teaching and learning

We are particularly interested in looking at teaching and learning from students perspectives. Focussed interviews and written responses from a number of linked investigations with middle-school and tertiary students highlighted that students perceive discussion to be a valuable teaching -- learning technique. This paper provides text extracts, organised into six key themes, to illustrate students understandings about how discussion helps them to learn. We conclude that, across the whole participant group, knowledge about the various potentials of discussion for learning is wide ranging. However, at the individual level, some students perspectives appear limited. We propose that specific attention to enhancing students pedagogical knowledge about techniques such as discussion should accompany subject matter instruction.     

-autonomous Lattices

-autonomous lattices are the algebraic exponentials and without additive constants. In this paper, we investigate the structure theory of this variety and some of its subvarieties, as well as its relationships with other classes of algebras.     

The Black Foe: Being Towards Death1

The ontology of death is universal, hence archetypal. Nowhere do we witness any organic creature escape its talons. Analytical psychology has had an intimate relationship to death for the simple fact that it contemplates the soul, the numinous, and an afterlife. From Hegel to Heidegger, Freud and Jung, death was an existential force that sustained and transformed life, the positive significance of the negative. Rather than merely a destructive phenomenon, death informs Being, the power of nothingness that dialectically drives life. In this paper, I will introduce the notion of what I call the omega principle, the psychological orientation and trajectory of our being towards death, which we may say is a universal preoccupation and recapitulation of the collective unconscious that subsumes our personal relation to death, an eternal return of the objective psyche constellated as esse in anima.