On Independent Axiomatizability of Quasi-Normal Modal Logics

Studia Logica - We give a negative solution to the problem, posed by A. Chagrov and M. Zakharyaschev, of whether every quasi-normal propositional modal logic can be axiomatized by an independent...     

Alexithymia is associated with an augmenter profile, but not only: Evidence for anticipation to arousing music

Grynberg, D., Davydov, D. M., Vermeulen, N. & Luminet, O. (2012). Alexithymia is associated with an augmenter profile, but not only: Evidence for anticipation to arousing music. Scandinavian Journal of Psychology 53, 375-381. It has been suggested that high alexithymia scorers have an 'augmenter' profile which amplifies their physiological and subjective responses to highly arousing stimuli. The aim of this study was to test this theory using several physiological measures. Participants listened to musical excerpts either in a 'weak-to-strong' or a 'strong-to-weak' order of arousing levels of stimuli. The results show that alexithymia was associated with an augmenter profile for subjective reports for the most arousing stimulus and with stronger skin conductance level responses in the 'strong-to-weak' order. These results partially support the augmenter profile and reveal that alexithymia may be associated with higher anticipation for the most arousing excerpt.     

Dynamic properties of an ultrafine-grained Mg–Zn–Zr alloy

The effect of ultrafine-grained structure formation in Mg–Zn–Zr alloy ZK60 on its mechanical response was investigated at strain rates ranging from quasi-static to dynamic regimes. The study demonstrated that the strength characteristics of the material rise significantly with increasing strain rate, while its ductility is reduced. These effects are particularly pronounced in the dynamic loading regime, at strain rates in the (1?5)?×?10²?s^?1 range. In the ultrafine-grained alloy ZK60, the energy absorption per unit volume, W, is enhanced by grain refinement by a factor as high as eight for the highest strain rate of 5?×?10²?s^?1 investigated. The analysis is focused on the microstructure features that bring about the observed improvement of the tensile characteristics, as well as the deformation and fracture modes prevalent at different strain rates. The results obtained contribute to the exploration and understanding of dynamic behaviour of magnesium alloys.     

A general method for proving decidability of intuitionistic modal logics

We generalise the result of [H. Ganzinger, C. Meyer, M. Veanes, The two-variable guarded fragment with transitive relations, in: Proc. 14th IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1999, pp. 24–34] on decidability of the two variable monadic guarded fragment of first order logic with constraints on the guard relations expressible in monadic second order logic. In [H. Ganzinger, C. Meyer, M. Veanes, The two-variable guarded fragment with transitive relations, in: Proc. 14th IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1999, pp. 24–34], such constraints apply to one relation at a time. We modify their proof to obtain decidability for constraints involving several relations. Now we can use this result to prove decidability of multi-modal modal logics where conditions on accessibility relations involve more than one relation. Our main application is intuitionistic modal logic, where the intuitionistic and modal accessibility relations usually interact in a non-trivial way.     

From being motivated to motivating oneself: A Vygotskian perspective

Conclusion The aim of this paper has been to draw attention to the non-cognitive aspects of Vygotsky's theoretical heritage. We hope that we have succeeded in presenting here his principal ideas on motivation and volition in the present-day problem context. It should be noted that the problem of human freedom and self-determination was of great importance for Vygotsky, though the explicit discussion of this problem is not common in his writings. Approaching this problem both as a philosopher and as a psychologist, Vygotsky inevitably had first to get some idea of the general psychological regularities which could serve as a concrete-psychological basis for the constructive paradigm in the explanation of the phenomena of human freedom and non-freedom. It is highly probable that he planned to discuss this problem at length in his last uncompleted book,Doctrine of Affects. However, even the existing texts provide a weighty and insightful basis not only for scientific research but also for creating applied methods of enhancement of human will-power, or, more exactly, the talent to will. Some of the possibilities, revealed by the Vygotskian approach, are presented in the last section. Many other of Vygotsky's brilliant ideas still await an unbiased reading in the contemporary, rather than merely historical, context.     

How shall we all live together?: Meta-analytical review of the mutual intercultural relations in plural societies project

Living together in culturally plural societies poses numerous challenges for members of ethnocultural groups and for the larger society. An important goal of these societies is to achieve positive intercultural relations among all their peoples. Successful management of these relations depends on many factors including a research-based understanding of the historical, political, economic, religious and psychological features of the groups that are in contact. The core question is ‘how we shall we all live together?’ In the project reported in this paper (Mutual Intercultural Relations in Plural Societies; MIRIPS), we seek to provide such research by reviewing three core psychological hypotheses of intercultural relations (multiculturalism, contact and integration) in 21 culturally plural societies. The main goal of the project is to evaluate these hypotheses across societies within the MIRIPS project in order to identify if there are some basic psychological principles that underlie intercultural relations panculturally. If there are, the eventual goal is to employ the findings to propose some policies and programmes that may improve the quality of intercultural relationship globally. An internal meta-analysis using the MIRIPS project data showed that the empirical findings from these societies generally support the validity of the three hypotheses. Implications for the development of policies and programmes to enhance the quality of intercultural relations are discussed.     

On Groupoids of Relations with One Conjunctive Operation of Rank 2

Studia Logica - In this paper, we obtain axiom systems, bases of identities and quasi-identities for classes of algebras of binary relations with a conjunctive operation, i.e., an operation that...     

Uniform Test Assembly

In educational practice, a test assembly problem is formulated as a system of inequalities induced by test specifications. Each solution to the system is a test, represented by a 0–1 vector, where each element corresponds to an item included (1) or not included (0) into the test. Therefore, the size of a 0–1 vector equals the number of items n in a given item pool. All solutions form a feasible set—a subset of 2 ⁿ vertices of the unit cube in an n-dimensional vector space. Test assembly is uniform if each test from the feasible set has an equal probability of being assembled. This paper demonstrates several important applications of uniform test assembly for educational practice. Based on Slepian’s inequality, a binary program was analytically studied as a candidate for uniform test assembly. The results of this study establish a connection between combinatorial optimization and probability inequalities. They identify combinatorial properties of the feasible set that control the uniformity of the binary programming test assembly. Computer experiments illustrating the concepts of this paper are presented.     

N. A. Vasil’ev’s Logic and the Problem of Future Random Events

The solution of the problem of the future random events truth is considered in Vasil’ev’s logic. N. A. Vasil’ev graded the logic according to two levels—the level of facts, i.e. time fixed events, and the level of notions or rules, governing these facts. The mathematical construction previously suggested for imaginary Vasil’ev’s logic, extends to the early variant of his logic—a logic of notions. In the paper, we investigate the meaning of problematic and uncertain assertions introduced by Vasil’ev. As a result, we developed a model of Vasil’ev’s logic of facts that resolves also the truth problem of future random events. The imaginary logic has also been extended to the level of notions, and the law of the excluded eighth is gotten in it. The correspondence between Vasil’ev’s terms “some” and “all” and modern quantifiers is discussed.