Consolidation,wider reflection,and policy: Response to ‘Super‐recognisers: From the lab to the world and back again’

Here, David Robertson and Markus Bindemann respond to a recent BJP Target Article on ‘super‐recognisers’ (SRs). They outline the need to consider human factors that could influence SR performance after selection and the need for a co‐ordinated effort to ensure best practice in the implementation of SRs in applied contexts.     

THE SUPERNATURAL AS LANGUAGE GAME

Abstract. For many in the Anglo‐American tradition of language analysis, Ludwig Wittgenstein, the great progenitor of twentieth‐century philosophy of language, showed conclusively that theological terms lack any referent in reality and therefore represent a discourse that can do no more than manifest the existential attitudes that speakers take toward reality as a whole. To think that such terms represent more is to be bewitched by the use of language. Is it possible, however, that theological language references a fundamental human drive? In this article I reexamine the dyad of nature and supernature from the perspective of Wittgenstein's philosophy. Perhaps surprisingly, Wittgenstein's thought on the subject offers much more than his famous, terse aphorism at the conclusion of his first masterwork, the Tractatus Logico‐Philosophicus ([1921] 1961, 74, §7): “What we cannot speak about we must pass over in silence.” Furthermore, the basic Tractarian drive to determine the relationship between language and reality, which is redirected but not extinguished in Wittgenstein's second, divergent, opus, the Philosophical Investigations ([1953] 1967), may be the place for a renewed examination of what the supernatural means in human discourse. Does talk of God give expression to the fundamental transcendence of human knowledge? Is it a language game we can eschew?     

HOW ACTS OF DISCOVERY TRANSFORM OUR TACIT KNOWING POWERS IN BOTH SCIENTIFIC AND RELIGIOUS INQUIRY

Abstract. In this essay I take Michael Polanyi's analysis of scientific discovery and extend it to encompass fresh encounters with the living God. Given the embodied character of all human knowing, Polanyi challenged objectivism and positivism as untenable. In its place, Polanyi noted that the tacit skills established when a physicist learns to detect radio waves has its counterpart in a Christian's being trained to find God. Once trained, stubborn organismic habits constrain both physicist and believer within a socially approved heuristic circle that can be broken only by the act of discovery. The puzzlement that erupts at the onset of an inquiry ultimately finds relief only in an expanded encounter with the realities that one has been trained to serve. Thus, the act of discovery not only serves to disrupt the tradition as it has been received but also reveals that the realities being served make themselves known in novel ways. The lifelong pursuit of God and the lifelong pursuit of novel manifestations of radio waves thus share a common epistemological and phenomenological underpinning.     

关于小学儿童算术策略的理论及研究

关于儿童算术策略的研究一直是国内外心理学家关心的热点．围绕着儿童算术认知策略的发现、选择和运行机制,心理学家提出了表征翻译理论和竞争淡判理论．同时心理学家还提出了几种算术认知策略的理论模型。进行儿童算术认知策略研究的经典方法主要是精密时计法和口语报告法,采用的研究任务范式主要是产生式任务和验证式任务。题目结构类型、工作记忆广度和数位概念等因素影响儿童算术策略的使用。近几年,有关小学儿童算术认知策略的研究得到了长足发展。     

Mental simulation of four visual object properties: similarities and differences as assessed by the sentence–picture verification task

In the sentence–picture verification (SPV) task, people read sentences implying the shape/size/colour/orientation of objects. They then verify whether pictured objects, which either match or mismatch the implied visual information mentioned in the sentence. Faster verification times on matching trials (match advantage) are considered supportive to the notion that readers perform mental simulations during sentence comprehension. This study advances this work by applying a within-subjects design to the SPV-task, enabling us to directly address the strength of and correlation between the match advantages for the properties shape, size, colour, and orientation. Results showed varying match advantages with colour showing the strongest effect, and no match advantage for orientation. Shape, size, and colour were significantly correlated, whereas there were no significant correlations with orientation. These findings suggest that interpretations of match advantages could benefit from a re-evaluation of mental simulation accountsby distinguishing between intrinsic (shape, size, and colour) and extrinsic (orientation) object properties.     

汉字模糊度、字频和语义启动在N400上的交互作用：N400的IA模型的证据

通过两个实验, 采用事件相关电位技术, 记录大学生被试在同一字判断任务中的脑电波形。两个实验涉及三个因素, 包括模糊度、字频和语义, 语义和字频为被试内设计, 以启动字-靶字(模糊)-探测字的呈现序列为一个测试(trial), 要求被试判断靶字和探测字是否是同一个字。两个实验除了靶字的模糊度不同外, 其他材料完全相同。结果发现, 实验1字频和语义启动间存在交互作用, 其中低频条件下无语义启动比语义启动的N400波幅更偏负, 高频条件则无这种差异; 实验2中只存在语义启动效应, 字频与语义启动间不存在交互作用; 综合两个实验的ERP结果, 模糊度、字频和语义启动三者间存在交互作用, 且高频而非低频条件下模糊度与语义间也有交互作用, 无启动条件下字频和模糊度间也存在交互作用。本研究因此支持N400的IA模型(交互激活模型), 不支持核证模型和词汇后加工理论。     

Language-guided visual processing affects reasoning: The role of referential and spatial anchoring

Language is more than a source of information for accessing higher-order conceptual knowledge. Indeed, language may determine how people perceive and interpret visual stimuli. Visual processing in linguistic contexts, for instance, mirrors language processing and happens incrementally, rather than through variously-oriented fixations over a particular scene. The consequences of this atypical visual processing are yet to be determined. Here, we investigated the integration of visual and linguistic input during a reasoning task. Participants listened to sentences containing conjunctions or disjunctions (Nancy examined an ant and/or a cloud) and looked at visual scenes containing two pictures that either matched or mismatched the nouns. Degree of match between nouns and pictures (referential anchoring) and between their expected and actual spatial positions (spatial anchoring) affected fixations as well as judgments. We conclude that language induces incremental processing of visual scenes, which in turn becomes susceptible to reasoning errors during the language-meaning verification process.     

A multiple-valued logic approach to the design and verification of hardware circuits

We present a novel approach, which is based on multiple-valued logic (MVL), to the verification and analysis of digital hardware designs, which extends the common ternary or quaternary approaches for simulations. The simulations which are performed in the more informative MVL setting reveal details which are either invisible or harder to detect through binary or ternary simulations. In equivalence verification, detecting different behavior under MVL simulations may lead to the discovery of a genuine binary non-equivalence or to a qualitative gap between two designs. The value of a variable in a simulation may hold information about its degree of truth and its “place of birth” and “date of birth”. Applications include equivalence verification, initialization, assertions generation and verification, partial control on the flow of data by prioritizing and block-oriented simulations. Much of the paper is devoted to theoretical aspects behind the MVL approach, including the reason for choosing a specific algebra for computations and the introduction of the notions of De Morgan Canonical Form and of verification complexity of Boolean expressions. Two basic simulation-based algorithms are presented, one for satisfying and verifying combinational designs and the other for equivalence verification of sequential designs.     

Speaker identification using multi-modal i-vector approach for varying length speech in voice interactive systems

The development in the interface of smart devices has lead to voice interactive systems. An additional step in this direction is to enable the devices to recognize the speaker. But this is a challenging task because the interaction involves short duration speech utterances. The traditional Gaussian mixture models (GMM) based systems have achieved satisfactory results for speaker recognition only when the speech lengths are sufficiently long. The current state-of-the-art method utilizes i-vector based approach using a GMM based universal background model (GMM-UBM). It prepares an i-vector speaker model from a speaker’s enrollment data and uses it to recognize any new test speech. In this work, we propose a multi-model i-vector system for short speech lengths. We use an open database THUYG-20 for the analysis and development of short speech speaker verification and identification system. By using an optimum set of mel-frequency cepstrum coefficients (MFCC) based features we are able to achieve an equal error rate (EER) of 3.21% as compared to the previous benchmark score of EER 4.01% on the THUYG-20 database. Experiments are conducted for speech lengths as short as 0.25 s and the results are presented. The proposed method shows improvement as compared to the current i-vector based approach for shorter speech lengths. We are able to achieve improvement of around 28% even for 0.25 s speech samples. We also prepared and tested the proposed approach on our own database with 2500 speech recordings in English language consisting of actual short speech commands used in any voice interactive system.