A general first-order solution to the ramification problem with cycles

We provide a solution to the ramification problem that integrates findings of different axiomatic approaches to ramification from the last ten to fifteen years. For the first time, we present a solution that: (1) is independent of a particular time structure, (2) is formulated in classical first-order logic, (3) treats cycles – a notoriously difficult aspect – properly, and (4) is assessed against a state-transition semantics via a formal correctness proof.This is achieved as follows: We introduce indirect effect laws that enable us to specify ramifications that are triggered by activation of a formula rather than just an atomic effect. We characterise the intended models of these indirect effect laws by a state-transition semantics. Afterwards, we show how to compile a class of indirect effect laws into first-order effect axioms that then solve the ramification and frame problems. We finally prove the resulting effect axioms sound and complete with respect to the semantics defined earlier.     

Apes are intuitive statisticians

Inductive learning and reasoning, as we use it both in everyday life and in science, is characterized by flexible inferences based on statistical information: inferences from populations to samples and vice versa. Many forms of such statistical reasoning have been found to develop late in human ontogeny, depending on formal education and language, and to be fragile even in adults. New revolutionary research, however, suggests that even preverbal human infants make use of intuitive statistics. Here, we conducted the first investigation of such intuitive statistical reasoning with non-human primates. In a series of 7 experiments, Bonobos, Chimpanzees, Gorillas and Orangutans drew flexible statistical inferences from populations to samples. These inferences, furthermore, were truly based on statistical information regarding the relative frequency distributions in a population, and not on absolute frequencies. Intuitive statistics in its most basic form is thus an evolutionarily more ancient rather than a uniquely human capacity.     

Effects of Self-Reported Wisdom on Happiness: Not Much More Than Emotional Intelligence?

Wisdom and emotional intelligence are increasingly popular topics among happiness scholars. Despite their conceptual overlap, no empirical research has examined their interrelations and incremental predictive validities. The aims of this study were (a) to investigate associations between multidimensional conceptualizations of self-reported wisdom (Ardelt in Res Aging 25(3):275–324, 2003, 2004) and emotional intelligence (Davies et al. in J Pers Soc Psychol 75:989–1015, 1998) and (b) to examine the joint effects of self-reported wisdom and emotional intelligence on dimensions of happiness (life satisfaction as well as positive and negative affect). Data were provided by two samples: 175 university students and 400 online workers. Correlations between a composite wisdom score, a composite emotional intelligence score, and happiness facets were positive and moderate in size. Regression analyses showed that the effects of composite wisdom on life satisfaction and positive affect (but not negative affect) became weaker and non-significant when composite emotional intelligence was controlled. Additional analyses including three dimensions of the self-reported wisdom (cognitive, reflective, and affective wisdom) and four dimensions of emotional intelligence (self- and others-emotions appraisal, use and regulation of emotion) revealed a more differentiated pattern of results. Implications for future research on wisdom and happiness are discussed.     

Scientific Philosophy,Mathematical Philosophy,and All That

This article suggests that scientific philosophy, especially mathematical philosophy, might be one important way of doing philosophy in the future. Along the way, the article distinguishes between different types of scientific philosophy; it mentions some of the scientific methods that can serve philosophers; it aims to undermine some worries about mathematical philosophy; and it tries to make clear why in certain cases the application of mathematical methods is necessary for philosophical progress.     

The effects of memory trace strength on eyewitness recall in children with and without intellectual disabilities

Children with mild moderate intellectual disabilities (ID) were compared with typically developing peers of the same chronological age (CA) on an eyewitness memory task in which memory trace strength was manipulated to examine whether increased memory trace strength would benefit those with ID more than those without ID. No evidence was found for this claim or for the notion that different mechanisms are implicated in memory processes for children with ID versus CA controls. Fuzzy-trace theory was also used to contrast question types that probed verbatim memory versus gist memory. Manipulations of trace strength, when used with immediate recall (to reduce the impact of decay), were predicted to improve verbatim memory more than gist memory. The results broadly supported the predictions. Performance was not improved in the stronger trace strength condition on measures of recall that tapped gist memory (e.g., open-ended recall), whereas performance was significantly better in the stronger trace strength condition on two of the three measures of recall that tapped verbatim memory (i.e., closed misleading questions, open-ended specific questions). Differences in performance between the groups were quite marked on several question types, supporting previous findings that those with ID have certain vulnerabilities as potential witnesses compared with peers of the same CA.     

Motor limitation in dual-task processing under ballistic movement conditions

The standard bottleneck model of the psychological refractory period (PRP) assumes that the selection of the second response is postponed until the first response has been selected. Accordingly, dual-task interference is attributed to a single central-processing bottleneck involving decision and response selection, but not the execution of the response itself. In order to critically examine the assumption that response execution is not part of this bottleneck, we systematically manipulated the temporal demand for executing the first response in a classical PRP paradigm. Contrary to the assumption of the standard bottleneck model, this manipulation affected the reaction time for Task 2. Specifically, reaction time for Task 2 increased with execution time for Task 1. This carryover effect from Task 1 to Task 2 provides evidence for the notion that response execution can be part of the processing bottleneck.     

Programming of time-to-peak force for brief isometric force pulses: effects on reaction time

According to the parallel force unit model (PFUM) the programming of an isometric force pulse requires the specification of the number of force units and force unit duration. The programming of a force pulse with minimal time-to-peak force is an exception, however, as force unit duration is limited by the minimal possible value, which should be easier to adjust than larger force unit durations. Therefore, the duration of the programming process should be shorter for these force pulses and hence should result in shorter reaction time (RT). Four experiments assessed this prediction using a response precueing procedure. In each experiment the participants produced isometric flexions with their left or right index finger, and time-to-peak force was manipulated within a block. The results are consistent with the predictions of PFUM. The results, however, are at variance with alternative accounts which assume that RT depends primarily on response duration or rate of force production.     

Online response preparation in a rapid serial visual search task

Online response preparation was assessed in a visual search task using rapid serial visual presentation. In each trial, a series of letters was presented sequentially, and participants were instructed to make a target-present response if a prespecified target letter was presented or a target-absent response if it was not. Measurements of response preparation using both probe reaction time and the lateralized readiness potential indicated that preparation of the target-absent response increased near the end of the sequence. Most of the increase appeared to be due to direct priming of the target-absent response by nontarget letters, but part was due to the increased conditional probability of this response near the end of the sequence. These results extend previous studies of response preparation by showing online response preparation during a temporally extended reaction time task.     

Possible-Worlds Semantics for Modal Notions Conceived as Predicates

If is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate , we tackle both problems. Given a frame <W,R> consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret at every world in such a way that A holds at a world wW if and only if A holds at every world vW such that wRv. The arithmetical vocabulary is interpreted by the standard model at every world. Several paradoxes (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the -inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic.     

Individual differences and changes in personality during the COVID-19 pandemic

This article reports the results of an eleven-wave longitudinal study of personality change conducted between December 2019 and December 2022 with 1328 participants in Germany. Based on theories of personality change, we investigated trajectories of big five personality factors (i.e., extraversion, agreeableness, conscientiousness, emotional stability, and openness) across the COVID-19 pandemic. In addition, we examined whether demographic characteristics (i.e., age, sex), self-reported health status (i.e., physical, mental), and socioeconomic status (i.e., education, income, industry) moderated these trajectories. There was evidence for increases in extraversion, conscientiousness, and emotional stability and decreases in openness across time. The magnitude of these effects suggests between d = 0.027 to 0.138 standard deviation changes in these personality characteristics across the 3-year timeframe of this study. Evidence for moderating effects of age, sex, health, and socioeconomic status was mixed, but indicates differential patterns of personality change for certain individuals. Overall, findings suggest that changes in big five personality factors across the COVID-19 were present, albeit on average relatively weak, but still higher than anticipated given the timeframe. Moreover, certain demographic and health variables were associated with differential trajectories of personality over time.