Caroline New is an energetic activist who has interpolated critical realist ideas into the front-line of political activism. In this wide-ranging interview, she begins by reflecting on her life and how she became a realist and her account is illustrated with personal anecdotes recalling memories of well-known philosophers and activists from the time. She discusses how her position set her apart from other feminists and she examines the interacting threads of longstanding debates on the political left, as well as (...) longstanding debates within critical realist circles, such as the relative importance of quantitative methods in social research and the scope for agency as a source of intentional change. Finally she brings some of her ideas to bear on contemporary issues. This engaging interview notably provides some of the social context in which critical realism developed, while also pointing towards its future potential. (shrink)

An interpolation theorem holds for many standard modal logics, but first order $S5$ is a prominent example of a logic for which it fails. In this paper it is shown that a first order $S5$ interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.

In this paper we will be concerned with the interpretability logic of PA and in particular with the fact that this logic, which is denoted by ILM, does not have the interpolation property. An example for this fact seems to emerge from the fact that ILM cannot express Σ₁-ness. This suggests a way to extend the expressive power of interpretability logic, namely, by an additional operator for Σ₁-ness, which might give us a logic with the interpolation property. We will formulate (...) this extension, give an axiomatization which is modally complete and arithmetically complete (although for proofs of these theorems we refer to an earlier paper), and investigate interpolation. We show that this logic still does not have the interpolation property. (shrink)

We discuss the interpolation property on some important families of non classical logics, such as intuitionistic, modal, fuzzy, and linear logics. A special paragraph is devoted to a generalization of the interpolation property, uniform interpolation.

The rediscovery of the silver-backed chevrotain, an endemic species to Vietnam, in 2019, after almost 30 years of being lost to science, is a remarkable outcome for the global conservation agenda. However, along with the happiness, there is a tremendous concern for the conservation of the species as eating wildmeat, including chevrotain, is deeply rooted in the socio-cultural values of Vietnamese. Meanwhile, conservation plans face multiple obstacles since the species has not been listed in the list of endangered, precious, and (...) rare wildlife prioritized for protection and is still classified by the IUCN as lacking data. Given the limited effectiveness of conservation measures, this essay discusses the determining roles of local actions, community cooperation, and humanistic values oriented toward eco-surplus culture in addressing the global biodiversity conservation agenda, specifically the conservation of the silver-backed chevrotain. Local actions and community cooperation for conservation can be actualized to achieve conservation goals through citizen and community sciences, integration of modern technologies (e.g., Internet, crowdfunding platforms, social media, AI, etc.), and the bonding capability of humanistic values that prioritize environmental healing. Communicating conservation information to the community, especially the children, has to stimulate their thinking and imagination about nature, develop their curiosity and desire to protect wildlife, and eventually build eco-surplus core values in their mindsets. To successfully awaken the humanistic values within the community and incorporate them into conservation endeavors, the conservation message with the name “mouse-deer”, “chevrotain”, or scientific name (Tragulus versicolor) is largely insufficient as they show an unfamiliar feeling. Therefore, we suggest calling the mouse-deer “cheo cheo”, a local name that can create familiarity and closeness, awaken the environmental conscience and humanistic values, and stimulate thinking and imagination. All these factors are essential for conservationists, scientists, and the government to support the community in building the eco-surplus culture. (shrink)

In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains [13]. More precisely, we show that there is a valid implication $\phi \rightarrow \psi $ with no interpolant. Importantly, this result does not contradict the unfortunately named ‘Craig interpolation’ theorem established by Rauszer in [24] since that article is about the property more correctly named ‘deductive interpolation’ (see (...) Galatos, Jipsen, Kowalski and Ono’s use of this term in [5]) for global consequence. Given that the deduction theorem fails for bi-intuitionistic logic with global consequence, the two formulations of the property are not equivalent. (shrink)

The Craig interpolation property is investigated for substructural logics whose algebraic semantics are varieties of semilinear pointed commutative residuated lattices. It is shown that Craig interpolation fails for certain classes of these logics with weakening if the corresponding algebras are not idempotent. A complete characterization is then given of axiomatic extensions of the “R-mingle with unit” logic that have the Craig interpolation property. This latter characterization is obtained using a model-theoretic quantifier elimination strategy to determine the varieties of Sugihara monoids (...) admitting the amalgamation property. (shrink)

We consider the propositional logic equipped withChellas stitoperators for a finite set of individual agents plus the historical necessity modality. We settle the question of whether such a logic enjoys restricted interpolation property, which requires the existence of an interpolant only in cases where the consequence contains no Chellas stit operators occurring in the premise. We show that if action operators count as logical symbols, then such a logic has restricted interpolation property iff the number of agents does not exceed (...) three. On the other hand, if action operators are considered to be nonlogical symbols, then the restricted interpolation fails for any number of agents exceeding one. It follows that unrestricted Craig interpolation also fails for almost all versions of stit logic. (shrink)

This article will explore a problem which is related to our moral obligations towards species. Although the re-creation of extinct animals has been discussed to some degree both in lay deliberations as well as by scientists, advocates tend to emphasize the technological and scientific value of such an endeavour, and the “coolness” factor, 32–33, 2013). This article will provide an argument in favour of re-creation based on normative considerations. The environmentalist community generally accepts that it is wrong to exterminate species, (...) for reasons beyond any instrumental value these species may have. It is often also claimed that humanity has a collective responsibility to either preserve or at least to not exterminate species. These two beliefs are here assumed to be correct. The argument presented here departs from and places these two ideas in a deontological framework, from which it is argued that when humanity causes the extinction of a species, this is a moral transgression, entailing a residual obligation. Such an obligation implies a positive duty to mitigate any harm caused by our moral failure. In light of recent scientific progress in the field of genetic engineering, it will be argued that humanity has a prima facie obligation to re-create species whose extinction mankind may have caused, also known as de-extinction. (shrink)

We introduce a notion of a real game (a generalisation of the Karchmer-Wigderson game (cf. [3]) and of real communication complexity, and relate this complexity to the size of monotone real formulas and circuits. We give an exponential lower bound for tree-like monotone protocols (defined in [4, Definition 2.2]) of small real communication complexity solving the monotone communication complexity problem associated with the bipartite perfect matching problem. This work is motivated by a research in interpolation theorems for prepositional logic (by (...) a problem posed in [5, Section 8], in particular). Our main objective is to extend the communication complexity approach of [4, 5] to a wider class of proof systems. In this direction we obtain an effective interpolation in a form of a protocol of small real communication complexity. Together with the above mentioned lower bound for tree-like protocols this yields as a corollary a lower bound on the number of steps for particular semantic derivations of Hall's theorem (these include tree-like cutting planes proofs for which an exponential lower bound was demonstrated in [2]). (shrink)

In a previous paper [ 21 ] all extensions of Johansson’s minimal logic J with the weak interpolation property WIP were described. It was proved that WIP is decidable over J. It turned out that the weak interpolation problem in extensions of J is reducible to the same problem over a logic Gl, which arises from J by adding tertium non datur. In this paper we consider extensions of the logic Gl. We prove that only finitely many logics over Gl (...) have the Craig interpolation property CIP, the restricted interpolation property IPR or the projective Beth property PBP. The full list of Gl-logics with the mentioned properties is found, and their description is given. We note that IPR and PBP are equivalent over Gl. It is proved that CIP, IPR and PBP are decidable over the logic Gl. (shrink)

A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear logic, a Kolmogorov-Gentzen-Gödel style translation, and a new translation between (...) the global consequence systems induced by full Lambek calculus and linear logic, mixing features of a Kiriyama-Ono style translation with features of a Kolmogorov-Gentzen-Gödel style translation. These translations establish a strong relationship between the logics involved and are used to obtain new results about whether Craig interpolation and Maehara interpolation hold in that logics . (shrink)

How films help us understand the inevitable death of Earth and humanity.

The guarded fragment (GF) was introduced by Andréka, van Benthem and Németi as a fragment of first order logic which combines a great expressive power with nice, modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. Slightly generalizing the admissible relativizations yields the packed fragment (PF). In this paper we investigate interpolation and definability in these fragments. We first show that the interpolation property of first order logic fails in restriction (...) to GF and PF. However, each of these fragments turns out to have an alternative interpolation property that closely resembles the interpolation property usually studied in modal logic. These results are strong enough to entail the Beth definability property for GF and PF. Even better, every guarded or packed finite variable fragment has the Beth property. For interpolation, we characterize exactly which finite variable fragments of GF and PF enjoy this property. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Extinction is usually associated with the death of the last remaining individual of a species, taxon, or population of organisms. Here I ask the question of whether extinction might also be applied to cases where individuals of the relevant category remain alive. Global impacts in the Anthropocene suggest extinction may be broader than typically thought. Technologies available in the emerging ‘synthetic age’ alter taxa in ways that may appropriately be characterized as extinction. The core of the (...) more traditional account of extinction remains valuable. Losing the last few individuals of a taxon matters. But emerging types of loss may demand a broader understanding of extinction. This broader understanding could capture more of what humans are doing to the biosphere. (shrink)

In his recent monograph on textual criticism, Richard Tarrant discusses the history, problems and practices of diagnosing interpolations in Latin texts, and persuasively argues for ‘restor[ing] interpolation to the editor's armoury’. In the hopes of better arming future editors, I identify a possible interpolation in the second book of Claudian's De Raptu Proserpinae. The passage in question describes the celebrations in the underworld that attend the wedding of Pluto and Proserpina; joining in the holiday mood, the Furies let their snaky (...) hair down to enjoy a drink of wine while they light festive torches for the nuptials :oblitae scelerum formidatique furorisEumenides cratera parant et uina ferocicrine bibunt flexisque minis iam lene canentes 345extendunt socios ad pocula plena cerastaset festas alio succendunt lumine taedas. (shrink)

Important positive as well as negative results on interpolation property in fragments of the intuitionistic propositional logic (INT) were obtained by J. I. Zucker in [6]. He proved that the interpolation theorem holds in purely implicational fragment of INT. He also gave an example of a fragment of INT for which interpolation fails. This fragment is determined by the constant falsum (), well known connectives: implication () and conjunction (), and by a ternary connective defined as follows: (p, q, r)= (...) df (pq)(pr).Extending this result of J. I. Zucker, G. R. Renardel de Lavalette proved in [5] that there are continuously many fragments of INT without the interpolation property. (shrink)

Continuing work initiated by Jónsson, Daigneault, Pigozzi and others; Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property (cf. [Mak 91], [Mak 79]). The aim of this paper is to extend the latter result to a large class of logics. We will prove that the characterization can be extended to all algebraizable logics containing Boolean fragment and having a certain kind of local (...) deduction property. We also extend this characterization of the interpolation property to arbitrary logics under the condition that their algebraic counterparts are discriminator varieties. We also extend Maksimova's result to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller than 2, too.The problem of extending the above characterization result to no n-normal non-unary modal logics remains open. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

An interpolation Theorem is proved for first order logic with infinitary predicates. Our proof is algebraic via cylindric algebras.1.

This chapter examines global policing as it takes shape through the work of Interpol, the International Criminal Police Organization. Global policing emerges in the legal, political and technological amalgam through which transnational police cooperation is carried out, and includes the police practices inflected and made possible by this phenomenon. Interpol’s role is predominantly in the circulation of information, through which it enters into relationships and provides services that affect aspects of governance, from the local to national, regional and global. The (...) chapter describes this assemblage as a noteworthy experiment in developing what McKeon called a frame for common action. Drawing on Interpol publications, news stories, interviews with staff, and fieldwork at the General Secretariat in Lyon, France, the history, institutional structure, and daily practices are described. Three cases are analyzed, concerning Red Notices, national sovereignty, and terrorism, in order to explore some of the problems arising in Interpol’s political and technical operating arrangements. In conclusion, international and global policing are compared schematically, together with Interpol’s attempts to give institutional and procedural direction to the still-evolving form of global policing. (shrink)

Debates about the planet’s recent entrance into an epoch of earth history now characterized by the destructive effects of humankind’s having become a planetary force to rival plate tectonics, supervolcanos and asteroid impacts should have the effect of placing Theodor W. Adorno and Walter Benjamin’s conception of natural history in a new light. For what it is perhaps most striking about this conception is not only its proximity to a present made newly aware of nature and history’s total interpenetration, but (...) just how precisely its understanding of natural history’s essential transitoriness accords with what is now everywhere observable: that ever-accelerating process of disintegration through which it becomes clear that the life of phenomena can only be known today if it is also known in terms of that reality of disappearance to which the current age daily testifies. For Adorno and Benjamin, such a conception of natural history had very real consequences for how philosophical cognition and construction would have to be remade, leading both to pursue far-reaching experiments in intellectual production that it is the task of this paper to reconstruct in the light of its possible relevance for the theory and practice of critical theory today. (shrink)

Contesting Extinctions: Decolonial and Regenerative Futures critically interrogates the discursive framing of extinctions and how they relate to the systems that bring about biocultural loss. The chapters in this multidisciplinary volume examine approaches to ecological and social extinction and resurgence from a variety of fields, including environmental studies, literary studies, political science, and philosophy. Grounding their scholarship in decolonial, Indigenous, and counter-hegemonic frameworks, the contributors advocate for shifting the discursive focus from ruin to regeneration. -/- .

Human extinction is something generally deemed as undesirable, although some scholars view it as a potential solution to the problems of the Earth since it would reduce the moral evil and the suffering that are brought about by humans. We contend that humans collectively have absolute intrinsic value as sentient, conscious and rational entities, and we should preserve them from extinction. However, severe threats, such as climate change and incurable viruses, might push humanity to the brink of (...) class='Hi'>extinction. Should that occur, it might be useful to envision a successor to humans able to preserve and hand down its value. One option would be to resort to humanoid robots that reproduce our salient characteristics by imitation, thanks to AI powered by machine learning. However, the question would arise of how to select the characteristics needed for our successors to thrive. This could prove to be particularly challenging. A way out might come from an algorithm entrusted with this choice. In fact, an algorithmic selection both at the social and at the individual level could be a preferred choice than other traditional ways of making decisions. In this sense, reflecting on human extinction helps us to identify solutions that are also suitable for the problems we face today. (shrink)