The Impact of Asymmetric Partial Feedback on Response‐Bias

For many decisions we make, we are more likely to receive feedback about some outcomes than about others, and thus we must operate under conditions of asymmetric partial feedback. In this paper, we examine the effects of asymmetric partial feedback on decision making across three experiments. Experiment 1 examines the effects of four partial feedback schedules on decision making in a single‐attribute auditory detection task. Experiment 2 examines these same schedules in the context of a simulated experiment in which virtual participants perform a multi‐attribute choice task. Experiment 3 then examines effects of one partial feedback schedule representative of a real‐world decision‐making domain (personnel selection) using an ecologically informed multi‐attribute choice task. All three experiments reveal that asymmetric partial feedback primarily impacts on response‐bias, a parameter of signal detection theory. These findings can be explained in terms of decision makers' attempts to maximize accuracy and the fact that shifts in response‐bias will, under partial feedback, produce misleading impressions of greater accuracy. Copyright © 2013 John Wiley & Sons, Ltd.     

Products of modal logics and tensor products of modal algebras

One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. Hasimoto in 2000; however, his paper remained unnoticed until recently. In the present paper we quote some important Hasimoto's results, and reconstruct the product operation in an algebraic setting: the Boolean part of the resulting modal algebra is exactly the tensor product of original algebras (regarded as Boolean rings). Also, we propose a filtration technique for Kripke models based on tensor products and obtain some decidability results.     

Influence of Practice Schedule on Testing Schema Theory Predictions in Adults

Since the publication of Schmidt’s (1975) schema theory of motor learning, numerous studies have assessed the variability of practice hypothesis. Of these, only research using children as subjects has provided consistent results. Findings from adult studies have been equivocal. Two experiments were conducted to assess the possibility that the schedule of variable practice during acquisition may be a clue to this equivocality, since only experiments (using adults as subjects) that have provided random variability of practice conditions have consistently supported the tenets of schema theory. Using a two movement rapid timing task, subjects learned to control their actions under one (constant) or four (variable) parameters, with variable practice conducted under either a blocked or a randomized schedule. Results for variable error and absolute constant error showed that random-variable practice provided strong support for the schema theory prediction, whereas blocked-variable practice provided only relatively weak support. Two contrasting implications of these results are discussed with respect to support versus non-support for Schmidt’s schema theory.     

The Manifest Association Structure of the Single-Factor Model: Insights from Partial Correlations

The association structure between manifest variables arising from the single-factor model is investigated using partial correlations. The additional insights to the practitioner provided by partial correlations for detecting a single-factor model are discussed. The parameter space for the partial correlations is presented, as are the patterns of signs in a matrix containing the partial correlations that are not compatible with a single-factor model.     

Constructive Logic with Strong Negation is a Substructural Logic. I

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL _ew of the substructural logic FL _ew . In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL _ew (namely, a certain variety of FL _ew -algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated theorem-prover Prover9 in order to establish the result. The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL _ew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL _ew . Presented by Heinrich Wansing     

SIMONE WEIL'S SPIRITUAL CRITIQUE OF MODERN SCIENCE: AN HISTORICAL‐CRITICAL ASSESSMENT

Simone Weil is widely recognized today as one of the profound religious thinkers of the twentieth century. Yet while her interpretation of natural science is critical to Weil's overall understanding of religious faith, her writings on science have received little attention compared with her more overtly theological writings. The present essay, which builds on Vance Morgan's Weaving the World: Simone Weil on Science, Necessity, and Love (2005), critically examines Weil's interpretation of the history of science. Weil believed that mathematical science, for the ancient Pythagoreans a mystical expression of the love of God, had in the modern period degenerated into a kind of reification of method that confuses the means of representing nature with nature itself. Beginning with classical (Newtonian) science's representation of nature as a machine, and even more so with the subsequent assimilation of symbolic algebra as the principal language of mathematical physics, modern science according to Weil trades genuine insight into the order of the world for symbolic manipulation yielding mere predictive success and technological domination of nature. I show that Weil's expressed desire to revive a Pythagorean scientific approach, inspired by the “mysterious complicity” in nature between brute necessity and love, must be recast in view of the intrinsically symbolic character of modern mathematical science. I argue further that a genuinely mystical attitude toward nature is nascent within symbolic mathematical science itself.     

Congruences on Dynamic Algebras

The lattice Cong of all dynamic congruences on a given dynamic algebra is presented. Whenever is separable with zero we define dynamic ideal on , given rise to the lattice Ide. The notions of kernel of a dynamic congruence andthe congruence generated by a dynamic ideal are introduced todescribe a Galois connection between Cong and Ide. We study conditions under which a dynamic congruence is determined byits kernel.     

代数应用题项目生成的结构分析方法

自动化项目生成是近年来兴起的测量领域, 是一种以项目认知加工理论为基础的原则性项目设计(principled item design)模式。其中, 如何在项目认知模型基础上, 通过任务结构分析的方式系统全面的鉴别和提取任务特征是一个关键环节。基于已有文献中代数应用题的命题分析法、网络语言分析法、关系-函数分析法、任务分析地图等四种结构分析方法, 研究探索了能够服务于自动化项目生成的代数应用题任务结构分析方法。该分析表明, 前三种方法分别对应于个体解题过程需要形成的三种中介表征, 即问题陈述背后的命题表征、事件时空关系的情境模型、以及变量间数量关系的问题模型, 第四种方法从过程角度分析了问题解决的认知需求。然而, 要实现项目生成的特征提取需求, 尚需对现有四种方法所揭示问题特征的心理现实性、特征提取的系统性和完备性、任务领域的适用范围、以及不同方法的整合等问题开展进一步研究。