On Finite Models of the Lambek Calculus

We study a class of finite models for the Lambek Calculus with additive conjunction and with and without empty antecedents. The class of models enables us to prove the finite model property for each of the above systems, and for some axiomatic extensions of them. This work strengthens the results of [3] where only product-free fragments of these systems are considered. A characteristic feature of this approach is that we do not rely on cut elimination in opposition to e.g. [5], [9].     

Non-Inferential Aspects of Ad Hominem and Ad Baculum

The aim of the paper is to explore the interrelation between persuasion tactics and properties of speech acts. We investigate two types of arguments ad: ad hominem and ad baculum. We show that with both of these tactics, the structures that play a key role are not inferential, but rather ethotic, i.e., related to the speaker’s character and trust. We use the concepts of illocutionary force and constitutive conditions related to the character or status of the speaker in order to explain the dynamics of these two techniques. In keeping with the research focus of the Polish School of Argumentation, we examine how the pragmatic and rhetorical aspects of the force of ad hominem and ad baculum arguments exploit trust in the speaker’s status to influence the audience’s cognition.     

Patients’ and Parents’ Perceptions of Appearance in Scoliosis Treated with a Brace: A Cross-Sectional Analysis

The perspective of trunk deformity is a matter of special concern for adolescent idiopathic scoliosis (AIS) patients. No research group has ever reported interviewing patients and their parents regarding differences in perception of body appearance in the course of Cheneau brace treatment. We aimed to investigate the level of agreement in the field of concerns and perceptions of spinal appearance in relation to brace- and scoliosis-related data between parents and female patients with AIS, treated with a Cheneau brace, by means of the Spinal Appearance Questionnaire-pl (SAQ-pl). In this cross-sectional study forty-one pairs of parents and female patients with AIS were asked to separately complete the Polish versions of the Spinal Appearance Questionnaire-pl patient form (SAQ-pl patient form) and the SAQ-pl parent form. Age of patients was 13.60 years SD 1.60 (range 10–17). Patients scored 2.70 (SD 0.60) and parents scored 2.70 SD 0.60 in the total score of the SAQ-pl. The study groups do not differ significantly in regards to the SAQ-pl results. The percentage of consistent answers on SAQ-pl items ranges from 34.10 % (item 20) to 78 % (item 8). Height, age and brace-wearing time per day, were significantly related to the differences in the patient-parent General perception of body shape (r _s  = ?0.51, r _s  = ?0.34, r _s  = 0.36, respectively). Parents and female patients with AIS have similar concerns and perceptions of spinal appearance. The discrepancies in General perception of spinal appearance between parents and AIS females decrease with age of patient. Parental emotional support may contribute to minimizing the risk factors of psychological impairment, especially in late adolescents with AIS.     

Time Perspectives Predict Mood States and Satisfaction with Life over and above Personality

The present study aimed to test the incremental validity of Time Perspective (TP) scales in predicting satisfaction with life and mood, over and above the Big Five personality traits. It also investigated whether the new TP construct of Future Negative perspective contributed to prediction of these outcomes. Participants (N = 265) completed four measures: Satisfaction With Life Scale (SWLS), UWIST Mood Adjective Checklist (UMACL), a modified Zimbardo Time Perspective Inventory (ZTPI), and NEO-Five Factor Inventory (NEO-FFI). Results confirmed the incremental validity of TP, although Big Five dimensions were independently predictive of life satisfaction and certain mood scales. Past Negative TP was the strongest single predictor of life satisfaction. However, Future Negative TP was be the strongest mood predictor from the TP universe, after controlling for the Big Five and remaining TP dimensions. Findings suggest that TP is an important aspect of personality for understanding individual differences in well-being.     

Both differences in encoding processes and monitoring at retrieval reduce false alarms when distinctive information is studied

A reduction in false alarms to critical lures is observed in the DRM paradigm (Roediger & McDermott, 1995) when distinctive information is presented at encoding. Two mechanisms have been proposed to account for this reduction. According to the monitoring theory (e.g., the distinctiveness heuristic), lack of diagnostic recollection serves as a basis for discarding non-presented lures. According to the encoding theory, presenting distinctive information at study leads to impoverished relational processing, which results in a reduction in memorial information elicited by critical lures. In the present study a condition was created in which the use of the distinctiveness heuristic was precluded by associating, within the same study, lures with distinctive information in a context different from the study session. Under that condition reduction in false alarms to distinctive critical lures was still observed. This result supports the predictions of the encoding theory. However, when in the same study the use of the distinctiveness heuristic was not precluded, reductions in false alarms to unrelated lures were also observed when distinctive information was presented at study, indicating that both mechanisms are likely to contribute to the rejection of false memories.     

Preschoolers prior formal mathematics education engage numerical magnitude representation rather than counting principles in symbolic ±1 arithmetic: Evidence from the operational momentum effect

In numerical cognition research, the operational momentum (OM) phenomenon (tendency to overestimate the results of addition and/or binding addition to the right side and underestimating subtraction and/or binding it to the left side) can help illuminate the most basic representations and processes of mental arithmetic and their development. This study is the first to demonstrate OM in symbolic arithmetic in preschoolers. It was modeled on Haman and Lipowska's (2021) non-symbolic arithmetic task, using Arabic numerals instead of visual sets. Seventy-seven children (4–7 years old) who know Arabic numerals and counting principles (CP), but without prior school math education, solved addition and subtraction problems presented as videos with one as the second operand. In principle, such problems may be difficult when involving a non-symbolic approximate number processing system, whereas in symbolic format they can be solved based solely on the successor/predecessor functions and knowledge of numerical orders, without reference to representation of numerical magnitudes. Nevertheless, participants made systematic errors, in particular, overestimating results of addition in line with the typical OM tendency. Moreover, subtraction and addition induced longer response times when primed with left- and right-directed movement, respectively, which corresponds to the reversed spatial form of OM. These results largely replicate those of non-symbolic task and show that children at early stages of mastering symbolic arithmetic may rely on numerical magnitude processing and spatial-numerical associations rather than newly-mastered CP and the concept of an exact number.     

The spatial-numerical congruity effect in preschoolers

Number-to-space mapping and its directionality are compelling topics in the study of numerical cognition. Usually, literacy and math education are thought to shape a left-to-right number line. We challenged this claim by analyzing performance of preliterate precounting preschoolers in a spatial-numerical task. In our experiment, children exhibited a spatial-numerical congruity (SNC) effect during a nonsymbolic numerosity comparison (quicker reaction times to smaller sets presented on the left side of the screen and to larger ones presented on the right side). These findings suggest that left-to-right number ordering may also have some sources that are independent of reading and math education. We argue that the current explanations of the spatial-numerical link need to be reconsidered.