Constructs,inferences, and mental measurement

The ‘construct’ concept occupies a significant place in psychology and, yet its role is misunderstood. Psychologists think that theorising in the area of psychological testing involves conjuring constructs, which are operationally defined and measured via psychometric tests. However, the ‘construct’ concept is unworkable and laden with confused philosophical baggage accrued under the hegemony of logical empiricism, and its real function in psychology is obscured. Via an analysis of its history and logic, I expose its flawed conception of the relation between theoretical and observable concepts and the way in which it serves the myth of mental measurement. Finally, it is shown how the actual logic of theorising in science, which entails that theories are best inferred from relevant phenomena, not imaginatively constructed, oppugns this myth and promises to coordinate theoretical concepts with the phenomena to be explained.     

Categorical invariance and structural complexity in human concept learning

An alternative account of human concept learning based on an invariance measure of the categorical stimulus is proposed. The categorical invariance model (CIM) characterizes the degree of structural complexity of a Boolean category as a function of its inherent degree of invariance and its cardinality or size. To do this we introduce a mathematical framework based on the notion of a Boolean differential operator on Boolean categories that generates the degrees of invariance (i.e., logical manifold) of the category in respect to its dimensions. Using this framework, we propose that the structural complexity of a Boolean category is indirectly proportional to its degree of categorical invariance and directly proportional to its cardinality or size. Consequently, complexity and invariance notions are formally unified to account for concept learning difficulty. Beyond developing the above unifying mathematical framework, the CIM is significant in that: (1) it precisely predicts the key learning difficulty ordering of the SHJ [Shepard, R. N., Hovland, C. L., & Jenkins, H. M. (1961). Learning and memorization of classifications. Psychological Monographs: General and Applied, 75(13), 1-42] Boolean category types consisting of three binary dimensions and four positive examples; (2) it is, in general, a good quantitative predictor of the degree of learning difficulty of a large class of categories (in particular, the 41 category types studied by Feldman [Feldman, J. (2000). Minimization of Boolean complexity in human concept learning. Nature, 407, 630-633]); (3) it is, in general, a good quantitative predictor of parity effects for this large class of categories; (4) it does all of the above without free parameters; and (5) it is cognitively plausible (e.g., cognitively tractable).     

The statistical regression phenomenon: II. Application of a metamodel

The relevance of the traditional regression concept to measurement of change and to causal research is investigated by applying a metamodel for the concept as a frame of reference in a logical analysis of these two research fields. It is concluded that the concept is considerably less important than ordinarily maintained in the methodological research literature. As for measurement of change, only a special error case of the concept often constitutes a biasing factor, while all special cases are of little interest for describing true changes. Concerning causal research, the regression phenomenon will probably seldom constitute any threat to internal validity. The unjustified attention given to the concept in psychological research is probably mainly due to the fact that central assumptions have been overlooked and that a thorough logical analysis of the relevance issue has not been attempted previously.     

A formal ontology of situations

A generalized Wittgensteinian semantics for propositional languages is presented, based on a lattice of elementary situations. Of these, maximal ones are possible worlds, constituting a logical space; minimal ones are logical atoms, partitioned into its dimensions. A verifier of a proposition is an elementary situation such that if real it makes true. The reference (or objective) of a proposition is a situation, which is the set of all its minimal verifiers. (Maximal ones constitute its locus.) Situations are shown to form a Boolean algebra, and the Boolean set algebra of loci is its representation. Wittgenstein's is a special case, admitting binary dimensions only.     

The long-term effect of relational information in classification learning

This study examines the long-term effect of mutual information in the learning of Shepardian classifications. Mutual information is a measure of the complexity of the relationship between features because it quantifies how the features relate to each other. For instance, in various categorisation models, Type VI concepts—originally studied by Shepard, Hovland, and Jenkins (1961)—are unanimously judged to be the most complex kind of 3-D Boolean concepts. This has been largely confirmed by empirical data. Yet, it is apparently inconsistent with the fact that this concept entails the greatest amount of mutual information of all the 3-D Boolean concepts. The present study was aimed at verifying whether individuals can use relational information, in the long run, to devise easier strategies for category learning. Subject performance was measured repeatedly for 1 hour on either successive Type VI concepts (using different features between problems) or successive Type IV concepts. The results showed that shortly after the second problem, Type VI concepts became easier to learn than Type IV ones. The gap between the mean per-problem error rates of the two concepts continued to increase as the number of problems increased. Two other experiments tended to confirm this trend. The discussion brings up the idea of combining different metrics in categorisation models in order to include every possible way for subjects to simplify the categorisation process.     

Why is the sunny side always up? Explaining the spatial mapping of concepts by language use

Humans appear to rely on spatial mappings to represent and describe concepts. The conceptual cuing effect describes the tendency for participants to orient attention to a spatial location following the presentation of an unrelated cue word (e.g., orienting attention upward after reading the word sky). To date, such effects have predominately been explained within the embodied cognition framework, according to which people’s attention is oriented on the basis of prior experience (e.g., sky → up via perceptual simulation). However, this does not provide a compelling explanation for how abstract words have the same ability to orient attention. Why, for example, does dream also orient attention upward? We report on an experiment that investigated the role of language use (specifically, collocation between concept words and spatial words for up and down dimensions) and found that it predicted the cuing effect. The results suggest that language usage patterns may be instrumental in explaining conceptual cuing.     

Sortal concepts, object individuation, and language

Cognitive science is an interdisciplinary enterprise. This review highlights how the philosophical notion of a 'sortal'--a concept that provides principles of individuation and principles of identity - has been introduced into cognitive developmental psychology. Although the notion 'sortal' originated in metaphysics, importing it into the cognitive sciences has bridged a gap between philosophical and psychological discussions of concepts and has generated a fruitful and productive research enterprise. As I review here, the sortal concept has inspired several lines of empirical work in the past decade, including the study of object individuation; object identification; the relationship between language and acquisition of kind concepts; the representational capacities of non-human primates; object-based attention and cognitive architecture; and the relationship between kind concepts and individual concepts.     

辅助变元之于命题与量化布尔公式的作用

使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复。这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并讨论了有趣的相关应用。我们把以下两者联系起来:一是,反复使用中间结果而不通过定义重复;二是,布尔函数其他表达中的相似概念。特别的,我们表明带定义的命题逻辑与具有任意输出端的布尔线路以及约束变元满足Horn性质的存在量化布尔公式(记作(?)HORN~b)具有相同的表达力。本文还考虑了定义结构的限制,以及命题定义的扩充。特别的,我们检验了正命题定义与带存在量化的正定义之间的关系(或等价地,检验了(?)HORN~b公式和约束变元未被Horn限定的存在量化的CNF公式(记作(?)CNF~*)之间的关系)。对命题定义的进一步扩充,是允许在定义中使用任意的量词,或等价地,允许布尔公式的嵌入。我们还证明了,量化CNF公式中的约束变元的表达力,是由子句中被约束部分的极小不可满足子公式或极小假子公式的结构所决定的。     

Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ‘say’ something), and they have subject matter (they are ‘about’ something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge.     

The formal analysis of concepts

The present paper focuses on the extraction, by means of aformal logical/mathematical methodology (i.e., automatically, exclusively by rule), of concept content, as in, for example, continuous discourse. The approach to a fully formal definition of concept content ultimately is owing to a German government initiative to establish “standards” regarding concepts, in conjunction with efforts to stipulate precisely (and then, derivatively, through computer programs) data and information needs according to work role in certain government offices.     

Beyond prototypes and classical definitions: Evidence for a theory-based representation of emotion concepts

The question of how people represent emotions is eminently important for a number of different domains of psychological research. The present study tested the assumption that emotion concepts are represented similar to theories in that they are comprised of a set of causally interrelated features. Using emotional scenarios and investigating the emotion concepts of anger, anxiety, and sadness it was found that people's representations of emotion concepts essentially involved the representation of the causal relation of emotion features and that the causal status of a feature determined the feature's centrality in the concept. Moreover, people's representations of emotion concepts corresponded to basic assumptions of cognitive emotion theories, namely that cognitive appraisals cause other surface features of emotion, like expression and behaviour. By providing evidence for a theory-based representation, the present results show that the classical and the prototype approach are insufficient to model the representation of emotion concepts.     

An examination of concept lattices,types, and functions inRoget’s International Thesaurus

The notions of objects and attributes are essential to knowledge representation. Rudolf Wille’s concept lattices group objects and attributes into concepts, with concepts organized in a lattice, so that some concepts are subconcepts of others. This paper applies certain aspects of type theory to concept lattices in order better to facilitate the representation of knowledge inRoget’s International Thesaurus. Of particular interest is a formal analysis of functions providing concept lattices with a way of representing procedures and actions that currently are not present in the thesaurus.     

Evaluating Amazon’s Mechanical Turk for psychological research on the symbolic control of attention

The use of online crowdsourcing services like Amazon’s Mechanical Turk (AMT) as a method of collecting behavioral data online has become increasingly popular in recent years. A growing body of contemporary research has empirically validated the use of AMT as a tool in psychological research by replicating a wide range of well-established effects that have been previously reported in controlled laboratory studies. However, the potential for AMT to be used to conduct spatial cuing experiments has yet to be investigated in depth. Spatial cuing tasks are typically very basic in terms of their stimulus complexity and experimental testing procedures, thus making them ideal for remote testing online that requires minimal task instruction. Studies employing the spatial cuing paradigm are typically aimed at unveiling novel facets of the symbolic control of attention, which occurs whenever observers orient their attention through space in accordance with the meaning of a spatial cue. Ultimately, the present study empirically validated the use of AMT to study the symbolic control of attention by successfully replicating four hallmark effects reported throughout the visual attention literature: the left/right advantage, cue type effect, cued axis effect, and cued endpoint effect. Various recommendations for future endeavors using AMT as a means of remotely collecting behavioral data online are also provided. In sum, the present study provides a crucial first step toward establishing a novel tool for conducting psychological research that can be used to expedite not only our own scientific contributions, but also those of our colleagues.     

The relationship between connectionist models and a dynamic data-oriented theory of concept formation

In this paper I shall compare two models of concept formation, both inspired by basic convictions of philosophical empiricism. The first, the connectionist model, will be exemplified by Kohonen maps, and the second will be my own dynamic theory of concept formation. Both can be understood in probabilistic terms, both use a notion of convergence or stabilization in modelling how concepts are built up. Both admit destabilization of concepts and conceptual change. Both do not use a notion of representation in some pregiven language, such as a language of thought or some logical language. Representation in a formal language only plays a role on the meta-level, namely within the theory about concept formation.A short version of this paper was given at the Fachtagung der Gesellschaft für Kognitionswissenschaft. Freiburg, October 12–15th, 1994.     

人才派遣员工的心理契约管理

人才派遣新型就业用工形式在我国迅速发展,随着人才派遣员工规模不断扩大,人才派遣员工管理逐渐成为理论和实践领域面临的一个现实课题。本文从人才派遣员工心理契约特征分析入手,提出了派遣员工心理契约管理的意义,以及树立新的组织心理契约管理观念、重视派遣员工心理契约的形成管理和过程管理、重视派遣员工心理契约管理的差异化、探索对派遣员工的有效激励模式和规范人才派遣机构的管理行为和用人单位的使用行为等管理思路。     

Boolean considerations on John Buridan's octagons of opposition

This paper studies John Buridan's octagons of opposition for the de re modal propositions and the propositions of unusual construction. Both Buridan himself and the secondary literature have emphasized the strong similarities between these two octagons (as well as a third one, for propositions with oblique terms). In this paper, I argue that the interconnection between both octagons is more subtle than has previously been thought: if we move beyond the Aristotelian relations, and also take Boolean considerations into account, then the strong analogy between Buridan's octagons starts to break down. These differences in Boolean structure can already be discerned within the octagons themselves; on a more abstract level, they lead to these two octagons having different degrees of Boolean complexity (i.e. Boolean closures of different sizes). These results are obtained by means of bitstring analysis, which is one of the key tools from contemporary logical geometry. Finally, I argue that this historical investigation is directly relevant for the theoretical framework of logical geometry, and discuss how it helps us to address certain open questions in this framework.