Evidence for separate tonal and segmental tiers in the lexical specification of words: a case study of a brain-damaged Chinese speaker

We present an acoustic study of segmental and prosodic properties of words produced by a female speaker of Chinese with left-hemisphere brain damage. We measured the location of the point vowels /a, e, [Symbol: see text], i, y, o, u/ and determined their separation in the vowel plane, and their perceptual distinctivity. Similarly, the acoustic properties of the four lexical tones were measured in the F0 x time space. The data for our brain-damaged speaker were compared with those of a healthy control speaker. Results show that the patient's vowels hardly suffered from her lesion (relative to the vowel dispersion in the healthy control speaker), but that the identifiability of the four lexical tones was greatly compromised. These findings show that the tonal errors in aphasic speech behave independently of the segmental errors, even though both serve to maintain lexical contrasts in Chinese, and are therefore part of the lexical specification of Chinese words. The present study suggests that the specification of segmental and tonal aspects of lexical entries in Chinese, and in tone languages in general, are located or processed separately in the brain.     

Semiparametric Thurstonian Models for Recurrent Choices: A Bayesian Analysis

We develop semiparametric Bayesian Thurstonian models for analyzing repeated choice decisions involving multinomial, multivariate binary or multivariate ordinal data. Our modeling framework has multiple components that together yield considerable flexibility in modeling preference utilities, cross-sectional heterogeneity and parameter-driven dynamics. Each component of our model is specified semiparametrically using Dirichlet process (DP) priors. The utility (latent variable) component of our model allows the alternative-specific utility errors to semiparametrically deviate from a normal distribution. This generates a robust alternative to popular Thurstonian specifications that are based on underlying normally distributed latent variables. Our second component focuses on flexibly modeling cross-sectional heterogeneity. The semiparametric specification allows the heterogeneity distribution to mimic either a finite mixture distribution or a continuous distribution such as the normal, whichever is supported by the data. Thus, special features such as multimodality can be readily incorporated without the need to overtly search for the best heterogeneity specification across a series of models. Finally, we allow for parameter-driven dynamics using a semiparametric state-space approach. This specification adds to the literature on robust Kalman filters. The resulting framework is very general and integrates divergent strands of the literatures on flexible choice models, Bayesian nonparametrics and robust time series specifications. Given this generality, we show how several existing Thurstonian models can be obtained as special forms of our model. We describe Markov chain Monte Carlo methods for the inference of model parameters, report results from two simulation studies and apply the model to consumer choice data from a frequently purchased product category. The results from our simulations and application highlight the benefits of using our semiparametric approach.     

Scrutinizing application: An agenda for applied developmental psychology

This paper dissects two views of application. The first is associated with an ontogenetic, general skills perspective which assumes that applications involve bringing to bear general concepts and principles on practical problems, deviant populations and the match between developing individuals and the environment they inhabit and use. However, that ontogenetic view and its associated applications may be flawed. A second functionalist view of application is described which suggests a need to examine the meaning of application and the contexts where applications are appropriate. Two questions might profitably be evaluated simultaneously: How does the developing individual gain access to relevant competencies and adapt them to new circumstances?, and How does the developmentalist decide what is relevant and usable for practice? A particular developmental curriculum fitting these views is described.     

Processing Dutch sentence structures

This paper summarizes existing research on syntactic processing of Dutch sentences by adult native speakers of the language, with an eye to the implications of this work for a general theory of the human sentence processing mechanism (HSPM). The principles underlying the assignment of phrase structure and the binding of traces seem to be the same as those proposed for languages like English or Italian. For example, no delays of analysis exist in parsing the constituents of a phrase even if the phrase is head-final. Also, the obligatory topicalization of a constituent which is required in the highest clause of a Dutch sentence does not appear to result in trace postulation principles distinct from those operative in languages where topicalization is optional. The studies reviewed also address questions concerning the complexity of the dependency between a moved constituent and its trace as measured by the length of a path vs. the length of a chain, the processing of subject gaps following an overt complementizer, the complexity of interpreting an adjunct moved from an obligatory position, and the processing of discontinuous words. Though the studies do not pose a problem for pre-existing views of the HSPM, they do highlight certain areas of parsing theory which remain seriously underdeveloped. Foremost, perhaps, is the specification of the principles governing the architecture of the processing system, which ultimately should explain how the organization of the HSPM and its subcomponents results from acquiring the grammar of any particular language.The research reported here was supported by the Max Planck Institute for Psycholin-guistics and by NIH Research Grant HD-18708 to Charles Clifton and Lyn Frazier.     

APCOL: A programming system for computer-controlled psychology laboratories

The development of on-line computer systems can be facilitated by higher-level programming languages that are more powerful and easier to learn than machine-level Assembly languages. In general, it is not possible to speak ofa programming language without also describing the operating system and functional problem domain of the small computer system for which it is intended. This is because of the great variety in the architecture and configuration of small computers. However, it is possible to state more general requirements and design criteria for on-line computer languages in psychology. APCOL is an example of an integrated programming system. One of the important distinguishing features of the system is that it is implemented both on the small-scale laboratory computer and on a large general-purpose computer linked to the smaller machine via a high-speed communications network. This arrangement permits firsthand access to interactive program construction with immediate test of program function by using the on-line implementation as well as access to the text-editing and mass storage facilities of the large-scale machine.     

Defining behavior-environment interactions: translating and developing an experimental and applied behavior-analytic vocabulary in and to the national language

Verbal behavior, as in the use of terms, is an important part of scientific activity in general and behavior analysis in particular. Many glossaries and dictionaries of behavior analysis have been published in English, but few in any other language. Here we review the area of behavior analytic terminology, its translations, and development in languages other than English. As an example, we use our own mother tongue, Finnish, which provides a suitable example of the process of translation and development of behavior analytic terminology, because it differs from Indo-European languages and entails specific advantages and challenges in the translation process. We have published three editions of a general dictionary of behavior analysis including 801 terms relevant to the experimental analysis of behavior and applied behavior analysis and one edition of a dictionary of applied and clinical behavior analysis containing 280 terms. Because this work has been important to us, we hope this review will encourage similar work by behavior analysts in other countries whose native language is not English. Behavior analysis as an advanced science deserves widespread international dissemination and proper translations are essential to that goal.     

Evolutionary Explanations of Indicatives and Imperatives

Recently there has been some interest in studying the explanation of meaning by using signaling games. I shall argue that the meaning of signals in signaling games remains sufficiently unclear to motivate further investigation. In particular, the possibility of distinguishing imperatives and indicatives at a fundamental level will be explored. Thereby I am trying to preserve the generality of the signaling games framework while bringing it closer to human languages. A number of convergence results for the evolutionary dynamics of our models will be proved.     

Words with and without internal structure: what determines the nature of orthographic and morphological processing?

Recent studies suggest that basic effects which are markers of visual word recognition in Indo-European languages cannot be obtained in Hebrew or in Arabic. Although Hebrew has an alphabetic writing system, just like English, French, or Spanish, a series of studies consistently suggested that simple form-orthographic priming, or letter-transposition priming are not found in Hebrew. In four experiments, we tested the hypothesis that this is due to the fact that Semitic words have an underlying structure that constrains the possible alignment of phonemes and their respective letters. The experiments contrasted typical Semitic words which are root-derived, with Hebrew words of non-Semitic origin, which are morphologically simple and resemble base-words in European languages. Using RSVP, TL priming, and form-priming manipulations, we show that Hebrew readers process Hebrew words which are morphologically simple similar to the way they process English words. These words indeed reveal the typical form-priming and TL priming effects reported in European languages. In contrast, words with internal structure are processed differently, and require a different code for lexical access. We discuss the implications of these findings for current models of visual word recognition.     

The Role of Notation and Knowledge Representation in the Determination of Programming Strategy: A Framework for Integrating Models of Programming Behavior

A number of accounts of expert programming behavior have been advanced. These models of the programming activity have served to highlight the range of factors that are thought to underpin programming strategy. However, such accounts have tended to emphasize either the effects of the organization of the programmer's knowledge representation or the role played by features of the notation of the task language on the emergence, development, and support of particular forms of strategy. Such work has neglected to (a) provide an account of the way in which these factors might interact to determine programming strategy, and (b) shed light upon the nature of the development of particular strategies as programming skill increases. This article presents the results of an empirical analysis of the strategies employed by programmers of varying skill levels using different programming languages. The development of particular forms of strategy is hypothesized to be related both to the development of systematic asymmetries in programmers' generic plan-based representations of programming knowledge and to the way in which features of the notation of particular programming languages might differentially support particular strategies. However, the results of the study reported here suggest that these effects must be interpreted within a broad developmental context. Hence, as programming skill develops, it appears that the notation of the task language tends to take precedence as a determinant of strategy, but has less relevance at beginning stages of skill development and within the context of expert performance. This finding would not be predicted by current models of the programming activity because such models suggest that any notational effects will tend to be consistent regardless of the skill level attained by the programmer. This article endeavors to extend current models of programming by emphasizing the need to consider in detail not only the development of programming strategy, but also the way in which knowledge representation and features of the task langauge interact to give rise to particular forms of programming behavior.     

Lexical organization and competition in first and second languages: computational and neural mechanisms

How does a child rapidly acquire and develop a structured mental organization for the vast number of words in the first years of life? How does a bilingual individual deal with the even more complicated task of learning and organizing two lexicons? It is only until recently have we started to examine the lexicon as a dynamical system with regard to its acquisition, representation, and organization. In this article, I outline a proposal based on our research that takes the dynamical approach to the lexicon, and I discuss how this proposal can be applied to account for lexical organization, structural representation, and competition within and between languages. In particular, I provide computational evidence based on the DevLex model, a self-organizing neural network model, and neuroimaging evidence based on functional magnetic resonance imaging (fMRI) studies, to illustrate how children and adults learn and represent the lexicon in their first and second languages. In the computational research, our goal has been to identify, through linguistically and developmentally realistic models, detailed cognitive mechanisms underlying the dynamic self-organizing processes in monolingual and bilingual lexical development; in the neuroimaging research, our goal has been to identify the neural substrates that subserve lexical organization and competition in the monolingual and the bilingual brain. In both cases, our findings lead to a better understanding of the interactive dynamics involved in the acquisition and representation of one or multiple languages.     

Refractory semantics in global aphasia: On semantic organisation and the Access–Storage distinction in neuropsychology

Abstract

A single case study is reported of a global aphasic patient, JM, with impaired access to semantic information which was particularly severe for the class of proper names. JM's ability to perform matching tasks with printed words and pictures to auditory words deteriorated when items were repeated, especially when the response–stimulus interval was short. Performance was also inconsistent across items. The effect of repeated testing on items generalised to other, previously untested members of the same category. Despite this, JM was able to access general semantic information about stimuli from the affected categories (e.g. to categorise boys' and girls' names), and showed good ability to access an input lexicon concerning these stimuli. There was also a close relationship between the categories affected when he was tested with pictures and printed words. We propose that JM's deficit can be attributed to his semantic system entering an abnormal refractory state once semantic access for a particular item has been achieved, and with this stage being isolated from the procedures providing access to stored lexical knowledge. Furthermore, the representations affected seem common to pictures and printed words. We discuss the implications of the results for understanding the nature of semantic representations in general and for proper names in particular, and for the distinction between access and storage deficits in neuropsychology.     

Is Dutch native English? Linguistic analysis by 2-month-olds

A variant of the non-nutritive habituation/dishabituation sucking method was used to test 2-month-old English infants’ perception of languages. This method tests for the spontaneous interest of the baby to a change in the stimulus. English and Japanese were clearly discriminated. The difference between French and Japanese was equally clearly not of interest to babies using this procedure, the babies behaving as though both languages were classified simply as ‘foreign’. In order to further specify babies’ representation of native and foreign language, we used Dutch, which shares a number of suprasegmental features with English. The results from our last 2 experiments indicate that a portion of our 6–12 week-old babies consider Dutch as native, suggesting that we tapped in a transition period where the babies are still refining the suprasegmental specification of their native language.     

Logics for Epistemic Programs

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the semantics of an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. The basic operation used in the semantics is called the update product. A version of this was introduced in Baltag et al. (1998), and the presentation here improves on the earlier one. The update product is used to obtain from any program model the corresponding epistemic update, thus allowing us to compute changes of information or belief. This point is of interest independently of our logical languages. We illustrate the update product and our logical languages with many examples throughout the paper.     

Annotation Theories over Finite Graphs

In the current paper we consider theories with vocabulary containing a number of binary and unary relation symbols. Binary relation symbols represent labeled edges of a graph and unary relations represent unique annotations of the graph’s nodes. Such theories, which we call annotation theories, can be used in many applications, including the formalization of argumentation, approximate reasoning, semantics of logic programs, graph coloring, etc. We address a number of problems related to annotation theories over finite models, including satisfiability, querying problem, specification of preferred models and model checking problem. We show that most of considered problems are NPTime- or co-NPTime-complete. In order to reduce the complexity for particular theories, we use second-order quantifier elimination. To our best knowledge none of existing methods works in the case of annotation theories. We then provide a new second-order quantifier elimination method for stratified theories, which is successful in the considered cases. The new result subsumes many other results, including those of [2, 28, 21].     

Logic Games are Complete for Game Logics

Game logics describe general games through powers of players for forcing outcomes. In particular, they encode an algebra of sequential game operations such as choice, dual and composition. Logic games are special games for specific purposes such as proof or semantical evaluation for first-order or modal languages. We show that the general algebra of game operations coincides with that over just logical evaluation games, whence the latter are quite general after all. The main tool in proving this is a representation of arbitrary games as modal or first-order evaluation games. We probe how far our analysis extends to product operations on games. We also discuss some more general consequences of this new perspective for standard logic.     

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

We present a coinductive definition of models for modal logics and show that it provides a homogeneous framework in which it is possible to include different modal languages ranging from classical modalities to operators from hybrid and memory logics. Moreover, results that had to be proved separately for each different language—but whose proofs were known to be mere routine—now can be proved in a general way. We show, for example, that we can have a unique definition of bisimulation for all these languages, and prove a single invariance-under-bisimulation theorem.We then use the new framework to investigate normal forms for modal logics. The normal form we introduce may have a smaller modal depth than the original formula, and it is inspired by global modalities like the universal modality and the satisfiability operator from hybrid logics. These modalities can be extracted from under the scope of other operators. We provide a general definition of extractable modalities and show how to compute extracted normal forms. As it is the case with other classical normal forms—e.g., the conjunctive normal form of propositional logic—the extracted normal form of a formula can be exponentially bigger than the original formula, if we require the two formulas to be equivalent. If we only require equi-satisfiability, then every modal formula has an extracted normal form which is only polynomially bigger than the original formula, and it can be computed in polynomial time.     

An Institution-independent Proof of Craig Interpolation Theorem

We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of the actual logic.We formalise Birkhoff-style axiomatizability within the general abstract model theoretic framework of institution theory by the novel concept of Birkhoff institution.Our proof destills a set of conditons behind the Craig Interpolation Property, which are easy to establish in the applications. Together with the generality of our approach, this leads to a wide range of applications for our result, including conventional and non-conventional logics (many of them from algebraic specification theory), such as general algebra, classical model theory, partial algebra, rewriting logic, membership algebra, etc. all of them in various versions and with various types of sentences (including infinitary ones). In dependence of axiomatizability properties many other applications are expected for various institutions or logics.     

Materialism and the Subjectivity of Experience

The phenomenal properties of conscious mental states happen to be exclusively accessible from the first-person perspective. Consequently, some philosophers consider their existence to be incompatible with materialist metaphysics. In this paper I criticise one particular argument that is based on the idea that for something to be real it must (at least in principle) be accessible from an intersubjective perspective. I argue that the exclusively subjective access to phenomenal contents can be explained by the very particular nature of the epistemological relation holding between a subject and his own mental states. Accordingly, this subjectivity does not compel us to deny the possibility that phenomenal contents are ontologically objective properties. First, I present the general form of the argument that I will discuss. Second, I show that this argument makes use of a criterion of reality that is not applicable to the case of subjective experience. Third, I discuss a plausible objection and give an argument for rejecting observation models of self-knowledge of phenomenal contents. These models fall prey to the homunculus illusion.