Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a small class (...) of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

Encampment continues to be one of the dominant modes of responding to refugee situations. I suggest that we would do well to conceive of the wrongfulness of refugee camps not just in terms of their effects, but also in terms of their function. I endorse the view that camps currently function primarily to contain displaced persons and develop a novel conception of the wrong of encampment in terms of that function. Drawing on Heidegger's account of the spatiality proper to different (...) entities, I argue that practices of containment reduce refugees to the status of objects to be, in effect, immobilized and stored away for an indeterminate amount of time. (shrink)

Community has been both celebrated and demonized as a fortress that shelters and defends its members from being exposed to difference. Instead of abandoning community as an antiquated model of relationships that is ill suited for our globalized world, this book turns to the writings of Giorgio Agamben, Roberto Esposito, and Jean-Luc Nancy in search for ways to rethink community in an open and inclusive manner. Greg Bird argues that a central piece of this task is found in how each (...) philosopher rearticulates community not as something that is proper to those who belong and improper to those who are excluded or where inclusion is based on one’s share in common property. We must return to the forgotten dimension of sharing, not as a sharing of things that we can contain and own, but as a process that divides us up and shares us out in community with one another. This book traces this problem through a wide array of fields ranging from biopolitics, communitarianism, existentialism, phenomenology, political economy, radical philosophy, and social theory. (shrink)

In his book review of Graham Priest's The Fifth Corner of Four, Mark Siderits, while criticising Priest's philology, suggests that Priest's work is 'of considerable interest' for two reasons. First, 'when two independent traditions use similar methods to work on similar issues, it is always possible that one may have hit on approaches that the other missed'. Second, 'the decentering that can be induced by looking at another tradition may trigger fresh insights, even if those insights are not ones that (...) were actually developed by the tradition marked 'other''. The main task of this paper is to unpack Siderits' thought. By analysing some of Priest's work, I will suggest a decentering that must have taken place in China when Buddhism was 'exported to China in Buddhist shipping containers'. For anyone familiar with the forms of Buddhist philosophy developed in India, various forms of Chinese Buddhism can often look strange. Some ideas that were debated and defended by Indian Buddhists do not appear anywhere in Chinese Buddhism and some assumptions have been quietly added to Buddhism by Chinese Buddhists. By showing that Priest's work brings out the 'innovation' that Chinese Buddhists gave to Buddhism, I will suggest that it is this decentering that Siderits suggests Priest makes use of. (shrink)

While most of the literature has attempted to justify harsh and soft containment given some fundamental commitments of political liberalism, I focus on how justified forms of containment can in themselves be deemed effective. This article shows that a reading of Rawls allows for a comparison of different containment practices based on their capacity to protect the stability of liberal democracies under serious threat. And, in making it possible to compare harsh and soft containment, I evaluate (...) immediate stability gains against citizens’ judgements about their liberal democratic institutions. (shrink)

The preface paradox can be motivated by appealing to a plausible inference from an author’s reasonable assertion that her book is bound to contain errors to the author’s rational belief that her book contains errors. By evaluating and undermining the validity of this inference, I offer a resolution of the paradox. Discussions of the preface paradox have surprisingly failed to note that expressions of fallibility made in prefaces typically employ terms such as surely, undoubtedly, and bound to be. After considering (...) what these terms mean, I show that the motivating inference is invalid. Moreover, I argue that a closer consideration of our expressions of fallibility suggest that epistemically responsible authors would not be rational to believe that their books contain errors. I conclude by considering alternative expressions of fallibility that employ terms such as possible and probable, and discuss the role that expressions of fallibility play in conversation. (shrink)

The World Health Organization has declared the outbreak of the novel coronavirus, Covid-19 as pandemic across the world. With its alarming surge of affected cases throughout the world, lockdown, and awareness (social distancing, use of masks etc.) among people are found to be the only means for restricting the community transmission. In a densely populated country like India, it is very difficult to prevent the community transmission even during lockdown without social awareness and precautionary measures taken by the people. Recently, (...) several containment zones had been identified throughout the country and divided into red, orange and green zones, respectively. The red zones indicate the infection hotspots, orange zones denote some infection and green zones indicate an area with no infection. Contact tracing is known to be an effective technique for detecting and monitoring persons who may have been exposed to individuals infected with any communicable disease. While a good number of contact tracing schemas are existent today (eg., in-person and phone interviews, paper forms, email and web based questionnaires and smartphone apps), they often require active user participation and might miss certain COVID-19 transmission. The Android application updates the locations of the areas in a Google map which are identified to be the containment zones. The application also notifies the users if they have entered a containment zone and to achieve all these functionalities, many tools, and APIs from Google like Firebase and Geofencing API are used in this application. Therefore, this application can be used as a tool for creating further social awareness about the arising need of precautionary measures to be taken by the people of India. (shrink)

As part of a trend in modern cognitive science, cognitive linguist, George Lakoff, and philosopher, Mark Johnson claim to provide a biologically-based account of subsymbolic meaningful experiences. They argue that human beings understand objects by extrapolating from their sensory motor activities and primary perceptions. Lakoff and Johnson’s writings have generated a good deal of interest among scholars of Early China because they maintain that “our common embodiment allows for common stable truths.” Although there are many grounds on which Lakoff and (...) Johnson’s theories have been criticized, this essay focuses in particular on problems related to their schema of Self as Container. Lakoff and Johnson contend that there are no pure experiences outside of culture, while nevertheless arguing that the experience of being a closed-off container is “direct.” “The concepts OBJECT, SUBSTANCE and CONTAINER emerge directly,” they write. “We experience ourselves as entities, separate from the rest of the world—as containers with an inside and an outside.” By “emerge directly,” they do not mean emerging free of culture, but rather that some experiences within culture, specifically physical experiences, are more directly given than others. My study explores the pitfalls of presuming the “direct” experience of containment makes good sense of texts from Early China (ca. 500–100 B.C.E). (shrink)

This viewpoint provides an explanation from the public health policies of Vietnamese government to contain the contagious disease with regard to COVID-19 pandemic. A combination of an early lockdown, increase in “virality” of the health information, encouragement in health declaration, regulation for wearing mask in the public, and country’s unity have been the effective ways to cope with this deadly virus in Vietnam, a developing country, which became the first country to halt the SARS spread successfully in 2003.

A suprise may occur if we use a similar strategy to the Liar's paradox to mathematically formalize "This sentence does not contain the symbol X".

Cora Diamond has claimed that Wittgenstein’s Tractatus contains an early ‘private language argument’: an argument that private objects in other people’s minds can play no role in the language I use for talking about their sensations. She further claims that the Tractatus contains an early version of the later idea that an inner process stands in need of outward criteria. The paper argues against these claims, on the grounds that they depend on an unwarranted construal of the Tractatus’s notion of (...) use. It is further argued that Diamond’s interpretation makes a mystery of the relation between the Tractatus and Wittgenstein’s 1929 account of sensation language, set out in Philosophical Remarks and elsewhere. Finally, the paper considers and defends Michael Dummett’s contention that the Tractatus is a paradigm of semantic realism, in the light of Diamond’s claim that the Tractatus in fact suggests a form of anti-realism about sensation language. (shrink)

(Recipient of the 2020 Everett Mendelsohn Prize.) This article revisits the development of the protoplasm concept as it originally arose from critiques of the cell theory, and examines how the term “protoplasm” transformed from a botanical term of art in the 1840s to the so-called “living substance” and “the physical basis of life” two decades later. I show that there were two major shifts in biological materialism that needed to occur before protoplasm theory could be elevated to have equal status (...) with cell theory in the nineteenth century. First, I argue that biologists had to accept that life could inhere in matter alone, regardless of form. Second, I argue that in the 1840s, ideas of what formless, biological matter was capable of dramatically changed: going from a “coagulation paradigm” that had existed since Theophrastus, to a more robust conception of matter that was itself capable of movement and self-maintenance. In addition to revisiting Schleiden and Schwann’s original writings on cell theory, this article looks especially closely at Hugo von Mohl’s definition of the protoplasm concept in 1846, how it differed from his primordial utricle theory of cell structure two years earlier. This article draws on Lakoff and Johnson’s theory of “ontological metaphors” to show that the cell, primordial utricle, and protoplasm can be understood as material container, object, and substance, and that these overlapping distinctions help explain the chaotic and confusing early history of cell theory. (shrink)

The aim of this article is to explore the impact of Darwinism in metaethics and dispel some of the confusion surrounding it. While the prospects for a Darwinian metaethics appear to be improving, some underlying epistemological issues remain unclear. We will focus on the so-called Evolutionary Debunking Arguments (EDAs) which, when applied in metaethics, are defined as arguments that appeal to the evolutionary origins of moral beliefs so as to undermine their epistemic justification. The point is that an epistemic disanalogy (...) can be identified in the debate on EDAs between moral beliefs and other kinds of beliefs, insofar as only the former are regarded as vulnerable to EDAs. First, we will analyze some significant debunking positions in metaethics in order to show that they do not provide adequate justification for such an epistemic disanalogy. Then, we will assess whether they can avoid the accusation of being epistemically incoherent by adopting the same evolutionary account for all kinds of beliefs. In other words, once it is argued that Darwinism has a corrosive impact on metaethics, what if its universal acid cannot be contained? (shrink)

Tarski's indefinability theorem shows us that truth is not definable in arithmetic. The requirement to define truth for a language in a stronger language (if contradiction is to be avoided) lapses for particularly weak languages. A weaker language, however, is not necessary for that lapse. It also lapses for an adequately weak theory. It turns out that the set of G{\"o}del numbers of sentences true in arithmetic modulo $n$ is definable in arithmetic modulo $n$.

The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...) using a novel generalisation of the standard semantics. (shrink)

At the end of his review of The Fifth Corner of Four: An Essay on Buddhist Metaphysics and the Catuṣkoṭi by Graham Priest, Mark Siderits (2019) remarks.

The purpose of this article is to highlight the clientelistic strategies and informal practices that the ruling political parties in Albania use during the elections to ensure an unfair advantage in their favour over the opposition challengers. One of the main characteristics of the political developments of the transition period in Albania since 1991 has been the flourishing of informal practices and clientelist networks of political parties within state structures, which has produced an extreme politicization of these institutions. These strategies (...) that in general terms we label as “clientelistic” and that have been used to a large extent by the incumbent political parties have had a direct negative impact on the conduct of free and fair elections in Albania by distorting their main goal: to reflect the will of the people. This is because such clientelist strategies, together with the informal practices/mechanisms that accompany them, have influenced the creation of an unlevelled playing field, and have produced a hyperincumbency advantage in the electoral contests between political parties in Albania. The case of the recent elections held in Albania on 25 April 2021 will be the empirical case of this study, in which are evidenced the electoral containment strategies and practices that the ruling political party used to provide an unfair advantage in its favour and to secure its grip on power. (shrink)

Plastic waste is a significant environmental problem for almost all countries; therefore, protecting the environment from the problem is crucial. The most sensible solution to these problems is substituting the natural aggregates with substantial plastic waste in various building materials. This study aimed to optimise the mixed design ratio of cement brick containing plastic waste as aggregate replacement. Plastic cement brick mixtures were prepared by the incorporation of four different types of plastic waste such as polyethylene terephthalate (PET), high-density polyethylene, (...) low-density polyethylene and polypropylene into cement bricks with different cement contents (150, 300 and 450 g) and plastic replacement percentages (0, 3 and 6%). Compressive strength and water absorption of the plastic cement bricks were analysed using a statistical model through the response surface methodology. It revealed the optimum cement brick mixed design is C3-1% PET with the compressive strength of 27.50 MPa and water absorption of 1.16%. The optimised plastic cement brick also satisfied the general ASTM C62-17 requirements for building bricks despite the higher porosity observed by the scanning electron microscopy. The results from Fourier transform infrared spectroscopy analysis also showed that the addition of the plastic waste into cement brick was unlikely to modify the chemical compound within the cement brick mixtures. Thus, the proposed mathematical model can predict the required hardened properties of plastic cement bricks and could lead to greater utilisation of plastic waste in building materials. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

How should broadly liberal democratic societies stop illiberal and antidemocratic views from gaining influence while honouring liberal democratic values? This question has become particularly pressing after the recent successes of right-wing populist leaders and parties across Europe, in the US, and beyond. This book develops a normative account of liberal democratic self-defence that denounces the failures of real-world societies without excusing those supporting illiberal and antidemocratic political actors. This account is innovative in focusing not only on the role of the (...) state but also on the duties of nonstate actors including citizens, partisans, and municipalities. Consequently, it also addresses cases where the central government has at least been partly captured by illiberal and antidemocratic agents. Gabriele Badano and Alasia Nuti's approach builds on John Rawls's treatment of political liberalism and his awareness of the need to 'contain' unreasonable views, that is, views denying that society should treat every person as free and equal through a mutually acceptable system of social cooperation where pluralism is to be expected. The authors offer original solutions to vexed problems within political liberalism by putting forward a new account of the relation between ideal and non-ideal theory, explaining why it is justifiable to exclude unreasonable persons from the constituency of public reason, and showing that the strictures of public reason do not apply to those suffering from severe injustice. In doing so, the book further politicizes political liberalism and turns it into a framework that can insightfully respond to the challenges of real politics. (shrink)

This paper is an exploration of the multiple meanings that the invention of the brick – this simple artefact that has permitted the raising of complex and durable buildings – has brought to civilisation and to humans in their relationship with the world. I suggest that bricks may have brought a number of novel experiences to society, whose meanings are important for the understanding of the modern condition and its emphasis on rationalism, replicability, precision, standardisation and modularity among other principles. (...) I also point out that bricks, along with rectangular types of packaging, are eminently liminal objects that entail a peculiar form of violence. (shrink)

This article discusses the growth of the populist radical right as a concrete example of the scenario where liberal democratic ideas are losing support in broadly liberal democratic societies. Our goal is to enrich John Rawls’ influential theory of political liberalism. We argue that even in that underexplored scenario, Rawlsian political liberalism can offer an appealing account of how to promote the legitimacy and stability of liberal democratic institutions provided it places partisanship centre stage. Specifically, we propose a brand-new moral (...) duty binding ‘reasonable’ partisans committed to pluralism. This duty establishes conditions where partisans must strategically transform society’s public reason (i.e. transform the visions for society their parties campaign on) in ways that promise to attract back support from illiberal and antidemocratic competitors. While this strategic behaviour might seem impermissible, we show that Rawls’ distinctive account of sincerity in democratic deliberation is uniquely placed to justify it as perfectly ethical. (shrink)

Requirement specifications in software engineering involve developing a conceptual model of a target domain. The model is based on ontological exploration of things in reality. Many things in such a process closely tie to problems in metaphysics, the field of inquiry of what reality fundamentally is. According to some researchers, metaphysicians are trying to develop an account of the world that properly conceptualizes the way it is, and software design is similar. Notions such as classes, object orientation, properties, instantiation, algorithms, (...) etc. are metaphysical concepts developed many years ago. Exploring the metaphysics of such notions aims to establish quality assurance though some objective foundation not subject to misapprehensions and conventions. Much metaphysical work might best be understood as a model-building process. Here, a model is viewed as a hypothetical structure that we describe and investigate to understand more complex, real-world systems. The purpose of this paper is to enhance understanding of the metaphysical origins of conceptual modeling as exemplified by a specific proposed high-level model called thinging machines (TMs). The focus is on thimacs (things/machine) as a single category of TM modeling in the context of a two-phase world of staticity and dynamics. The general idea of this reality has been inspired by Deleuze’s ‘the virtual’ and related to the classical notions of Leibniz’s monads and Avicenna’s essence. The analysis of TMs leads to several interesting results about a thimac’s nature at the static and existence levels. (shrink)

In his book "A Brief History of Time", Stephen Hawking says "If a complete unified theory was discovered, it would only be a matter of time before it was digested and simplified - and taught in schools, at least in outline. We should then all be able to have some understanding of the laws that govern the universe and are responsible for our existence." If complete, a unified theory would be physical and embrace all the space, matter and time of (...) the entire universe. It could not be partial and, as often interpreted, restricted to mathematics. -/- A complete unified theory that includes everything in space-time has practical applications for the matter called children who live today or in the past. They'd have "some understanding of the laws that govern the universe" at least from conception and associations formed at childhood would not always be "simpler". Pruning of nerve connections deprives us, in an intuitive sense, of "some understanding of the laws that govern the universe". Pruning prepares us for this part of existence - to attend school and university, and to develop the physics and maths that leads to discovery of the complete unified theory which, in their earliest years, children have some intuitive knowledge of. (shrink)

The possibility that non-biological resources can act as part of the cognitive system is claimed by Andy Clark’s and David Chalmers’s seminal paper, ‘The Extended Mind’ (1998). This hypothesis holds parallels with the history of the book, an area of research that has long been considering the effect on culture and cognition of the technological changes from orality to literacy and from manuscripts to printing. M. T. Clanchy’s From Memory to Written Record describes literacy as a technology that structures the (...) intellect and Walter Ong’s Orality and Literacy argues that the increasing use of texts results in the development of new forms of cognition. More recently a number of scholars have charted how the common Renaissance practices of the annotation and alteration of the books enabled readers to deal with increasing cognitive loads, through reorganising and adding to the textual structures. Furthermore, in the Renaissance the textual was understood as playing a supplementary role to biological memory and historical narratives were understood as supplementing individual experience, with another’s memories or knowledge equivalent to one’s own. In addition, Renaissance accounts of rhetoric explore the notion of language as constitutive of our humanity. These strands form a prevalent notion of language and literacy as a means of extending oneself that is equivalent to the production of biological offspring, and as a means to overcome death and forgetting. This notion infiltrated diverse spheres’ ways of understanding these activities, from literary prefaces, autobiographies, plays and poems, to jest books and medical and scientific texts. These diverse works shape this reading of Shakespeare’s sonnets, which focuses on the exploration in ‘Sonnet 77’ of the benefits and constraints of a biological versus a textual copy of the subject. ‘Sonnet 77’ evidences the co-existence of an uneasy and yet also a celebratory understanding of the human capacity to reproduce and extend itself through biological and linguistic couplings, the latter of which the reader may experience through their own encounter with the sonnets. This chapter thereby demonstrates that the fertile parallels between the extended mind hypothesis, the history of the book, and Renaissance texts invites a re-evaluation of historical, as well as modern, concepts of what constitutes cognition and subjectivity. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

Structures of oppression and administrative systems in white supremacist settler colonial societies rely on epistemological foundations to orient them toward their goals of containment and land dispossession. Structural gaslighting refers to the justifying stories and mythologies produced in these societies to normalize, obscure, and uphold structures of oppression. Such epistemic legwork often works by naturalizing socially produced inequalities through positing biological or cultural deficiencies in the target populations. This paper develops the concept of structural gaslighting introduced in Berenstain (2020) (...) as “any conceptual work that functions to obscure the non-accidental connections between structures of oppression and the patterns of harm that they produce and license” and explores its relationship to scientific and philosophical knowledge production. Case studies including historical and contemporary forms of scientific racism, philosophical justifications for ableist violence, and the link between disableization and dispossession for the purpose of settler colonial land theft are considered. (shrink)

This articles explores the mereological foundation of truthmaker semantics. Building upon Kit Fine’s abstract theory of part in [16], we engage in an exploration of the mereological assumptions that determine the construction of truthmaker semantics. Our approach yields semantics for a diverse range of logics, including substructural logics such as the associative Lambek calculus, as well as the logics of analytic containment. Furthermore, we elucidate the philosophical implications that arise from this pioneering approach.

When a piece of fruit is in a bowl, and the bowl is on a table, we appreciate not only the individual objects and their features, but also the relations containment and support, which abstract away from the particular objects involved. Independent representation of roles (e.g., containers vs. supporters) and “fillers” of those roles (e.g., bowls vs. cups, tables vs. chairs) is a core principle of language and higherlevel reasoning. But does such role-filler independence also arise in automatic visual (...) processing? Here, we show that it does, by exploring a surprising error that such independence can produce. In four experiments, participants saw a stream of images containing different objects arranged in forcedynamic relations — e.g., a phone contained in a basket, a marker resting on a garbage can, or a knife sitting in a cup. Participants had to respond to a single target image (e.g., a phone in a basket) within a stream of distractors presented under time constraints. Surprisingly, even though participants completed this task quickly and accurately, they false-alarmed more often to images matching the target’s relational category than to those that did not — even when those images involved completely different objects. In other words, participants searching for a phone in a basket were more likely to mistakenly respond to a knife in a cup than to a marker on a garbage can. Follow-up experiments ruled out strategic responses and also controlled for various confounding image features. We suggest that visual processing represents relations abstractly, in ways that separate roles from fillers. (shrink)

Few would deny that something ontologically depends on something else. Given that something depends on something, what depends on what? Huayan Buddhism 華嚴宗, a prominent Chinese Buddhist school, is known for its extensive thesis of interdependence, according to which everything depends on everything else. This intriguing thesis is entangled with seemingly paradoxical claims that everything is not only identified with everything else but also contained within it. Moreover, the radical thesis of interdependence entails that dependence is pervasive and symmetric. In (...) this paper, I first develop a contemporary interpretation of Huayan interdependence by employing the definitional account of essence and the essence-based account of dependence. Through these contemporary resources, I elucidate and unify the theses of interdependence, mutual identity, and mutual containment within Huayan Buddhism. I then propose a unique framework of ontological dependence that suggests varying degrees of ontological dependence, aimed at accommodating and explaining away our intuitions against pervasive and symmetric dependence. By contemporizing Huayan Buddhism, I explore its potential and facilitate engagement between contemporary metaphysics and Huayan Buddhism. (shrink)

Carl Schmitt's notion of nomos is commonly regarded as the international equivalent to the national sovereign's decision on the exception. But can concrete spatial order alone turn a constellation of forces into an international order? This article looks at Schmitt's work The Nomos of the Earth and proposes that it is the process of bracketing war called Hegung which takes the place of the sovereign in the international order Schmitt describes. Beginning from an analysis of nomos, the ordering function of (...) the presocratic concept moira is explored. It is argued that the process of Hegung, like moira, does not just achieve the containment of war, but constitutes the condition of possibility for plural order. (shrink)

This paper deals with a collection of concerns that, over a period of time, led the author away from the Routley–Meyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning containment.

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) introduces. I (...) will then move to compare the resulting logic of propositional identity (PI) with Correia’s (2016) logic of generalised identity (GI), as well as the first degree fragment of Angell’s (1989) logic of analytic containment (AC). The paper concludes by extending PI to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin. (shrink)

Gender-based forms of administrative violence, such as reproductive violence, are the result of systems designed to enact population-level harms through the production and forcible imposition of colonial systems of gender. Settler statecraft has long relied on the strategic promotion of sexual and reproductive violence. Patterns of reproductive violence adapt and change to align with the enduring goals and evolving needs of settler colonial occupation, dispossession, and containment. The U.S. Supreme Court’s recent decision to end the constitutional right to abortion (...) in Dobbs v Jackson is but one instance of this larger pattern. We analyze reproductive and obstetric violence and the structural trauma they produce through the lenses of i) historical continuity and ii) the global architectures of neoliberal settler capitalism in order to connect reproductive rights rollbacks in the U.S. with the expansion of reproductive violence across a world connected by colonial globalization. (shrink)

Not much attention has been paid to Malebranche’s philosophy of time. Scholars who have written on it have typically written about it only in passing, and by and large discuss it only in relation to his philosophy of religion. This is appropriate insofar as Malebranche doesn’t discuss his views of time in isolation from his religious metaphysics. I argue that Malebranche’s conception of how created beings have their properties commits him to saying that God is omnitemporal rather than atemporal. For (...) just as bodies get their spatiality by participating in God’s omnipresence, so all creatures get their temporality by participating in God’s omnitemporality. Moreover, Malebranche is a substantivalist about space and time: infinite space and time are one and the same divinely simple substance, God (partially considered), who contains the world. My exploration of Malebranche’s metaphysics sheds light on his views of eminent containment, participation, and causation. (shrink)

Certain states in the Global North have responded to refugees seeking safety on their territories through harmful practices of border violence, detention, encampment and containment that serve to prevent and deter refugee arrivals. These practices are ostensibly justified through an appeal to a right to control borders. This paper therefore assesses whether these harmful practices can indeed be morally justified by a state’s right to control borders. It analyses whether Christopher Heath Wellman’s account of a state’s right to freedom (...) of association, which represents the most restrictive account of a state’s right to control borders available in the literature, can extend to justify current harmful practices against refugees. If not, then no available justification will be able to do so, and thus contemporary harmful practices used against refugees cannot be justified by a state’s right to control borders. (shrink)

Hylomorphically complex objects are things that change their parts or matter or that might have, or have had, different parts or matter. Often ontologists analyze such objects in terms of sets (or functions, understood set-theoretically) or other extensional entities such as mereological fusions or quantities of matter. I urge two reasons for being wary of any such analyses. First, being extensional, such things as sets are ill-suited to capture the characteristic modal and temporal flexibility of hylomorphically complex objects. Secondly, sets (...) are often appealed to because they seem to contain their members. But the idea that sets do contain their members, in the ordinary sense of containment, is a substantive metaphysical position that makes analyses that rely on that idea for their plausibility much more metaphysically committing than is generally thought. (shrink)

Resident microbiota do not just shape host immunity, they can also contribute to host protection against pathogens and infectious diseases. Previous reviews of the protective roles of the microbiota have focused exclusively on colonization resistance localized within a microenvironment. This review shows that the protection against pathogens also involves the mitigation of pathogenic impact without eliminating the pathogens (i.e., “disease tolerance”) and the containment of microorganisms to prevent pathogenic spread. Protective microorganisms can have an impact beyond their niche, interfering (...) with the entry, establishment, growth, and spread of pathogenic microorganisms. More fundamentally, we propose a series of conceptual clarifications in support of the idea of a “co-immunity,” where an organism is protected by both its own immune system and components of its microbiota. -/- . (shrink)

The central thesis of this article is that populism is a side effect of liberal democracy and a reliable indicator of the relationship between liberal democracy and its polar opposite ‒ illiberal majoritarianism. As long as liberal democracy prevails over illiberal majoritarianism, populism remains dormant. Populism rises and becomes conspicuous only if certain manifestations of illiberal majoritarianism or illiberal elitism reach a critical point in terms of number and impact. More exactly, populism becomes active when there are too few reasonable (...) and effective responses to the growth of illiberal majoritarianism. Illustrating the defense mechanism of compensation, the rise of populism correlates with a cluster of exaggerated or overdone reactions to actions inspired by illiberal majoritarianism. These reactions vary sharply from one society to another according to (a) the specific challenges of illiberal majoritarianism, (b) the reactivity of people who bear the liberal democratic values, and (c) the credibility enjoyed by the mainstream liberal democratic forces in that society. In brief, although illiberal majoritarianism sets off a cluster of populist reactions in any society, the rise of populism always takes distinct forms. Thus, it is confirmed the status of populism as a chameleonistic phenomenon. The argumentative thread has four main parts. Firstly, it is developed a constitutive model of liberal democracy as an ideal political system that is underpinned by the following organizing principles or attractors: inclusiveness, political equality, political participation, predominance of concurrent majority, the containment and predictability of the government power, and the enforcement of the non-aggression principle. Secondly, the attractors of liberal democracy are contrasted against the recent state of affairs in the Euro-Atlantic space to illustrate the assertion presented here that today illiberal majoritarianism tends to prevail over liberal democracy. In the third step, it is argued that the countless definitions of populism only emphasize different symptoms of the rise of populism, depending on the particular circumstances in which society evolves. Finally, it is substantiated the claim that populism and populists can and should be integrated into the democratic political system, in particular into the democratic public sphere. (shrink)

I describe an account of ontological categories which does justice to the facts that not all categories are ontological categories and that ontological categories can stand in containment relations. The account sorts objects into different categories in the same way in which grammar sorts expressions . It then identifies the ontological categories with those which play a certain role in the systematization of collections of categories. The paper concludes by noting that on my account what ontological categories there are (...) is partially interest-relative, and that furthermore no object can belong essentially to its ontological category. (shrink)

Resumen La metáfora de la "descomposición" domina aún nuestra manera usual de pensar el análisis conceptual. Se trata de una herramienta muy útil para pensar este proceso tan abstracto, pero tiene limitaciones importantes. Por ejemplo, nos hace pensar que los componentes de un concepto deben estar en algún sentido contenidos en él o que la única manera en que dos conceptos pueden estar relacionados es que uno contenga al otro. Estas limitaciones no nos permiten dar cuenta de conceptos complejos cuya (...) estructura no es tan simple, como los de color o de medida. Por ello es tiempo de superar esta metáfora y pensar al análisis conceptual no sólo como descomposición, sino también como la asignación de diferentes funciones a los componentes de un concepto.Our customary way of thinking about conceptual analysis remains dominated by the metaphor of 'containment', which has certainly been very useful, but which also has important limitations. For example, it makes us think that the components of a concept must be, in some sense, contained in it or that the only way that two concepts can be related is if one contains the other. These limitations have not allowed us to account for concepts whose structure is not so simple, such as the concepts of color or measurement, among others. It is time, therefore, to overcome this metaphor and think of conceptual analysis not only as decomposition but also as the assignment of different functions to the components of a concept. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of (...) automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Ludwig Wittgenstein, in the "Remarks on the Foundation of Mathematics", often refers to contradictions as deserving special study. He is said to have predicted that there will be mathematical investigations of calculi containing contradictions and that people will pride themselves on having emancipated themselves from consistency. This paper examines a way of taking this prediction seriously. It starts by demonstrating that the easy way of understanding the role of contradictions in a discourse, namely in terms of pure convention within a (...) specific linguistic community, is naive and therefore to be avoided. A number of steps will then be taken to formulate and justify what will be called a ‘containment-account’ of contradiction. This term refers to a way of understanding how a contradiction in a discourse can be contained without allowing it to infect the entire discourse with inconsistency. The account builds on work done by N. Rescher and involves complex ontologies that are either over-determined or under-determined at some points. These worlds are such that, for some P, they allow us to deny simultaneously both that P and that -P. They likewise allow us to hold both that P and that -P. The ontological status of P and that of -P are considered independent issues, so as to block the inference from P and -P to the conjunction (P & -P). In this way, the task of containment is carried out by the complexity of the ontology determining the possible worlds under consideration. The paper proceeds by countering the objection that such possible worlds are useless fictions. This is carried out by highlighting three significant areas of application, one in philosophy of science, one in philosophy of religion, and one in the area of epistemology. In general, one may say that, in some language-games, a contradiction can be a useful instrument to attest that rationality goes beyond ratiocination, in other words to indicate that there is more to discourse and practice than what can be expressed in precise algorithmic trees. The upshot of the entire argument is that the proposed ‘containment-account’ of contradiction can be an adequate illustration of how Wittgenstein’s prediction is not sterile, but a possible source of inspiration. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...) of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

On the background of explaining their different notions of analyticity, their different views on definitions, and some aspects of Frege’s notion of sense, three important Kantian strands that interweave into Frege’s view are exposed. First, Frege’s remarkable view that arithmetic, though analytic, contains truths that “extend our knowledge”, and by Kant’s use of the term, should be regarded synthetic. Secondly, that our arithmetical (and logical) knowledge depends on a sort of a capacity to recognize and identify objects, which are given (...) us in particular ways, constituting their senses (Sinne). Third, that there is a sense in which Frege’s view of definitions and explications gives new substance to Kant’s leading idea of analyticity, namely, the containment of a truth or a concept in another. In all these, Frege’s view does not endorse the Kantian strands as they are, but gives them special and sometimes quite sophisticated twists. (shrink)

On September 11, 2001, Americans were painfully reminded of a truth that for years had been easy to overlook, namely, that terrorism can affect every person in the world – regardless of location, nationality, political conviction, or occupation – and that, in principle, nobody is beyond terrorism’s reach. However, our renewed awareness of the ubiquity of the terrorist threat has been accompanied by wide disagreement and confusion about the moral status of terrorism and how terrorism ought to be confronted. Much (...) of the disagreement and confusion, I contend, is rooted in an inadequate understanding of just what it is that constitutes terrorism. In this paper, I offer the beginnings of a response to the challenge of terrorism by providing an account of what terrorism is and of some of the philosophical issues involved. My account is divided into two sections. In the first section I examine some of the difficulties involved in defining terrorism, and show that some of the most common “ordinary” understandings of terrorism are inadequate. In the second section I offer a working definition of terrorism that overcomes many of the difficulties outlined in the first section. I argue that terrorism consists in the use of “systematically unsystematic” violence (whether directed at combatants or noncombatants), and that the random or indiscriminate character of terroristic violence points us in the direction of seeing what is distinctively wrong with it. The fundamental problem is that terrorism is not committed to any rules of armed conflict or any principles that would facilitate the eventual containment or termination of the conflict. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

Many researchers have conjectured that the humankind is simulated along with the rest of the physical universe – a Simulation Hypothesis. In this paper, we do not evaluate evidence for or against such claim, but instead ask a computer science question, namely: Can we hack the simulation? More formally the question could be phrased as: Could generally intelligent agents placed in virtual environments find a way to jailbreak out of them. Given that the state-of-the-art literature on AI containment answers (...) in the affirmative (AI is uncontainable in the long-term), we conclude that it should be possible to escape from the simulation, at least with the help of superintelligent AI. By contraposition, if escape from the simulation is not possible, containment of AI should be, an important theoretical result for AI safety research. Finally, the paper surveys and proposes ideas for hacking the simulation and analyzes ethical and philosophical issues of such an undertaking. (shrink)