Power boosts reliance on preferred processing styles

A significant amount of research has proposed that power leads to heuristic and category based information processing, however, the evidence is often contradictory. We propose the novel idea that power magnifies chronically accessible information processing styles which can contribute to either systematic or heuristic processing. We examine heuristic (vs. systematic) processing in association with the need for closure. The results of three studies and a meta-analysis supported these claims. Power increased heuristic information processing, manifested in the recognition of schema consistent information, in the use of stereotypical information to form impressions and decreased the complexity of categorical representations, but only for those participants who, by default, processed information according to simplified heuristics, i.e., are high in need for closure. For those who prefer this processing style less, i.e., low in need for closure, power led to the opposite effects. These findings suggest that power licenses individuals to rely on their dominant information processing strategies, and that power increases interpersonal variability.     

The level of subjective visibility at different stages of memory processing

Recent research suggests that the content of iconic memory (IM) and fragile visual short-term memory could be associated with a similar level of conscious accessibility as working memory (WM). The results of our studies, in which we used a subjective visibility scale in a partial-report change detection paradigm, indicate that it is possible to distinguish separate stages of memory based on both discriminative accuracy and conscious accessibility. The highest scores were associated with IM and the lowest with WM, while somewhere in the middle there was fragile memory. Based on classical assumptions, WM accessibility should be greater than the other two types of memory; however, our study showed that this might not always be the case. We discuss the potential sources of this outcome, of which one may be the task construction, as we only tested items that were directly in the focus of attention.     

The Sense of Quality of Life and Religious Strategies of Coping with Stress in Prison Inmates

The aim of the presented research was to analyze differences in religious strategies of coping with stress in a group of prison inmates characterized by different levels of the sense of quality of life—general, psychophysical, psychosocial, personal, and metaphysical. The participants were 390 males, aged 19–68 years, serving sentences in prisons in Poland. The measures used were the Sense of Quality of Life Questionnaire by M. Stra?-Romanowska and K. I. Pargament’s RCOPE Questionnaire. As expected, individuals with a high sense of quality of life—both general and pertaining to specific dimensions—more often chose positive religious strategies, whereas participants with a low sense of quality of life more often chose negative strategies. The exception was the metaphysical aspect of the quality of life: individuals with a high intensity of this dimension more often chose some of the positive as well as negative religious strategies.     

Impression management and achievement motivation: Investigating substantive links

In this research, we investigate impression management (IM) as a substantive personality variable by linking it to differentiated achievement motivation constructs, namely achievement motives (workmastery, competitiveness, fear of failure) and achievement goals (mastery‐approach, mastery‐avoidance, performance‐approach, performance‐avoidance). Study 1 revealed that IM was a positive predictor of workmastery and a negative predictor of competitiveness (with and without self‐deceptive enhancement (SDE) controlled). Studies 2a and 2b revealed that IM was a positive predictor of mastery‐approach goals and mastery‐avoidance goals (without and, in Study 2b, with SDE controlled). These findings highlight the value of conceptualising and utilising IM as a personality variable in its own right and shed light on the nature of the achievement motive and achievement goal constructs.     

Tableaux and Dual Tableaux: Transformation of Proofs

We present two proof systems for first-order logic with identity and without function symbols. The first one is an extension of the Rasiowa-Sikorski system with the rules for identity. This system is a validity checker. The rules of this system preserve and reflect validity of disjunctions of their premises and conclusions. The other is a Tableau system, which is an unsatisfiability checker. Its rules preserve and reflect unsatisfiability of conjunctions of their premises and conclusions. We show that the two systems are dual to each other. The duality is expressed in a formal way which enables us to define a transformation of proofs in one of the systems into the proofs of the other. Presented by Wojciech Buszkowski     

Reference, paradoxes and truth

We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones.     

Voting by Eliminating Quantifiers

Mathematical theory of voting and social choice has attracted much attention. In the general setting one can view social choice as a method of aggregating individual, often conflicting preferences and making a choice that is the best compromise. How preferences are expressed and what is the “best compromise” varies and heavily depends on a particular situation. The method we propose in this paper depends on expressing individual preferences of voters and specifying properties of the resulting ranking by means of first-order formulas. Then, as a technical tool, we use methods of second-order quantifier elimination to analyze and compute results of voting. We show how to specify voting, how to compute resulting rankings and how to verify voting protocols.     

Internalisation of Relations

Philosophia - The discussion about internal and external relations usually concerns what kind of relations exist. In this paper, I take up another question, namely whether external relations can...