On modal μ-calculus with explicit interpolants

This paper deals with the extension of Kozen's μ-calculus with the so-called “existential bisimulation quantifier”. By using this quantifier one can express the uniform interpolant of any formula of the μ-calculus. In this work we provide an explicit form for the uniform interpolant of a disjunctive formula and see that it belongs to the same level of the fixpoint alternation hierarchy of the μ-calculus than the original formula. We show that this result cannot be generalized to the whole logic, because the closure of the third level of the hierarchy under the existential bisimulation quantifier is the whole μ-calculus. However, we prove that the first two levels of the hierarchy are closed. We also provide the μ-logic extended with the bisimulation quantifier with a complete calculus.     

Demonstrating “Reasonable Fear” at Trial: Is it Science or Junk Science?

This paper explores how scientific knowledge is used in a criminal case. I examine materials from an admissibility hearing in a murder trial and discuss the dynamics of contesting expert scientific opinion and evidence. The research finds that a purported form of “science” in the relevant scientific community is filtered through, tested by, and subjected to legal standards, conceptions, and procedures for determining admissibility. The paper details how the opposing lawyers, the expert witness, and the judge vie to contingently work out what will count in court as appropriate scientific authority, methods and evidence, and as a scientifically valid and legally admissible account of “reasonable fear.” When science becomes enmeshed in legal controversies, science does not trump law. Rather, it is the court’s canons of proper procedure and measures of substantive adequacy that take precedence.

Anatomical Specialization of the Anterior Motor Speech Area: Hemispheric Differences in Magnopyramidal Neurons

The lateralization of motor speech function to the left hemisphere is supported by multiple lines of evidence, but relatively little is known about the anatomical basis of that specialization. In a preliminary study, we recently reported that area 45 of the left hemisphere (Broca′s area) contained a subpopulation of magnopyramidal neurons which were significantly larger than any seen in the homotopic region of the right hemisphere (Hayes and Lewis, 1993a). In the present study we examined a larger sample of cases in order to determine how consistently this difference is present in the population, if it is specific to Broca′s area or is a general feature of cortical regions mediating lateralized functions, and whether the subpopulation of large magnopyramidal neurons in left area 45 can be distinguished by their chemical phenotype. In Nissl-stained sections from 19 human brains, the mean (±SD) cross-sectional area of the largest layer III pyramidal neurons in area 45 was significantly (p < .0001) greater in the left hemisphere (522.1 ± 128.3 μm²) than in the right (454.1 ± 121.5 μm²). This interhemispheric difference appeared to be a unique characteristic of the largest neurons, since the mean size of all layer III pyramids in this area was not significantly different in the left (206.2 ± 93.5 μm²) and right (213.3 ± 103.9 μm²) hemispheres. In contrast to area 45, there was no interhemispheric difference in the mean cross-sectional area of the largest layer III pyramids in another lateralized region, primary motor cortex. in addition, in area 46, a region of prefrontal association cortex not known to be functionally lateralized, the mean somal size of the largest layer III pyramidal neurons was significantly (p < .001) smaller in the left hemisphere (402.4 ± 84.9 μm²) than in the right (437.8 ± 88.3 μm²). Finally, although the large layer III pyramids in area 45 were immunoreactive for nonphosphorylated neurofilament protein in both hemispheres, the mean cross-sectional area of the largest labeled neurons was significantly larger (p < .002) in the left hemisphere (525.2 ± 149.0 μm²) than in the right (490.3 ± 154.1 μm²). These findings demonstrate that layer III of Broca′s area contains a distinctive subpopulation of neurons that may play an important role in the specific functional architecture of this region.     

Argumentative Ordering of Utterances for Language Generation in Multi-party Human–Computer Dialogue

In trying to control various aspects concerning utterance production in multi-party human–computer dialogue, argumentative considerations play an important part, particularly in choosing appropriate lexical units so that we fine-tune the degree of persuasion that each utterance has. A preliminary step in this endeavor is the ability to place an ordering relation between semantic forms (that are due to be realized as utterances, by the machine), concerning their persuasion strength, with respect to certain (explicit or implicit) conclusions. Thus, in this article, we propose a mechanism for assessing utterances, in terms of their argumentative force. The framework designed conflates insights from Asher and Lascarides’ SDRT (“Segmented Discourse Representation Theory”), and from Anscombre and Ducrot’s AT (“Argumentation Theory”). These mechanisms are included in a language generation component of a multi-party dialogue system for book reservation applications (i.e., a “virtual librarian”), and thus evaluated via typical human–machine conversations.

Posttraining Electrical Stimulation of Vagal Afferents with Concomitant Vagal Efferent Inactivation Enhances Memory Storage Processes in the Rat

Peripherally administered or released substances that modulate memory storage, but do not freely enter the brain, may produce their effects on memory by activating peripheral receptors that send messages centrally through the vagus nerve. Indeed, vagus nerve stimulation enhances memory performance, although it is unclear whether this effect is due to the activation of vagal afferents or efferents. To eliminate the possible influence of descending fibers on memory storage processes, rats were implanted with cuff electrode/catheter systems along the left cervical vagus. Forty-eight hours following surgery, each animal received a 3.0-μl infusion (1.0 μl/min) of either lidocaine hydrochloride (75.0 mM) or isotonic saline below the point of stimulation. Animals were then trained 10 min later on an inhibitory-avoidance task with a 0.75-mA, 1.0-s foot shock. Sham stimulation or vagus nerve stimulation (0.5-ms biphasic pulses; 20.0 Hz; 30 s; 0.2, 0.4, or 0.8 mA) was administered immediately after training. Memory, tested 24 h later, was enhanced by stimulation whether descending vagus nerve fibers were inactivated or not. Both lidocaine- and saline-infused groups showed an intensity-dependent, inverted-U-shaped pattern of retention performance, with the greatest effect observed for 0.4 mA (U= 9,p< .05, andU= 7,p< .01, respectively). Additionally, animals that received lidocaine infusions, but no vagus nerve stimulation, showed impaired memory compared to the performance of saline-infused control animals (U= 11,p< .05). Together, these findings suggest that vagal afferents carry messages about peripheral states that lead to the modulation of memory storage and that the memory-enhancing effect produced by vagus nerve stimulation is not mediated via the activation of vagal efferents.     

Aristotle's Thesis between paraconsistency and modalization

If the arrow → stands for classical relevant implication, Aristotle's Thesis ¬(A→¬A) is inconsistent with the Law of Simplification (AB)→B accepted by relevantists, but yields an inconsistent non-trivial extension of the system of entailment E. Such paraconsistent extensions of relevant logics have been studied by R. Routley, C. Mortensen and R. Brady. After examining the semantics associated to such systems, it is stressed that there are nonclassical treatments of relevance which do not support Simplification. The paper aims at showing that Aristotle's Thesis may receive a sense if the arrow is defined as strict implication endowed with the proviso that the clauses of the conditional have the same modal status, i.e. the same position in the Aristotelian square. It is so grasped, in different form, the basic idea of relevant logic that the clauses of a true conditional should have something in common. It is proved that thanks to such definition of the arrow Aristotle's Thesis subjoined to the minimal normal system K yields a system equivalent to the deontic system KD.     

Obligatory and optional personal life investments in old and very old age: Validation and functional relations

Personal life investment (PLI) measures motivational energy invested in central life domains. We distinguished between obligatory PLIs, that is, required investments, and optional PLIs, that is, investments that are possible but not necessary. Data from the Berlin Aging Study (N = 516; 70–103 years) were employed to investigate the validity of this distinction. We further explored how both PLI types relate to aging satisfaction and whether associations with validation variables and satisfaction differed depending on resource limitations (poor health). As expected based on conceptual affinities between the distinctions of obligatory-optional PLI and approach-avoidance tendencies, both PLI types showed positive relations with extraversion (a correlate of approach), but only obligatory PLI was positively related to neuroticism (a correlate of avoidance). Optional PLI (not obligatory PLI) was related to higher aging satisfaction, but only in fairly healthy people. This underscores differential functional relations of optional PLI depending on resource availability.

A proposal for genetically modifying the project of “naturalizing” phenomenology

In this paper, we examine Shaun Gallagher’s project of “naturalizing” phenomenology with the cognitive sciences: front-loaded phenomenology (FLP). While we think it is a productive proposal, we argue that Gallagher does not employ genetic phenomenological methods in his execution of FLP. We show that without such methods, FLP’s attempt to locate neurological correlates of conscious experience is not yet adequate. We demonstrate this by analyzing Gallagher’s critique of cognitive neuropsychologist Christopher Frith’s functional explanation of schizophrenic symptoms. In “constraining” Gallagher’s FLP program, we discuss what genetic phenomenological method is and why FLP ought to embrace it. We also indicate what types of structures a genetically modified FLP will consider, and how such an approach would affect the manner in which potential neurological correlates of conscious experience are conceptually understood and experimentally investigated.

Sexist attitudes and authoritarian personality characteristics among Australian adolescents

This paper examines the suggestion that sexism is a central feature of authoritarianism among young people. One hundred seventeen Australian adolescent schoolchildren completed questionnaires containing Phillips' (1979a, Child Study Journal, 9, 21–35) measure of classical authoritarianism for children and balanced measures of two other aspects of authoritarianism, namely, directiveness, modified from Ray (1976, Human Relations, 29, 307–325) and attitude to authority, modified from Rigby and Rump (1981, Journal of Psychology, 109, 109–118). Factor analyses of the results for classical authoritarianism replicated Phillips' earlier finding with younger schoolchildren that eight items identified as reflecting a sexist attitude loaded substantially on a first varimax rotated factor. These eight items constituted a reliable sexism scale (α = .80), which correlated significantly with the remainder of the classical authoritarianism scale, after controlling for the contribution of age (partial r = .30). However, the partial correlations with balanced measures of directiveness and attitude to authority were not significant. These results suggest that sexism may be one aspect of authoritarianism, rather than a central feature.     

Medial prefrontal cortex infusions of bupivacaine or AP-5 block extinction of amphetamine conditioned place preference

The present experiments used reversible lesion techniques and intra-mPFC infusions of the n-methyl d-aspartate (NMDA) receptor antagonist d,l-2-amino-5-phosphonovaleric acid (AP-5) to examine the role of the mPFC in extinction of an amphetamine conditioned place preference (CPP). Following initial training and testing for an amphetamine (2 mg/kg) CPP, adult male Long–Evans rats were given extinction trials that were identical to training, except in the absence of peripheral amphetamine injections. Immediately prior to each extinction trial, rats received intra-mPFC infusions of the anesthetic drug bupivacaine (0.75% solution/0.5 μl), AP-5 (1.25, 2.5, 5.0 μg/0.5 μl), or saline. Following extinction training, rats were given a second CPP test session. Rats receiving intra-mPFC infusions of saline displayed extinction of CPP behavior. In contrast, intra-mPFC infusions of bupivacaine or AP-5 (2.5, 5.0 μg) blocked CPP extinction. The findings indicate (1) the mPFC mediates extinction of approach behavior to drug-associated environmental contexts, and (2) NMDA receptor blockade within the mPFC is sufficient to block extinction of amphetamine CPP behavior.     

Affordances and infant learning: A reply to Horowitz

We reply to three major points made by F. Horowitz (1983, Developmental Review, 3, 405–409) in her commentary on the ecological approach to infant knowing presented by E. Goldfield (1983, Developmental Review, 3, 371–404). We first clarify the relation between perceiving and acting from an ecological perspective, and distinguish between affordances as environmental properties scaled to the perceiver/performer and representations as mental structures. We then present a critique of the process of association offered by Horowitz as an explanation of infant learning. Association fails to specify the constraints on what is learned, while the ecological process of noticing affordances, presented by Goldfield, considers such constraints. We conclude by presenting operational criteria for measuring affordances and evidence that perception is scaled to the perceiver/performer.     

Detecting Design: Fast and Frugal or All Things Considered?

Within the Cognitive Science of Religion, Justin Barrett has proposed that humans possess a hyperactive agency detection device that was selected for in our evolutionary past because ‘over detecting’ (as opposed to ‘under detecting’) the existence of a predator conferred a survival advantage. Within the Intelligent Design debate, William Dembski has proposed the law of small probability, which states that specified events of small probability do not occur by chance. Within the Fine-Tuning debate, John Leslie has asserted a tidiness principle such that, if we can think of a good explanation for some state of affairs, then an explanation is needed for that state of affairs. In this paper I examine similarities between these three proposals and suggest that they can all be explained with reference to the existence of an explanation attribution module in the human mind. The forgoing analysis is considered with reference to a contrast between classical rationality and what Gerd Gigerenzer and others have called ecological rationality.

“Der Weisheits letzter Schluss”? Wisdom’s Last Conclusion?

Unexpected empirical findings lead Schwarz (2009) to question current methodological approaches within psychology. He claims that distribution anomalies, which cannot be explained by independent variables, actually prove an error in classical test theory, which then leads him to criticize current scientific conventionalism. In this commentary, it is shown that the current university system not only uses, but often reproduces conventionalism. It is, of course, necessary to teach certain techniques and tools to future psychologists, but using these critically seem to be essential in preventing scientific approaches turn into ideologies that are or must not be questioned—even if this is sometimes less threatening to one’s identity as a scientist/psychologist. This is true for all sciences, but understanding the bio-psycho-social interdependencies of human nature (ambiguities), as Schwarz describes it, seems to be a particular challenge that is in many ways different from other disciplines. Instead of striving to be like them, it is suggested we establish an ambiguity-accepting and critical environment in psychology in which theories and approaches are not considered final but temporary to foster change and progress.

Is Personality Related to Assessment Center Performance? That Depends on How Old You Are

Despite compelling arguments that performance in the assessment center (AC) should be related to personality, past research has failed to demonstrate a consistent link between personality and AC performance. This study investigated whether managerial candidates’ age could be moderating, and thus obscuring, specific personality–AC performance relations. A large sample of managers (N = 371) participated in an AC and also completed the leadership relevant personality scales of achievement, dominance, and exhibition from the Personality Research Form-E (PRF-E; Jackson, D. N. (1984). Manual for the personality research form. Port Huron, MI: Research Psychologists Press). Consistent with hypotheses, age moderated the relations of dominance and exhibition with AC performance (p < .05), such that dominance and exhibition were more strongly related to AC performance for older as opposed to younger managers. Results were discussed in terms of their implications for the criterion-related and construct validity of ACs.

Subproblem learning: A misnomer

Among other things, K. J. Rust and T. S. Kendler (1987, Developmental Review, 7, 326–362) tested and disconfirmed the Tighes' independent subproblem learning hypothesis experimentally. The Tighes defended themselves by claiming that independent subproblem learning (ISPL) is a label, not a hypothesis and that our tests were invalid. In this reply we showed that ISPL is either an erroneous hypothesis or a misnomer because our tests were valid demonstrations that for young children the so-called “subproblems” are dependent rather than independent.     

International Collaboration as Construction of Knowledge and its Constraints

In this paper I draw on Piaget and Habermas to underline the importance of the theoretical distinction between social relations of constraint and social relations of cooperation for reflecting upon inter-institutional projects. I argue that the socio-cultural approach to collaboration has some important limitations that restrict ideological critic and emancipatory research. The limitations of this approach can be located in its epistemological assumptions, a homogenized notion of culture and a weakness in articulating the intrapersonal, inter-personal, inter-group/positional and social representational/ideological levels of analysis. As an empirical example of this I discuss the Sloan centres for family research.

Nano-ethics as NEST-ethics: Patterns of Moral Argumentation About New and Emerging Science and Technology

There might not be a specific nano-ethics, but there definitely is an ethics of new & emerging science and technology (NEST), with characteristic tropes and patterns of moral argumentation. Ethical discussion in and around nanoscience and technology reflects such NEST-ethics. We offer an inventory of the arguments, and show patterns in their evolution, in arenas full of proponents and opponents. We also show that there are some nano-specific issues: in how size matters, and when agency is delegated to smart devices. Our overall approach is a pragmatist ethics, and we conclude that struggle (and learning) might be more productive than models emphasizing consensus.

Is gerontology a branch of astrology? The role of advanced age in scientific explanation

Although gerontologists have been troubled by meta-scientific problems such as the proper definition of their discipline, the nature of time and age, and the lack of a nonarbitrary distinction between the old and the not old [e.g., Baltes & Goulet (1970) In Life-span developmental psychology (pp. 4–23). New York: Academic Press; Birren (1959) In Handbook of aging and theindividual (pp. 3–42). Chicago, IL: University of Chicago Press; McKee (1982) Philosophical foundations of gerontology. New York: Human Sciences Press; Reese & Overton (1970) In Life-span developmental psychology (pp. 116–149). New York: Academic Press; Wohlwill (1970) Psychological Review, 77, 49–647], philosophers of science have paid little attention to the meta-scientific problems of gerontology. In this paper some philosophical problems in gerontology are examined through an analysis of the nature of scientific explanation. An argument is presented that claims that gerontology avoids many of the meta-scientific problems associated with time and advanced chronological age because these terms will tend to be obviated or “screened off” in scientific explanations in gerontology.     

Shanahan on Symbolization

In his article ‘A New View of Language, Emotion and the Brain,’ Dan Shanahan claims that the post-war Cognitive Turn focused mainly on information processing and that little attention was paid to the dramatic role played by emotion in human cognition. One key argument in his defence of a more comprehensive view of human cognition rests upon the idea that the process of symbolization—a unique capacity only developed by humans—combines, right from the start, information processing and feelings. The author argues that any theory ignoring this fact would miss the whole point, just as mainstream cognitive science has done since Noam Chomsky published Syntactic Structures, exactly 50 years ago.