Model checking hybrid logics (with an application to semistructured data)

We investigate the complexity of the model checking problem for hybrid logics. We provide model checking algorithms for various hybrid fragments and we prove PSPACE-completeness for hybrid fragments including binders. We complement and motivate our complexity results with an application of model checking in hybrid logic to the problems of query and constraint evaluation for semistructured data.     

Interpolation and Definability in Guarded Fragments

The guarded fragment (GF) was introduced by Andréka, van Benthem and Németi as a fragment of first order logic which combines a great expressive power with nice, modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. Slightly generalizing the admissible relativizations yields the packed fragment (PF). In this paper we investigate interpolation and definability in these fragments. We first show that the interpolation property of first order logic fails in restriction to GF and PF. However, each of these fragments turns out to have an alternative interpolation property that closely resembles the interpolation property usually studied in modal logic. These results are strong enough to entail the Beth definability property for GF and PF. Even better, every guarded or packed finite variable fragment has the Beth property. For interpolation, we characterize exactly which finite variable fragments of GF and PF enjoy this property.     

Combining cues while avoiding perceptual conflicts

A common assumption in cue combination models is that small discrepancies between cues are due to the limited resolution of the individual cues. Whenever this assumption holds, information from the separate cues can best be combined to give a single, more accurate estimate of the property of interest. We examined whether information about the discrepancy itself is lost when this is done. In our experiments, subjects were required to combine cues to match certain properties while avoiding perceptual conflicts. In part 1, they combined expansion and change in disparity to estimate motion in depth; and in part 2, they combined perspective and binocular disparities to estimate slant. We compared the pattern in the way that subjects set the two cues with the patterns predicted by models of cue combination with and without a loss of information about the discrepancy. From this comparison we conclude that little information about the discrepancies between cues is lost when the cues are combined.     

Long-term motor programming improvements occur via concatenation of movement sequences during random but not during blocked practice

According to S. T. Klapp (1995, 1996), extensive practice serves to induce the concatenation of multiple-element responses. One benefit of the chunking process, argued Klapp, is more efficient execution of motor programming. The authors conducted the present study with 30 participants to investigate that proposition. The chunking process was found to be very transient following some practice regimes. Specifically, compared with exposure to random practice, extensive blocked practice resulted in only temporary movement sequence consolidation. The present results provide support for the claim that random practice not only leads to improvements in the completion of intratrial movement planning processes but also affects the structure of the memory developed during practice. Both components are important contributors to long-term improvements in movement preparation associated with a high contextual-interference practice condition.     

Motivating learning, performance, and persistence: the synergistic effects of intrinsic goal contents and autonomy-supportive contexts

Three field experiments with high school and college students tested the self-determination theory hypotheses that intrinsic (vs. extrinsic) goals and autonomy-supportive (vs. controlling) learning climates would improve students' learning, performance, and persistence. The learning of text material or physical exercises was framed in terms of intrinsic (community, personal growth, health) versus extrinsic (money, image) goals, which were presented in an autonomy-supportive versus controlling manner. Analyses of variance confirmed that both experimentally manipulated variables yielded main effects on depth of processing, test performance, and persistence (all ps <.001), and an interaction resulted in synergistically high deep processing and test performance (but not persistence) when both intrinsic goals and autonomy support were present. Effects were significantly mediated by autonomous motivation.     

The Role of Child Personality in Effects of Psychologically Controlling Parenting: An Examination at the Level of Daily Fluctuations

Research increasingly demonstrates the detrimental effects of psychologically controlling parenting on children's adjustment. An important and practically relevant question is whether some children are more vulnerable for the effects of psychologically controlling parenting. In the current diary study, we investigated whether daily psychologically controlling parenting relates to children's daily externalizing and internalizing problems and whether these associations depend on child personality. A total of 206 children (M age = 9.93 years; 46.6% female) along with their mothers and fathers (M age = 40.30 and 42.40 years) participated in this multi‐informant diary study. All three family members filled out a diary each day for seven days. Multilevel analyses indicated that daily maternal and paternal psychological control were positively related to daily externalizing and internalizing problems, a pattern that was fairly consistent across informants. Out of the 35 interactions tested, only three turned out to be significant. Overall, the limited number of interactions suggests that psychologically controlling parenting is generally detrimental to children's daily functioning. Still, children differ somewhat in their susceptibility to the effect of psychologically controlling parenting. © 2018 European Association of Personality Psychology     

Disbelief in belief: On the cognitive status of supernatural beliefs

Religious people seem to believe things that range from the somewhat peculiar to the utterly bizarre. Or do they? According to a new paper by Neil Van Leeuwen, religious “credence” is nothing like mundane factual belief. It has, he claims, more in common with fictional imaginings. Religious folk do not really “believe”—in the ordinary sense of the word—what they profess to believe. Like fictional imaginings, but unlike factual beliefs, religious credences are activated only within specific settings. We argue that Van Leeuwen’s thesis contradicts a wealth of data on religiously motivated behavior. By and large, the faithful genuinely believe what they profess to believe. Although many religions openly embrace a sense of mystery, in general this does not prevent the attribution of beliefs to religious people. Many of the features of religious belief that Van Leeuwen alludes to, like invulnerability to refutation and incoherence, are characteristic of irrational beliefs in general and actually betray their being held as factual. We conclude with some remarks about the common failure of secular people to face the fact that some religious people really do believe wildly implausible things. Such incredulity, as evinced by Van Leeuwen and others, could be termed “disbelief in belief.”     

Evaluation by Citation: Trends in Publication Behavior,Evaluation Criteria,and the Strive for High Impact Publications

Criteria for the evaluation of most scholars’ work have recently received wider attention due to high-profile cases of scientific misconduct which are perceived to be linked to these criteria. However, in the competition for career advancement and funding opportunities almost all scholars are subjected to the same criteria. Therefore these evaluation criteria act as ‘switchmen’, determining the tracks along which scholarly work is pushed by the dynamic interplay of interests of both scholars and their institutions. Currently one of the most important criteria is the impact of publications. In this research, the extent to which publish or perish, a long standing evaluation criterion, led to scientific misconduct is examined briefly. After this the strive for high impact publications will be examined, firstly by identifying the period in which this became an important evaluation criterion, secondly by looking at variables contributing to the impact of scholarly papers by means of a non-structured literature study, and lastly by combining these data into a quantitative analysis.     

Do Personality Traits Moderate Relations Between Psychologically Controlling Parenting and Problem Behavior in Adolescents?

This research examined whether and how adolescents' personality traits moderate associations between psychologically controlling parenting and problem behaviors. On the basis of self‐determination theory, we also examined the mediating role of psychological need frustration in the effects of psychologically controlling parenting. A cross‐sectional study in two samples (N = 423 and 292; M_age = 12.43 and 15.74 years) was conducted. While in Sample 1 both mothers and adolescents provided reports of parenting and problem behavior, Sample 2 relied on adolescent‐reported parenting and mother‐reported problem behavior. Psychologically controlling parenting was related to internalizing and externalizing problems in both samples. Little systematic evidence was obtained for the moderating role of personality, with the exception of a moderating effect of Agreeableness. In both samples, psychological control was unrelated to externalizing problems among adolescents high on Agreeableness. Analyses of Sample 2 showed that associations between psychological control and problem behavior were mediated by psychological need frustration. Adolescent personality plays a modest role as a moderator of associations between psychologically controlling parenting and problem behavior. Frustration of adolescents' basic and universal psychological needs can account for the undermining effects of psychologically controlling parenting. Directions for future research are discussed.     

Cultivating human nature

Evolutionary psychology claims to offer a unified perspective on human nature and culture, which can serve to further the integration of psychology and the social sciences. I describe four approaches to evolutionary psychology, and note increasing attention to the agency of the individual in constructing the biological and cultural environment. These approaches, however, share a problematic conception of culture as information. I explore the possibility of using Latour's concept of mediation to analyse the relation between human nature and culture without restricting the latter to information, and collect a number of recent studies and essays that illustrate the way individuals mediate nature and culture.