Temporal alethic–deontic logic and semantic tableaux

The purpose of this paper is to describe a set of temporal alethic–deontic systems, i.e. systems that include temporal, alethic and deontic operators. All in all we will consider 2,147,483,648 systems. All systems are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T × W semantics, to characterize our systems semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics.     

When any Worx looks typical to you: Global relative to local processing increases prototypicality and liking

Two studies examine novelty categorization theory's (Förster, Marguc & Gillebaart, 2010) assumption that global compared to local processing styles enhance typicality judgments of atypical objects and thereby enhance liking. We used an artificial category of figures for an alleged computer game including a prototype and three exemplars that varied with respect to similarity with it. Results show that when primed with a global processing style, participants find atypical objects more typical, like them better and process them faster than participants under a local processing style. Mediation analyses show that typicality mediates the effects of processing styles on liking, and that ease of categorization mediates the effect of processing styles on prototypicality. Mood, measured via self report did not influence effects. The studies reflect the fact that judged typicality and its effects are context dependent.     

Attachment dynamics in a virtual world

The study investigated the transfer of attachment working models onto autonomous agents in a virtual social environment (VSE). Participants from a community sample (N = 422; mean age = 29 years; mean relationship duration = 4.8 years) encountered three attachment‐related key scenes in a VSE: a separation with a subsequent reunion, a conflict, and an illness. In these scenarios, participants gave instructions to the main character (the “protagonist”), who had a romantic relationship with one of the other agents (the “virtual spouse”). Recorded were numerous behaviors as well as emotions participants ascribed to the protagonist. Generally, participants' attachment styles correlated as predicted with their behavior toward the virtual spouse, with βs up to.42. Thus, the study demonstrates that internal working models are transferred to the virtual relationship. This approach opens new ways to investigate attachment‐related behavior by using VSEs that allow experimental variations of the virtual partner's reactions and other situational variables.     

Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches

In order to clarify the problems of iterated (global) belief change it is useful to study simple cases, in particular consecutive contractions by sentences that are both logically and epistemically independent. Models in which the selection mechanism is kept constant are much more plausible in this case than what they are in general. One such model, namely uniform specified meet contraction, has the advantage of being closely connected with the AGM model. Its properties seem fairly adequate for the intended type of contraction. However, the revision operator based on it via the Levi identity collapses into an implausible operation that loses all old information when revising by new information. A weaker version, semi-uniform specified meet contraction, avoids the collapse but has the disadvantage of a remarkably weak logic. It is left as an open issue whether there is an intermediate class of contraction operators that yields a more satisfactory logic.     

Two-year follow-up of an interdisciplinary cognitive-behavioral intervention program for obese adults

Intervention programs for treating adiposity which focus on dietary change and physical exercise often do not lead to the desired long-term reduction in weight. This article reports on the effectiveness of M.O.B.I.L.I.S., a standardized theory-driven intervention program. Participants are taught cognitive-behavioral strategies of goal setting, action planning, barrier management, and self-monitoring. Persons with obesity (N=316) responded to a public advertisement to participate in the intervention program (IG) or comparison group (CG; quasi-experimental design). Assessments were conducted at four time points, with the last assessment being conducted two years after baseline. At the 24-month follow-up, the IG showed weight loss of 5.57%, whereas the CG lost 1.12% of their weight (t1-t4, p < .01). The results yielded significant interaction terms (group x time), indicating that the intervention had a substantial effect on food choice and level of physical exercise (p < .01). The IG showed significantly enhanced self-efficacy, stronger goal intentions, and more detailed implementation intentions than the CG at follow-ups. The intervention program has the potential to evoke enduring changes in the cognitions we hypothesized to be responsible for inducing obese adults to begin and continue regular exercise and healthy eating behavior, resulting in substantial weight loss.     

Links between self-reported and laboratory behavioral impulsivity

Havik, M., Jakobson, A., Tamm, M., Paaver, M., Konstabel, K., Uusberg, A., Allik, J., Ööpik, V. & Kreegipuu, K. (2012). Links between self‐reported and laboratory behavioral impulsivity. Scandinavian Journal of Psychology 53, 216–223. A major problem in the research considering impulsivity is the lack of mutual understanding on how to measure and define impulsivity. Our study examined the relationship between self‐reported impulsivity, behavioral excitatory and inhibitory processes and time perception. Impulsivity – fast, premature, thoughtless or disinhibited behavior – was assessed in 58 normal, healthy participants (30 men, mean age 21.9 years). Self‐reported impulsivity as measured by Adaptive and Maladaptive Impulsivity Scale (AMIS) and behavioral excitatory and inhibitory processes as measured by Stop Signal Task were not directly related. Time perception, measured by the retrospective Time Estimation Task, was related to both. The length of the perceived time interval was positively correlated to AMIS Disinhibition subscale and negatively to several Stop Signal Task parameters. The longer subjects perceived the duration to last, the higher was their score on Disinhibition scale and the faster were their reactive responses in the Stop Signal Task. In summary our findings support the idea of cognitive tempo as a possible mechanism underlying impulsive behavior.     

Disruption of writing processes by the semanticity of background speech

Previous studies have noted that writing processes are impaired by task-irrelevant background sound. However, what makes sound distracting to writing processes has remained unaddressed. The experiment reported here investigated whether the semanticity of irrelevant speech contributes to disruption of writing processes beyond the acoustic properties of the sound. The participants wrote stories against a background of normal speech, spectrally-rotated speech (i.e., a meaningless sound with marked acoustic resemblance to speech) or silence. Normal speech impaired quantitative (e.g., number of characters produced) and qualitative/semantic (e.g., uncorrected typing errors, proposition generation) aspects of the written material, in comparison with the other two sound conditions, and it increased the duration of pauses between words. No difference was found between the silent and the rotated-speech condition. These results suggest that writing is susceptible to disruption from the semanticity of speech but not especially susceptible to disruption from the acoustic properties of speech.