Fan Yang

From the perspective of embodied metaphor, individuals often subconsciously materialize abstract concepts as concrete and perceptible container images, and then build a cognitive bridge to understand abstract concepts by relying on the internal or external orientation attributes of entities located in the container. In order to reveal the potential metaphorical thinking mechanism in the process of human cognition of the concepts of introversion/extroversion personality, this study explores the connection and mapping between the concepts of introversion and extroversion personality and the metaphor inside/outside the container through three experiments. Experiment 1 adopted the Spatial Stroop Paradigm, while Experiments 2 and 3 both adopted the Semantic Priming Paradigm. The results show that, in the Spatial Stroop Paradigm, there was a metaphorical link between the introverted and extroverted personality concepts and the metaphors of the insides and outsides of containers. In the Semantic Priming Paradigm, there was a strong metaphorical interaction between the introverted and extroverted personality concepts and the metaphors of being inside or outside the container. Additionally, the results indicate that there is a metaphorical link between the introverted and extroverted personality concepts and the metaphors of the insides and outsides of containers, and this metaphorical link is bi-directional in the mapping relationship.

Traditional spatial enabled grammars lack flexibility in specifying the spatial semantics of graphs. This paper describes a new graph grammar formalism called the multigranularity Coordinate Graph Grammar (mgCGG) for spatial graphs. Based on the Coordinate Graph Grammar (CGG), the mgCGG divides coordinates into two categories, physical coordinates and grammatical coordinates, where physical coordinates are the common coordinates in the real world, and grammatical coordinates describe the restrictions on the spatial semantics. In the derivation and reduction of the mgCGG, the spatial matching conditions between nodes are evaluated on the basis of the grammatical coordinates, which can be obtained by the specified granularities. By adjusting the granularities, both qualitative and quantitative analyses for spatial semantics can be obtained, including the transition states between them. In addition, a new redex searching algorithm with polynomial time complexity is designed for the mgCGG. A running example of drawing a flowchart is given to illustrate a practical application of the mgCGG. Through a detailed comparison with related spatial-enabled grammars, it is found that the mgCGG has good performance in four critical aspects—the semantics processing mechanism, fault-tolerance, redex searching algorithm, and practical application—providing a flexible yet uniform way to specify spatial graphs and building a bridge between nonspatial and spatial grammars.

Core to our moral sense is that we have obligations toward others, such that we are expected to curb self-interests in light of obligations to other individuals and society at large. But do we also have obligations to ourselves? Motivated by this underexplored question in moral psychology, we conducted six studies (N = 1,860) to systematically investigate how people view obligations to the self. Study 1 found that most participants endorsed the idea of obligations to the self, providing examples such as preserving physical and mental health. Study 2 found that, like obligations to others, people distinguished violations of self-obligations from personal preferences or social conventions, and judged them as wrong regardless of external authority or majority behavior. Study 3 demonstrated this tendency even in the case of a socially isolated agent, suggesting self-obligations are not reducible to obligations to others. Study 4 showed that people judged that both self- and other-related obligations justified a moral transgression, more so than personal preferences, goals, or social conventions. Studies 5 and 6 revealed that perceived harmfulness to the self is a key mechanism in shaping whether people judge an act to be owed to the self. Together, these findings highlight obligations to the self as an important category in our moral framework, offering a deeper understanding of the role of self-interest in morality

Generalized anxiety disorder (GAD) is characterized by excessive and uncontrollable worry about everyday life. Prior neuroimaging studies have demonstrated that GAD is associated with disruptions in specific brain regions; however, little is known about the global functional connectivity maps in adolescents with GAD. Here, first-episode, medication-naive, adolescent GAD patients ( N = 36) and healthy controls ( N = 28) (HCs) underwent resting-state functional MRI (R-fMRI) and completed a package of questionnaires to assess clinical symptoms. Functional connectivity strength and seed-based functional connectivity were employed to investigate the functional connectivity architecture. GAD patients showed reduced functional connectivity strength in right supramarginal gyrus (SMG) and right superior parietal gyrus (SPG) compared with HCs. Further seed-based functional connectivity analysis revealed that GAD patients displayed decreased functional connectivity between right SMG and left fusiform gyrus, inferior temporal gyrus, parahippocampal gyrus, bilateral precuneus and cuneus, and between right SPG and bilateral supplementary motor area and middle cingulate gyrus, as well as between the SMG-based network and the SPG-based network. Moreover, the disrupted intra-network connectivity (i.e., the SMG-based network and the SPG-based network) and inter-network connectivity between the SMG-based network and the SPG-based network accounted for 25.5% variance of the State and Trait Anxiety Inventory (STAI) and 39.5% variance of the trait subscale of STAI. Our findings highlight the abnormal functional architecture in the SMG-based network and the SPG-based network in GAD, providing novel insights into the pathological mechanisms of this disorder.

This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics. Consisting of 12 chapters, written by leading experts, this book discusses de Jongh’s original contributions and consequent developments that have helped to shape these fields. The book begins with an autobiographic note by Dick de Jongh, which discusses the main themes of his work and places the other contributions in context. The next four chapters explore the De Jongh-Sambin fixed point theorem and other contributions to provability and interpretability logics. The following four chapters focus on modal, intuitionistic and intuitionistic modal logics. They discuss independence of formulas, unification and de Jongh formulas in intuitionistic and modal logics. Then there follow two chapters on the other two areas to which Dick de Jongh made important contributions: the theory of well-partial orders, together with Rohit Parikh, and formal learning theory. The last chapter on Origami Geometry can be seen as representing the Master of Logic program of the Institute for Logic, Language and Computation (ILLC) in which de Jongh invested a lot of energy. This volume provides a vital overview – and continuation of - de Jongh’s prolfic work in the theory of intuitionistic and provability logics.

In the era of teamwork, distributions of rewards and resources to _team_s—such as team bonuses, quotas for new hires and promotions, and allocations of VIP clients–are quite ubiquitous. However, extant research on workplace justice has predominantly focused on the perceived fairness of distributions to _individual employees_ and their reciprocal responses. Much less attention has been devoted to the justice perception of distributions toward _teams_ (i.e., between-team distributive justice), especially how such perceptions shape team members’ attitudes and behaviors within their team. Drawing upon social identity theory, we propose that individual employees’ perception of _between-team_ distributive justice could impact their team identification, which subsequently influences their within-team helping behaviors. Furthermore, the perception of _within-team_ distributive justice moderates the aforementioned relationships, such that when within-team distributive justice perception is high rather than low, the effects of between-team distributive justice perception on team identification and the subsequent within-team helping behavior are stronger. Results from a vignette-based experiment and a time-lagged field survey both support our hypotheses. Theoretical contributions and practical implications are discussed.

Several authors have recently defined intuitionistic logic based on team semantics (tIPC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{tIPC}$$\end{document}). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{tIPC}$$\end{document} with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we introduce a generalized team semantics in the second one.

We provide a complete axiomatization of modal inclusion logic—team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of the might operator.

Devotion is associated with showing commitment to what individuals choose. But is perceived devotion influenced by how individuals react to what they did not choose? Two experiments (N = 1,000) indicate that rejecting alternatives is a key behavioral cue for assessing devotion. Study 1 documents the basic effect: individuals who reject alternatives were seen as more devoted than individuals who accept or are ambiguous toward alternatives. The result remained regardless of whether individuals self-identified with being devoted and exerted effort toward their target of devotion. Rejecting alternatives predicted greater likelihood of being trusted and viewed as living a good life, mediated by perceived devotion. Study 2 examined whether people distinguish between different types of devotees who reject alternatives, in terms of the process (mindful vs. mindless) and nature (neutral vs. harmful to the self) of their choices. Individuals who engaged in harmful devotion were less likely to be perceived as devoted, trusted, or living a good life than individuals who did not. Individuals who mindlessly rejected alternatives were also evaluated more negatively than individuals who mindfully rejected alternatives. Altogether, these findings not only illuminate how rejecting alternatives inform our understanding of devotion but also reveal its broader impact on social evaluations.

We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction axiomatizations for the three logics.

While unethical behaviors that are intended to benefit the self are often severely punished, unethical behaviors that are intended to benefit the organization (unethical pro-organizational behaviors, UPBs) are disciplined within organizations at different levels of severity. Building on the sensemaking theoretical framework, we study how employees make sense of what the organization is like through observing what the organization has done (i.e., different levels of punishment imposed for UPBs) and how employees subsequently react to the results of sensemaking (i.e., affective commitment to the organization)—increased or decreased turnover and UPB engagement intention. By conducting a vignette-based experimental study and a time-lagged field study, we find that affective commitment to the organization of observers, especially those with a high moral disengagement propensity, increases at a low-to-moderate level of punishment severity for UPBs, and decreases at a moderate-to-high level of punishment severity for UPBs. Furthermore, the impacted affective commitment to the organization subsequently leads to increase in observers’ UPB engagement (intention) and decrease in observers’ turnover intention. We also highlight implications for theory and practice.

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic.

In this paper, we introduce a logic based on team semantics, called $\mathbf {FOT} $, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences and (possibly open) formulas, and we also show that a sublogic of $\mathbf {FOT} $, called $\mathbf {FOT}^{\downarrow } $, captures exactly downward closed elementary (or first-order) team properties. We axiomatize completely the logic $\mathbf {FOT} $, and also extend the known partial axiomatization of dependence logic to dependence logic enriched with the logical constants in $\mathbf {FOT}^{\downarrow } $.

Having good moral character often involves shifting one’s focus of attention from the self to others and the world. Across three studies (N = 605 adults), we found converging evidence that self-transcendent experiences, specifically awe and flow, enabled the expression of wisdom, as captured by wise reasoning and epistemic humility measures. Study 1 found that dispositionally awe- and flow-prone people have stronger wise reasoning and epistemic humility abilities, over and above dispositional happiness. Consistent with Study 1, Study 2 found that, across diverse recalled experiences, individuals who experienced more awe showed greater wise reasoning, and those who experienced more flow showed greater epistemic humility. In Study 3, using situated interventions, we induced awe (watching a video involving vast nature scenes) and flow (composing a song using an online music maker) and compared them with neutral and amusement experiences. Compared to these control conditions, eliciting awe and flow facilitated one’s (1) ability to address interpersonal conflicts with wise reasoning, (2) ability to acknowledge one’s epistemic gaps, and (3) willingness to improve those aspects and one’s general moral character. Altogether, these findings reveal the promising role of self-transcendent experiences in motivating people to appreciate others’ perspectives beyond one’s own.

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

The conflict of administrative morality among civil servants at the grassroots level arises from the background of China’s long-standing traditional culture, and the current administrative system cannot keep up with the pace of economic development. In the process of grassroots management, due to the lag in the construction of administrative morality, the traditional official standard thinking, the imperfection of the current system, and the restriction of human nature, it is easy to cause the administrative moral conflict of the grassroots civil servants in practice. This paper takes the interpersonal society as the research background, analyzes the influence of the interpersonal society on the environment, and studies the administrative ethics conflicts and governance issues of basic civil servants from the interpersonal background. In addition, this paper conducts a more detailed field investigation based on fuzzy cluster analysis, analyzes the manifestations and causes of the administrative moral conflict of grassroots civil servants in the context of human society from multiple perspectives and levels, and then proposes countermeasures to solve the administrative moral conflict. The administrative moral conflict and governance of grass-roots civil servants under the background of interpersonal relationship is of great positive significance for solving the administrative moral conflict and improving the service awareness and service level of grass-roots civil servants.

Despite its association with individual health, few studies have focused on the relationship between adolescent self-control and individual physical and mental health in adulthood. We aimed, therefore, to explore the impact of adolescent self-control on individual physical and mental health in adulthood. We employed the dataset of China Labor-Force Dynamics Surveys [CLDS]. 13,389 respondents with an average age of 45.621 years are consisted in this study. The respondents were asked to report their adolescent self-control through recall. The ordered probit and the ordinary least squares models were employed to estimate the effects of adolescent self-control on physical and mental health in adulthood, respectively. We adopted the propensity score matching method to address the self-selection bias of samples. The results indicated that adolescent self-control significantly affected individual physical health and mental health in adulthood. The mechanism analysis suggested that adolescent self-control partially promoted physical and mental health in adulthood by education and income instead of self-control in adulthood. In conclusion, paying attention to the cultivation of self-control before adulthood may be an effective way to improve individual physical and mental health in adulthood.

Delay discounting is a common phenomenon in daily life, which refers to the subjective value of a future reward decreasing as a function of time. Previous studies have identified several cortical regions involved in delay discounting, but the neural network constructed by the cortical regions of delay discounting is less clear. In this study, we employed resting-state functional magnetic resonance imaging (RS-fMRI) to measure the spontaneous neural activity in a large sample of healthy young adults and used the Monetary Choice Questionnaire to directly measure participants’ level of delay discounting. To identify the neural network of delay discounting at rest, we used an individual difference approach to explore brain regions whose spontaneous activities were related to delay discounting across the whole brain. Then, these brain regions served as seeds to identify the neural network of delay discounting. We found that the fractional amplitude of low-frequency fluctuations (fALFF) of the left insula were positively correlated to delay discounting. More importantly, its connectivity to the anterior cingulate cortex was read out for participants’ behavioral performance in the task of delay discounting. In short, our study provides empirical evidence that insula-anterior cingulate cortex connectivity may serve as a part of the neural network for delay discounting.

We examine the association between benevolent leadership and team creative performance in scientific research teams. Moreover, the mediating effects of creative self-efficacy and the moderating effects of openness to experience on the relationship were also analyzed. The study sample comprised 251 postgraduates from 58 scientific research teams in Chinese universities. Results revealed that benevolent leadership was positively related to team creative performance, and creative self-efficacy partially mediated this positive relationship. When team personality composition had a high average team level of or a low level of variance on openness to experience, the relationship between creative self-efficacy and team creative performance was stronger. The same situation also occurred as an indirect effect of benevolent leadership on team creative performance through creative self-efficacy. This study suggests that while people may pay focus on benevolent leadership and creative self-efficacy, team personality composition should also be considered in scientific research team practices.