Common cues to emotion in the dynamic facial expressions of speech and song

Speech and song are universal forms of vocalization that may share aspects of emotional expression. Research has focused on parallels in acoustic features, overlooking facial cues to emotion. In three experiments, we compared moving facial expressions in speech and song. In Experiment 1, vocalists spoke and sang statements each with five emotions. Vocalists exhibited emotion-dependent movements of the eyebrows and lip corners that transcended speech–song differences. Vocalists’ jaw movements were coupled to their acoustic intensity, exhibiting differences across emotion and speech–song. Vocalists’ emotional movements extended beyond vocal sound to include large sustained expressions, suggesting a communicative function. In Experiment 2, viewers judged silent videos of vocalists’ facial expressions prior to, during, and following vocalization. Emotional intentions were identified accurately for movements during and after vocalization, suggesting that these movements support the acoustic message. Experiment 3 compared emotional identification in voice-only, face-only, and face-and-voice recordings. Emotion judgements for voice-only singing were poorly identified, yet were accurate for all other conditions, confirming that facial expressions conveyed emotion more accurately than the voice in song, yet were equivalent in speech. Collectively, these findings highlight broad commonalities in the facial cues to emotion in speech and song, yet highlight differences in perception and acoustic-motor production.     

First Order Common Knowledge Logics

In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties of "quantifying into" epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies.     

Husserl’s philosophy of mathematics: its origin and relevance

This paper offers an exposition of Husserl's mature philosophy of mathematics, expounded for the first time in Logische Untersuchungen and maintained without any essential change throughout the rest of his life. It is shown that Husserl's views on mathematics were strongly influenced by Riemann, and had clear affinities with the much later Bourbaki school.

从“关系”的思维模式来探索朱熹宇宙本体论

本论文的目的在于运用“关系范畴”说明朱熹的宇宙本体论。近代以后对宋明理学的研究受到西方一些思想的影响 ,而以西方的思维模式来说明理学的范畴 ,最终丧失了理学本来所具有的哲学意义。因此 ,本论文要论证冯友兰先生所主张的“共相”和“殊相”不能说明朱熹理学的本来意义。本论文试图用“阴阳 ,动静关系”范畴来说明朱熹的宇宙本体论 ,说明阴阳两个体一方面保存自己的个体性 ,而另一方面也维持相生的整体性 ,并进一步说明个体必须以整体为依归 ,整体必须以个体为前提。     

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric

This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we calculate a canonical characteristic fomula H of S (char(S)) so that _G H (S) and _GL-LIN H, and the complexity of H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of H with H = char(S) and ( H) = d(S, G).     

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

Dynamics and moderating factors of esport participation and loneliness: A daily diary study

The purpose of this study was to examine the association between esport participation and loneliness, as well as its moderating factors. Chinese college students (N = 216) self-reported their esport playing time and degree of loneliness each day immediately before bedtime for four consecutive weeks. The findings revealed that as playing time increased, students did not experience reduced sense of loneliness during playing esport, but they experienced a temporary and intensified feeling of loneliness the same day following gameplay. Students with higher general loneliness tended to feel more after-game loneliness associated with increased esport participation. Students with higher obsessive passion about esport tended to experience more loneliness (both in-game and after-game) associated with increased esport participation. Students with greater coping motivation about esport tended to experience more in-game loneliness associated with previous increased esport participation. Students who played esport less often with friends in person, or with more escape motivation toward esport, tended to increase esport participation time more following previous increased after-game loneliness. The findings suggested that college students should avoid utilizing esport to achieve a sense of belonging and should be cautious of the loneliness-inducing effect after gameplay. A healthy level of loneliness can be maintained by playing esport more with friends in person, learning strategies to avoid obsessive passion, coping motivation, and escape motivation towards esport.     

Determination of visual figure and ground in dynamically deforming shapes

Figure/ground assignment - determining which part of the visual image is foreground and which background - is a critical step in early visual analysis, upon which much later processing depends. Previous research on the assignment of figure and ground to opposing sides of a contour has almost exclusively involved static geometric factors - such as convexity, symmetry, and size - in non-moving images. Here, we introduce a new class of cue to figural assignment based on the motion of dynamically deforming contours. Subjects viewing an animated, deforming shape tended to assign figure and ground so that articulating curvature extrema - i.e., "hinging" vertices - had negative (concave) contour curvature. This articulating-concavity bias is present when all known static cues to figure/ground are absent or neutral in each of the individual frames of the animation, and even seems to override a number of well-known static cues when they are in opposition to the motion cue. We propose that the phenomenon reflects the visual system's inbuilt expectations about the way shapes will deform - specifically, that deformations tend to involve rigid parts articulating at concavities.