The basal thermal state of the Antarctic ice sheet (AIS)—whether the base is frozen or thawed—fundamentally underpins its flow and is an important factor in understanding its large-scale response to external forcings. Here, we present a first synthesis of the AIS basal thermal state combining two indirect and independent methods: (1) a compilation of nine three-dimensional thermomechanical simulations that calculate AIS basal temperature as part of the Ice Sheet Model Intercomparison Project for CMIP6 (ISMIP6) and (2) an estimate of the basal slip ratio, defined as the ratio of observed surface speed to deformational speed. This synthesis is evaluated against direct observations from deep boreholes and predicted flowpaths for water originating from subglacial lakes detected by altimetry and radar sounding. The synthesis predicts a thawed bed across most of West Antarctica and localized regions in East Antarctica. Most of the Antarctic Peninsula, the Transantarctic Mountains and several regions of East Antarctica are likely frozen at the bed. Overall, our synthesis suggests 46% of the AIS bed is likely thawed, 18% likely frozen and the remaining 36% is uncertain. Additional observations, particularly at the continental scale, are required to improve our understanding of Antarctica’s basal thermal state.

This paper revisits the restrictive/appositive distinction with Mandarin relative clauses and argues against the commonly held view that their restrictive/appositive status directly correlates with their structural positions. We demonstrate that distinct uses of demonstratives constitute a relevant factor in establishing the correlation, such that the pre-/post-demonstrative position is relevant to the semantic status of a relative when the demonstrative is used deictically, but not when it is used anaphorically; and that this refined typology of RCs can be accounted for once existing analyses of strong definites (Elbourne 2005. Situations and individuals; Schwarz 2009. Two types of definites in natural language; Jenks 2018. Linguistic Inquiry 49. 501–536) are extended to Mandarin demonstratives.

This paper develops a logic of essence (HLE) in the framework of higher-order logic. The theory aims to provide a general framework for theorizing about the essences of objects, properties, propositions, and logical operations like conjunction, negation, quantification, etc. The first part of the paper presents the formal language and axiom system of HLE. After that, some theorems of the system are proved and it is shown how the logic of metaphysical necessity can be developed within the framework of HLE. The second part of the paper develops a possible worlds semantics for HLE, gives a proof of soundness, and provides examples of models that demonstrate the consistency of some simple essentialist theories.

In 1988, meteorological measurements started at the Spanish research station Juan Carlos I (JCI) on Livingston Island. A second station - Gabriel de Castilla (GdC) - was installed in 2005 on Deception Island. These long-term measurements improved our climatological understanding of the western region of the South Shetland Islands (SSI), a region that has received less attention than the more station-populated King George Island in the central SSI. Here, we present a complete climatological analysis of these stations after undertaking a full quality control process of the data. This analysis covers temperature, wind, precipitation, radiation, relative humidity and pressure, as well as trends and variability. The results show: 1) the stations along the western SSI coastline, particularly JCI, are warmer than those on the central SSI, especially in summer, 2) at GdC, winters are colder due to stagnant cold air pooling within the Deception Island caldera, 3) the importance of island orography in shaping local climatology, especially regarding wind patterns, and 4) the critical need to correct precipitation measurements for undercatchment of solid precipitation by common pluviometers. This study provides a climatological framework to support further research conducted in the region.

Glaciers provide critical ecosystem services, including water resources, biodiversity, cultural value and climate signals. But what makes a glacier a glacier? And when is a glacier no longer a glacier? Different glacier definitions can conflict. While a common definition emphasizes ‘past or present flow’, practical applications involve criteria like observable ice flow, crevassing, minimum thickness, minimum area, surficial features related to hydrology and/or debris cover and/or relative size. Increasingly, glacier inventories apply multiple criteria, acknowledging the nuanced, continuous nature of glacier retreat rather than a binary status. In the context of increasingly melting, shrinking and vanishing glaciers, as glaciologists consider when to declare a glacier lost, disappeared or dead, it is important to explore glacier definitions and their application. Ultimately, the glacier definition applied depends on the specific context, purpose and audience. This also highlights the need for careful language choice, clear communication and localized expertise in considering glacier loss.

Legal systems often suffer from what may be called legal inflation: an excess of laws that erodes legal compliance. The difficulty lies in identifyng which laws are responsible for this erosion. Democratic deliberation is poorly suited to the task. This paper advances an identification criterion: laws that generate both widespread non-compliance and inconsistent enforcement should be regarded as defective, because they fail to function as laws. I propose a new version of the rule of obsolescence to repeal defective laws. This framework clarifies the mechanisms by which legal inflation undermines institutional stability and offers guidance for legal reform.

That God could have not created the world is a commonplace of Christian theology, often invoked to articulate the meaning of divine freedom. This essay argues that this counterfactual predication cannot be made consistent with the classical doctrine of God and so cannot be an adequate way of characterising God’s freedom. Drawing on a critical realist account of coherent counterfactual predications, it is shown that every cogent counterfactual attribution implies that the subject of the attribution is located in time, possessed of potential, and knowable in its essence. These entailments of counterfactual predications render them formally incompatible with a classical theist doctrine of God, in which God is not temporally located, purely actual and unknowable in essence by humans in the status viatoris. If the counterfactual on divine predicating compromises the divine simplicity, divine perfection and divine pure actuality, it should be understood to be a metaphorical, not substantial divine predication.