Contrasting crustal production and rapid mantle transitions beneath back-arc ridges

The opening of back-arc basins behind subduction zones progresses from initial rifting near the volcanic arc to seafloor spreading. During this process, the spreading ridge and the volcanic arc separate and lavas erupted at the ridge are predicted to evolve away from being heavily subduction influenced (with high volatile contents derived from the subducting plate). Current models predict gradational, rather than abrupt, changes in the crust formed along the ridge as the inferred broad melting region beneath it migrates away from heavily subduction-influenced mantle. In contrast, here we show that across-strike and along-strike changes in crustal properties at the Eastern Lau spreading centre are large and abrupt, implying correspondingly large discontinuities in the nature of the mantle supplying melt to the ridge axes. With incremental separation of the ridge axis from the volcanic front of as little as 5?km, seafloor morphology changes from shallower complex volcanic landforms to deeper flat sea floor dominated by linear abyssal hills, upper crustal seismic velocities abruptly increase by over 20%, and gravity anomalies and isostasy indicate crustal thinning of more than 1.9?km. We infer that the abrupt changes in crustal properties reflect rapid evolution of the mantle entrained by the ridge, such that stable, broad triangular upwelling regions, as inferred for mid-ocean ridges, cannot form near the mantle wedge corner. Instead, the observations imply a dynamic process in which the ridge upwelling zone preferentially captures water-rich low-viscosity mantle when it is near the arc. As the ridge moves away from the arc, a tipping point is reached at which that material is rapidly released from the upwelling zone, resulting in rapid changes in the character of the crust formed at the ridge.     

Axiomatization and Models of Scientific Theories

In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the set theoretical predicate in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal, for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science.     

Transient pulsed radio emission from a magnetar

Anomalous X-ray pulsars (AXPs) are slowly rotating neutron stars with very bright and highly variable X-ray emission that are believed to be powered by ultra-strong magnetic fields of >10(14) G, according to the 'magnetar' model. The radio pulsations that have been observed from more than 1,700 neutron stars with weaker magnetic fields have never been detected from any of the dozen known magnetars. The X-ray pulsar XTE J1810-197 was revealed (in 2003) as the first AXP with transient emission when its luminosity increased 100-fold from the quiescent level; a coincident radio source of unknown origin was detected one year later. Here we show that XTE J1810-197 emits bright, narrow, highly linearly polarized radio pulses, observed at every rotation, thereby establishing that magnetars can be radio pulsars. There is no evidence of radio emission before the 2003 X-ray outburst (unlike ordinary pulsars, which emit radio pulses all the time), and the flux varies from day to day. The flux at all radio frequencies is approximately equal--and at >20 GHz XTE J1810-197 is currently the brightest neutron star known. These observations link magnetars to ordinary radio pulsars, rule out alternative accretion models for AXPs, and provide a new window into the coronae of magnetars.     

Platensimycin is a selective FabF inhibitor with potent antibiotic properties

Bacterial infection remains a serious threat to human lives because of emerging resistance to existing antibiotics. Although the scientific community has avidly pursued the discovery of new antibiotics that interact with new targets, these efforts have met with limited success since the early 1960s. Here we report the discovery of platensimycin, a previously unknown class of antibiotics produced by Streptomyces platensis. Platensimycin demonstrates strong, broad-spectrum Gram-positive antibacterial activity by selectively inhibiting cellular lipid biosynthesis. We show that this anti-bacterial effect is exerted through the selective targeting of beta-ketoacyl-(acyl-carrier-protein (ACP)) synthase I/II (FabF/B) in the synthetic pathway of fatty acids. Direct binding assays show that platensimycin interacts specifically with the acyl-enzyme intermediate of the target protein, and X-ray crystallographic studies reveal that a specific conformational change that occurs on acylation must take place before the inhibitor can bind. Treatment with platensimycin eradicates Staphylococcus aureus infection in mice. Because of its unique mode of action, platensimycin shows no cross-resistance to other key antibiotic-resistant strains tested, including methicillin-resistant S. aureus, vancomycin-intermediate S. aureus and vancomycin-resistant enterococci. Platensimycin is the most potent inhibitor reported for the FabF/B condensing enzymes, and is the only inhibitor of these targets that shows broad-spectrum activity, in vivo efficacy and no observed toxicity.     

Defeasible Reasoning + Partial Models: A Formal Framework for the Methodology of Research Programs

In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, along the lines traced by Lakatos’ methodology of scientific research programs. We show how current debates in cosmology could be put into this framework, shedding light on a very controversial topic.