The logic of ideas in Christopher Hill's English revolution

This article examines the role played by ideas and their thinkers in Christopher Hill's histories of the English Revolution. Hill protested against a reductionist economic determinism with no place for the intrinsic power of ideas, but his account of ideas gave them a progressive logic parallel to, if not always easy to link with, that of economic development, and threatened to divorce them from their muddled and imperfect thinkers. This account of the logic of ideas had a striking impact on the way in which the more mainstream radicals of the English Revolution appeared in Hill's work, with both the Levellers and James Harrington being half assimilated to, and half pushed aside in favor of, the more thoroughgoing economic radicals who expressed, in however ragged a way, the intrinsic potential of their ideas. However, Hill's writings also betray a surprising attraction to religious over secular forms of radicalism.

The hidden organic carbon in deep mineral soils

Aims Current estimates of soil organic carbon (SOC) are based largely on surficial measurements to depths of 0.3 to 1 m. Many of the world’s soils greatly exceed 1 m depth and there are numerous reports of biological activity to depths of many metres. Although SOC storage to depths of up to 8 m has been previously reported, the extent to which SOC is stored at deeper depths in soil profiles is currently unknown. This paper aims to provide the first detailed analysis of these previously unreported stores of SOC. Methods Soils from five sites in the deeply weathered regolith in the Yilgarn Craton of south-western Australia were sampled and analysed for total organic carbon by combustion chromatography. These soils ranged between 5 and 38 m (mean 21 m) depth to bedrock and had been either recently reforested with Pinus pinaster or were under agriculture. Sites had a mean annual rainfall of between 399 and 583 mm yr−1. Results The mean SOC concentration across all sites was 2.30 ± 0.26 % (s.e.), 0.41 ± 0.05 % and 0.23 ± 0.04 % in the surface 0.1, 0.1–0.5 and 0.5 to 1.0 m increments, respectively. The mean value between 1 and 5 m was 0.12 ± 0.01 %, whereas between 5 and 35 m the values decreased from 0.04 ± 0.002 % to 0.03 ± 0.003 %. Mean SOC mass densities for each of the five locations varied from 21.8–37.5 kg C m−2, and were in toto two to five times greater than would be reported with sampling to a depth of 0.5 m. Conclusions This finding may have major implications for estimates of global carbon storage and modelling of the potential global impacts of climate change and land-use change on carbon cycles. The paper demonstrates the need for a reassessment of the current arbitrary shallow soil sampling depths for assessing carbon stocks, a revision of global SOC estimates and elucidation of the composition and fate of deep carbon in response to land use and climate change

The experience of the hidden curriculum for autistic girls at mainstream primary schools

This article presents the findings of ethnographic case studies of three girls on the autistic spectrum attending mainstream primary schools and illustrates the difficulties they experience and the ways in which these are often unrecognised. The observations of the girls and subsequent individual interviews with their mothers, class teachers, SENCO’s and ultimately themselves, reveal the personal adjustments the girls make in response to the hidden curriculum and the ways in which these go unnoticed, effectively masking their need for support, and contributing to their underachievement in school. The research also identifies a misunderstanding of autism in girls by some teachers that contributes to a lack of support for their needs, despite their diagnosis. Teachers need to understand how autistic girls present, and how they learn, if they are to recognise the need to illuminate the hidden curriculum. The implications of these findings are that without this awareness autistic girls in mainstream settings are also at risk of limited access to the known curriculum and of social isolation.

The hidden diversity of Coleodactylus amazonicus (Sphaerodactylinae, Gekkota) revealed by molecular data

Coleodactylus amazonicus, a small leaf-litter diurnal gecko widely distributed in Amazon Basin has been, considered a single species with no significant morphological differences between populations along its range. A recent molecular study, however, detected large genetic differences between populations of central Amazonia and those in the easternmost part of the Amazon Basin, suggesting the presence of taxonomically unrecognised diversity. In this study, DNA sequences of three mitochondrial (165, cytb, and ND4) and two nuclear genes (RAG-1, c-mos) were used to investigate whether the species currently identified as C. amazonicus contains morphologically cryptic species lineages. The present phylogenetic analysis reveals further genetic subdivision including at least five potential species lineages, restricted to northeastern (lineage A), southeastern (lineage B), central-northern (lineage E) and central-southern (lineages C and D) parts of Amazon Basin. All clades are characterized by exclusive groups of alleles for both nuclear genes and highly divergent mitochondrial haplotype clades, with corrected pairwise net sequence divergence between sister lineages ranging from 9.1% to 20.7% for the entire mtDNA dataset. Results of this study suggest that the real diversity of ""C. amazonicus"" has been underestimated due to its apparent cryptic diversification. (C) 2009 Elsevier Inc. All rights reserved.

Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

New Improvements in Automatic Structure Elucidation Using the LSD (Logic for Structure Determination) and the SISTEMAT Expert Systems

This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules. A first step has been achieved towards the linking of the SISTEMAT database with the LSD structure generator. The skeletal descriptions found by the SISTEMAT programs are now easily transferred to LSD as substructural constraints. Examples of the synergy between these expert systems are given for recently reported natural products.