A non-uniform semantic analysis of the Italian temporal connectives Prima and Dopo

In this paper, I argue that the temporal connective prima ('before') is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo ('after'). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, it also sheds some light on other asymmetries between prima and dopo which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (1964)

A low energy demand scenario for meeting the 1.5 °C target and sustainable development goals without negative emission technologies

Scenarios that limit global warming to 1.5 °C describe major transformations in energy supply and ever-rising energy demand. Here, we provide a contrasting perspective by developing a narrative of future change based on observable trends that results in low energy demand. We describe and quantify changes in activity levels and energy intensity in the global North and global South for all major energy services. We project that global final energy demand by 2050 reduces to 245 EJ, around 40% lower than today, despite rises in population, income and activity. Using an integrated assessment modelling framework, we show how changes in the quantity and type of energy services drive structural change in intermediate and upstream supply sectors (energy and land use). Down-sizing the global energy system dramatically improves the feasibility of a low-carbon supply-side transformation. Our scenario meets the 1.5 °C climate target as well as many sustainable development goals, without relying on negative emission technologies

Demand-side approaches for limiting global warming to 1.5 °C

The Paris Climate Agreement defined an ambition of limiting global warming to 1.5 °C above preindustrial levels. This has triggered research on stringent emission reduction targets and corresponding mitigation pathways across energy economy and societal systems. Driven by methodological considerations, supply side and carbon dioxide removal options feature prominently in the emerging pathway literature, while much less attention has been given to the role of demand-side approaches. This special issue addresses this gap, and aims to broaden and strengthen the knowledge base in this key research and policy area. This editorial paper synthesizes the special issue’s contributions horizontally through three shared themes we identify: policy interventions, demand-side measures, and methodological approaches. The review of articles is supplemented by insights from other relevant literature. Overall, our paper underlines that stringent demand-side policy portfolios are required to drive the pace and direction of deep decarbonization pathways and keep the 1.5 °C target within reach. It confirms that insufficient attention has been paid to demand-side measures, which are found to be inextricably linked to supply-side decarbonization and able to complement supply-side measures. The paper also shows that there is an abundance of demand-side measures to limit warming to 1.5 °C, but it warns that not all of these options are “seen” or captured by current quantitative tools or progress indicators, and some remain insufficiently represented in the current policy discourse. Based on the set of papers presented in the special issue, we conclude that demand-side mitigation in line with the 1.5 °C goal is possible; however, it remains enormously challenging and dependent on both innovative technologies and policies, and behavioral change. Limiting warming to 1.5 °C requires, more than ever, a plurality of methods and integrated behavioral and technology approaches to better support policymaking and resulting policy interventions

Technical summary

The Working Group III (WGIII) contribution to the IPCC's Fifth Assessment Report (AR5) assesses literature on the scientific, technological, environmental, economic and social aspects of mitigation of climate change. It builds upon the WGIII contribution to the IPCC's Fourth Assessment Report (AR4), the Special Report on Renewable Energy Sources and Climate Change Mitigation (SRREN) and previous reports and incorporates subsequent new findings and research. Throughout, the focus is on the implications of its findings for policy, without being prescriptive about the particular policies that governments and other important participants in the policy process should adopt. In light of the IPCC's mandate, authors in WGIII were guided by several principles when assembling this assessment: (1) to be explicit about mitigation options, (2) to be explicit about their costs and about their risks and opportunities vis-a-vis other development priorities, (3) and to be explicit about the underlying criteria, concepts, and methods for evaluating alternative policies. This summary offers the main findings of the report

Sustainable development goal 2: improved targets and indicators for agriculture and food security

The pursuit of global food security and agricultural sustainability, the dual aim of the second Sustainable Development Goal (SDG-2), requires urgent and concerted action from developing and developed countries. This, in turn, depends on clear and universally applicable targets and indicators which are partially lacking. The novel and complex nature of the SDGs poses further challenges to their implementation on the ground, especially in the face of interlinkages across SDG objectives and scales. Here we review the existing SDG-2 indicators, propose improvements to facilitate their operationalization and illustrate their practical implementation in Nigeria, Brazil and the Netherlands. This exercise provides insights into the concrete actions needed to achieve SDG-2 across contrasting development contexts and highlights the challenges of addressing the links between targets and indicators within and beyond SDG-2. Ultimately, it underscores the need for integrated policies and reveals opportunities to leverage the fulfillment of SDG-2 worldwide

Adjectival and Adverbial Modification:The View from Modern Type Theories

In this paper we present a study of adjectival/adverbial modification using modern type theories (MTTs), i.e. type theories within the tradition of Martin-Lof. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented (e.g. in proof-assistants) given their proof-theoretic nature. In MTT-semantics, common nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: (a) degree adjectives, (b) comparatives and (c) multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of -types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context (i.e. without resorting to intensional typing). We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured