Spontaneous adaptation explains why people act faster when being imitated

The human ability to perform joint actions is often attributed to high-level cognitive processes. For example, the finding that action leaders act faster when imitated by their partners has been interpreted as evidence for anticipation of the other’s actions (Pfister, Dignath, Hommel, & Kunde, 2013). In two experiments, we showed that a low-level mechanism can account for this finding. Action leaders were faster when imitated than when counterimitated, but only if they could observe their partner’s actions (Exp. 1). Crucially, when due to our manipulation the partner’s imitative actions became slower than the counterimitative actions, leaders also became slower when they were imitated, and faster when counterimitated (Exp. 2). Our results suggest that spontaneous temporal adaptation is a key mechanism in joint action tasks. We argue for a reconsideration of other phenomena that have traditionally been attributed solely to high-level processes.     

Men's attraction to women's bodies changes seasonally

Humans exhibit seasonal variation in hormone levels, behaviour, and perception. Here we show that men's assessments of women's attractiveness change also seasonally. In five seasons (from winter 2004 to winter 2005) 114 heterosexual men were asked to assess the attractiveness of the same stimuli: photos of a female with three different waist-to-hip ratios; photos of female breasts, and photos of average-looking faces of young women. For each season, the scores given to the stimuli of the same category (body shape, breast, and face) were combined. Friedman's test revealed significant changes for body shape and breast attractiveness assessments across the seasons, but no changes for face ratings. The highest scores for attractiveness were given in winter and the lowest in summer. We suggest that the observed seasonality is related to the well-known 'contrast effect'. More frequent exposure to women's bodies in warmer seasons might increase men's attractiveness criteria for women's body shape and breasts.     

Generalization of Scott's formula for retractions from generalized Alexandroff's cube

In the paper [2] the following theorem is shown: Theorem (Th. 3,5, [2]), If α=0 or δ=∞ or α?δ, then a closure space X is an absolute extensor for the category of 〈α, δ〉 -closure spaces iff a contraction of X is the closure space of all 〈α, δ〉-filters in an 〈α, δ〉-semidistributive lattice. In the case when α=ω and δ=∞, this theorem becomes Scott's theorem: Theorem ([7]). A topological space X is an absolute extensor for the category of all topological spaces iff a contraction of X is a topological space of “Scott's open sets” in a continuous lattice. On the other hand, when α=0 and δ=ω, this theorem becomes Jankowski's theorem: Theorem ([4]). A closure space X is an absolute extensor for the category of all closure spaces satisfying the compactness theorem iff a contraction of X is a closure space of all filters in a complete Heyting lattice. But for separate cases of α and δ, the Theorem 3.5 from [2] is proved using essentialy different methods. In this paper it is shown that this theorem can be proved using, for retraction, one uniform formula. Namely it is proved that if α= 0 or δ= ∞ or α ? δ and \(F_{\alpha ,\delta } \left( L \right) \subseteq B_{\alpha ,\delta }^\mathfrak{n} \) and if L is an 〈α, δ〉-semidistributive lattice, then the function $$r:{\text{ }}B_{\alpha ,\delta }^\mathfrak{n} \to F_{\alpha ,\delta } \left( L \right)$$ such that for x ε ? ( \(\mathfrak{n}\) ): (*) $$r\left( x \right) = inf_L \left\{ {l \in L|\left( {\forall A \subseteq L} \right)x \in C\left( A \right) \Rightarrow l \in C\left( A \right)} \right\}$$ defines retraction, where C is a proper closure operator for \(B_{\alpha ,\delta }^\mathfrak{n} \) . It is also proved that the formula (*) defines retraction for all 〈α, δ〉, whenever L is an 〈α, δ〉 -pseudodistributive lattice. Moreover it is proved that when α=ω and δ=∞, the formula (*) defines identical retraction to the formula given in [7], and when α = 0 and δ=ω, the formula (*) defines identical retraction to the formula given in [4].     

Q-ultrafilters and normal ultrafilters in B-algebras

The first part of the paper deals with some subclasses of B-algebras and their applications to the semantics of SCI _B , the Boolean strengthening of the sentential calculus with identity (SCI). In the second part a generalization of the McKinsey-Tarski construction of well-connected topological Boolean, algebras to the class of B-algebras is given.     

Ideal objects as models in science

Three main concepts of model in science are distinguished: (1) semantical model of a theory; (2) real model of another real thing; (3) mathematical model of a real thing. The last concept is the most important for the empirical sciences. The mathematical model is not identical with a theory: it is an ideal object which is directly described by the theory. We have here an intermediate level between reality and theory.     

From the Profession

Studies in East European Thought -     

Three contributions to the two-valued propositional calculus

Summary Three chapters contain the results independent of each other. In the first chapter I present a set of axioms for the propositional calculus which are shorter than the ones known so far, in the second one I give a method of defining all ternary connectives, in the third one, I prove that the probability of propositional functions is preserved under reversible substitutions. This paper appeard orginally under the title “Trois contributions an calcul des propositions bivalent” inStudia Societatis Scientiarum Torunensis, Toruń, Polonia, Sectio A, vol. I (1948), pp. 3–15.     

Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra

In classes of algebras such as lattices, groups, and rings, there are finite algebras which individually generate quasivarieties which are not finitely axiomatizable (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras. Moreover, we show that the lattice join of two finitely axiomatizable quasivarieties, each generated by a finite Heyting or topological Boolean algebra, respectively, need not be finitely axiomatizable. Finally, we solve problem 4 asked in Rautenberg [10].     

O związkach pomiędzy wynikaniem,sprzecznością i zupeŀnością

Allatum est die 6Aprilis 1965     

O klasach normalnych i nienormalnych na terenie języka potocznego

Problematyka i glówne tezy tej pracy pochodz od pierwszego autora. Udzial drugiego autora sprowadza sie do propozycji utosamienia jeezyka potocznego z formalizmem logiki zda i logiki nazw oraz do pewnych sugestii odnonie systematyzacji materialuAllatum est die 2 Octobris 1965