From hierarchies to well-foundedness

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies (of various complexity) have been extensively studied, we point out that (if parameters are allowed) well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting (Π01−CA0)α⊢wf(α)where(Π01−CA0)α stands for the iteration of Π01 comprehension (with parameters) along some ordinal α and wf(α) stands for the well-foundedness of α.

Referential hierarchies: A new look at some historical and typological patterns

This paper proposes a diachronic typology for the various patterns that have been referred to as Hierarchical Alignment or Inverse Alignment. Previous typological studies have tried to explain such patterns as grammatical reflections of a universal Referential Hierarchy, in which first person outranks second person outranks third person and humans outrank other animates outrank inanimates. However, our study shows that most of the formal properties of hierarchy-sensitive constructions are essentially predictable from their historical sources. We have identified three sources for hierarchical person marking, three for direction marking, two for obviative case marking, and one for hierarchical constituent ordering. These sources suggest that there is more than one explanation for hierarchical alignment: one is consistent with Givón’s claim that hierarchical patterns are a grammaticalization of generic topicality; another is consistent with DeLancey’s claim that hierarchies reflect the deictic distinction between present (1/2) and distant (3) participants; another is simply a new manifestation of a common asymmetrical pattern, the use of zero marking for third persons. More importantly, the evolution of hierarchical grammatical patterns does not reflect a consistent universal ranking of participants – at least in those cases where we can see (or infer) historical stages in the evolution of these properties, different historical stages appear to reflect different hierarchical rankings of participants, especially first and second person. This leads us to conclude that the diversity of hierarchical patterns is an artifact of grammatical change, and that in general, the presence of hierarchical patterns in synchronic grammars is not somehow conditioned by some more general universal hierarchy.

Decomposing hierarchical alignment: Co-arguments as conditions on alignment and the limits of referential hierarchies as explanations in verb agreement

Apart from common cases of differential argument marking, referential hierarchies affect argument marking in two ways: (a) through hierarchical marking, where markers compete for a slot and the competition is resolved by a hierarchy, and (b) through co-argument sensitivity, where the marking of one argument depends on the properties of its co-argument. Here we show that while co-argument sensitivity cannot be analyzed in terms of hierarchical marking, hierarchical marking can be analyzed in terms of co-argument sensitivity. Once hierarchical effects on marking are analyzed in terms of co-argument sensitivity, it becomes possible to examine alignment patterns relative to referential categories in exactly the same way as one can examine alignment patterns relative to referential categories in cases of differential argument marking and indeed any other condition on alignment (such as tense or clause type). As a result, instances of hierarchical marking of any kind turn out not to present a special case in the typology of alignment, and there is no need for positing an additional non-basic alignment type such as “hierarchical alignment”. While hierarchies are not needed for descriptive and comparative purposes, we also cast doubt on their relevance in diachrony: examining two families for which hierarchical agreement has been postulated, Algonquian and Kiranti, we find only weak and very limited statistical evidence for agreement paradigms to have been shaped by a principled ranking of person categories.

Statusinkonsistenz im Lebensverlauf

Sozialbiographische Überlegungen und die Lebensverlaufsperspektive tragen zu einem Fortschritt in der Inkonsistenzforschung bei. Wichtige theoretische und methodische Voraussetzungen sind dabei die Berücksichtigung der Dynamik von Statusinkonsistenz und die Kontrolle der Zeitabhängigkeit von Statuslagen. Dadurch wird es möglich, Entstehen, Verschwinden, Dauer und Folgen von Statusinkonsistenz detailliert zu untersuchen. Die empirischen Befunde des Artikels zeigen, daß die Verortung von Individuen in einer Statushierarchie im Lebenslauf zunehmend mit vergleichbaren Plazierungen in anderen Statusdimensionen übereinstimmt. Dies verstärkt sich in der Abfolge von Geburtskohorten; ferner finden sich eher Frauen als Männer in ungünstigen statusinkonsistenten Lagen. Schließlich hat Statusinkonsistenz deutliche Auswirkungen auf berufliche Mobilität von Männern. Eine ungünstige Statuslage 'erzwingt' Mobilität, wenn, gemessen an der Bildung, unerwartete Statusverluste ausgeglichen werden sollen. Männer mit unerwarteten Statusgewinnen versuchen dagegen, ihre vorteilhafte Statuslage abzusichern, und sind eher immobil.

Hybrid bodies in cyborg sports? The case of Oscar Pistorius

The capabilities of postmodern biotechnology inevitably lead to questioning if it is morally acceptable to use all possibilities offered by technology. In sport, this very complex issue is dealt with by drawing clear boundaries between naturalness and artificiality. Currently, new biotechnology is constantly being produced and with this, boundaries between naturalness and artificiality, between normal and abnormal, human and hybrid are constantly shifting . “Human enhancement” is a fascinating prism that reflects contemporary questions of participation, justice, equality and the autonomy of the subject in all social fields. The area of elite sports is particularly affected by “human enhancement”, according to the principle of exceeding what has come before, of aiming higher, faster and further. This paper analyses the postulated “naturalness” in the regulative and normalising function in the area of elite sports, in connection with Foucault’s theory of governmentality. The example of the South African sprinter Oscar Pistorius appears to be particularly suited to illustrate current definition difficulties in the area of disabled and non-disabled people in differentiated competitive sports. His is a vivid example of a multifaceted body-sociological analysis of current sport culture and the construction of reality or naturalness in the framework of the discourse of drafting and negotiating the accreditation for sprint competitions of non-disabled athletes, most recently in the London Olympics 2012. Using the case study of Oscar Pistorius, the negotiating processes in relation to the argumentation logic, dynamics and resistance in shifting distinctions are presented in detail using the fundamental documents of the IOC, IPC, CAS and IAAF. Represented through the inclusion and exclusion processes are hierarchies of the body that are (re)consolidated and transformed. The central question emerges as to how the worth of equal opportunity and fairness in regard to “naturalness” can be reconsolidated or transformed.

The diffusion of /l/ -vocalization in Swiss German

Several western Swiss German dialects roughly grouped around the nation's capital Bern show /l/ > [u] vocalization in various contexts. The spatial boundaries of /l/-vocalization in Swiss German are suspected to have been expanding since being described in the Linguistic Atlas of German-Speaking Switzerland in the middle of the 20th century. The present study assesses the overall expansion of /l/-vocalization by means of a rapid anonymous survey in 20 urban regional centers situated just beyond the traditional boundaries of /l/-vocalization highlighted by the Atlas. Results show that the expansion of /l/-vocalization mainly progresses in southeasterly, southerly, and westerly directions, but with much less success to the north and northwest, where the equally influential dialectal areas of Basel and Zürich seem to exert opposing influences. Further analysis of the data indicates that somewhat differing constraint hierarchies are at work in the different places to which vocalization has diffused.

Current State of Reporting Pain Outcomes in Cochrane Reviews of Chronic Musculoskeletal Pain Conditions and Considerations for an OMERACT Research Agenda.

OBJECTIVE To assess the current state of reporting of pain outcomes in Cochrane reviews on chronic musculoskeletal painful conditions and to elicit opinions of patients, healthcare practitioners, and methodologists on presenting pain outcomes to patients, clinicians, and policymakers. METHODS We identified all reviews in the Cochrane Library of chronic musculoskeletal pain conditions from Cochrane review groups (Back, Musculoskeletal, and Pain, Palliative, and Supportive Care) that contained a summary of findings (SoF) table. We extracted data on reported pain domains and instruments and conducted a survey and interviews on considerations for SoF tables (e.g., pain domains, presentation of results). RESULTS Fifty-seven SoF tables in 133 Cochrane reviews were eligible. SoF tables reported pain in 56/57, with all presenting results for pain intensity (20 different outcome instruments), pain interference in 8 SoF tables (5 different outcome instruments), and pain frequency in 1 multiple domain instrument. Other domains like pain quality or pain affect were not reported. From the survey and interviews [response rate 80% (36/45)], we derived 4 themes for a future research agenda: pain domains, considerations for assessing truth, discrimination, and feasibility; clinically important thresholds for responder analyses and presenting results; and establishing hierarchies of outcome instruments. CONCLUSION There is a lack of standardization in the domains of pain selected and the manner that pain outcomes are reported in SoF tables, hampering efforts to synthesize evidence. Future research should focus on the themes identified, building partnerships to achieve consensus and develop guidance on best practices for reporting pain outcomes.

Inversion, Obviation, and Animacy in Native Languages of the Americas: Elements for a Cross-linguistic Survey

Native languages of the Americas whose predicate and clause structure reflect nominal hierarchies show an interesting range of structural diversity not only with respect to morphological makeup of their predicates and arguments but also with respect to the factors governing obviation status. The present article maps part of such diversity. The sample surveyed here includes languages with some sort of nonlocal (third person acting on third person) direction-marking system.

Species interactions and random dispersal rather than habitat filtering drive community assembly during early plant succession

Theory on plant succession predicts a temporal increase in the complexity of spatial community structure and of competitive interactions: initially random occurrences of early colonising species shift towards spatially and competitively structured plant associations in later successional stages. Here we use long-term data on early plant succession in a German post mining area to disentangle the importance of random colonisation, habitat filtering, and competition on the temporal and spatial development of plant community structure. We used species co-occurrence analysis and a recently developed method for assessing competitive strength and hierarchies (transitive versus intransitive competitive orders) in multispecies communities. We found that species turnover decreased through time within interaction neighbourhoods, but increased through time outside interaction neighbourhoods. Successional change did not lead to modular community structure. After accounting for species richness effects, the strength of competitive interactions and the proportion of transitive competitive hierarchies increased through time. Although effects of habitat filtering were weak, random colonization and subsequent competitive interactions had strong effects on community structure. Because competitive strength and transitivity were poorly correlated with soil characteristics, there was little evidence for context dependent competitive strength associated with intransitive competitive hierarchies.

Measurements of neutrino oscillation in appearance and disappearance channels by the T2K experiment with 6.6×10²⁰ protons on target

We report on measurements of neutrino oscillation using data from the T2K long-baseline neutrino experiment collected between 2010 and 2013. In an analysis of muon neutrino disappearance alone, we find the following estimates and 68% confidence intervals for the two possible mass hierarchies: Normal Hierarchy: sin²θ₂₃= 0.514+0.055−0.056 and ∆m²_32 = (2.51 ± 0.10) × 10⁻³ eV²/c⁴ Inverted Hierarchy: sin²θ₂₃= 0.511 ± 0.055 and ∆m²_13 = (2.48 ± 0.10) × 10⁻³ eV²/c⁴ The analysis accounts for multi-nucleon mechanisms in neutrino interactions which were found to introduce negligible bias. We describe our first analyses that combine measurements of muon neutrino disappearance and electron neutrino appearance to estimate four oscillation parameters, |∆m^2|, sin²θ₂₃, sin²θ₁₃, δCP , and the mass hierarchy. Frequentist and Bayesian intervals are presented for combinations of these parameters, with and without including recent reactor measurements. At 90% confidence level and including reactor measurements, we exclude the region δCP = [0.15, 0.83]π for normal hierarchy and δCP = [−0.08, 1.09]π for inverted hierarchy. The T2K and reactor data weakly favor the normal hierarchy with a Bayes Factor of 2.2. The most probable values and 68% 1D credible intervals for the other oscillation parameters, when reactor data are included, are: sin²θ₂₃= 0.528+0.055−0.038 and |∆m²_32| = (2.51 ± 0.11) × 10⁻³ eV²/c⁴.

Explora: A Visualisation Tool for Metric Analysis of Software Corpora

When analysing software metrics, users find that visualisation tools lack support for (1) the detection of patterns within metrics; and (2) enabling analysis of software corpora. In this paper we present Explora, a visualisation tool designed for the simultaneous analysis of multiple metrics of systems in software corpora. Explora incorporates a novel lightweight visualisation technique called PolyGrid that promotes the detection of graphical patterns. We present an example where we analyse the relation of subtype polymorphism with inheritance and invocation in corpora of Smalltalk and Java systems and find that (1) subtype polymorphism is more likely to be found in large hierarchies; (2) as class hierarchies grow horizontally, they also do so vertically; and (3) in polymorphic hierarchies the length of the name of the classes is orthogonal to the cardinality of the call sites.