O liczbach kardynalnych

Tre: Wstp. I. Niektóre pojcia i prawa teorii klas stosunków. II. O klasach abstrakcji. III. O równoskadnikowoci. IV. O kardynalnych liczbach skadników. V. O. stosowanej teorii równoskadnikowoci. VI. O relacji równej liczby elementów. VII. Stosunek obu poj liczb kardynalnych. Zakoczenie.Allatum est die 30 Augusti 1961     

Logic of nondeterministic information

In the paper we define a class of languages for representation o knowledge in those application areas when a complete information about a domain is not available. In the languages we introduce modal operators determined by accessibility relations depending on parameters.     

Nota w sprawie twierdzeń o dedukcji nie wprost ważnych w skończenie wielowartościowych rachunkach zdań Ŀukasiewicza

Allatum est die 15 Julii 1971     

Definitions need to be precise and consistent: A reply to Haslam with suggestions for the future

In his reply to our critique of research on self-humanizing, Haslam claims that we used a narrow definition of self-humanizing that ignored the evidence from the correlational research he and his colleagues have done. We disagree. First, we relied upon a definition of self-humanizing based upon comparative judgments that Haslam and colleagues have consistently used. Second, we were well aware of the correlational research he and his colleagues have done. We simply did not think, and do not think, these correlations verified the existence of self-humanizing as defined. In his reply, Haslam offered a new definition of self-humanizing that defines self-humanizing in terms of correlations between comparative judgments and ratings of how much traits reflect human nature. Although we believe this change represents some progress, numerous issues in the study of self-humanizing remain to be resolved. We offer some suggestions for future research on this important topic.     

“When the going gets tough,the tough get going”: Motivation towards closure and effort investment in the performance of cognitive tasks

Previous studies have demonstrated that the need for closure (NFC), which refers to an individual’s aversion toward uncertainty and the desire to quickly reduce it, leads to reluctance to invest effort in judgments and decision making. However, we argue that NFC may lead to either an increase or a decrease in effort depending on the availability of easy vs. difficult means to achieve closure and perceived importance of the task goal. We found that when closure could be achieved via both less and more demanding means, NFC was associated with decreased effort unless the task was perceived as important (Study 1). However, when attaining closure was possible via demanding means only, NFC was associated with increased effort, regardless of the task importance (Study 2). Moreover, NFC was related to choosing a more instrumental strategy for the goal of closure, even if this strategy required effort (Study 3). The results are discussed in the light of cognitive energetics theory.     

From theory to implementation: Building a multidimensional space for face recognition

The purpose of the present study was to empirically construct a multidimensional model of face space based upon Valentine’s [Valentine, T. (1991). A unified account of the effects of distinctiveness, inversion, and race in face recognition. Quarterly Journal of Experimental Psychology, 43A, 161-204; Valentine, T. (2001). Face-space models of face recognition. In M. J. Wenger, & J. T. Townsend, (Eds.). Computational, geometric, and process perspectives on facial cognition: Contexts and challenges. Scientific psychology series (pp. 83-113). Mahwah, NJ: Erlbaum] metaphoric model. Two-hundred and ten participants ranked 200 faces on a 21-dimensional space composed of internal facial features. On the basis of these dimensions an index of distance from the center of the dimensional space was calculated. A factor analysis revealed six factors which highlighted the importance of both featural and holistic processes in face recognition. Testing the model in relation to facial distinctiveness and face recognition strengthened its validity by emphasizing the relevance of the constructed multidimensional space for face recognition. The data are discussed within the framework of theoretical models of face recognition.     

Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus

We present a general framework for proof systems for relational theories. We discuss principles of the construction of deduction rules and correspondences reflecting relationships between semantics of relational logics and the rules of the respective proof systems. We illustrate the methods developed in the paper with examples relevant for the Lambek calculus and some of its extensions.     

Psychometric properties of the Thought-Action Fusion Scale in a Turkish sample

The aim of the present study was to reveal the cross-cultural utility of the Thought-Action Fusion Scale (TAFS; J. Anxiety Disord. 10 (1996) 379). Thought-action fusion (TAF) refers to the tendency to overvalue the significance and the consequences of thoughts. Two hundred and fifty one undergraduate Turkish students participated in the current study. The reliability and validity analyses of the Turkish version of the scale indicated that the TAFS had adequate psychometric properties in a Turkish sample. Consistent with the original TAF, the Turkish version of TAFS revealed two subscales as TAF-Likelihood and TAF-Morality. Reliability analysis showed that TAF Scale and its factors had adequate internal consistencies and split-half reliability coefficients. Confirming the expectations, TAFS scores were found to be significantly and positively correlated with obsessive-compulsive symptoms, responsibility, and guilt measures. Moreover, it was found that people with high obsessive-compulsive symptoms had higher TAFS scores than those with low symptoms.