Artificial grammar learning (AGL) is used to study how human adults, infants, animals or machines learn various sorts of rules defined over sounds or visual items. Ten Cate et al. introduce the topic and provide a critical synthesis of this important interdisciplinary area of research. They identify the questions that remain open and the challenges that lie ahead, and argue that the limits of human, animal and machine learning abilities have yet to be found.

Mueller et al. discuss the role of acoustic cues in detecting language structure more generally. Across languages, there are clear links between acoustic cues and syntactic structure. They show that AGL experiments implementing analogous links demonstrate that prosodic cues, as well as various auditory biases, facilitate the learning of structural rules. Some of these biases, e.g. for auditory grouping, are also present in other species.

Human language is a salient example of a neurocognitive system that is specialized to process complex dependencies between sensory events distributed in time, yet how this system evolved and specialized remains unclear. Artificial Grammar Learning (AGL) studies have generated a wealth of insights into how human adults and infants process different types of sequencing dependencies of varying complexity. The AGL paradigm has also been adopted to examine the sequence processing abilities of nonhuman animals. We critically evaluate this growing literature in (...) species ranging from mammals (primates and rats) to birds (pigeons, songbirds, and parrots) considering also cross‐species comparisons. The findings are contrasted with seminal studies in human infants that motivated the work in nonhuman animals. This synopsis identifies advances in knowledge and where uncertainty remains regarding the various strategies that nonhuman animals can adopt for processing sequencing dependencies. The paucity of evidence in the few species studied to date and the need for follow‐up experiments indicate that we do not yet understand the limits of animal sequence processing capacities and thereby the evolutionary pattern. This vibrant, yet still budding, field of research carries substantial promise for advancing knowledge on animal abilities, cognitive substrates, and language evolution. (shrink)

Several extensions of the basic modal language are characterized in terms of interpolation. Our main results are of the following form: Language ℒ' is the least expressive extension of ℒ with interpolation. For instance, let ℳ be the extension of the basic modal language with a difference operator [7]. First-order logic is the least expressive extension of ℳ with interpolation. These characterizations are subsequently used to derive new results about hybrid logic, relation algebra and the guarded fragment.

Teachers´ attitudes toward their students have been associated with differential teachers´ expectations and, in turn, with students´ educational pathways. Theories of social cognition can explain the link between attitudes and behavior. In this regard, the distinction between implicit and explicit attitudes is worth to be considered, whereby implicit attitudes are automatically activated when the attitude object is present and guide automatic behavior. In contrast, explicit attitudes infer deliberation and reflection, hence affecting controlled behavior. As teachers often are required to act (...) immediately in situations that do not allow for thoughtful reflection due to time restraints, teachers´ implicit attitudes concerning different student groups with shared characteristics, such as gender or ethnicity, may be especially important when considering teachers´ behavior in relation to students´ educational pathways. This notion is reflected by an increased interest in adopting implicit methodology in the educational domain. Over the last 10 years, several studies have been conducted in different countries, involving in- and preservice teachers and investigating their attitudes toward different student groups. Estimates of effects have varied and may be affected by sampling bias. To systematically review and integrate data from different studies, this meta-analysis focuses on teachers´ implicit attitudes. Following the systematic search of the database and initial screening, 43 articles were identified from which 22, describing 34 studies, were retained for the meta-analysis after further inspection. First analyses revealed an estimated average effect size of 0.56 for implicit attitudes in favor of non-marginalized groups. As there was a large extent of heterogeneity between studies, several moderator variables, were investigated. Results showed that the employed implicit measure and stimulus materials as well as the student target group affected the effect sizes. Low or non-significant relationships were reported between implicit and explicit attitudes. Findings are discussed in terms of theory and future research. (shrink)

In this paper we study the expressive power and definability for modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt–Thomason definability theorem in terms of the well-established first-order topological language.

We consider second-order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem–Rosen theorem and the Goldblatt Thomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of SOPML, and we characterize the bounded fragment of first-order logic as being the intersection of first-order logic and SOPML.

We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.

This paper provides several examples of how modal logic can be used in studying the XML document navigation language XPath. More specifically, we derive complete axiomatizations, computational complexity and expressive power results for XPath fragments from known results for corresponding logics. A secondary aim of the paper is to introduce XPath in a way that makes it accessible to an audience of modal logicians.

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a (...) wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this requires the use of non-orthodox rules. We discuss these rules in detail and prove non-eliminability and eliminability results. We also show how another type of rule, which reflects the structure of the strong Priorean language, can be employed to give an even wider coverage of frame classes. We show that this deductive apparatus gets progressively simpler as we work our way up the expressivity hierarchy, and conclude the paper by showing that the approach transfers to first-order hybrid logic. (shrink)

Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.

Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.

This paper provides several examples of how modal logic can be used in studying the XML document navigation language XPath. More specifically, we derive complete axiomatizations, computational complexity and expressive power results for XPath fragments from known results for corresponding logics. A secondary aim of the paper is to introduce XPath in a way that makes it accessible to an audience of modal logicians.

The implementation of inclusive policies is largely dependent on teachers´ willingness to accommodate students with special educational needs (SEN) in mainstream classrooms, which is affected by their perceived competence and attitudes. This study investigated attitudes of pre- and in-service teachers toward students with two types of SEN: challenging behavior and learning difficulties. The three components of attitude (affective, cognitive, and behavioral) were assessed using indirect and direct measures. Results revealed that teachers held negative implicit attitudes toward challenging behavior and learning (...) difficulties, however implicit attitudes did not vary as a function of the type of SEN. Ratings of the stereotypical dimensions warmth and competence and overall ratings of scholastic achievement were affected by professional status and type of SEN. Professional status, implicit attitudes and stereotypical knowledge together explained 52 and 43% of the variance in teachers´ ratings of academic proficiency for students with challenging behavior and learning difficulties, respectively. Results are interpreted within the theoretical framework and implications for teacher training are discussed. (shrink)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia. The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation.

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.

Background Genuine uncertainty on superiority of one intervention over the other is called equipoise. Physician-investigators in randomized controlled trials need equipoise at least in studies with more than minimal risks. Ideally, this equipoise is also present in patient-participants. In pediatrics, data on equipoise are lacking. We hypothesize that 1) lack of equipoise at enrolment among parents may reduce recruitment; 2) lack of equipoise during participation may reduce retention in patients assigned to a less favoured treatment-strategy. Methods We compared preferences of (...) parents/patients at enrolment, documented by a questionnaire, with preferences developed during follow-up by an interview-study to investigate equipoise of child-participants and parents in the BeSt-for-Kids-study. This trial in new-onset Juvenile Idiopathic Arthritis-patients consists of three strategies. One strategy comprises initial treatment with a biological disease-modifying-antirheumatic-drug, currently not standard-of-care. Semi-structured interviews were conducted with 23 parents and 7 patients, median 11 months after enrolment. Results Initially most parents and children were not in equipoise. Parents/patients who refused participation, regularly declined due to specific preferences. Many participating families preferred the biological-first-strategy. They participated to have a chance for this initial treatment, and would even consider stopping trial-participation when not randomized for it. Their conviction of superiority of the biological-first strategy was based on knowledge from internet and close relations. According to four parents, the physician-investigator preferred the biological-first-strategy, but the majority stated that she had no preferred strategy. In phase 2, preferences tended to change to the treatment actually received. Conclusions Lack of equipoise during enrolment did not reduce study recruitment, mainly due to the fact that preferred treatment was only available within the study. Still, when developing a trial it is important to evaluate whether the physicians’ research question is in line with preferences of the patient-group. By exploring so-called ‘informed patient-group’-equipoise, successful recruitment may be enhanced and bias avoided. In our study, lack of equipoise during trial-participation did not reduce retention in those assigned to a less favoured option. We observed a change for preference towards treatment actually received, possibly explained by comparable outcomes in all three arms. (shrink)

The human blood coagulation system comprises a series of linked glycoproteins that upon activation induce the generation of downstream enzymes ultimately forming fibrin. This process is primarily important to arrest bleeding (hemostasis). Hemostasis is a typical example of a molecular machine, where the assembly of substrates, enzymes, protein cofactors and calcium ions on a phospholipid surface markedly accelerates the rate of coagulation. Excess, pathological, coagulation activity occurs in “thrombosis”, the formation of an intravascular clot, which in the most dramatic form (...) precipitates in the microvasculature as disseminated intravascular coagulation. Thrombosis occurs according to a biochemical machine model in the case of atherothrombosis on a ruptured atherosclerotic plaque, but may develop at a slower rate in venous thrombosis, illustrating that the coagulation machinery can act at different velocities. The separate coagulation enzymes are also important in other biological processes, including inflammation for which the rapid conversion of one coagulation factor by the other is not a prerequisite. The latter role of coagulation enzymes may be related to the old and probably maintained function of the coagulation machine in innate immunity. BioEssays 25:1220–1228, 2003. © 2003 Wiley Perioicals, Inc. (shrink)

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.

We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In this (...) article we study the model theory of GNFO formulas. Our results include effective preservation theorems for GNFO, effective Craig Interpolation and Beth Definability results, and the ability to express the certain answers of queries with respect to a large class of GNFO sentences within very restricted logics. (shrink)

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion ${\bf S4}\oplus {\bf S4}$ . We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies. We prove that both of these logics are complete for the product of rational numbers ${\Bbb Q}\times {\Bbb Q}$ (...) with the appropriate topologies. (shrink)

Sumner B. (Barney) Twiss, who died in 2023, was for ten years a General Editor of the Journal of Religious Ethics (JRE). He was a frequent contributor of articles, a member of the JRE Editorial Board, and a member of the journal's Board of Trustees. In this article, colleagues and students reflect on some of his many contributions, not only to the JRE but to the broader discursive fields of comparative religious ethics and human rights.

Scholars have long been captivated by the parallels between birdsong and human speech and language. In this book, leading scholars draw on the latest research to explore what birdsong can tell us about the biology of human speech and language and the consequences for evolutionary biology. They examine the cognitive and neural similarities between birdsong learning and speech and language acquisition, considering vocal imitation, auditory learning, an early vocalization phase, the structural properties of birdsong and human language, and the striking (...) similarities between the neural organization of learning and vocal production in birdsong and human speech. After outlining the basic issues involved in the study of both language and evolution, the contributors compare birdsong and language in terms of acquisition, recursion, and core structural properties, and then examine the neurobiology of song and speech, genomic factors, and the emergence and evolution of language. Contributors: Hermann Ackermann, Gabriël J.L. Beckers, Robert C. Berwick, Johan J. Bolhuis, Noam Chomsky, Frank Eisner, Martin Everaert, Michale S. Fee, Olga Fehér, Simon E. Fisher, W. Tecumseh Fitch, Jonathan B. Fritz, Sharon M.H. Gobes, Riny Huijbregts, Eric Jarvis, Robert Lachlan, Ann Law, Michael A. Long, Gary F. Marcus, Carolyn McGettigan, Daniel Mietchen, Richard Mooney, Sanne Moorman, Kazuo Okanoya, Christophe Pallier, Irene M. Pepperberg, Jonathan F. Prather, Franck Ramus, Eric Reuland, Constance Scharff, Sophie K. Scott, Neil Smith, Ofer Tchernichovski, Carel ten Cate, Christopher K. Thompson, Frank Wijnen, Moira Yip, Wolfram Ziegler, Willem Zuidema. (shrink)

ABSTRACT This paper offers an account of institutional testimonial justice and describes one way that it breaks down, which we call institutional opacity. An institution is opaque when it becomes resistant to epistemic evaluation and understanding by its agents and users. When one cannot understand the inner workings of an institution, it becomes difficult to know how to comport oneself testimonially. We offer an account of an institutional ethos to explain what it means for an institution to be testimonially just; (...) we then describe how an ethos of institutional testimonial justice can break down when the institution becomes opaque. An opaque institution is especially problematic for individuals and groups already rendered epistemically vulnerable during their interactions with that institution, which we call epistemically vulnerabilised individuals. We articulate the features of an encounter between an epistemically vulnerabilised individual and an opaque institution. We end by tracing ameliorative strategies that could help repair a deteriorated institutional ethos of testimonial justice. (shrink)

What is the relationship between phenomenology and naturalism? Are they mutually exclusive or is a rapprochement possible between their approaches to consciousness and the natural world? Can phenomenology be naturalised and ought it to be? Or is naturalism fundamentally unable to accommodate phenomenological insights? How can phenomenological method be used within a naturalistic research programme? This cutting-edge collection of original essays contains brilliant contributions from leading phenomenologists across the world. The collection presents a wide range of fascinating and carefully argued (...) answers to these questions. (shrink)

Health research initiatives worldwide are growing in scope and complexity, particularly as they move into the developing world. Expanding health research activity in low- and middle-income countries has resulted in a commensurate rise in the need for sound ethical review structures and functions in the form of Research Ethics Committees (RECs). Yet these seem to be lagging behind as a result of the enormous challenges facing these countries, including poor resource availability and lack of capacity. There is thus an urgent (...) need for ongoing capacity and resource development in these regions in general, and in Africa in particular. Similarly, there is a need for research and initiatives that can identify existing capacity and funding and indicate the areas where this needs to be developed.This discussion paper argues that the Mapping African Research Ethics Capacity (MARC) project is a timely initiative aimed at identifying existing capacity. MARC provides a platform and tool on the Council on Health Research for Development's (COHRED) Health Research website (HRWeb), which can be used by RECs and key stakeholders in health research in Africa to identify capacity, constraints and development needs. MARC intends to provide the first comprehensive interactive database of RECs in Africa, which will allow for the identification of key relationships and analyses of capacity. The potential of MARC lies in the mapping of current ethical review activity onto capacity needs. This paper serves as a starting point by providing a descriptive illustration of the current state of RECs in Africa. (shrink)

The paper constitutes an exploration of the construction of academic identities through a retrospective autoethnographic narrative analysis. In what is an essentially experimental mode I set out to examine processes of identification, and in particular, the understanding of desire that lies at the heart of them, for, it can be argued without desire there is no identity. Therefore, I begin my analysis by following two lines of thought concerning desire. The first, drawing on the work of Lacan, conceives of desire (...) negatively as lack (Fink 1995; Lacan 2001). The second deriving from the work of Deleuze and Guattari (2004/1987, 2004/1972) constructs desire as abundance, a positive force. These two conceptualisations may, at first sight, appear to be opposed but is this necessarily the case? The question to be examined then is, to what extent can these two conceptualisations of desire – as lack and as abundance - be held to be incommensurable? And following this, can an unstable accommodation between desire as lack and desire as abundance be drawn on in theorising processes of identification and the subjectivities that these processes give rise to? If identification is always (already?) an inherently unstable process, located within a space, which I shall designate a narrative space, how does a mobilisation of desire which moves between lack and abundance enable a creative and experimental conceptualisation of processes of identification to emerge? (shrink)

The forensic use of Deoxyribonucleic Acid (DNA) is demonstrating significant success as a crime-solving tool. However, numerous concerns have been raised regarding the potential for DNA use to contravene cultural, ethical, and legal codes. In this article the expectations and level of knowledge of the New Zealand public of the DNA data-bank and the surrounding processes are discussed. A questionnaire was developed in consultation with key stakeholders, comprising a combination of open and closed questions. The ensuing survey comprised a sample (...) of 100 participants. Although participants initially appeared in favor of the forensic use of DNA, particularly in regard to the collection of DNA from sex offenders, perceptions and attitudes were based on limited knowledge of processes, policies, and implications. Upon further discussion and reflection a number of concerns were raised, such as ownership of DNA samples and the potential for misuse. (shrink)

The forensic use of DNA involves the public in a number of roles. The rapid adoption of DNA identification as a part of the legal system and continuing developments have afforded little opportunity to thoroughly interrogate public understandings of issues. This article reports on a survey that explores public understanding of the forensic use of DNA: sources of knowledge, understandings of processes, and attitudes toward DNA use. Overall, knowledge about DNA use was limited, particularly around means of taking samples and (...) storage, and two thirds stated that they did not have enough information about DNA use. While the majority agreed that such use of DNA is “a great step forward,” they “would be happy to give a DNA sample if requested,” and considered DNA evidence to be important, concern was indicated about some areas, such as possible mistakes. This was particularly the case for indigenous peoples. (shrink)

Epistemic injustice is a harm done to a person in their capacity as an epistemic subject by undermining her capacity to engage in epistemic practices such as giving knowledge to others or making sense of one’s experiences. It has been argued that those who suffer from medical conditions are more vulnerable to epistemic injustice than the healthy. This paper claims that people with mental disorders are even more vulnerable to epistemic injustice than those with somatic illnesses. Two kinds of contributory (...) factors for epistemic injustice in psychiatric patients are outlined: global and specific. Some suggestions are made to counteract the effects of these contributory factors, for instance we suggest that physicians should participate in groups where the subjective experience of patients is explored, and learn to become more aware of their own unconscious prejudices towards psychiatric patients. (shrink)