Private languages and private theorists

Simon Blackburn objects that Wittgenstein's private language argument overlooks the possibility that a private linguist can equip himself with a criterion of correctness by confirming generalizations about the patterns in which his private sensations occur. Crispin Wright responds that appropriate generalizations would be too few to be interesting. But I show that Wright's calculations are upset by his failure to appreciate both the richness of the data and the range of theories that would be available to the private linguist

Unexpected phase locking of magnetic fluctuations in the multi-k magnet USb

The spin waves in the multi-k antiferromagnet USb soften and become quasielastic well below the antiferromagnetic ordering temperature TN. This occurs without a magnetic or structural transition. It has been suggested that this change is in fact due to dephasing of the different multi-k components: a switch from 3-k to 1-k behavior. In this work, we use inelastic neutron scattering with tridirectional polarization analysis to probe the quasielastic magnetic excitations and reveal that the 3-k structure does not dephase. More surprisingly, the paramagnetic correlations also maintain the same clear phase correlations well above TN (up to at least 1.4TN)

A hilbert-style axiomatisation for equational hybrid logic

This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics

Singlet-Triplet Physics and Shell Filling in Carbon Nanotube Double Quantum Dots

An artifcial two-atomic molecule, also called a double quantum dot (DQD), is an ideal system for exploring few electron physics. Spin-entanglement between just two electrons can be explored in such systems where singlet and triplet states are accessible. These two spin-states can be regarded as the two states in a quantum two-state system, a so-called singlet-triplet qubit. A very attractive material for realizing spin based qubits is the carbon nanotube (CNT), because it is expected to have a very long spin coherence time. Here we show the existence of a gate-tunable singlet-triplet qubit in a CNT DQD. We show that the CNT DQD has clear shell structures of both four and eight electrons, with the singlet-triplet qubit present in the four-electron shells. We furthermore observe inelastic cotunneling via the singlet and triplet states, which we use to probe the splitting between singlet and triplet, in good agreement with theory.Comment: Supplement available at: http://www.fys.ku.dk/~hij/public/singlet-triple_supp.pd

Habitat conversion and global avian biodiversity loss

The magnitude of the impacts of human activities on global biodiversity has been documented at several organizational levels. However, although there have been numerous studies of the effects of local-scale changes in land use (e.g. logging) on the abundance of groups of organisms, broader continental or global-scale analyses addressing the same basic issues remain largely wanting. None the less, changing patterns of land use, associated with the appropriation of increasing proportions of net primary productivity by the human population, seem likely not simply to have reduced the diversity of life, but also to have reduced the carrying capacity of the environment in terms of the numbers of other organisms that it can sustain. Here, we estimate the size of the existing global breeding bird population, and then make a first approximation as to how much this has been modified as a consequence of land-use changes wrought by human activities. Summing numbers across different land-use classes gives a best current estimate of a global population of less than 100 billion breeding bird individuals. Applying the same methodology to estimates of original land-use distributions suggests that conservatively this may represent a loss of between a fifth and a quarter of pre-agricultural bird numbers. This loss is shared across a range of temperate and tropical land-use types

No Evidence for Orbital Loop Currents in Charge Ordered YBa2_2Cu3_3O6+x_{6+x} from Polarized Neutron Diffraction

It has been proposed that the pseudogap state of underdoped cuprate superconductors may be due to a transition to a phase which has circulating currents within each unit cell. Here, we use polarized neutron diffraction to search for the corresponding orbital moments in two samples of underdoped YBa$_2$Cu$_3$O$_{6+x}$ with doping levels $p=0.104$ and 0.123. In contrast to some other reports using polarized neutrons, but in agreement with nuclear magnetic resonance and muon spin rotation measurements, we find no evidence for the appearance of magnetic order below 300 K. Thus, our experiment suggests that such order is not an intrinsic property of high-quality cuprate superconductor single crystals. Our results provide an upper bound for a possible orbital loop moment which depends on the pattern of currents within the unit cell. For example, for the CC-$\theta_{II}$ pattern proposed by Varma, we find that the ordered moment per current loop is less than 0.013 $\mu_B$ for $p=0.104$.Comment: Comments in arXiv:1710.08173v1 fully addresse

Completeness in hybrid type theory

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret @i in propositional and first-order hybrid logic. This means: interpret @iαa, where αa is an expression of any type a, as an expression of type a that rigidly returns the value that αa receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual in hybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logic over Henkin’s logic.submittedVersionFil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Fil: Blackburn, Patrick. University of Roskilde. Centre for Culture and Identity. Department of Philosophy and Science Studies; Dinamarca.Fil: Huertas, Antonia. Universitat Oberta de Catalunya; España.Fil: Manzano, María. Universidad de Salamanca; España.Ciencias de la Computació

The Impact of the COVID-19 Pandemic on the Career Preparedness of Chemistry Graduates

Recent research has established that the COVID-19 pandemic has resulted in a shift in University student expectations of their graduate prospects due to unavoidable changes in their learning experiences during the pandemic, as well as the decrease in number of available jobs because of the economic impact of measures put in place to reduce COVID-19 transmission. This study used a survey to investigate: (a) the impact of the pandemic on student destinations six months after graduation and (b) the variations in perceptions of personal level of career preparedness between pre-pandemic graduates and graduates at different stages of the pandemic (i.e. the graduating classes of 2020 and 2021). 40 University of Leicester chemistry graduates engaged with the survey and analysis of the data revealed a non-statistically significant negative impact on employment six-months after graduation that appears to only affect graduates in 2020. The data also suggests that increased experience of the blended learning approaches adopted at the University of Leicester during the pandemic studies may better prepare graduates for remote working practices (e.g. using remote video conferencing software)