Sequent Calculi for Semi-De Morgan and De Morgan Algebras

A contraction-free and cut-free sequent calculus \(\mathsf {G3SDM}\) for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus \(\mathsf {G3DM}\) for De Morgan algebras are developed. The cut rule is admissible in both sequent calculi. Both calculi enjoy the decidability and Craig interpolation. The sequent calculi are applied to prove some embedding theorems: \(\mathsf {G3DM}\) is embedded into \(\mathsf {G3SDM}\) via Gödel–Gentzen translation. \(\mathsf {G3DM}\) is embedded into a sequent calculus for classical propositional logic. \(\mathsf {G3SDM}\) is embedded into the sequent calculus \(\mathsf {G3ip}\) for intuitionistic propositional logic.     

Can Emotions Have Abstract Objects? The Example of Awe

Can we feel emotions about abstract objects, assuming that abstract objects exist? I argue that at least some emotions can have abstract objects as their intentional objects and discuss why this conclusion is not just trivially true. Through critical engagement with the work of Dacher Keltner and Jonathan Haidt, I devote special attention to awe, an emotion that is particularly well suited to show that some emotions can be about either concrete or abstract objects. In responding to a possible objection, according to which we can only feel emotions about things that we take to matter to our flourishing, and thus cannot feel emotions about causally inefficacious abstract objects, I explore how abstract objects can be relevant to human flourishing and discuss some emotions other than awe that can be about abstract objects. I finish by explaining some reasons why my conclusion matters, including the fact that it presents a challenge to perceptual theories of emotion and causal theories of intentionality.     

Motivated attention to fear-related stimuli: Evidence for the enhanced processing of fear in the late positive potential

Differences in the processing of emotions like fear and sadness have important implications for our understanding of many psychological phenomena (e.g., attentional biases, psychopathology). The late positive potential (LPP) is an established event-related potential that reflects motivated attention to emotional stimuli at the neural level with excellent temporal resolution, but has been infrequently used to study differences across emotions. Drawing on functional theories of emotion suggesting that the quick processing of fear-inducing stimuli increases chances of survival, we hypothesized that fear-inducing pictures would produce larger LPP amplitudes compared to other emotions (happy and sad) in the early time windows of the LPP (e.g., 400–700, 700–1000 ms). The results supported our hypothesis, offering new, albeit preliminary, evidence of the differential processing of threat-related stimuli on the LPP.     

前瞻记忆的情绪一致性反转效应

采用经典双任务实验范式,探讨前瞻记忆的情绪一致性效应及其理论模型。情绪电影片段诱发被试高兴或悲伤情绪后,观察被试在高兴、悲伤和自然情绪状态下的前瞻记忆任务和当前任务的成绩。结果发现,情绪一致性前瞻记忆出现反转效应,即在高兴背景下前瞻记忆负性词比正性词成绩好,在悲伤背景下前瞻记忆正性词比负性词成绩好。实验结果支持前瞻记忆的注意—搜索模型,不支持自动激活模型。     

Leslie on generics

This paper offers three objections to Leslie’s recent and already influential theory of generics (Leslie in Philos Perspect 21(1):375–403, 2007a, Philos Rev 117(1):1–47, 2008): (i) her proposed metaphysical truth-conditions are subject to systematic counter-examples, (ii) the proposed disquotational semantics fails, and (iii) there is evidence that generics do not express cognitively primitive generalisations.     

Counterfactual comparison modulates fairness consideration in the mini‐ultimatum game: An event‐related potentials study

Existing literature on the mini‐ultimatum game indicates that counterfactual comparison between chosen and unchosen alternatives is of great importance for individual's fairness consideration. However, it is still unclear how counterfactual comparison influences the electrophysiological responses to unfair chosen offers. In conjunction with event‐related potentials’ (ERPs) technique, the current study aimed to explore the issue by employing a modified version of the mini‐ultimatum game where a fixed set of two alternatives (unfair offer vs. fair alternative, unfair vs. hyperfair alternative, unfair offer vs. hyperunfair alternative) was presented before the chosen offer. The behavioral results showed that participants were more likely to accept unfair chosen offers when the unchosen alternative was hyperunfair than when the unchosen alternative was fair or hyperfair. The ERPs results showed that the feedback‐related negativity (FRN) elicited by unfair chosen offers was insensitive to the type of unchosen alternative when correcting for possible overlap with other components. In contrast, unfair chosen offers elicited larger P300 amplitudes when the unchosen alternative was hyperunfair than when the unchosen alternative was fair or hyperfair. These findings suggest that counterfactual comparison may take effect at later stages of fairness consideration as reflected by the P300.     

Ternary eutectic growth during directional solidification of Ag–Cu–Sb alloy

The directional solidification process of ternary Ag_42.4Cu_21.6Sb₃₆ eutectic alloy within a wide growth rate range from 2 to 60 μm/s was accomplished at a constant temperature gradient of 50 K/cm. As growth rate increases, the ternary (θ(Cu₂Sb) + ε(Ag₃Sb) + Sb) eutectic morphology evolves from “lamellar (θ + ε) plus fibrous (Sb)” structure into “(θ + Sb) fibres in continuous ε matrix” structure. The θ and (Sb) phase spacings decrease with the increase of growth rate according to power functions with exponent values of 0.55 and 0.56, respectively. It is also found that the microhardness of directionally solidified Ag_42.4Cu_21.6Sb₃₆ alloy samples is enhanced with the increase of growth rate, and the decrease of θ and (Sb) phase spacings.