Although the issue of redistribution is glossed over by Marglin, there are three reasons why decarbonisation must be accompanied by a massive scaling up of redistribution from the global North to South if the agenda is to be founded on a social justice approach. First, constructing a capital infrastructure in the South in a manner that maximises the potential for decarbonisation would tend to be very import-intensive. Hence, it would require external financing or else risk running aground through balance of payment constraints. Second, there is already a tendency in the global economy of siphoning resources from South to North, in particular through the increasing control over flows of value and wealth by Northern corporations from their commanding positions within international networks. Southern productivity needs to be contextualised from this perspective given the risk that climate negotiations lock in the subordination of Southern countries within these global networks, rather than seeking ways for Southern producers to leverage more value for the output and carbon emissions they are already producing. Third, population and labour transitions in the South place relatively greater pressure than in the past on employment generation in tertiary (service) sectors, in which distributive and redistributive processes play essential roles in bolstering labour demand. The neglect of global redistribution could undermine the capacity of Southern countries to face these broader development challenges, which are already immense even in the absence of decarbonisation. A key question is how to organise global redistributive transfers in a manner that does not continue to subordinate Southern populations to Northern interests. The challenge for decarbonisation is the forging of a political will for redistribution that is motivated by climate change rather than geopolitics, and that respects national ownership and self-determination.

The overall trend of rapid retreat of Alpine glaciers contains considerable variability of responses at the scale of individual glaciers. As a step towards a regional assessment of glacier state that allows a detailed differentiation of single glaciers, we explore the potential of a self-organizing maps (SOM) algorithm to identify and cluster recurring patterns of thickness change at glaciers in western Austria. Using digital elevation models and glacier inventories for three time periods, we compute the frequency distribution of surface elevation change over the area of each glacier in the data set, for each period. The results of the SOM clustering show a distinct pattern shift over time: From 1969 to 1997, surface elevation change occurred at relatively uniform rates across a given glacier. Since 1997, the distribution of surface elevation change at individual glaciers has been far less uniform, indicating accelerated processes of disintegration. Tracking the evolution of individual glaciers throughout the time periods via the clusters highlights both the broader regional trend as well as glaciers that deviate from this trend, e.g. some very small, high elevation glaciers that have reverted to reduced and more uniform volume loss patterns.

The last meal of Tollund Man, a bog body from Early Iron Age Denmark, has been re-examined using new analyses of plant macrofossils, pollen, non-pollen palynomorphs, steroid markers and proteins found in his gut. Some 12–24 hours before he was killed, he ate a porridge containing barley, pale persicaria and flax, and probably some fish. Proteins and eggs from intestinal worms indicate that he was infected with parasites. Although the meal may reflect ordinary Iron Age fare, the inclusion of threshing waste could possibly relate to ritual practices. This re-analysis illustrates that new techniques can throw fresh light on old questions and contribute to understanding life and death in the Danish Early Iron Age.

Questions concerning the proof-theoretic strength of classical versus nonclassical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics. It is known that nonclassical axiomatizations in four- or three-valued logics are substantially weaker than their classical counterparts. In this paper we consider the addition of a suitable conditional to First-Degree Entailment—a logic recently studied by Hannes Leitgeb under the label HYPE. We show in particular that, by formulating the theory PKF over HYPE, one obtains a theory that is sound with respect to fixed-point models, while being proof-theoretically on a par with its classical counterpart KF. Moreover, we establish that also its schematic extension—in the sense of Feferman—is as strong as the schematic extension of KF, thus matching the strength of predicative analysis.

Lee and Schwarz (L&S) suggest that separation is the grounded procedure underlying cleansing effects in different psychological domains. Here, we interpret L&S's account from a hierarchical view of cognition that considers the influence of physical properties and sensorimotor constraints on mental representations. This approach allows theoretical integration and generalization of L&S's account to the domain of formal quantitative reasoning.

To evaluate learning motivation barriers in infection control and feedback competences, we conducted a national online survey in Germany. Among 767 healthcare workers, overconfidence effects could be detected independent from age, gender, profession, education, and hospital-size. The identified effects may impair learning motivation relevant for supervisors and educators in infection control.

A far-infrared observatory such as the SPace Infrared telescope for Cosmology and Astrophysics, with its unprecedented spectroscopic sensitivity, would unveil the role of feedback in galaxy evolution during the last ~10 Gyr of the Universe (z = 1.5–2), through the use of far- and mid-infrared molecular and ionic fine structure lines that trace outflowing and infalling gas. Outflowing gas is identified in the far-infrared through P-Cygni line shapes and absorption blueshifted wings in molecular lines with high dipolar moments, and through emission line wings of fine-structure lines of ionised gas. We quantify the detectability of galaxy-scale massive molecular and ionised outflows as a function of redshift in AGN-dominated, starburst-dominated, and main-sequence galaxies, explore the detectability of metal-rich inflows in the local Universe, and describe the most significant synergies with other current and future observatories that will measure feedback in galaxies via complementary tracers at other wavelengths.

Understanding the origin of modern communities is a fundamental goal of ecology, but reconstructing communities with durations of 103–106 years requires data from the fossil record. Early Pliocene to latest Pleistocene faunas and sediments in the Meade Basin and modern soils and rodents from the same area are used to examine the role of environmental change in the emergence of the modern community. Paleoenvironmental proxies measured on modern surface soils and paleosols are described, and faunal dynamics of fossil rodents are discussed. Mean annual precipitation (MAP) was estimated from elemental concentrations and magnetic properties, and warm-season temperature and δ18O of soil water was estimated using carbonate isotope paleothermometry on pedogenic nodules. MAP and temperature estimates from paleosols exhibit no short-term variability, no long-term trends, and generally bracket modern values. Estimated soil water δ18O values increased through time, suggesting aridification played a role in the evolution of the regional grassland ecosystem. Carbon isotope analyses of biomarkers are used to examine the abundance of C4 grasses, which suggest more C4 biomass and more variability in C4 biomass than carbonate proxies. Rodent species richness remained constant due to balanced rates of extinction and immigration, both of which show episodic spikes consistent with a balance between forcing mechanisms that result in equilibrium on long time scales. Overall, these results suggest that different mechanisms of faunal change may be acting at different time scales, although the stratigraphic resolution of paleoenvironmental proxies needs to be increased, and body size and dietary distributions of rodents need to be determined before which processes of change are most important can be decided.

We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.

Observations show that glaciers around the world are in retreat and losing mass. Internationally coordinated for over a century, glacier monitoring activities provide an unprecedented dataset of glacier observations from ground, air and space. Glacier studies generally select specific parts of these datasets to obtain optimal assessments of the mass-balance data relating to the impact that glaciers exercise on global sea-level fluctuations or on regional runoff. In this study we provide an overview and analysis of the main observational datasets compiled by the World Glacier Monitoring Service (WGMS). The dataset on glacier front variations (∼42 000 since 1600) delivers clear evidence that centennial glacier retreat is a global phenomenon. Intermittent readvance periods at regional and decadal scale are normally restricted to a subsample of glaciers and have not come close to achieving the maximum positions of the Little Ice Age (or Holocene). Glaciological and geodetic observations (∼5200 since 1850) show that the rates of early 21st-century mass loss are without precedent on a global scale, at least for the time period observed and probably also for recorded history, as indicated also in reconstructions from written and illustrated documents. This strong imbalance implies that glaciers in many regions will very likely suffer further ice loss, even if climate remains stable.

There are two perspectives from which formal theories can be viewed. On the one hand, one can take a theory to be about some privileged models. On the other hand, one can take all models of a theory to be on a par. In contrast with what is usually done in philosophical debates, we adopt the latter viewpoint. Suppose that from this perspective we want to add an adequate truth predicate to a background theory. Then on the one hand the truth theory ought to be semantically conservative over the background theory. At the same time, it is generally recognised that the central function of a truth predicate is an expressive one. A truth predicate ought to allow us to express propositions that we could not express before. In this article we argue that there are indeed natural truth theories which satisfy both the demand of semantical conservativeness and the demand of adequately extending the expressive power of our language.

In this paper, we investigate the phenomenon of speed-up in the context of theories of truth. We focus on axiomatic theories of truth extending Peano arithmetic. We are particularly interested on whether conservative extensions of PA have speed-up and on how this relates to a deflationist account. We show that disquotational theories have no significant speed-up, in contrast to some compositional theories, and we briefly assess the philosophical implications of these results.