The Norwegian state-owned Petroleum Fund's market value is more than one trillion US dollars, and the Norwegian state has become one of the world's largest stockowners. The Fund was established in 1990 and in 2006 and renamed the 'Government Pension Fund Global', as savings for future generations. What kind of values form the basis for describing the Petroleum Fund in this way? This article shows that the idea that present generations should not empty the North Sea of oil (...) and gas without saving something for future generations has been stable since the 1970s. However, over time, the understanding of how to save has changed. More specifically experts, bureaucrats and politicians have shifted their arguments during four phases: moderation in oil extraction (1974-1983); introduction of the national wealth model (1984-1990); a financial fund for the present and the future (1991-2006); and increased income and new protests (2007-2019). These four periods show that over time the idea of weak sustainability and value commensurability have increasingly come to dominate the argumentation in public documents about the Petroleum Fund. (shrink)

This article examines three cases of mid-20th-century oil media—oil-related imagery, iconographies, and media—in visual culture: a series of popular science books entitled The Story of Oil published in the US, an oil-themed set of Kuwaiti postage stamps (1959), and an art exhibition in Zurich (1956) titled Welt des Erdöls: Junge Maler sehen eine Industrie (World of Petroleum: Young Artists See an Industry). While depicting crude oil in its natural habitat was a common photographic theme in the early 20th-century United (...) States, the material discussed shows that, by the mid-20th century, crude oil no longer had the same visual presence. The iconography of oil in the three case studies came to rely increasingly on images of oil infrastructure and on context-specific depictions of living within petro-modernity or petro-culture, meaning lifestyles fueled by cheap fossil energy. However, it is not just the changes in visual representations of petroleum that matter; any debate about the visibility and invisibility of petroleum has to take into account the very media through which petroleum has become visually communicated—that is, the precise forms of oil's mediatization. The aesthetic negotiation of petroleum through media-based visual representations has been crucial for the dematerialization of fossil matter in its conversion to fossil energy, as well as the decoupling of sites of extraction from sites of production and consumption in the public imagination. As petro-culture has morphed into national or even global culture (rather than representing just one possible energy source among many), oil media has paved the way for our intimate relationship with fossil energy-dependent lifestyles, which is one of the biggest drivers of climate change. (shrink)

This article describes the fight of transnational civic networks to influence business development strategies and counter the threats to environmental and labor rights posed by the construction and exploitation of the Baku-Tbilisi-Ceyhan (BTC) oil pipeline in Transcaucasia. The article starts by discussing the role of civil society in the global struggle for sustainable development. Then a brief overview of the geopolitical significance of the Transcaucasian-Caspian region in today’s oil and gas markets is presented. The case study looks at how the (...) actions of international and domestic nongovernmental organizations influenced the BTC’s main shareholder and operator company, British Petroleum, as well as host countries’ governments, to switch to more environmentally cognizant and socially responsive practices. The article discusses internationalization of civil society networks in response to the looming environmental crisis in the region, using the BTC case as an illustration. The article concludes by generalizing from this particular case study to the broader issue of transnational civic activism as a risk-mitigating factor in the world dominated by industry-related threats presented by globalization of the extractive technologies. (shrink)

The Canadian province of Alberta has experienced phenomenal growth in its oil and gas industry. As the petroleum-industrial complex expands it has sparked a number of community-based conflicts over noxious facilities that are seen by some to be the cause of a number of health problems. The research reported here used two case studies to examine siting conflicts involving natural gas extraction facilities in rural Alberta. We found that the stories shared by citizens involved in these conflicts functioned (...) as 'moral tales'. These moral tales were political in the way they challenged implicit and institutionalized rationales for redistributing benefits and burdens of oil and gas development. They also created a space for collective action by articulating spatial transgressions and by constructing a type of moral citizenship. (shrink)

Petroleum extraction in the Amazon rain forest has left grave human rights violations in its wake, creating myriad ethics and sustainability challenges. Framing sustainability ethics in terms of collective responsibility, there are four conceptions of responsibility: aggregated complicit individual responsibility, the responsibility of a unitary corporate person, a social connection model of shared responsibility, and universal social responsibility. Each conception of collective responsibility expands the scope of responsible actors, from selective stakeholders, to institutions, to systems, and finally to (...) all parties. Only universal social responsibility is sufficiently comprehensive to encompass all actors responsible for environmental problems such as the Amazon crisis. Moreover, its proponents take a spiritual turn that emphasizes compassion with and a sense of solidarity requisite for motivating activism. Universal social responsibility has the greatest potential to stimulate a paradigm shift that could lead to improved solutions to sustainability challenges. Ultimately, environmental activism needs to be rooted in love. (shrink)

Petroleum extraction in the Amazon rain forest has left grave human rights violations in its wake, creating myriad ethics and sustainability challenges. Framing sustainability ethics in terms of collective responsibility, there are four conceptions of responsibility: aggregated complicit individual responsibility, the responsibility of a unitary corporate person, a social connection model of shared responsibility, and universal social responsibility. Each conception of collective responsibility expands the scope of responsible actors, from selective stakeholders, to institutions, to systems, and finally to (...) all parties. Only universal social responsibility is sufficiently comprehensive to encompass all actors responsible for environmental problems such as the Amazon crisis. Moreover, its proponents take a spiritual turn that emphasizes compassion with and a sense of solidarity requisite for motivating activism. Universal social responsibility has the greatest potential to stimulate a paradigm shift that could lead to improved solutions to sustainability challenges. Ultimately, environmental activism needs to be rooted in love. (shrink)

In the heart of southeast Texas, an industrial powerhouse often referred to as the 'Golden Triangle', the oil refineries and petrochemical plants stand as stalwart testaments to the region's economic evolution. Interestingly, before the discovery of oil at Spindletop, the lumber and cattle industries powered this region's economy. A profound shift occurred when the Lucas Gusher, a fountain of oil spurting thousands of feet into the air, struck the lands of Spindletop Hill on January 10, 1901. This remarkable discovery of (...) the Spindletop oilfield on a slat dome formation south of Beaumont, Texas, marked the birth of the modern petroleum industry and fundamentally transformed the region's geopolitical, economic, and cultural landscapes. People from all over the country relocated to Gladys City and Beaumont in search of work and new opportunities, creating a boomtown as the town's population swelled from 10,000 to 50,000. The newfound urbanization brought by the oil industry transformed the town and the surrounding areas, creating a ripple effect across the region that would be felt for generations to come. The surge in oil-driven economic activity transmuted the region into a vibrant nexus of commerce, with the oil industry emerging as a critical architect of growth and advancement. This newfound affluence incited by the petroleum sector ushered in an era of economic diversification, laying the groundwork for industrialization’s further evolution. The Spindletop Oil Fields not only underscored the United States’ ascent as the foremost petroleum-producing nation but also signaled the nation’s initiation into the Petroleum Age. It was Spindletop that solidified its position as America’s first significant oil field, becoming an enduring symbol of its industrial might. By 1985, over 153,000,000 barrels of oil had been produced and extracted from the Spindletop oil fields, underscoring the magnitude of this extraordinary resource. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Extractivist OntologiesLithium Mining and Anthropocene Imaginaries in Chile's Atacama DesertMauricio F. Collao Quevedo (bio)The term energy transition generally refers to efforts to switch from one energy system to another. In light of the current climate crisis, energy transition projects have sought to move societies away from their reliance on fossil fuels and toward a renewables-based energy system. Yet such projects have not been easy to undertake. As Marie Forget (...) and Vincent Bos point out, an energy system based on renewables requires a transformation of energy "regulatory frameworks, technical and organizational structures, geographic forms and network practices" (1). More specifically, current energy transition models rely on the expansion of lithium production, accompanying systems of private property rights, and complex logistical and technical strategies. This article examines the interplay between lithium extraction, national development, and Anthropocene imaginaries in Chile's Atacama Desert, arguing that the green brand of extractivism that characterizes the industry relies on elaborate institutional arrangements aimed at expanding and protecting extractivist ontological and epistemological regimes in the politically contested region. As such, struggles over lithium in Chile's Atacama region demonstrate the extent to which efforts to decolonize the Anthropocene and make possible non-extractive futures of collective survival must unfold on ontological grounds, against the consolidation of the Age of Man.Mining, Water Rights, and Indigenous Communities in the Atacama DesertAmong today's most promising energy sources and materials are sodium, copper, sulfur, nickel, cobalt, rare earth metals, and lithium. These [End Page 78] have become central to energy transition strategies and states seeking to attract investors for development (Lunde Seefeldt). As a report by the World Bank points out, demand for transition minerals like lithium, cobalt, and graphite could increase by 500% by 2050 ("Climate-Smart Mining"), highlighting the extent to which global energy transition efforts are counting on greater extraction of transition minerals and the expansion of extractive frontiers to previously unexplored or unexploited regions (Moore, Capitalism; World Bank Group). Lithium is at the center of this economic and technological shift toward green economies.Global lithium demand is growing rapidly, with investment and production rates growing significantly in recent years (Narins) and catching the attention of states (e.g., China) and corporate tech giants (e.g., Tesla) that are already trying to secure greater shares of the global market. The light metal's popularity is largely due to its internal chemistry, which meets many of the technical and practical requirements associated with green energy transition. Lithium is light, conducive, and energy-dense, which in the context of batteries means faster recharge, lower costs, and charge-holding abilities that make lithium-ion batteries more efficient than a nickel-metal hybrid equivalent (Perotti and Coviello). Because of this, lithium is increasingly being considered as promising for human development and survival as its energy predecessors, inspiring labels such as "white gold," "white petroleum," "the new copper," "the 21st century's petroleum," or the "new gasoline" of sustainability (Acuña and Tironi; Lunde Seefeldt; Voskoboynik and Andreucci).But the industry is not without its downsides. The negative impacts of lithium extraction in Chile's Atacama Desert have been challenged by local communities for whom the metal does not exist as a discrete entity that can be easily extracted from its socioecological context. For many of these communities, lithium is more than a transition metal found in an appropriable and materially heterogenous underground brine: it is an ontologically contested, socioecological entity that sustains and participates in complex webs of life-supporting, place-based, and more-than-human relations. Such accounts of the brine are radically incompatible with "official" state accounts of it, which are maintained through an institutional architecture that allows the ontological basis of the brine to be manipulated for extractive purposes by both corporate and state actors.In the following pages, I examine the ways in which Chile's legal and institutional arrangements, informed by imaginaries of green modernization, [End Page 79] create conditions under which extralocal actors can manipulate along extractivist lines the ontological ambiguity and material heterogeneity of lithium-containing brines in the salt flats of the Atacama Desert. Through an analysis of the ways in which lithium industries in the... (shrink)

A good reputation is one of the most valuable assets a company can have. A problematic reputation can hinder companies in their performance. In competitive markets where products differ little in price, technology, or availability, reputation can make a difference. Petroleum companies are frequently associated with environmental issues such as oil spills and climate change. Since environmental performance rankings remain inconclusive due to methodological shortcomings, those issues may affect the sector’s reputation. This paper examines whether the observation of a (...) problematic reputation for multinationals in the petroleum sector is sustained by empirical data for the period 1990–2002. Taking in account methodological limitations, the analysis shows two downward trends for all companies, indicating a common reputation effect. The effect of catalyst events is observed for individual companies. However, the contribution of the paper is not only empirical. Conceptually, the results show the complexity of measuring the multidimensional concept of reputation, as well as the importance of the reputation commons, catalyst events, and a reputation mechanism. (shrink)

In 2020, TICCIH published its thematic study on oil heritage, the first global assessment of the heritage of petroleum production and the oil industry, and of the places, structures, sites, and landscapes that might be conserved for their historical, technical, social, or architectural attributes. In many cases, the petroleum production sites and historical infrastructures, situated in corrosive and fragile landscapes, are costly to conserve, challenging to re-use, and pre-function considering their contribution to climate change. TICCIH also included the (...) proposals for criteria to evaluate this heritage and priorities for conserving the most important sites, ensembles, and landscapes, from regional inventories up to World Heritage sites. In this report, the heritage of the petroleum industry is defined as ‘the most significant fixed, tangible evidence for the discovery, exploitation, production, and consumption of petroleum products and their impact on human and natural landscapes’. While the importance of the historical evidence for the oil industry as a tangible cultural heritage is self-evident, it is also challenging to define an integrated and holistic strategy from a conversation point of view. For achieving holistic and methodological re-use strategies, it is required to reconsider various factors such as national policies and economic systems. (shrink)

During a period of about four decades following World War I, gasoline was often deodorized at refineries by treatment with alkaline solutions of lead oxide, a procedure generally denoted ‘doctor sweetening’. Contemporary accounts describe it as old, but are generally vague about its origin. This paper traces the early history of the treatment of petroleum distillate by alkaline plumbite solution, dating back to 1866 when it was introduced in Germany by Rudolf Wagner. After 1869, this procedure became the preferred (...) method for deodorizing Canadian kerosene and other petroleum products which were afflicted by unusually high sulphur content. Subsequently, Hermann Frasch improved on this method by distilling the afflicted petroleum in the presence of solid metal oxides. (shrink)

One of the themes that has been widely addressed in both the implicit learning and statistical learning literatures is that of rule learning. While it is widely agreed that the extraction of regularities from the environment is a fundamental facet of cognition, there is still debate about the nature of rule learning. Rey and colleagues show that the comparison between human and non‐human primates can contribute important insights to this debate.

The possibility of extraction across awh-island is usually assumed to be dependent on whether or not the constituent in question can undergo “long” (i.e., nonlocal) Ā-movement across the island. However, the question of how to make a principled distinction between those elements which can violate locality and those which cannot is still rather controversial. I will propose that there are no well-formed locality violations in these cases, and that the grammaticality patterns observed derive from a semantic filter on the (...) escape hatch used to bypass the island. In other words, if a phrase is extracted across awh-island, it must adjoin to the island in order to get by. This adjunction site is restricted by the interpretive component: only traces which are interpreted as variables of typee can occur in this position, while higher-order variables are not allowed. This restriction is shown to capture the known facts aboutwh-island violations, as well as some less known phenomena, such as the absence of functional (and pair-list) readings acrosswh-islands. (shrink)

On April 20th, 2010, an incident was to take place 49 miles off the Louisiana coast at the Macondo Prospect location in the Gulf of Mexico that would potentially change the future of offshore oil drilling. On that day, 11 men would lose their lives when the 33,000 ton Deepwater Horizon rig, owned by Transocean but leased by BP PLC, exploded. As a result of the explosion, millions of barrels of oil would be released into the Gulf of Mexico, leading (...) to widespread environmental harm and devastation to the shoreline communities. To better examine the underlying reasons for how such an event could take place in 2010, this paper will unfold as follows. First, we provide context to the oil spill by discussing the history of BP, including its transformation into an “environmental” firm in 1995. Second, we explore and analyze the catastrophe through the lens of ethics. Finally, we analyze the disaster through a comparison with the U.S. 2008 financial crisis with a view to identify the root causes of the disaster and the string of ethical failures that have scarred the market economy over the past three or four decades. (shrink)

This case examines BP company’s launch of a new global brand - under the banner of “Beyond Petroleum” and a new logo – a vibrant sunburst of green, while, and yellow – in 2000. The case also analyzes the series of environmental health and a safety problem BP suffered since the launch of the “Beyond Petroleum” campaign and explores what important lessons that can be drawn for companies that might be considering sustainability factors in their branding strategies.

Much recent philosophical work argues that power constrains speech—pornography silences women, testimonial injustice thwarts a speaker’s transmission of knowledge, bias distorts the performative force of subordinated speech. Though the constraints that power places on speech are serious, power also enables some speech. Power doesn’t just keep us from speaking—it also makes us speak. In this paper I explore how power produces, rather than constrains, speech. I discuss a kind of speech I call extracted speech: speech that is unjustly elicited from (...) an agent. I discuss examples of coerced confession, intimidated “consent,” and mandatory self-disclosure as instances of extracted speech, and theorize a bit about what significance this speech has more generally for philosophy of language and political philosophy. (shrink)

We ask what type of neutralization techniques corporations apply to allegations of human rights abuses. We proceed by undertaking a Qualitative Content Analysis of 162 responses by ten extractives-sector firms over a period of 14 years. The firms were responding to accusations of human rights impacts documented by the Business and Human Rights Resource Centre. We use Garrett et al.’s :507–520, 1989) framework of neutralization techniques consisting of denial, justification, concession and excuse to examine the responses. During our QCA, we (...) observed emerging themes around self-promotion and evasive tactics. We contribute to existing literature by proposing ‘evasion’ as a novel neutralization technique, particularly in circumstances of corporate responses to accusations of wrongdoing. We argue that evasion occurs when firms refuse to engage in the debate brought forward in an accusation. In addition, we enrich our understanding of neutralization techniques by proposing subneutralization techniques in our analysis to diverge from that of other studies. We conclude by discussing the implications of the predominance of corporate narcissism and evasive neutralization techniques to the business and human rights movement and other international corporate responsibility standards. (shrink)

Let ${2-\textsf{RAN}}$ be the statement that for each real X a real 2-random relative to X exists. We apply program extraction techniques we developed in Kreuzer and Kohlenbach (J. Symb. Log. 77(3):853–895, 2012. doi:10.2178/jsl/1344862165), Kreuzer (Notre Dame J. Formal Log. 53(2):245–265, 2012. doi:10.1215/00294527-1715716) to this principle. Let ${{\textsf{WKL}_0^\omega}}$ be the finite type extension of ${\textsf{WKL}_0}$ . We obtain that one can extract primitive recursive realizers from proofs in ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + 2-\textsf{RAN}}$ , i.e., if ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + (...) 2-\textsf{RAN} \, {\vdash} \, \forall{f}\, {\exists}{x} A_{qf}(f,x)}$ then one can extract from the proof a primitive recursive term t(f) such that ${A_{qf}(f,t(f))}$ . As a consequence, we obtain that ${{\textsf{WKL}_0}+ \Pi^0_1 - {\textsf{CP}} + 2-\textsf{RAN}}$ is ${\Pi^0_3}$ -conservative over ${\textsf{RCA}_0}$. (shrink)

The mining and energy industries present unique challenges to engineers, who must navigate sometimes competing responsibilities and codes of conduct, such as personal senses of right and wrong, professional ethics codes, and their employers’ corporate social responsibility policies. Corporate social responsibility is the current dominant framework used by industry to conceptualize firms’ responsibilities to their stakeholders, yet has it plays a relatively minor role in engineering ethics education. In this article, we report on an interdisciplinary pedagogical intervention in a (...) class='Hi'>petroleum engineering seminar that sought to better prepare engineering undergraduate students to critically appraise the strengths and limitations of CSR as an approach to reconciling the interests of industry and communities. We find that as a result of the curricular interventions, engineering students were able to expand their knowledge of the social, rather than simply environmental and economic dimensions of CSR. They remained hesitant, however, in identifying the links between those social aspects of CSR and their actual engineering work. The study suggests that CSR may be a fruitful arena from which to illustrate the profoundly sociotechnical dimensions of the engineering challenges relevant to students’ future careers. (shrink)

Since the 1860s, petroleum companies, through their influence on local governments, port authorities, international actors and the general public gradually became more dominant in shaping the urban form of ports and cities. Under their development and pressure, the relationships between industrial and urban areas in port cities hosting oil facilities evolved in time. The borders limiting industrial and housing territories have continuously changed with industrial places moving progressively away from urban areas. Such a changing dynamic influenced the permeability of (...) these borders. Port cities are nodes and logistic points where various flows of commodities, wealth, and knowledge gathered before further re‐distribution. These flows affected port cities by changing their spatial organization and the availabiity of space between borders. The main question here is: How did industrial and urban borders evolve through time in port cities? Through a historical analysis, the article explores the settlements of oil facilities and the influence of oil companies over local, regional, and national governments in creating borders and how it influenced the porosity of port cities. This article, through the petroleum narrative, illustrates the impacts of past borders on the contemporary urban form through the evolution of the French port city of Dunkirk, in the North of France. As a historical study, the article analyzes the changing relationships between petroleum industrial sites and housing areas in the city of Dunkirk, using aerial pictures, archival sources, and regulations of different periods. The importance of this analysis lies in knowing that former oil sites previously located on the periphery of Dunkirk, that were forgotten by the authorities are now located within the current urban tissue. This process demonstrates the importance of historical developments to understand current challenges in the urban planning of industrial port cities. (shrink)

This paper concerns an information extraction process for building a dynamic legislation network from legal documents. Unlike supervised learning approaches which require additional calculations, the idea here is to apply information extraction methodologies by identifying distinct expressions in legal text in order to extract network information. The study highlights the importance of data accuracy in network analysis and improves approximate string matching techniques to produce reliable network data-sets with more than 98% precision and recall. The applications and the (...) complexity of the created dynamic legislation network are also discussed and challenged. (shrink)

forcement learning algorithms that generate only reactive policies and existing probabilistic planning algorithms that requires a substantial amount of a priori knowledge in order to plan we devise a two stage bottom up learning to plan process in which rst reinforcement learn ing dynamic programming is applied without the use of a priori domain speci c knowledge to acquire a reactive policy and then explicit plans are extracted from the learned reactive policy Plan extraction is based on a beam (...) search algorithm that performs temporal projection in a restricted fashion guided by the value functions resulting from reinforcement learn ing dynamic programming.. (shrink)

Abstract.Carrying out a suggestion by Kreisel, we adapt Gödel’s functional interpretation to ordinary first-order predicate logic(PL) and thus devise an algorithm to extract Herbrand terms from PL-proofs. The extraction is carried out in an extension of PL to higher types. The algorithm consists of two main steps: first we extract a functional realizer, next we compute the β-normal-form of the realizer from which the Herbrand terms can be read off. Even though the extraction is carried out in the (...) extended language, the terms are ordinary PL-terms. In contrast to approaches to Herbrand’s theorem based on cut elimination orɛ-elimination this extraction technique is, except for the normalization step, of low polynomial complexity, fully modular and furthermore allows an analysis of the structure of the Herbrand terms, in the spirit of Kreisel ([13]), already prior to the normalization step. It is expected that the implementation of functional interpretation in Schwichtenberg’s MINLOG system can be adapted to yield an efficient Herbrand-term extraction tool. (shrink)

This article addresses the problem of automatically extracting legal indices which express the important contents of legal documents. Legal indices are not limited to single-word keywords and compound-word keywords, they are also clause keywords. We approach index extraction using structural information of Japanese sentences, i.e. chunks and clauses. Based on the assumption that legal indices are composed of important tokens from the documents, extracting legal indices is treated as a problem of collecting chunks and clauses that contain as many (...) important tokens as possible. Each token is assigned a weight which is a statistical score, e.g. TF–IDF and Okapi BM25, to indicate its importance. The importance of a chunk or clause is determined based on the average weight of tokens included in that chunk or clause. Then, highly weighted chunks and clauses are recognized as the indices for legal documents. The experimental results on Japanese National Pension Act data show that our proposed method achieves better performance than TextRank, the most popular unsupervised method in extracting single-word and compound-word keywords. In addition, this approach is also applicable to extract clause keywords with high performance. (shrink)

In this paper we study with proof-theoretic methods the function(al) s provably recursive relative to Ramsey's theorem for pairs and the cohesive principle (COH). Our main result on COH is that the type 2 functional provably recursive from $RCA_0 + COH + \Pi _1^0 - CP$ are primitive recursive. This also provides a uniform method to extract bounds from proofs that use these principles. As a consequence we obtain a new proof of the fact that $WKL_0 + \Pi _1^0 - (...) CP + COH$ is $\Pi _1^0 $ -conservative over PRA. Recent work of the first author showed that $\Pi _1^0 + CP + COH$ is equivalent to a weak variant of the Bolzano-Weierstraß principle. This makes it possible to use our results to analyze not only combinatorial but also analytical proofs. For Ramsey's theorem for pairs and two colors $\left( {RT_2^2 } \right)$ we obtain the upper bounded that the type 2 functionals provable recursive relative to $RCA_0 + \sum\nolimits_2^0 {IA + RT_2^2 } $ are in T₁. This is the fragment of Gödel's system T containing only type 1 recursion—roughly speaking it consists of functions of Ackermann type. With this we also obtain a uniform method for the extraction of T₁-bounds from proofs that use RT2..... Moreover, this yields a new proof of the fact that $WKL_0 + \sum\nolimits_2^0 {IA} + RT_2^2 $ is $\Pi _1^0 $ -conservative over $RCA_0 + \sum\nolimits_2^0 { - IA} $ . The results are obtained in two steps: in the first step a term including Skolem functions for the above principles is extracted from a given proof. This is done using Gödel's functional interpretation. After this the term is normalized, such that only specific instances of the Skolem functions are used. In the second step this term is interpreted using $\Pi _1^0 $ -comprehension. The comprehension is then eliminated in favor of induction using either elimination of monotone Skolem functions (for COH) or Howard's ordinal analysis of bar recursion (for $RT_2^2 $. (shrink)

This paper describes formalizations of Tait's normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machine-extracted that implement variants of the well-known normalization-by-evaluation algorithm. The case study is used to test and compare the program extraction machineries of the three proof assistants in a non-trivial setting.

On some occasions of self-reference there can be two equally viable forms available to speakers: individual self-reference and collective self-reference. This means that selection of one or the other in talk-in-interaction can — akin to the selection of terms for reference to non-present persons — be guided by such considerations as recipient design and action formation. As a strategy for investigating the selection of self-reference terms, this article examines repairs to self-reference that change the form of reference from individual to (...) collective and vice versa. We first identify two repair operations found in the domain of self-reference: aggregation and extraction and then we track the use of both operations across a range of positions in the repair initiation opportunity space. Finally we consider some of the interactional uses of aggregation and extraction repairs in resolving sources of troubles associated with speaker epistemic authority and responsibility for described actions. (shrink)

Over the last one hundred and fifty years, the extraction and processing of non-renewable resources has provided the basis for the three industrial revolutions that have led to the modern economies of the developed world. In the process, the nature of resource extraction firms has also changed dramatically, from small-scale operations exploiting easily accessible deposits to large, vertically integrated, capital intensive transnational corporations characterized by oligopolistic competition. In the last ten to fifteen years, coinciding with processes of economic (...) globalization, another major change has been occurring as resource extraction industries have been shifting their operations from developed to developing countries. This shift has greatly impacted the populations of these countries and raises a variety of ethical issues. This article investigates the nature of these changes and the ethical issues that arise, focusing in particular on the development impact of the activities of these industries and the potential adequacy of different policy approaches to regulating them. (shrink)

In this paper, we showcase our research on the use of ontologies and information extraction for the purpose of modeling damages incurred on car bodies. With the increasing use of technology in the automotive industry, it is important to have a standardized and efficient way of documenting and analyzing car damage reports. Most existing reports are unstructured, and there is a lack of standardization in describing the damage. To address this issue, we have developed a domain ontology for car (...) damage modeling (OCD),11 industryportal.enit.fr/ontologies/OCD,22 github.com/OntologyCarDamage/OCD and proposed an end-to-end system to extract information from French automotive reports. The information extraction process involves using named entity recognition (NER) and relationship extraction (RE) techniques to identify and extract relevant information from the reports. Then, the extracted information is used to populate the OCD ontology, allowing a structured and standardized representation of the damage information. The proposed system was tested on a real dataset of automotive reports and showed promising results. (shrink)

Keyword extraction refers to the process of selecting most significant, relevant, and descriptive terms as keywords, which are present inside a single document. Keyword extraction has major applications in the information retrieval domain, such as analysis, summarization, indexing, and search, of documents. In this paper, we present a novel supervised technique for extraction of keywords from medium-sized documents, namely Corpus-based Contextual Semantic Smoothing. CCSS extends the concept of Contextual Semantic Smoothing, which considers term usage patterns in similar (...) texts to improve term relevance information. We introduce four more features beyond CSS as our novel contributions in this work. We systematically compare the performance of CCSS with other techniques, when implemented over INSPEC dataset, where CCSS outperforms all state-of-the-art keyphrase extraction techniques presented in the literature. (shrink)

ABSTRACT Norway has a complex, even paradoxical, relationship to the United Nations Agenda 2030 and its 17 Sustainable Development Goals. It makes considerable financial contributions to the United Nations and has strongly supported the establishment of the sustainability agenda aimed at promoting global equity and mitigating the ecological and climate crises. Norway is also a prominent petroleum-producing nation. The Norwegian position is explored using an approach that emphasizes justice and education in the sustainability agenda. Three key texts are studied. (...) The first is the objectives clause in the Education Act, the second is an address by then prime minister Erna Solberg at the annual conference of the Confederation of Norwegian Enterprise, and the third are educational assignments published by the Norwegian Petroleum Museum addressing sustainability and climate change. What is decisive is how specific facets of justice are emphasized in ways that detach Norway from tensions, contradictions, and dilemmas involved. (shrink)

The decidability of the logic of pure ticket entailment means that the problem of inhabitation of simple types by combinators over the base { B, B′, I, W } is decidable too. Type-assignment systems are often formulated as natural deduction systems. However, our decision procedure for this logic, which we presented in earlier papers, relies on two sequent calculi and it does not yield directly a combinator for a theorem of ${T_\to}$. Here we describe an algorithm to extract an inhabitant (...) from a sequent calculus proof—without translating the proof into another proof system. (shrink)

A fictional text is commonly viewed as constituting an invitation to play a certain game of make-believe, with the individual sentences written by the author providing the propositions we are to imagine and/or accept as true within the fiction. However, we can’t always take the text at face value. What narratologists call ‘unreliable narrators’ may present a confused or misleading picture of the fictional world. Meanwhile there has been a debate in philosophy about so-called ‘imaginative resistance’ in which we are (...) inclined to resist imagining (or even accepting as true in the fiction) what’s explicitly stated in the text. But if we can’t take the text’s word for it, how do we determine what’s true in a fiction? We propose an account of fiction interpretation in a dynamic setting (a version of DRT with a mechanism for opening, updating, and closing temporary ‘workspaces’) and combine this framework with belief revision logic. With these tools in hand we turn to modelling imaginative resistance and unreliable narrators. (shrink)

Connectionist networks excel at extracting statistical regularities but have trouble extracting higher-order relationships. Clark & Thornton suggest that a solution to this problem might come from Elman, but I argue that the success of Elman's single recurrent network is illusory, and show that it cannot in fact represent abstract relationships that can be generalized to novel instances, undermining Clark & Thornton 's key arguments.

In this paper, I provide an account of what is frequently called Socrates’s “method,” and, more specifically, of what one is being asked by Socrates when he asks “what is x?” I argue that one is being asked to change one’s life, and to orient one’s life around the pursuit of wisdom. To answer Socrates’s question is to subject oneself to a process of extracting from oneself one’s accumulated prejudices; doing so requires one to abandon, not just ideas that have (...) been demonstrated to be false, but the aspects of one’s life that have been built around those previous un-reflected upon ideas. This means that the cumulative commitments of adulthood—predicated as many of them often are on un-reflected-upon presumptions—prevent initiation into philosophical life. The call to do philosophy is, for Socrates, the call to subject oneself to perpetual transformation, limiting who is capable of its pursuit. (shrink)

In this paper, we study the extraction of roots as presented by Al-Kashi in his 1427 book “Key to Arithmetic” and Stevin in his 1585 book “Arithmetic”. In analyzing their methods, we note that Stevin’s technique contains some flaws that we amend to present a coherent algorithm. We then show that the underlying algorithm for the methods of both Al-Kashi and Stevin is the same.

Automatic text summarization extracts information from a source text and presents it to the user in a condensed form while preserving its primary content. Many text summarization approaches have been investigated in the literature for highly resourced languages. At the same time, ATS is a complicated and challenging task for under-resourced languages like Malayalam. The lack of a standard corpus and enough processing tools are challenges when it comes to language processing. In the absence of a standard corpus, we have (...) developed a dataset consisting of Malayalam news articles. This article proposes an extractive topic modeling-based multi-document text summarization approach for Malayalam news documents. We first cluster the contents based on latent topics identified using the latent Dirichlet allocation topic modeling technique. Then by adopting vector space model, the topic vector and sentence vector of the given document are generated. According to the relevant status value, sentences are ranked between the document’s topic and sentence vectors. The summary obtained is optimized for non-redundancy. Evaluation results on Malayalam news articles show that the summary generated by the proposed method is closer to the human-generated summaries than the existing text summarization methods. (shrink)

We report on an experiment examining whether individuals can solve a simple signal extraction problem of the type found in models with imperfect information. In one treatment, subjects must form point predictions based on observing both public and private signals, while in another they receive the same information but must decide on the weight to attach to each signal, which then determines their point prediction. We find that, at the aggregate level, signal extraction provides a good characterization of (...) subjects’ behavior in both treatments, but at the individual level, there is considerable heterogeneity in subjects’ ability to perform signal extraction. (shrink)

How speech sounds are represented in the brain is not fully understood. The mismatch negativity has proven to be a powerful tool in this regard. The MMN event-related potential is elicited by a deviant stimulus embedded within a series of repeating standard stimuli. Listeners construct auditory memory representations of these standards despite acoustic variability. In most designs that test speech sounds, however, this variation is typically intra-category: All standards belong to the same phonetic category. In the current paper, inter-category variation (...) is presented in the standards. These standards vary in manner of articulation but share a common phonetic feature. In the standard retroflex experimental block, Mandarin Chinese speaking participants are presented with a series of “standard” consonants that share the feature [retroflex], interrupted by infrequent non-retroflex deviants. In the non-retroflex standard experimental block, non-retroflex standards are interrupted by infrequent retroflex deviants. The within-block MMN was calculated, as was the identity MMN to account for intrinsic differences in responses to the stimuli. We only observed a within-block MMN to the non-retroflex deviant embedded in the standard retroflex block. This suggests that listeners extract [retroflex] despite significant inter-category variation. In the non-retroflex standard block, because there is little on which to base a coherent auditory memory representation, no within-block MMN was observed. The iMMN to the retroflex was observed in a late time-window at centro-parieto-occipital electrode sites instead of fronto-central electrodes, where the MMN is typically observed, potentially reflecting the increased difficulty posed by the added variation in the standards. In short, participants can construct auditory memory representations despite significant acoustic and inter-category phonological variation so long as a shared phonetic feature binds them together. (shrink)

We prove constructively that for any propositional formula in Conjunctive Normal Form, we can either find a satisfying assignment of true and false to its variables, or a refutation of showing that it is unsatisfiable. This refutation is a resolution proof of ¬. From the formalization of our proof in Coq, we extract Robinson’s famous resolution algorithm as a Haskell program correct by construction. The account is an example of the genre of highly readable formalized mathematics.

This article reviews existing empirical research on the peak-and-end rule. This rule states that people's global evaluations of past affective episodes can be well predicted by the affect experienced during just two moments: the moment of peak affect intensity and the ending. One consequence of the peak-and-end rule is that the duration of affective episodes is largely neglected. Evidence supporting the peak-and-end rule is robust, but qualified. New directions for future work in this emerging area of study are outlined. In (...) particular, the personal meanings associated with specific moments and with specific emotions should be assessed. It is hypothesised that moments rich with self-relevant information will dominate people's global evaluations of past affective episodes. The article concludes with a discussion of ways to measure and optimise objective happiness. (shrink)