Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes

We show that a finitely generated protoalgebraic strict universal Horn class that is filter-distributive is finitely based. Equivalently, every protoalgebraic and filter-distributive multidimensional deductive system determined by a finite set of finite matrices can be presented by finitely many axioms and rules.     

The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains

It has been recently shown [4] that the lattice effect algebras can be treated as a subvariety of the variety of so-called basic algebras. The open problem whether all subdirectly irreducible distributive lattice effect algebras are just subdirectly irreducible MV-chains and the horizontal sum of two 3-element chains is in the paper transferred into a more tractable one. We prove that modulo distributive lattice effect algebras, the variety generated by MV-algebras and is definable by three simple identities and the problem now is to check if these identities are satisfied by all distributive lattice effect algebras or not. Presented by Daniele Mundici     

Confidence judgments in syllogistic reasoning: the role of consistency and response cardinality

In two experiments, we examined the resolution of confidence judgments in syllogistic reasoning and their heuristic bases. Based on the assumptions of Koriat's Self-Consistency Model of confidence, we expected the confidence judgments to be related to conclusion consensuality, reflecting the role of consistency as a heuristic cue to confidence. In Experiment 1, the participants evaluated 24 syllogisms with conclusions that varied with respect to validity and consensuality. In Experiment 2, the participants produced conclusions to 64 pairs of premises. The correlation between confidence and reasoning accuracy was low. In both experiments confidence was related to the consensuality of the responses. For consensually correct items, correlation between confidence and accuracy was positive; however, for consensually incorrect items it was negative. In Experiment 2, confidence was lower for syllogisms with higher response cardinality, or syllogisms that elicited a greater variety of conclusions.     

No Matrix Term-Equivalent to Wroński's 3-element Matrix is Finitely Based

Motivated by a question of W. Rautenberg, we prove that any matrix that is term-equivalent to the well-known nonfinitely based matrix of A. Wroski is itself also nonfinitely based.     

Differences between elite,junior and non-rowers in kinematic and kinetic parameters during ergometer rowing

This paper presents an analysis of the rowing parameters of differently skilled rowers. The study focuses on technique dependency on stroke rate. Five elite, five junior and five non-rowers participated, and the biomechanics of rowing on an ergometer was analyzed at stroke rates of 20, 26 and 34 str/min. The results show that elite rowers use a similar, consistent rowing technique at all stroke rates, the technique of junior rowers follows similar principles, while the technique of non-rowers varies. Elite rowers’ stroke length, handle motion and body posture do not change with stroke rate while the ratio of stroke phases, maximum forces, stroke work and joint loadings are constant at the same stroke rate but dependent on stroke rate. Junior rowers with stroke rate change also the stroke length. In non-rowers the differences can be observed in the handle motion and body posture during the stroke, their stroke length changes with stroke rate while the ratio of stroke phases stays constant. Although different movement execution is evident and variable with stroke rate, non-rowers demonstrate a consistent pattern at the same stroke rate. On the basis of the results, the crucial parameters that differentiate elite, junior, and non-rowers are identified.     

Lateralized suckling in domestic horses (Equus caballus)

Brain lateralization enables preferential processing of certain stimuli and more effective utilization of these stimuli in either the left or the right cerebral hemisphere. Horses show both motor and sensory lateralization patterns. Our aim was to determine whether a lateralized response could be detected in foals during the naturally side-biased behaviour, suckling. The foals’ preferred suckling side could be the effect of either visual or motor lateralization. In the case of a visual lateralized response, foals are expected to suck more often from the mother’s right side, so potential danger can be detected by the better adapted right hemisphere (i.e. left eye). Motor lateralization can be identified when a foal will suck predominantly from one side, either left or right. We found no population trend in the preferred suckling side, but we detected significant differences amongst individual foals. One-third (35.4 %) of 79 foals showed a strong, either right or left side preference which increased with age. The mothers did not influence the foals’ suckling side preferences either by side-biased rejection or termination of suckling. According to our findings, a general pattern of sucking with the left eye open for better danger detection and recognition is unlikely in foals up to 7 months old. Foals of this age are probably young or fully focused on suckling and rely on their mothers’ vigilance. Individual side preferences amongst foals are suggested to be based on motor lateralization.     

The Problem of Behaviour Change: From Social Norms to an Ingroup Focus

Social norms are of increasing interest to public policy experts and those conducting behaviour change interventions (e.g. safe driving, recycling). While there is agreement that social norms play a central role in explaining behaviour, such consensus is lacking when it comes to explaining the process through which this occurs. Economics, social marketing and political science focus on individual self‐interest and goal satisfaction and social (dis)approval. In contrast social psychology also incorporates collective interests through its analysis of social identity and ingroup processes. To fully understand behaviour change, it is argued that greater engagement is needed with the links between shifts in social identity, and ingroup norms. As definitions of who “we” are shift, so too does what “we” do. Implications for behaviour change interventions are discussed.     

Acquisition of spatial knowledge in different urban areas: evidence from a survey analysis of adolescents

We herein explore the perception of the geographic environment and analyse the mechanisms that constrain the cognitive processing of spatial information in general. Our guiding theoretical background assumption is that the structure of the spatial environment is a cognitively robust and mutually constrained threefold system relating (1) cognitive topology (comprised of a path and place structure of spatial information and constrained by reference frame-based factors), (2) experience-based functional knowledge (including the effects of socio-economic factors, frequency and familiarity) and (3) linguistic representations (primarily encoded in the prepositional system of a natural language). Here, we focus on (2), i.e. the effect of functional knowledge on the process of acquiring spatial knowledge. We empirically tested adolescents aged 12–17 years to explore the interaction between frequency, familiarity and functional knowledge from a developmental point of view. The social factors we explore are precisely defined and parameterized in our results (exposure to a particular urban area, place of residence, gender, age and factors relating to the environmental and social quality of the local area). Our research shows that there are divergences between the so-called objective topology and the cognitive typology of the urban environment that are significantly constrained by intensity of interactions with environment, number of functionally significant places within particular area and age from a developmental perspective in terms of spatial knowledge acquisition.     

Infants’ discrimination of crossed and uncrossed horizontal disparity

In a series of preferential-looking experiments, infants 5 to 6 months of age were tested for their responsiveness to crossed and uncrossed horizontal disparity. In Experiments 1 and 2, infants were presented with dynamic random dot stereograms displaying a square target defined by either a 0.5° crossed or a 0.5° uncrossed horizontal disparity and a square control target defined by a 0.5° vertical disparity. In Experiment 3, infants were presented with the crossed and the uncrossed horizontal disparity targets used in Experiments 1 and 2. According to the results, the participants looked more often at the crossed (Experiment 1), as well as the uncrossed (Experiment 2), horizontal disparity targets than at the vertical disparity target. These results suggest that the infants were sensitive to both crossed and uncrossed horizontal disparity information. Moreover, the participants exhibited a natural visual preference for the crossed over the uncrossed horizontal disparity (Experiment 3). Since prior research established natural looking and reaching preferences for the (apparently) nearer of two objects, this finding is consistent with the hypothesis that the infants were able to extract the depth relations specified by crossed (near) and uncrossed (far) horizontal disparity.     

Epistemic justification in the context of pursuit: a coherentist approach

The aim of this paper is to offer an account of epistemic justification suitable for the context of theory pursuit, that is, for the context in which new scientific ideas, possibly incompatible with the already established theories, emerge and are pursued by scientists. We will frame our account paradigmatically on the basis of one of the influential systems of epistemic justification: Laurence Bonjour’s coherence theory of justification. The idea underlying our approach is to develop a set of criteria which indicate that the pursued system is promising of contributing to the epistemic goal of robustness of scientific knowledge and of developing into a candidate for acceptance. In order to realize this we will (a) adjust the scope of Bonjour’s standards—consistency, inferential density, and explanatory power, and (b) complement them by the requirement of a programmatic character. In this way we allow for the evaluation of the “potential coherence” of the given epistemic system.