Since the publication of The Sexual Politics of Meat in 1990, activist and writer Carol J. Adams (2000 [1990]) has put forth a feminist defence of veganism based on the argument that meat consumption and violence against animals are structurally related to violence against women, and especially to pornography and prostitution. Adams’ work has been influential in the growing fields of animal studies and posthumanism, where her research is frequently cited as the prime example of vegan feminism. However, her particular (...) radical feminist framework, including her anti-pornography and anti-prostitution arguments, are rarely acknowledged or critiqued. This article challenges the premises of Adams’ argument, demonstrating that her version of vegan feminism is based upon an unsubstantiated comparison between violence against women and violence against other-than-human animals, and on the silencing and exclusion of sex workers as subjects. The article contests the limited reading of Adams, and of feminism, offered in some key works in animal studies and posthumanism, at the same time that it recognises the need to challenge the anthropocentrism evident in much feminist theory. By way of alternative approaches to the sexual politics of veganism, the article highlights the interventions of artist and activist Mirha-Soleil Ross, proposing that her situated and embodied commitment to animal rights brings sex worker agency into the story, while resisting simple comparisons among different forms of violence. The concerns raised by Ross overlap in compelling ways with recent research in performance studies and labour history, bringing the question of work and workers, animal and human, to the fore. These studies point towards a potentially more useful framework than that of Adams for understanding the human violence suffered by different species, including those destined to be eaten by people. (shrink)

As a philosophical counselor, I encounter many individuals who live with an almost inexpressible grief, hopelessness, and despair. This paper argues that two macro-causes of these affects are philosophical and structural. This paper sets up a distinction between (1) biotic, ontological, rational value, and (2) abiotic, hyperreal, nihilistic value. Abiotic “value” now constitutes the hemorrhagic nihilism of our time. Kant, Nietzsche, Baudrillard, and Kierkegaard will be utilized to construct the philosophical argument tracing the movement from the biotic to the abiotic. (...) This is the first valence of trauma, the cognitive/imaginative valence. Ruin porn, environmental grief, and structurally induced precarity will be utilized to provide historical evidence for the movement from the biotic to the abiotic. This is the second valence of trauma, the somatic-structural valence. The paper concludes that the double valence of hemorrhagic nihilism is, in essence, traumatic. Consequently, addiction to hyperreality has become the pandemic of our time. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

I address an intuition commonly endorsed by metaphysicians, that there must be a fundamental layer of reality, i.e., that chains of ontological dependence must terminate: there cannot be turtles all the way down. I discuss applications of this intuition with reference to Bradley’s regress, composition, realism about the mental and the cosmological argument. I discuss some arguments for the intui- tion, but argue that they are unconvincing. I conclude by making some suggestions for how the intuition should be argued for, (...) and discussing the ramifications of giving the justification I think best. (shrink)

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

In this paper I further elucidate and defend a metaontological position that allows you to have a minimal ontology without embracing an error-theory of ordinary talk. On this view 'there are Fs' can be strictly and literally true without bringing an ontological commitment to Fs. Instead of a sentence S committing you to the things that must be amongst the values of the variables if it is true, I argue that S commits you to the things that must exist as (...) truthmakers for S if it is true. I rebut some recent objections that have been levelled against this metaontological view. (shrink)

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class of propositions require (...) truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have.. (shrink)

Kaplan and Craver claim that all explanations in neuroscience appeal to mechanisms. They extend this view to the use of mathematical models in neuroscience and propose a constraint such models must meet in order to be explanatory. I analyze a mathematical model used to provide explanations in dynamical systems neuroscience and indicate how this explanation cannot be accommodated by the mechanist framework. I argue that this explanation is well characterized by Batterman’s account of minimal model explanations and that it demonstrates (...) how relationships between explanatory models in neuroscience and the systems they represent is more complex than has been appreciated. (shrink)

I argue that the truthmaker theorist should be a priority monist if she wants to avoid commitment to mysterious necessary connections. In section 1 I briefly discuss the ontological options available to the truthmaker theorist. In section 2 I develop the argument against truthmaker theory from the Humean denial of necessary connections. In section 3 I offer an account of when necessary connections are objectionable. In section 4 I use this criterion to narrow down the options from section 1. In (...) section 5 I argue that the account leads us to priority monism. (shrink)

Works of music do not appear to be concrete objects; but they do appear to be created by composers, and abstract objects do not seem to be the kind of things that can be created. In this paper I aim to develop an ontological position that lets us salvage the creativity intuition without either adopting an ontology of created abstracta or identifying musical works with concreta. I will argue that there are no musical works in our ontology, but nevertheless the (...) English sentences we want to hold true are literally true. I rely on a meta-ontological view whereby ‘a exists’ can be true without committing us to an entity that is a. This meta-ontological view is illustrated by its application to the familiar example of the statue and the clay. I argue that my account of musical ontology fares better on the balance of costs and benefits than its rivals. (shrink)

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic (...) account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (shrink)

The doxastic view (DV) of trust maintains that trust essentially involves belief. In a recent paper, Arnon Keren (Citation2020) gestures toward a new objection to the view, labeled Trust’s Meno Problem (TMP), which calls into question the DV’s ability to explain the widely held intuition that trust has distinct and indispensable value. As of yet, there has been no attempt to take up TMP on behalf of DV. This paper aims to fill precisely this lacuna. I do so in three (...) main stages. In §1 I contextualize and elucidate the problem, to which Keren gestures but does not address in detail. In §2 I disambiguate multiple possible interpretations of TMP, seeking to identify the most philosophically challenging. Finally, in §3, I argue that DV can solve even this interpretation. In order to do so, I make use ofthe highly plausible claim we find in the work of Katherine Hawley (Citation2012, 2019): that trust pays a compliment to the trustee. The payoffs of exploring the doxastic view in the context of Trust’s Meno Problem are twofold: we better understand the nature of the problem itself, and we see that the doxastic view can give a satisfying answer. (shrink)

Quine said that the ontological question can be asked in three words, ‘What is there?’, and answered in one, ‘everything’. He was wrong. We need an extra word to ask the ontological question: it is ‘What is there, really?’; and it cannot be answered truthfully with ‘everything’ because there are some things that exist but which don’t really exist (and maybe even some things that really exist but which don’t exist).

We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with respect (...) to a content semantics, which embraces the concept of meaning containment. (shrink)

In this paper I examine the objection to truthmaker theory, forcibly made by David Lewis and endorsed by many, that it violates the Humean denial of necessary connections between distinct existences. In Sect. 1 I present the argument that acceptance of truthmakers commits us to necessary connections. In Sect. 2 I examine Lewis’ ‘Things-qua-truthmakers’ theory which attempts to give truthmakers without such a commitment, and find it wanting. In Sects. 3–5 I discuss various formulations of the denial of necessary connections (...) and argue that each of them is either false or compatible with truthmaker theory. In Sect. 6 I show how the truthmaker theorist can resist the charge that they are committed to necessary exclusions between possible existents. I conclude that there is no good objection to truthmaker theory on the grounds that it violates the Humean dictum. (shrink)

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

The paper essentially shows that the paraconsistent logicDR satisfies the depth relevance condition. The systemDR is an extension of the systemDK of [7] and the non-triviality of a dialectical set theory based onDR has been shown in [3]. The depth relevance condition is a strengthened relevance condition, taking the form: If DR- AB thenA andB share a variable at the same depth, where the depth of an occurrence of a subformulaB in a formulaA is roughly the number of nested ''s (...) required to reach the occurrence ofB inA. The method of proof is to show that a model structureM consisting of {M 0 , M1, ..., M}, where theM i s are all characterized by Meyer''s 6-valued matrices (c. f, [2]), satisfies the depth relevance condition. Then, it is shown thatM is a model structure for the systemDR. (shrink)

In this paper I examine two principles of orthodox truthmaker theory: truthmaker maximalism - the doctrine that every (contingent) truth has a truthmaker, and truthmaker necessitarianism - the doctrine that the existence of a truthmaker necessitates the truth of any proposition which it in fact makes true. I argue that maximalism should be rejected and that once it is we only have reason to hold a restricted form of necessitarianism.

We review scholarship that examines relationships - and distinctions - between religion and delusion. We begin by outlining and endorsing the position that both involve belief. Next, we present the prevailing psychiatric view that religious beliefs are not delusional if they are culturally accepted. While this cultural exemption has controversial implications, we argue it is clinically valuable and consistent with a growing awareness of the social - as opposed to purely epistemic - function of belief formation. Finally, we review research (...) on continuities between religious and delusional cognition, which reveals that religious content is quite common in delusions and which provides tentative evidence for a positive relationship between religious belief and delusion-like belief in the general population. (shrink)

I argue that Agustín Rayo’s symmetric ‘just is’ statements cannot be defined in terms of notions like essence, grounding or metaphysical truth-conditions. I go on to argue that one of these latter notions, which allow us to express an asymmetric relationship between facts, is needed to do some of the work that Rayo intends ‘just is’ statements to do, such as stating reductionist claims.

Artificial general intelligence is a greatly anticipated technology with non-trivial existential risks, defined as machine intelligence with competence as great/greater than humans. To date, social scientists have dedicated little effort to the ethics of AGI or AGI researchers. This paper employs inductive discourse analysis of the academic literature of two intellectual groups writing on the ethics of AGI—applied and/or ‘basic’ scientific disciplines henceforth referred to as technicians (e.g., computer science, electrical engineering, physics), and philosophy-adjacent disciplines henceforth referred to as PADs (...) (e.g., philosophy, theology, anthropology). These groups agree that AGI ethics is fundamentally about mitigating existential risk. They highlight our moral obligation to future generations, demonstrate the ethical importance of better understanding consciousness, and endorse a hybrid of deontological/utilitarian normative ethics. Technicians favor technocratic AGI governance, embrace the project of ‘solving’ moral realism, and are more deontologically inclined than PADs. PADs support a democratic approach to AGI governance, are more skeptical of deontology, consider current AGI predictions as fundamentally imprecise, and are wary of using AGI for moral fact-finding. (shrink)

Some truths are necessary, others could have been false. Why? What is the source of the distinction between the necessary and the contingent? What's so special about the necessary truths that account for their necessity? In this article, we look at some of the most promising accounts of the grounds of necessity: David Lewis' reduction of necessity to truth at all possible worlds; Kit Fine's reduction of necessity to essence; and accounts of necessity that take the distinction between the necessary (...) and the contingent to be a matter of convention. (shrink)

We propose a pluralist account of content for predictive processing systems. Our pluralism combines Millikan's teleosemantics with existing structural resemblance accounts. The paper has two goals. First, we outline how a teleosemantic treatment of signal passing in predictive processing systems would work, and how it integrates with structural resemblance accounts. We show that the core explanatory motivations and conceptual machinery of teleosemantics and predictive processing mesh together well. Second, we argue this pluralist approach expands the range of empirical cases to (...) which the predictive processing framework might be successfully applied. This is because our pluralism is practice-oriented. A range of different notions of content are used in the cognitive sciences to explain behaviour, and some of these cases look to employ teleosemantic notions. As a result, our pluralism gives predictive processing the scope to cover these cases. (shrink)

The main aim is to extend the range of logics which solve the set-theoretic paradoxes, over and above what was achieved by earlier work in the area. In doing this, the paper also provides a link between metacomplete logics and those that solve the paradoxes, by finally establishing that all M1-metacomplete logics can be used as a basis for naive set theory. In doing so, we manage to reach logics that are very close in their axiomatization to that of the (...) logic R of relevant implication. A further aim is the use of metavaluations in a new context, expanding the range of application of this novel technique, already used in the context of negation and arithmetic, thus providing an alternative to traditional model theoretic approaches. (shrink)

In this paper I argue that there are some sentences whose truth makes no demands on the world, being trivially true in that their truth-conditions are trivially met. I argue that this does not amount to their truth-conditions being met necessarily: we need a non-modal understanding of the notion of the demands the truth of a sentence makes, lest we be blinded to certain conceptual possibilities. I defend the claim that the truths of pure mathematics and set theory are trivially (...) true, and hence accepting their truth brings no ontological commitment; I further defend the claim that the truths of applied mathematics and set theory do not demand the existence of numbers or sets. While the notion of a demand must not be reduced to anything modal, I nonetheless argue that sentences that are trivially true must also be necessary, lest we violate a very weak version of the principle that truth depends on the world. I further argue that all necessary truths are trivially true, lest we admit unexplained necessities. I end by showing one important consequence of this: I argue that if there are truthmakers for intrinsic predications, they must be states of affairs rather than tropes. (shrink)

In footnote 56 of his Naming and Necessity, Kripke offers a ‘proof’ of the essentiality of origin. On its most literal reading the argument is clearly flawed, as was made clear by Nathan Salmon. Salmon attempts to save the literal reading of the argument, but I argue that the new argument is flawed as well, and that it can’t be what Kripke intended. I offer an alternative reconstruction of Kripke’s argument, but I show that this suffers from a more subtle (...) fault. (shrink)

That the rationality of individual people is ‘bounded’ – that is, finite in scope and representational reach, and constrained by the opportunity cost of time – cannot reasonably be controversial as an empirical matter. In this context, the paper addresses the question as to why, if economics is an empirical science, economists introduce bounds on the rationality of agents in their models only grudgingly and partially. The answer defended in the paper is that most economists are interested primarily in markets (...) and only secondarily in the dynamics of individual decisions – specifically, they are interested in these dynamics mainly insofar as they might systematically influence the most useful approaches to modeling interesting markets. In market contexts, bounds on rationality are typically generated by institutional and informational properties specific to the market in question, which arise and are sustained by structural dynamics that do not originate in or reduce to individuals' decisions or psychologic.. (shrink)

I attempt to accommodate the phenomenon of vagueness with classical logic and bivalence. I hold that for any vague predicate there is a sharp cut-off between the things that satisfy it and the things that do not; I claim that this is due to the greater naturalness of one of the candidate meanings of that predicate. I extend the thought to the problem of the many and Benacerraf cases. I go on to explore the idea that it is ontically indeterminate (...) what the most natural meanings are, and hence ontically indeterminate where the sharp cut-off in a sorites series is. (shrink)

Free Semantics is based on normalized natural deduction for the weak relevant logic DW and its near neighbours. This is motivated by the fact that in the determination of validity in truth-functional semantics, natural deduction is normally used. Due to normalization, the logic is decidable and hence the semantics can also be used to construct counter-models for invalid formulae. The logic DW is motivated as an entailment logic just weaker than the logic MC of meaning containment. DW is the logic (...) focussed upon, but the results extend to MC. The semantics is called 'free semantics' since it is disjunctively and existentially free in that no disjunctive or existential witnesses are produced, unlike in truth-functional semantics. Such 'witnesses' are only assumed in generality and are not necessarily actual. The paper sets up the free semantics in a truth-functional style and gives a natural deduction interpetation of the meta-logical connectives. We then set out a familiar tableau-style system, but based on natural deduction proof rather than truth-functional semantics. A proof of soundness and completeness is given for a reductio system, which is a transform of the tableau system. The reductio system has positive and negative rules in place of the elimination and introduction rules of Brady's normalized natural deduction system for DW. The elimination-introduction turning points become closures of threads of proof, which are at the points of contradiction for the reductio system. (shrink)

The standard Hilbert-style of axiomatic system yields the assertion of axioms and, via the use of rules, the assertion of theorems. However, there has been little work done on the corresponding axiomatic rejection of non-theorems. Such Hilbert-style rejection would be achieved by the inclusion of certain rejection-axioms (r-axioms) and, by use of rejection-rules (r-rules), the establishment of rejection-theorems (r-theorems). We will call such a proof a rejection-proof (r-proof). The ideal to aim for would be for the theorems and r-theorems to (...) bemutually exclusive and exhaustive. That is, if a formula A is a theorem then it is not an r-theorem, and if A is a non-theorem then it is an r-theorem. In this paper, I present a rejecion system for the first-degree formulae of a large number of relevant logics. (shrink)