We present four classical theories of counterpossibles that combine modalities and counterfactuals. Two theories are anti-vacuist and forbid vacuously true counterfactuals, two are quasi-vacuist and allow counterfactuals to be vacuously true when their antecedent is not only impossible, but also inconceivable. The theories vary on how they restrict the interaction of modalities and counterfactuals. We provide a logical cartography with precise acceptable boundaries, illustrating to what extent nonvacuism about counterpossibles can be reconciled with classical logic.

This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.

This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.

What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.

We give a simple sequent calculus presentation of R.B. Angell’s logic of analytic containment, recently championed by Kit Fine as a plausible logic of partial content.

Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of contraction. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question, and we explore one example: the contractive relative of multiplicative-additive affine logic with transparent truth, or MAALT. -/- .

In a paper from the 1980s, Byrd claims that the logic of "eventual permanence" for linear time is KD5. In this note we take up Byrd's novel argument for this and, treating the problem as one concerning translational embeddings, show that rather than KD5 the correct logic of "eventual permanence" is KD45.

In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this is the case, (...) and show that this conclusion rests on what might be considered an uncharitable stipulation concerning what it is for a formula in the actuality language to be true in a model. (shrink)

We show that there are denumerably many Post-complete normal modal logics in the language which includes an additional propositional constant. This contrasts with the case when there is no such constant present, for which it is well known that there are only two such logics.

This paper argues that adopting a particular dialogical account of logical consequence quite directly gives rise to an interesting form of logical pluralism, the form of pluralism in question arising out of the requirement that deductive proofs be explanatory.

We investigate two different broad traditions in the abstract valuational model theory for nontransitive and nonreflexive logics. The first of these traditions makes heavy use of the natural Galois connection between sets of valuations and sets of arguments. The other, originating with work by Grzegorz Malinowski on nonreflexive logics, and best systematized in Blasio et al. : 233–262, 2017), lets sets of arguments determine a more restricted set of valuations. After giving a systematic discussion of these two different traditions in (...) the valuational model theory for substructural logics, we turn to looking at the ways in which we might try to compare two sets of valuations determining the same set of arguments. (shrink)

This paper argues that a prominent—and oft-thought to be persuasive—argument against general validity as the best account of validity for languages containing the actuality operator is flawed, the flaw arising out of inadequate attention to the formalisation of mood distinctions.

Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language and the Actuality Modal Language is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML which rely (...) upon its being expressively equivalent to AML. (shrink)

The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.

The present note investigates the connection between nonreflexive and nontransitive logics from a bounds-theoretic perspective. What will emerge is one way in which, if we focus on the ways in which strict and tolerant acts constrain one another, nonreflexive and nontransitive notions of consequence can be seen as simply reflecting different aspects of the same underlying reality.

In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.

In recent years, substructural approaches to paradoxes have become quite popular. But whatever restrictions on structural rules we may want to enforce, it is highly desirable that such restrictions be accompanied by independent philosophical motivation, not directly related to paradoxes. Indeed, while these recent developments have shed new light on a number of issues pertaining to paradoxes, it seems that we now have even more open questions than before, in particular two very pressing ones: what (independent) motivations do we have (...) (if any) for restrictions on structural rules, and what to make of the plurality of new logics emerging from these restrictions, i.e. how to ‘choose’ among the different options. In this paper, we address these two questions from the perspective of a dialogical conception of logic that we've been advocating in recent years. We will argue that dialogical interpretations of structural rules, that is, as rules determining specific properties of the dialogues in question, provide a conveniently neutral framework to adjudicate between the different substructural proposals that have been made in the literature on paradoxes. (shrink)

Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.

In this paper we treat metasequents—objects which stand to sequents as sequents stand to formulas—as first class logical citizens. To this end we provide a metasequent calculus, a sequent calculus which allows us to directly manipulate metasequents. We show that the various metasequent calculi we consider are sound and complete w.r.t. appropriate classes of tetravaluations where validity is understood locally. Finally we use our metasequent calculus to give direct syntactic proofs of various collapse results, closing a problem left open in (...) French (Ergo, 3(5), 113–131 2016). (shrink)

In this paper we treat metasequents—objects which stand to sequents as sequents stand to formulas—as first class logical citizens. To this end we provide a metasequent calculus, a sequent calculus which allows us to directly manipulate metasequents. We show that the various metasequent calculi we consider are sound and complete w.r.t. appropriate classes of tetravaluations where validity is understood locally. Finally we use our metasequent calculus to give direct syntactic proofs of various collapse results, closing a problem left open in (...) French (Ergo, 3(5), 113–131 2016). (shrink)

It is well known that no consistent normal modal logic contains (as theorems) both ♦A and ♦¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ♦A, or else no consistent normal modal logic contains ♦¬A.

In this paper we will provide a modal-to-modal translational embedding of E into K, simplifying a similar result which is obtainable using a novel translation due to S.K. Thomason.

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

ABSTRACT In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We to Reject, (...) While Saving Truth from Paradox?’. (shrink)

Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any closure requirements on justification. In this paper, we argue that for some applications they should subject justification to closure under some variety of logical consequence. Specifically, we argue, building on ideas from Beall, that the non-classical logic FDE offers a particularly attractive notion of consequence for this purpose and define a justification logic where justification is closed under FDE consequence. We (...) show the resulting logic to be sound and complete. Lastly, we discuss how the closure of justification under FDE ontrasts closure under related non-classical logics and how our approach contrasts with some alternatives. (shrink)

Liao and Carbonell explore how oppressive medical technologies constitute materiality insofar as they reflect past oppression, embody oppression in the present day, and carry oppression into the fu...

It is a truism that some industries are controversial either because the processes employed or the resulting products, for instance, can potentially harm the well-being of people. The controversy that surrounds certain industries can sharply polarise public opinion and debate. In this article, we employ legitimacy theory and morality policy to show how one industry sector (the electronic gaming machine sector as part of the wider gambling industry) is subject to this reaction. We suggest that the difficulty in establishing legitimacy (...) surrounding CSR practices in this sector is related to morality policy, whereby ideology and personal values play important roles in dividing opinion. Thus, gambling is often framed as an activity that is morally and ethically problematic. To show how this can manifest, we examine the veracity of two state-funded studies in Australia used in the development of gambling policy and their subsequent adoption in academic research. We highlight methodological, analytical and reporting issues in these studies that normally should be identified by those using such findings. The significance is that when morality policy and conflict surrounding legitimacy are involved, then it can explain why adherence to normative research standards is potentially lowered. Our theoretical posture leads us to further speculate that the adoption and communication of CSR in electronic gambling will be contested by opponents of the industry. (shrink)

According to Amie Thomasson’s modal normativism, the function of modal discourse is to convey semantic rules. But what is a "semantic rule"? I raise three worries according to which there is no conception of a semantic rule that can serve the needs of a modal normativist. The first worry focuses on de re and a posteriori necessities. The second worry concerns Thomasson's inferential specification of the meaning of modal terms. The third worry asks about the normative status of semantic rules.

The effects of climate change are far reaching and widespread. As the issue continues to batter the world, the call for mitigation initiatives is becoming louder. In responding to this call we take a multidisciplinary approach to examining board diversity as an innovative solution in tackling climate change. Utilizing data from 69 fossil fuel organizations, our findings suggest that increasing female representation and foreign culture representation on the board can effectively reduce greenhouse gas emissions, the main contributor to climate change. (...) In part, this is achieved through responsible leadership and innovation. Our contributions reach beyond traditional board diversity literature, where the benefits of diversity are confined primarily to a discussion of corporate social responsibilities. Instead, we depict the benefits of board diversity as a direct lever in mitigating climate change. We propose that this is through the diversified board's enhanced ability to identify stakeholder needs and, subsequently, conceive of more effective and responsibly innovative solutions. (shrink)

The #1 guide to finding inner peace and outer success. In this ground breaking book, International Yoga Instructor Rohan James has catapulted the practice of Yoga into the 21st century. We live in a fast paced material world but this need not detract from you achieving inner peace nor should following a spiritual practice hinder you in being successful in the world. You can have it all!

In lieu of an abstract, here is a brief excerpt of the content:Martha Nussbaum and the Moral Life of MiddlemarchRohan MaitzenWe are all of us born in moral stupidity, taking the world as an udder to feed our supreme selves.George Eliot, MiddlemarchIAs is well known to readers of this journal, Martha Nussbaum emphasizes in her essays on fiction as moral philosophy that the philosophical significance of novels is found, not in whatever theories or principles they might overtly discuss or dramatize, (...) but in their literary form and their prose style. In particular, she finds in the late novels of Henry James an alternative to the reductive, pseudoscientific prose of contemporary analytic philosophy, which she argues inhibits the range of possible answers to the basic ethical question "How should one live?"1 James's prose shows "attention to particulars, a respect for the emotions, and a tentative and non-dogmatic attitude to the bewildering multiplicities of life" (LK, p. 27), and thus it exemplifies the Aristotelian ethical conception she advocates.In this essay I want to disentangle Nussbaum's theory of the ethical significance of fictional form—which I endorse—from her preoccupation [End Page 190] with James—which I do not. Far from being, as she believes, egalitarian, humane, and morally responsible, the Jamesian consciousness Nussbaum would have us emulate is elitist, exclusionary, and morally inert; further, in its commitment to indeterminacy, mystery, and obscurity, the Jamesian model is in fact profoundly anti-philosophical.2 I propose instead George Eliot's Middlemarch as exemplary of fiction's potential contribution to "the job of moral philosophy" (LK, p. 138). Nussbaum may admire the subtlety and density of The Golden Bowl, but I will argue that in its narrative strategies and its integration of novelistic perception and philosophic reflection, Middlemarch proves a better ethical guide and a better example of literature that is also philosophy.In making this argument, I will rely on the terms set by Nussbaum herself for the ethical evaluation of fiction. Unlike other philosophers who invoke literature only as a "rich source of examples awaiting illumination by philosophy," Nussbaum insists that analysis of a text's literary properties is the essential methodology of ethical criticism.3 Every aspect of form and style "expresses a sense of life and of value, a sense of what matters and what does not" (LK, p.5). We discover this "sense of life" through close reading; "our engaged experience line by line," as Wayne Booth says, reveals the character of the implied author, the would-be friend urging on us a particular "pattern of desires."4On Nussbaum's reading, James's prose is ethically exemplary because it is "the prose of Aristotelian perception":It depicts in its cadences the moral effort of straining to see correctly and to come up with the appropriate picture or description; its tensions, obliquities, and circumnavigations express the sheer difficulty of finding the right description or picture for what is there before one. If, as James says, to "put" is to "do," showing this is showing moral activity of a valuable kind.(LK, p. 88)But Nussbaum ends up at James because her alternative moral theory begins there, not because moral philosophy that is literary inevitably sounds like James or supports Aristotle.5 As Nussbaum's gestures towards a more general theory of the role of "the novel" in philosophy indicate, novels may share generic features which complement or correct conventional philosophical discourse, but investigating other novels in this way may also lead us to other, non-Aristotelian, non-Jamesian ethical conceptions. My commentary on Middlemarch presents one such alternative. First, however, I will consider our "engaged experience" of The [End Page 191] Golden Bowl, a key example for Nussbaum, to show more particularly why we ought to be cautious about accepting James's late style as exemplary for moral philosophy, despite Nussbaum's passionate advocacy. What kind of friend do we meet there, in that world full of indeterminacy, obliquity, and circumnavigation? What kind of guidance in practical reasoning do we get from this implied author—what "ought" emerges from the Jamesian "is"?Perhaps because, as Nussbaum admits, her work on fiction as moral philosophy emerged "out of a longstanding love" for The... (shrink)

Does moral vagueness require ontic vagueness? A central challenge for nonontic treatments of moral vagueness arises from the referential stability of moral terms across small changes in how they are applied: if moral vagueness is not ontic vagueness, it’s hard to explain this referential stability. Pointing to this challenge, Miriam Schoenfield has argued that moral vagueness is ontic vagueness, at least for a moral realist. I disagree. I argue that a moral realist can use a conceptual role semantics for moral (...) terms to give a purely semantic treatment of moral vagueness. (shrink)

The automated identification of national implementations of European directives by text similarity techniques has shown promising preliminary results. Previous works have proposed and utilized unsupervised lexical and semantic similarity techniques based on vector space models, latent semantic analysis and topic models. However, these techniques were evaluated on a small multilingual corpus of directives and NIMs. In this paper, we utilize word and paragraph embedding models learned by shallow neural networks from a multilingual legal corpus of European directives and national legislation (...) to develop unsupervised semantic similarity systems to identify transpositions. We evaluate these models and compare their results with the previous unsupervised methods on a multilingual test corpus of 43 Directives and their corresponding NIMs. We also develop supervised machine learning models to identify transpositions and compare their performance with different feature sets. (shrink)

The automated identification of national implementations of European directives by text similarity techniques has shown promising preliminary results. Previous works have proposed and utilized unsupervised lexical and semantic similarity techniques based on vector space models, latent semantic analysis and topic models. However, these techniques were evaluated on a small multilingual corpus of directives and NIMs. In this paper, we utilize word and paragraph embedding models learned by shallow neural networks from a multilingual legal corpus of European directives and national legislation (...) to develop unsupervised semantic similarity systems to identify transpositions. We evaluate these models and compare their results with the previous unsupervised methods on a multilingual test corpus of 43 Directives and their corresponding NIMs. We also develop supervised machine learning models to identify transpositions and compare their performance with different feature sets. (shrink)

Many accept David Lewis's (1983) claim that, among the candidate meanings for our predicates, some are more natural than others -- they do better or worse at ``carving nature at its joints''. Call this claim predicate naturalism. Disagreement remains over whether the notion of naturalness extends ``beyond the predicate'' (à la Sider, 2011). Are the candidate meanings of logical vocabulary also more or less natural? Call this claim logical naturalism. -/- One motivation for predicate naturalism comes from its supposed ability (...) to help rebut various radical indeterminacy arguments associated with Hilary Putnam (1977, 1980, 1981). It does so in combination with a popular meta-semantic theory called reference magnetism. I argue that the same threats of Putnam-style radical indeterminacy rearise for proponents of predicate naturalism -- threats which logical naturalism helps rebuts. So, if we accept predicate naturalism because it helps fend off threats of indeterminacy, we should also accept logical naturalism. (shrink)

According to the plurivaluationist, our vague discourse doesn’t have a single meaning. Instead, it has many meanings, each of which is precise—and it is this plurality of meanings that is the source of vagueness. I believe plurivaluationist positions are underdeveloped and for this reason unpopular. This paper attempts to correct this situation by offering a particular development of plurivaluationism that I call supersententialism. The supersententialist leverages lessons from another area of research—the Problem of the Many—in service of the plurivaluationist position. (...) The Problem reveals theoretical reasons to accept that there are many cats where we thought there was one; the supersententialist claims that we are in a similar situation with respect to languages, propositions and sentences. I argue that the parallel suggested by the supersententialist reveals unappreciated advantages and lines of defense for plurivaluationism. (shrink)

Adam Elga (Philosophers’ Imprint, 10(5), 1–11, 2010) presents a diachronic puzzle to supporters of imprecise credences and argues that no acceptable decision rule for imprecise credences can deliver the intuitively correct result. Elga concludes that agents should not hold imprecise credences. In this paper, I argue for a two-part thesis. First, I show that Elga’s argument is incomplete: there is an acceptable decision rule that delivers the intuitive result. Next, I repair the argument by offering a more elaborate diachronic puzzle (...) that is more difficult for imprecise Bayesians to avoid. (shrink)

Rituals are able to transform ordinary objects into extraordinary objects. And while rituals typically do not cause physical changes, they may imbue objects with a particular specialness – a simple gold band may become a wedding ring, while an ordinary dessert may become a birthday cake. To treat such objects as if they were ordinary then becomes inappropriate. How does this transformation take place in the minds of observers, and how do we recognize it when we see it? Here, we (...) suggest that two under-examined elements of ritual need deeper consideration within the context of ritual cognition. We propose a fully integrated operational definition in which these two critical ritual elements – causal opacity and goal demotion – are included. In a pre-registered experiment one-hundred and one adults, in a 2 × 2 mixed-within participants design observed actions performed upon profane objects. These actions were either ordinary or ritualized, and were described as a blessing, a curse, or were not described at all. Contrary to established findings and pre-registered predictions, we found that ritualized actions alone are not enough to influence perceptions of, and attributions towards, objects, and that positive goal information are more behaviorally persuasive than negative information. However, we found that participants recalled ritualized action in greater detail and with more specificity than ordinary actions. In effect, we demonstrate that causal opacity and goal information interact to allow us to recognize a ritual as a ritual. (shrink)

Provocative and disconcerting, The False Past confronts what many generations hold near and dear about their memorials. What if everything we know about colonial history is wrong? What if history is driven by vanity and unexamined moral claims? What if fabrication and corruption are so integral to history that it must be written anew? These questions, posed by Nietzsche, are answered in this exciting new work. The False Past takes a disturbing escapade through Australia’s colonial past. Using a Nietzschean evaluation (...) of how the eternal recurrence of suffering worked in practice, it announces a fresh vision for frontier history. And in the finest Nietzschean tradition, Price reveals the uncaring absurdity and inconsistency of settlers in the pioneer past as their supreme failing because it produces contemporary trauma. The False Past evaluates claims to colonial nobility, too. Who were the souls aiming beyond humanity who rose up Down Under? Was its Übermensch a dark and moody genius with a taste for conquest, a supreme talent in pastoral profiteering, an Indigenous exemplar, or a cunning bushranger out on a mission? Awkward and confronting, bold and experimental, this book often says the unsayable. The False Past lays siege to nostalgia, piety, vanity and nihilism to explain how unfounded exceptionalism has come to rule our lives. A revisionist assault on settled history, The False Past promises to spark debate among readers for many years to come. (shrink)

Are there ethics justifying anti-colonial violence? How and why did the violence and visions of nationalist movements become incorporated by colonial and neo-colonial rule? Using the insurrection by the Malayan Communist Party (1948–1960) as an example, this book argues that resorting to violence sped up the decolonisation of British Malaya by forcing its colonial administration to invent Malay nationalism and pursue ameliorative social policy among the Chinese diaspora community in a manner clearly derived from the Party’s platform. Yet this was (...) not the same as giving the country economic emancipation from the expectations of neo-colonial rule. Violence and Emancipation in Colonial Ideology entertains no warm colonial memories of the cold war years. Confirming Price’s reputation as a plain speaking critic of Empire apologia, this book asks how colonial ideology was considered to be beneath Europe yet desperately needed by it. He faces down nostalgic communities defending an outdated view that “might was right” in South East Asia and that communism failed to contribute to the world that came to be. Using an Althusserian assumption, the book begs the question: if a late colonial state was subjective, then how did it claim a sufficiently objective mantle to rule and how did ideological techniques enable this? (shrink)

This paper asks: Is the quantifier variantist committed to metaphysical vagueness? My investigation of this question goes via a study of vague existence. I’ll argue that the quantifier variantist is committed to vague existence and that the vague existence posited by the variantist requires a puzzling sort of metaphysical vagueness. Specifically, I distinguish between (what I call) positive and negative metaphysical vagueness. Positive metaphysical vagueness is (roughly) the claim that there is vagueness in the world; negative metaphysical vagueness is (roughly) (...) the claim that there is vagueness that is not in our language or thought. I’ll argue that the quantifier variantist’s commitment to vague existence comes with positive metaphysical vagueness -- even if it doesn't require negative metaphysical vagueness. (shrink)

Curnow, Rohan This article is concerned with the beginning of the trajectory of thought that links two events: Vatican II and the emergence of an explicit doctrine of the Preferential Option for the Poor in the official documents of the Latin American Episcopal Conference's (CELAM) meetings at Puebla, Mexico in 1968, and Medell n, Columbia in 1979. Specifically, this article concentrates on a group that formed early in proceedings at Vatican II, known as both the 'Group of the Church (...) of the Poor' or the 'Belgian College Group' (after the place in which it met). The group, albeit an informal one, championed the issue of poverty in work that was conducted largely behind the scenes and outside official Conciliar structures. This article illustrates that, via the work of the Group of the Church of the Poor, the poor broke into the Church's consciousness at the Council in a new - if limited - way. To demonstrate this point, this article focuses on the Group of the Church of the Poor's: (a) origins and complexion; (b) aims and activities; and, (c) achievements and shortcomings at the Council. (shrink)

We provide an overview of the meta-ontological position known as "Quantifier Variance".