Loosely Guarded Fragment of First-Order Logic has the Finite Model Property

We show that the loosely guarded and packed fragments of first-order logic have the finite model property. We use a construction of Herwig and Hrushovski. We point out some consequences in temporal predicate logic and algebraic logic.     

Monodic Packed Fragment with Equality is Decidable

We prove decidability of satisfiability of sentences of the monodic packed fragment of first-order temporal logic with equality and connectives Until and Since, in models with various flows of time and domains of arbitrary cardinality. We also prove decidability over models with finite domains, over flows of time including the real order.     

Computing with Cylindric Modal Logics and Arrow Logics,Lower Bounds

The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters.     

Swedish norms for completion of word stems and unique word fragments

Swedish norms for completion of word stems and single-solution word fragments, with few or many letters specified, were obtained from Swedish students. Comparisons were made for completion rates between stems and fragments that were possible to complete with the same word. As expected, completion rates for fragments were generally superior to those of word stems since the word stems allowed alternative completions. Adding one letter to the word stems and fragments resulted in a significant increase in the probability of completion, for both stems and fragments. A stepwise regression analysis was conducted in order to partial out factors determining the completion probability for fragments. The ratio of specified letters to blank characters, and the familiarity of the solution was found to be the most important factors. Finally, the effect of number of given letters in the word stem on the number of generated words per stem was studied. The mean number of words generated per stem was found to be equal for both two- and three-letter word stems.     

大力促进心理学的理论研究

虽然心理学作为一门独立的学科已有100多年的历史,但是心理学一直缺乏带有“范式”特点的心理学理论。这导致了心理学的破碎和分裂。探讨心理学的“元”理论,大力促进心理学的理论研究,是心理学发展的当务之急。     

Fragments of R-Mingle

The logic RM and its basic fragments (always with implication) are considered here as entire consequence relations, rather than as sets of theorems. A new observation made here is that the disjunction of RM is definable in terms of its other positive propositional connectives, unlike that of R. The basic fragments of RM therefore fall naturally into two classes, according to whether disjunction is or is not definable. In the equivalent quasivariety semantics of these fragments, which consist of subreducts of Sugihara algebras, this corresponds to a distinction between strong and weak congruence properties. The distinction is explored here. A result of Avron is used to provide a local deduction-detachment theorem for the fragments without disjunction. Together with results of Sobociski, Parks and Meyer (which concern theorems only), this leads to axiomatizations of these entire fragments — not merely their theorems. These axiomatizations then form the basis of a proof that all of the basic fragments of RM with implication are finitely axiomatized consequence relations.Special issue of Studia Logica: Algebraic Theory of Quasivarieties Presented by M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko     

Effects of divided attention in the word-fragment completion task with unique and multiple solutions

A study with 114 young adults investigated the correlations of intelligence factors and working-memory capacity with reaction time (RT) tasks. Within two sets of four-choice RT tasks, stimulus–response compatibility was varied over three levels: compatible, incompatible, and arbitrary mappings. Two satisfactory measurement models for the RTs could be established: A general factor model without constraints on the loadings and a nested model with two correlated factors, distinguishing compatible from arbitrary mappings, with constraints on the loadings. Structural models additionally including factors for working memory and intelligence showed that the nested model with correlated factors is superior in fit. Working-memory capacity and fluid intelligence were correlated strongly with the nested factor for the RT tasks with arbitrary mappings, and less with the general RT factor. The results support the hypothesis that working memory is needed to maintain arbitrary bindings between stimulus representations and response representations, and this could explain the correlation of working-memory capacity with speed in choice RT tasks.     

Form-Specific Visual Priming in the Left and Right Hemispheres

Word fragment completion performance was examined for items that were presented in the same or different letter case at study and test. During the study phase words and nonwords were presented at central fixation, then during the test phase a divided visual field technique was used in which word fragments were presented briefly to the right hemisphere (left visual field) or the left hemisphere (right visual field). Previous research using the word stem completion task indicated that only the right hemisphere was sensitive to case changes in words from study to test. In contrast, the current results indicate that in the fragment completion task the priming effects for the test items presented to either hemisphere were greater when the fragments were in the same compared to different letter case at study and test. These results indicate that both hemispheres are capable of supporting form-specific visual implicit memory.     

Manipulating the reported age in earliest memories

ABSTRACT

Previous work suggests that the estimated age in adults’ earliest autobiographical memories depends on age information implied by the experimental context [e.g., Kingo, O. S., Bohn, A., & Krøjgaard, P. (2013). Warm-up questions on early childhood memories affect the reported age of earliest memories in late adolescence. Memory, 21(2), 280–284. doi:10.1080/09658211.2012.729598] and that the age in decontextualised snippets of memory is younger than in more complete accounts (i.e., event memories [Bruce, D., Wilcox-O’Hearn, L. A., Robinson, J. A., Phillips-Grant, K., Francis, L., & Smith, M. C. (2005). Fragment memories mark the end of childhood amnesia. Memory & Cognition, 33(4), 567–576. doi:10.3758/BF03195324]). We examined the malleability of the estimated age in undergraduates’ earliest memories and its relation with memory quality. In Study 1 (n?=?141), vignettes referring to events happening at age 2 rendered earlier reported ages than examples referring to age 6. Exploratory analyses suggested that event memories were more sensitive to the age manipulation than memories representing a single, isolated scene (i.e., snapshots). In Study 2 (n?=?162), asking self-relevant and public-event knowledge questions about participants’ preschool years prior to retrieval yielded comparable average estimated ages. Both types of semantic knowledge questions rendered earlier memories than a no-age control task. Overall, the reported age in snapshots was younger than in event memories. However, age-differences between memory types across conditions were not statistically significant. Together, the results add to the growing literature indicating that the average age in earliest memories is not as fixed as previously thought.