Functional reduction and emergence in the physical sciences

Kim’s model of ‘functional reduction’ of properties is shown to fail in a class of cases from physics involving properties at different spatial levels. The diagnosis of this failure leads to a non-reductive account of the relation of micro and macro properties.     

A clausal resolution method for extended computation tree logic ECTL

A temporal clausal resolution method was originally developed for linear time temporal logic and further extended to the branching-time framework of Computation Tree Logic (CTL). In this paper, following our general idea to expand the applicability of this efficient method to more expressive formalisms useful in a variety of applications in computer science and AI requiring branching time logics, we define a clausal resolution technique for Extended Computation Tree Logic (ECTL). The branching-time temporal logic ECTL is strictly more expressive than CTL in allowing fairness operators. The key elements of the resolution method for ECTL, namely the clausal normal form, the concepts of step resolution and a temporal resolution, are introduced and justified with respect to this new framework. Although in developing these components we incorporate many of the techniques defined for CTL, we need novel mechanisms in order to capture fairness together with the limit closure property of the underlying tree models. We accompany our presentation of the relevant techniques by examples of the application of the temporal resolution method. Finally, we provide a correctness argument and consider future work discussing an extension of the method yet further, to the logic CTL^*, the most powerful logic of this class.     

The Dynamics of Argumentative Discourse

Journal of Philosophical Logic - Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with...     

Sensitivity to tonality across the pitch range

Striking changes in sensitivity to tonality across the pitch range are reported. Participants were presented a key-defining context (do-mi-do-sol) followed by one of the 12 chromatic tones of the octave, and rated the goodness of fit of the probe tone to the context. The set of ratings, called the probe-tone profile, was compared to an established standardised profile for the Western tonal hierarchy. The presentation of context and probe tones at low and high pitch registers resulted in significantly reduced sensitivity to tonality. Sensitivity was especially poor for presentations in the lowest octaves where inharmonicity levels were substantially above the threshold for detection. We propose that sensitivity to tonality may be influenced by pitch salience (or a co-varying factor such as exposure to pitch distributional information) as well as suprathreshold inharmonicity.     

Searching for an O in an array of Cs: eye movements track moment-to-moment processing in visual search

We examined how closely the underlying cognitive processing in a visual search task guides eye movements by comparing two different search tasks. In the extended search task, participants searched for an O in eight clusters of Landolt Cs with varying gap widths (four characters per cluster, arranged to look like words in text). In the single-cluster task, participants searched a single cluster (identical to the ones in the extended search). The key manipulation was gap size; although gap orientation for the distractors varied within a cluster, gap size was constant within a cluster but differed in size from cluster to cluster. The principal findings were that (1) gaze durations in the extended search were almost completely a function of the difficulty of the cluster (i.e., the gap size of the Cs) and (2) the effect of gap size on gaze durations in the extended search was very similar to its effect on response times in the single-cluster search. Thus, it appears that eye movements in the search task are determined almost exclusively by the ongoing cognitive processing on that cluster.     

Speciation of Superions from Humans: Is Species Cleansing the Ultimate Form of Terror and Genocide?

Using ideas from evolution, and what is known about higher stages of development, we examine a hypothetical scenario, in which new humanoid species, called Superions, are produced. What would then happen with current humans? Recent genetic engineering advances have led to creating life forms with particular characteristics. Scientists are already genetically engineering human beings. Some changes are to improve health. Engineering of traits such as intelligence, higher stage reasoning or less neuroticism is also very likely. This is seen as the ultimate terrorist act because it is genocide, not against a culture, but against an entire species. The article will also discuss how Homo Sapiens could defend themselves against this. Relating two species (systems), the Homo Sapiens and Superions constitutes metasystematic operations. Developing a system of discourse that would not destroy the Homo-sapiens requires paradigmatic operations (Sonnert and Commons, Individ Soc 4:31–35, 1994).     

Stereotype threat and test performance: A primer for school psychologists

Ethical guidelines require school psychologists to ensure that their assessment practices are nondiscriminatory, but typical discussions on this topic neglect the possible discriminatory effects of cultural stereotypes on assessment results. Recent research on stereotype threat shows that students' knowledge of stereotype-based negative expectations about their test performance can depress their actual test performance. This paper discusses the range of conditions that promote stereotype threat and identifies important moderators and mediators of the phenomenon. Several practical suggestions are offered for school psychologists to consider when interviewing students, interpreting assessment results, and developing programs to increase schoolwide achievement.