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)

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)

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)

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)

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 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)

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)

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)

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)

(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)

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)

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$.

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.

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)

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)

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)

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)

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)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

Some think that logic concerns the “laws of truth”; others that logic concerns the “laws of thought.” This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...) bilateralism to truth-maker theory, such as non-transitive solutions to paradox, and vice versa, such as notions of factual equivalence and containment. (shrink)

I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...) First, it means we should think of ground as a type of identity. Second, it means we should reject much of Fine’s logic of strict ground. I also show how the logic I develop connects to other systems in the literature. It is definitionally equivalent both to Angell’s logic of analytic containment and to Correia’s system G. (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)

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)

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)

Most current techniques to deal with invasive species are ineffective or have highly damaging side effects. To this end suppression-drives based on clustered regularly inter-spaced short palindromic repeats (CRISPR/Cas9) have been touted as a potential silver bullet for the problem, allowing for a highly focused, humane and cost-effective means of removing a target species from an environment. Suppression-drives come with serious risks, however, such that the precautionary principle seems to warrant us not deploying this technology. The focus of this paper (...) is on one such risk – the danger of a suppression-drive escaping containment and wiping out the target species globally. Here, I argue that in most cases this risk is significant enough to warrant not using a gene-drive. In some cases, however, we can bypass the precautionary principle by using an approach that hinges on what I term the ‘Worst-Case Clause’. This clause, in turn, provides us with a litmus test that can be fruitfully used to determine what species are viable targets for suppression-drives in the wild. Using this metric in concert with other considerations, I suggest that only three species are currently possible viable targets – the European rabbit, ship rat and Caribbean Tree Frog. (shrink)

The aim of this paper is to clarify Spinoza’s views on some of the most fundamental issues of his metaphysics: the nature of God’s attributes, the nature of existence and eternity, and the relation between essence and existence in God. While there is an extensive literature on each of these topics, it seems that the following question was hardly raised so far: What is, for Spinoza, the relation between God’s existence and the divine attributes? Given Spinoza’s claims that there are (...) intimate connections between God’s essence and his existence – “God’s essence and his existence are one and the same”(E1p20) – and between God’s essence and the attributes – “By attribute I understand what the intellect perceives of substance, as constituting its essence” (E1d4), we would naturally expect that by transitivity, there is a significant relation between God’s existence and the attributes. Yet, as far as I know, there is little, if any, attempt in the existing literature to explicate such a relation, and it is one of my aims of this study to both raise the question and answer it. Eventually, I will argue that for Spinoza God is nothing but existence, and that the divine attributes are just fundamental kinds of existence, or, what is the same, as I will later argue, the intellect’s most fundamental and adequate conceptions of existence. In the first part of the paper I provide some background for Spinoza’s brief discussion in the TTP of God’s name and essence by studying the claims of Maimonides in the Guide of the Perplexed that God’s true essence is necessary existence, and that this essence is denoted by the ineffable Hebrew name of God, the Tetragrammaton (YHVH). In the second part of the paper I point out similar claims Spinoza presents in the TTP, and show how they respond to and echo Maimonides’ discussion in the Guide. In the third part, I examine Spinoza’s apparently conflicting claims in the Ethics about the relationship between God’s essence and existence. In some places Spinoza claims that God’s essence and existence are strictly identical (E1p10: “God’s essence his existence are one and the same”), but in other passages he makes the apparently much more modest claim that God’s essence involves existence (E1d1, E1p7d and E1p11d), which may lead one to believe that there is more to God’s essence than mere existence. I show that Spinoza’s understanding of the relation denoted by the Latin ‘involvit’ is consistent with the strict identification of essence and existence in God, and that Spinoza identifies God’s essence with self-necessitated existence, or eternity. Indeed, Spinoza’s understanding of eternity [aeternitas] as self-necessitated existence (E1d8) is one of the very few Spinozistic concepts that has no trace in Descartes. In this part I will also solve the long-standing problem of the sense in which the infinite modes can be called ‘eternal.’ In the fourth part I turn to the relation between the divine attributes and God’s existence and argue that, for Spinoza, the attributes are self-sufficient and adequate conceptions of existence. Finally, I will attempt to explain what brought Spinoza to deify existence. -/- Part I: “In that Day shall God be One, and his Name One”- Maimonides on God’s Name and Essence. -/- 1.1 Before we delve into the texts, let me suggest a few distinctions between various views on the issue of the relation between essence and existence in God. The view I suspect both Maimonides and Spinoza subscribe to can be termed the divine essence-existence Identity Thesis. -/- Identity Thesis (IT): God’s essence is existence and nothing but existence. We should distinguish the Identity Thesis from the much more common view according to which God’s essence contains existence, or (which I take to be roughly the same) that existence is one of the properties or perfections which constitute God’s essence. The latter view allows for the possibility (though it does not demand) that there is more to God’s essence than bare existence (e.g., God’s essence may include omniscience, omnipotence, etc.). I will term this view the divine essence-existence Containment Thesis. (shrink)

Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of disjunctive (...) parthood in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable- determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (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)

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 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)

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)

How much surveillance is morally permissible in the pursuit of a socially desirable goal? The proportionality question has received renewed attention during the 2020 Coronavirus pandemic, because governments in many countries have responded to the pandemic by implementing, redirecting or expanding state surveillance, most controversially in the shape of collection and use of cell-phone location data to support a strategy of contact tracing, testing and containment. Behind the proportionality question lies a further question: in what way does a state (...) of emergency affect the proportionality of morally permissible surveillance? On the qualitative difference view, a state of emergency has the effect of suspending or altering at least some of the constraints on morally permissible action that apply under ordinary circumstances. On the quantitative difference view, the only difference between states of emergency and ordinary circumstances is that the stakes are greater in a state of emergency. If the qualitative difference view is true, then there are situations, perhaps such as the current Coronavirus pandemic, during which the proportionality condition employs a much less demanding ratio between social goods achieved and the badness of the surveillance performed. The overall objective of this article is to argue against the qualitative and for the quantitative difference view. I proceed by first setting out in somewhat greater detail how we must understand the qualitative difference view (section two). I then present a series of problematic implications of adopting the qualitative difference view and argue that jointly these give us sufficient reason to reject it (section three). This entails that our account of morally permissible surveillance should be unexceptional, i.e. the quantitative difference view: there is no morally significant difference between proportionality in ordinary circumstances and proportionality in emergencies, simply a spectrum of smaller to greater potential goods and bads of surveillance. In order to flesh out the implications of the quantitative view, I briefly sketch an unexceptional theory of proportional surveillance in exceptional circumstances (section four). The last section (five) summarises and concludes. (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)

During times of emergency like the pandemic itself, governments are often seen as exercising “exceptional power”. Given the state of growing urgency in responding to the pandemic, there is a worry that governments may resort to exercising their exceptional power arbitrarily—either willingly, unintentionally or perhaps even negligently. When power is exercised by states or even by non-state actors arbitrarily over a person or group, that is, at their own will in the absence of appropriate institutional checks and balances, republican theorists (...) argue that we are confronted with a threat to our freedom as non- domination. In this chapter, I explore whether, and in what ways, worries about domination could surface in the context of government’s enforcement of risk- containment measures in response to the pandemic. While imposition of these measures is deemed necessary and important for reducing risks in response to the pandemic, their imposition is prima facie problematic if it constitutes or entails wrongful exercise of arbitrary power, thereby risking domination of citizens. I motivate this claim by examining India’s initial response to the Covid-19 pandemic, particularly focussing on the public health emergency legislature (or lack thereof) authorising the implementation of emergency risk-containment measures. (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)

This essay connects Kafka's German and his Jewish linguistic sources, and explores the trans-national perspective on literary tradition they helped him create. I begin with a critique of Deleuze and Guattari's view of Kafka as a minority writer, showing how their cold war nationalism scants the positive contributions that Yiddish and Hebrew made to his work. I continue with an examination of the "twilight of containment," when this postcontemporary Kafka began to break through his cold war canonization after 1989. (...) Other sections include: "German-Jewish Traditions: The Echoes of Yiddish," on Kafka's cultural politics; "Hebrew: Zionism in a Transnational Key"; and "Goethe's Jewish Voices," on Yiddish as a model for Kafka's new conception of national writing. I conclude by considering the Jewish and other sources of Kafka's "linguistic turn," and the general, transnational focus on tradition that Jewish languages brought to his classic texts. (shrink)

The concept of universal in Aristotle’s philosophy has several aspects. 1) Universal and plurality Aristotle posits universal (καθόλου) versus particular (καθ᾿ ἕκαστον) each covering a range of elements: some elements are universal while others are particulars. Aristotle defines universal as ‘that which by nature is predicated (κατηγορεῖσθαι) of many subjects’ and particular as ‘that which is not’ so. (OI ., I, 7, 17a38-b1) The plurality of possible subjects of universal is what Aristotle insists on. The inclusion of the notion of (...) ‘plurality’ in the definition of universal might make us expect to have ‘singularity’ in the definition of particular. So, when Aristotle says that universal is that which is naturally predicable of many subjects, we expect him to define the particular as ‘that which is predicable of one subject only.’ Nonetheless, Aristotle does not and indeed cannot define it this way. We cannot find a text in which he defines particular as such simply because particulars are not predicable of any subject unless we regard their predication of themselves a predication, which Aristotle does not, at least in a genuine sense. Thus, he defines a particular only negatively. Hence, the capability of predication of a plurality is indeed the capability of predication itself because the particular cannot be predicated of anything. A particular is that which cannot be predicated of anything (or: of anything else, if saying of a thing of itself is to be considered as predication). It is ‘numerically one’ and what of which the universal is predicated (Met., B, 999b34-1000a1). Those that cannot be predicated of anything, or particulars, are of two kinds: primary substances and individual accidents. Besides Categories we can hardly find a text where Aristotle discusses individual accidents maybe because they are of much less importance for him compared with substances. However, substances are what he mentions repeatedly so that we can confine particulars to substances. In fact, it is substance that Aristotle considers so repeatedly as what cannot be predicated. As the main particulars and individuals, substances are posited as the main things that are not universal. The closeness of the two concepts of ‘substance’ and ‘unpredicability’ is to the extent that he ignores individual accidents and makes these concepts equal and as the opposite of universal: ‘what is not predicated of a subject is said a substance (οὐσία λέγετα τὸ μὴ καθ᾿ ὑποκειμένου) but what is always said of some subject is called a universal.’ (Met., Z, 1038b15-16. cf. Met., B, 1003a7-9) Therefore, since particulars cannot be predicated of any subject and, thus, every predication is necessarily a predication of a plurality of subjects, the inclusion of ‘plurality’ in the definition of universal is either i) in the sense of ‘representation’ or it must be regarded as ii) an unnecessary addition mentioned just for clarification or iii) only for avoiding cases where something is predicated of itself. By the first we mean this: though a substance is not said of anything, it represents some one thing and there is some one thing that is that substance. A universal, on the other hand, can represent a plurality of things. There is, however, a third possibility that has no essential difference with the sense of representation. Aristotle might have ‘arbitrary predication’ in mind when he suses ‘plurality’ in the definition of universal: while a particular can be the arbitrary predicate of just one thing, a universal can be predicated, both really and arbitrarily, of many things. Whatever Aristotle’s intention was, what is important for our investigation is this: Aristotle uses the notion of plurality in the definition of universal in spite of the fact that it is not necessary. What this implies is that this notion is so important for Aristotle that albeit every predictability is a predictability of a possible plurality, he adds the notion of plurality. What makes this notion important, I believe, is that he has something like a class in mind when he defines a universal because the notion of plurality is indistinguishable from a class. 2) Universal and whole; particular and part In Aristotle, the concepts of universal and whole are so close: ‘That which is true of a whole class and is said to hold good as a whole (which implies that it is a kind of whole) is true of a whole in the sense that it contains many things by being predicated of each, and that each and all of them, e.g. man, horse, god, are one because all are living things (τὸ μὲν γὰρ καθόλου καὶ τὸ ὃλως λεγόμενον ὡς πολλὰ περιέχον τῷ κατηγορεῖσθαι καθ’ ἑκάστου καὶ ἓν ἃπαντα εἶναι ὡς ἑκαστον, ...). Phil Corkum points to Aristotle’s distinction between quantitative and integral wholes in Met., 5, 26, 1023b26-33 where a quantitative whole is called homoiomerous, as the sum of animal while an integral whole, e.g. a house, is called heteromerous. He links the notion of homoiomerous to the notion of indivisibility of individuals (in 1b6-9 and 3b10-18) and indivisibility of universals. He believes that in PrA., I, 4, 25b32-26a2 it is the transitivity of mereological containment that is discussed. 3) Universal is common between instances Universal is common (κοινόν) between all the plurality of subjects it can be predicated of because what belongs to more than one thing must be common between them. (Met., Z, 1038b10-12) In the Same way, what is common cannot be a particular and, thus, a substance. (Met., Z, 1040b23-24) An individual or substance is a ‘this’ and a ‘this’ cannot be what common indicates simply because it is here in ‘this’ and can be nowhere else while common must be common between several things. In fact, what can be indicated by a common is indeed a ‘such.’ (Met., B, 1003a7-9) 4) Universal is the same in its instances We have a universal i) in all of its instances and ii) in the same way (ταὐτὸ ἐπὶ πὰντων). (Met, Γ, 1005a9-10) While the first point is evident (otherwise how could it be their universal?), the second point might seem not only ambiguous but the cause of many problems. For Aristotle, therefore, a universal must be ‘one’ in number and not many. This numerically one universal is the very universal for all its instances. It is the same universal that is predicated on each of its instances. This sameness is not, however, a mere homonymous sameness or the sameness of a homonymous word. All these three points, namely oneness, sameness and rejection of mere homonymous sameness are asserted in Aristotle’s own words τι ἕν καὶ τὸ αὐτὸ ἐπὶ πλειόνων μη ὁμώνυμον. (PsA., A, 11, 77a8-9) This non-homonymous unity is asserted also in PsA., A, 24, 85b15-16. 5) Universal as predicate Contrary to substance that cannot be a predicate, universal is what cannot be prevented from being in the place of predicate. Therefore, Aristotle distinguishes universal from subject because while the latter must necessarily be capable of being a predicate, though it might take the position of subject as well, the latter does not necessarily have such a capability especially when it is a this because it cannot be a predicate in such a case: ‘For the subject and universal differ in being or not being a ‘this’; like man and body and soul are the subject of accidents while the accident is something like musical or white.’ (Met., Θ, 1049a27-30) This indicates that a universal is basically different from subject and although it can be posited in the place of subject, it is the position of predicate that is its position as a universal. In Metaphysics, Z, 13, Aristotle asserts that ‘no universal can be substance.’ The same is asserted in Met., I, 1053b16-17 cf. 1060b21. As James H. Lesher points out, Aristotle’s position is that ‘nothing predicated universally is a substance.’ 6) Universal in substance In Met., 10388b8-9 Aristotle says that no universal is a substance. While a universal cannot be a substance in the way essence (to ti en einai) is, it is, Aristotle asserts, ‘in’ it (ἐν τούτῳ δὲ ἐνυπάρχειν) (Met., Ζ, 1038b16-18). Aristotle’s examples are: animal in man and horse. A universal is ‘in’ the thing it is its universal. But in what sense a universal can be in a thing? It cannot be in it as ‘in a subject’, which is denied in Categories for secondary substances. If we check the senses of being in, we can find some other senses of ‘being in’ some of which are compatible with this sense of ‘being in.’ Michael J. Loux believes that contrary to his earlier works like Peri Ideaon and Organon in which the immanence of universals signals a reproduction of the platonic two worlds picture, in his later works like Physics and Metaphysics, when Aristotle tells us that universals are in particulars he means that they are ‘components of or ingredients in sensible particulars.’ In Metaphysics (Δ, 1014b3-9) Aristotle compares elements with universals and call them ‘the most universal things because elements are present either in all or in many things. 7) Logos is of universal Not only universals have logos (Met., Z, 1038b18-19) but ‘Every logos and every science is of universals and not of particulars.’ (Met., K, 1059b25-26) The reason is that they are the same: the logos of the unjiversal ‘circle’ is nothing but ‘being circle’ and the logos of the universal ‘soul’ is ‘being soul.’ (Met., Z, 1035b33-1036a2) The same is said about definition. (Met, Z, 1036a27-29) 8) Universal: in the soul Contrasting individuals, universals are in the soul (So., 3, 5, 417b22-23; cf. PsA., B, 19, 100a6-7). Aristotle also says that the form, i.e. the essence, of the artwork is in the soul. (met., Z, 1032a32-b2) Moreover, as Michael J. Loux points out, ‘the Peri Ideon tells us that we need universals to serve as the objects of noetic acts.’ 9) Universal: not beside individual In spite of the fact that demonstration creates the opinion that demonstrating is based on the existence of universals as existing among the existing things, they do not have existence besides individuals (PsA., A, 24, 85a31-35; Met, Λ, 1071a19-23). Aristotle believes that universals of a P-series (B203, 71) are not παρὰ τὰ εἴδη: 999a6ff. Also check De Anima, II, 3, 414b20-25 10) Primary or commensurate universal Aristotle distinguishes ‘πρῶτον καθόλού’ (PsA., B, 17, 99a33-35) literally meaning ‘primary universal’ but mostly, and truly, translated as commensurate universal. While a universal merely ‘μὴ ἀντιςτρέφει,’ a primary universal ‘ᾧ ἓκαςτον μὲν μὴ ἀντιςτρέφει’ (PsA., B, 17, 99a33-35). Aristotle mentions three conditions for a commensurate universal. It is an attribute that i) belongs to every instance of its subject (without exception!!!), and this belonging is ii) essentially and iii) qua that subject itself (ᾗ αύτό). (PsA., A, 4, 73b26-28) However, he insists that the second and the third conditions are indeed the same. (PsA., A, 4, 73b28-30) The first condition he paraphrases as ‘to belong to any random instance of that subject’ and the second and the third as ‘when the subject is the first thing to which it can be shown to belong.’ (PsA., A, 4, 73b32-74a3) Aristotle’s example is ‘the equality of its angles to two right angles’. This attribute is not a commensurate universal of figure due to the first condition: it cannot be demonstrated of any figure. Nonetheless, though it can be demonstrated of every isosceles because every isosceles has angles equal to two right angles, it is not a commensurate universal of isosceles due to the other conditions: it is not predicated of isosceles qua isosceles but qua triangle. These conditions seem to be like regulators: they organize everything to match to the right group. The method of finding commensurate universal is like test and error method based on elimination: you must eliminate each of the higher or lower universals and check if the attribute remains or not. The commensurate universal is that which remains in between eliminated universals. (cf. PsA., A, 5, 74a37-b4) Brad Inwoodpresents an understanding of commensurate universal that is different from what I have understood and, thus, must be checked: ‘These universals are propositions in which, for example, ‘all A are B’ is true and which are still true universal statements if converted: ‘all B are A’ is also true.’ -/- . (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)

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)

Eighteenth-century art historian Johann Joachim Winckelmann (1717-1768) shared with Hegel a profound admiration for the art and culture of ancient Greece. Both viewed ancient Greece as, in some sense, an ideal to which the modern world might aspire—a pinnacle of spiritual perfection and originality that contemporary civilization might, through an understanding of ancient Greek culture, one day equal or surpass. This rather competitive form of nostalgia suggests a paradoxical demand to produce an original and higher state of culture through the (...) imitation of another. In Hegel’s writings, this paradox goes beyond the relation of the modern world to the ancient world—he exposes the same paradox in ancient Greece’s relation to its own predecessors. The solution to the latter paradox—the possibility of the realization of ancient Greece as an original and self-contained civilization despite its cultural debts—would also, then, be the key to repeating the success of the ancient world in the modern, the overcoming of modern Europe’s cultural debt to the ancient world. The present essay examines how this paradox is revealed and resolved in the writings of Winckelmann and Hegel, and shows how this strategy of culture production—as imputed to the ancient world and aspired to in the modern—simultaneously attempts to justify and conceal a self-deceptive practice of cultural and political conquest. My focus will be on the two writers’ interpretations of ancient Greek art since, as I will suggest, their solution to the paradox of culture production turns out to be modeled upon the role of ancient Greek art in the invention and actualization of a cultural ideal of beauty, unity, and self-containment. (shrink)