The Preface and the General Introduction to the book set the debate within the wider philosophical context and show why the subject of temporal becoming is a perennial concern of science, religion, language, logic, and the philosophy of ...

A classic objection to autonomous weapon systems (AWS) is that these could create so-called responsibility gaps, where it is unclear who should be held responsible in the event that an AWS were to violate some portion of the law of armed conflict (LOAC). However, those who raise this objection generally do so presenting it as a problem for AWS as a whole class of weapons. Yet there exists a rather wide range of systems that can be counted as “autonomous weapon (...) systems”, and so the objection is too broad. In this article I present a taxonomic approach to the objection, examining a number of systems that would count as AWS under the prevalent definitions provided by the United States Department of Defense and the International Committee of the Red Cross, and I show that for virtually all such systems there is a clear locus of responsibility which presents itself as soon as one focuses on specific systems, rather than general notions of AWS. In developing these points, I also suggest a method for dealing with near-future types of AWS which may be thought to create situations where responsibility gaps can still arise. The main purpose of the arguments is, however, not to show that responsibility gaps do not exist or can be closed where they do exist. Rather, it is to highlight that any arguments surrounding AWS must be made with reference to specific weapon platforms imbued with specific abilities, subject to specific limitations, and deployed to specific times and places for specific purposes. More succinctly, the arguments show that we cannot and should not aim to treat AWS as if all of these shared all morally relevant features, but instead on a case-by-case basis. Thus, we must contend with the realities of weapons development and deployment, and tailor our arguments and conclusions to those realities, and with an eye to what facts obtain for particular systems fulfilling particular combat roles. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

Quine’s criterion of theoretical ontological commitment is subject to a variety of interpretations, all of which save one yield incorrect verdicts. Moreover, the interpretation that yields correct verdicts is not what Quine meant. Instead the intended criterion unfairly imputes ontological commitments to theories that lack those commitments and fails to impute commitments to theories that have them. Insofar as Quine’s criterion is interpreted so that it yields only correct verdicts, it is trivial and of questionable utility. Moreover, the correct criterion (...) invokes analyticity, a notion that Quine spent most of his life tirelessly combating. This yields a dilemma for Quinean philosophy: Either his criterion of ontological commitment is incorrect, or else Quine is committed to a traditional philosophical notion that he emphatically rejected as disreputable. (shrink)

The theory of pragmatic encroachment states that the risks associated with being wrong, or the practical stakes, can make a difference to whether one’s evidence is good enough to justify belief. While still far from the orthodox view, it has garnered enough popularity that it is worth exploring the implications when we apply the theory of pragmatic encroachment to group epistemology, specifically to the justificatory status of the beliefs of group agents. When we do, I claim, we discover two novel (...) cases of divergence; cases where a group epistemic agent is justified in believing but none of the members are, and vice versa. Using Jennifer Lackey’s influential Group Epistemic Agent Account as a foil, in particular Lackey’s arguments against previous proposed cases of divergence, the present paper defends the following argument, which I call Pragmatic Encroachment Divergence (PED): (i) Practical stakes make a difference to what an agent (group or individual) is justified in believing. (ii) The practical stakes of a group agent can come apart from the practical stakes of the (operative) members. (iii) Therefore, it is possible for the justified beliefs of a group to diverge from the justified beliefs of its members. (shrink)

A new philosophical analysis is provided of the notorious Sleeping Beauty Problem. It is argued that the correct solution is one-third, but not in the way previous philosophers have typically meant this. A modified version of the Problem demonstrates that neither self-locating information nor amnesia is relevant to the core Problem, which is simply to evaluate the conditional chance of heads given an undated Monday-or-Tuesday awakening. Previous commentators have failed to appreciate the significance of the information that Beauty gains upon (...) waking, and which is relevant to the conditional chance of heads: de re acquaintance with the awakening itself and the non-locating knowledge that it is an experimental awakening. David Lewis and company are committed to several unjustifiable and unacceptable probability assessments. Previous commentators have in effect confused the information that Beauty undergoes this particular experimental awakening for the information that she undergoes some experimental awakening or other. Lewis in particular thereby illegitimately tips the scales both in favor of heads and in favor of Monday. The Sleeping Beauty Problem is equivalent to a ball-in-urn word problem in elementary probability theory. (shrink)

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ express different (...) propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

Propositional proof complexity is the study of the sizes of propositional proofs, and more generally, the resources necessary to certify propositional tautologies. Questions about proof sizes have connections with computational complexity, theories of arithmetic, and satisfiability algorithms. This is article includes a broad survey of the field, and a technical exposition of some recently developed techniques for proving lower bounds on proof sizes.

"Nobis argues that Singer's consequentialist approach is inadequate for defending the moral obligation to become a vegetarian or vegan. The consequentialist case rests on the idea that being a vegetarian or vegan maximizes utility -- the fewer animals that are raised and killed for food, the less suffering. Nobis argues that this argument does not work on an individual level -- my becoming a vegetarian makes no difference to the overall utility of reducing animal suffering in a context of a (...) huge industry and market unaffected by my actions. Nobis merges the insights of virtue ethics with consequentialism to argue that individuals can bring about more goodness if they have the virtues of compassion, care, and sensitivity to unnecessary cruelty and suffering. If one ought to be compassionate, sensitive to cruelty, resist injustice, and be morally integrated, then, Nobis argues, one ought to be a vegetarian or vegan.". (shrink)

While recent history has seen significant debate concerning the nature and extension of essence, comparatively little attention has been paid to the epistemology of essence. This is strange, as, plausibly, what answers we give to the metaphysical questions about essence will (or should) be partially constrained by our essence epistemology. Here, I aim to go some way towards filling this lacuna. In particular, I here argue that there is no plausible epistemic story available for non-modal accounts of essence. In particular, (...) existing accounts of essence epistemology cannot explain how we are able to know that something is genuinely essential, rather than merely necessary. One consequence is that modal accounts of essence – which only needs to supply an epistemology for a non-hyperintensional notion – look that much more plausible. (shrink)

Alonzo Church provided three criteria for “strict synonymy”, i.e., sameness of semantic content: Alternatives (0), (1), and (2)--in order of increasing course-grainedness of content. On (2) expressions are strictly synonymous iff they are logically equivalent. (1) is a significant improvement over (2). On (1) expressions are synonymous iff they are lambda-convertible. Even on (1), assuming the Millian account of proper names, ‘Tully admires Cicero’ is deemed synonymous with ‘Cicero is self-admiring’. On (0) expressions are strictly synonymous iff they are “synonymously (...) isomorphic” in Church’s sense. A fourth alternative, here called ‘(3)’, has been maintained by several philosophers. On (3) expressions are strictly synonymous iff they are co-intensional. In particular, sentences are strictly synonymous iff they are true with resect to the same possible worlds. This criterion’s notion of content is even more course grained than that of (2). Several objections to (3) are considered. (shrink)

This essay critically examines one of the dominant tendencies in recent theoretical discussions of anarchism, postanarchism, and argues that this tradition fails to engage sufficiently with anarchism’s history. Through an examination of late 19th-century anarchist political thought—as represented by one of its foremost exponents, Peter Kropotkin—we demonstrate the extent to which postanarchism has tended to oversimplify and misrepresent the historical tradition of anarchism. The article concludes by arguing that all political-theoretical discussions of anarchism going forward should begin with a fresh (...) appraisal of the actual content of anarchist political thought, based on a rigorous analysis of its political, social, and cultural history. (shrink)

First critical survey devoted to the history of philosophical contributions to this topic. Brings to light neglected contributions prior to the second half of the 20th century including works in Danish, German, and French. Provides a division of issues and clarifies key ambiguities related to modality.

This paper defends an interpretation of Gottlob Frege’s views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in multiple, distinct ways. These multiple decompositions will often have distinct logical forms. I also argue against Michael Dummett and others that Frege was committed to the sense of a predicate being a function from the sense of a (...) name (or names) to a complete thought. I defend my Frege interpretation against a puzzle often discussed in the Frege literature; namely, that the Multiple Decompositions Thesis is incompatible with Frege’s stated view that a thought is built up out of its component senses as parts. I provide textual evidence and argument that Frege thought of the part/whole relation in such a way that a whole can be analyzed into (or built up out of) parts in multiple, distinct ways, thus dissolving the puzzle. I conclude with discussion of every sort of example of multiple decompositions that can be found in Frege's work. (shrink)

Four accounts, three of them Kantian, of true sentences of the form “ exists” are contrasted. Russell’s theory that such sentences are meaningless is contrasted with two other Kantian theories that are analogous to one another: Frege’s semantic-ascent theory and the Frege-inspired ungerade (indirect, “oblique”) theory. Frege’s objection to the semantic-ascent account of identity is applied, ironically with equal force, against his account of existence. A second argument favoring the ungerade theory is offered. The argument is then refuted through an (...) application of a general strategy suggested by Kripke. A fourth theory, the deeply anti-Kantian existence-as-predicate theory, fully accommodates these results. (shrink)

In this paper, I argue that Deleuze's political writings and Derrida's early (pre-1985) work on deconstruction affirms the tactical orientation which Todd May in particular has associated with 'poststructuralist anarchism.' Deconstructive philosophy, no less than Deleuzean philosophy, seeks to avoid closure, entrapment, and structure; it seeks to open up rather than foreclose possibilities, to liberate rather than interrupt the flows and movements which produce life. To this extent, it is rightfully called an anarchism -- not the utopian anarchism of the (...) nineteenth century, perhaps, but the provisional and preconditional anarchism which is, and will continue to be, the foundation of postmodern politics. (shrink)

BACKGROUND Patients with chronic pain face significant barriers in finding clinicians to manage long-term opioid therapy (LTOT). For patients on LTOT, it is increasingly common to have them sign opioid treatment agreements (OTAs). OTAs enumerate the risks of opioids, as informed consent documents would, but also the requirements that patients must meet to receive LTOT. While there has been an ongoing scholarly discussion about the practical and ethical implications of OTA use in the abstract, little is known about how clinicians (...) use them and if OTAs themselves modify clinician prescribing practices. OBJECTIVE To determine how clinicians use OTAs and the potential impacts of OTAs on opioid prescribing. DESIGN We conducted qualitative analysis of four focus groups of clinicians from a large Midwestern academic medical center. Groups were organized according to self-identified prescribing patterns: two groups for clinicians who identified as prescribers of LTOT, and two who did not. PARTICIPANTS 17 clinicians from General Internal Medicine, Family Medicine, and Palliative Care were recruited using purposive, convenience sampling. APPROACH Discussions were recorded, transcribed, and analyzed for themes using reflexive thematic analysis by a multidisciplinary team. KEY RESULTS Our analysis identified three main themes: (1) OTAs did not influence clinicians’ decisions whether to use LTOT generally but did shape clinical decision-making for individual patients; (2) clinicians feel OTAs intensify the power they have over patients, though this was not uniformly judged as harmful; (3) there is a potential misalignment between the intended purposes of OTAs and their implementation. CONCLUSION This study reveals a complicated relationship between OTAs and access to pain management. While OTAs seem not to impact the clinicians’ decisions about whether to use LTOT generally, they do sometimes influence prescribing decisions for individual patients. Clinicians shared complex views about OTAs’ purposes, which shows the need for more clarity about how OTAs could be used to promote shared decision-making, joint accountability, informed consent, and patient education. (shrink)

The ArgumentOver the years national styles have been invoked or denigrated in the writing of the history of science. This paper is an attempt to give the concept of national style a degree of precision and clarity enabling scholars to understand when and how it may be invoked and when and how its use would be dubious or even forbidden. The example of the United States of America is used because the history of the sciences in the United States was (...) often written loosely in terms supposedly conducive to national style analyses. We first discuss the problem of commonalities, factors widely present within all countries in the Western tradition, which, by definition, cannot be exclusive national attributes. Here the problem is to somehow determine whether the supposed national style attribute is a case of a significantly different degree of intensity than some presumed norm in the Western tradition.The principal thesis advanced is that pre-existing historiographic assumptions largely determine whether or not a scholar finds or does not find a national style. This is discussed in terms of some examples for the U.S. case. More particularly, a number of examples are discussed from the three principal genres or schools in current writing in the history of science: the knowledge-centered; the doing-science; and the context-oriented. Based on the analysis of the examples, an attempt is made to sketch an approach to a more rigorous use of the concept of national style. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion of an (...) effective procedure--without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis--that the class of effective procedures is undecidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. The proof does not appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though this undecidability result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (shrink)

Morality and religion: intimately wed, violently opposed, or something else? Discussion of this issue appears in pop culture, the academy, and the media―often generating radically opposed views. At one end of the spectrum are those who think that unless God exists, ethics is unfounded and the moral life is unmotivated. At the other end are those who think that religious belief is unnecessary for―and even a threat to―ethical knowledge and the moral life. -/- This volume provides an accessible, charitable discussion (...) that represents a range of views along this spectrum. The book begins with a lively debate between Paul Kurtz and William Lane Craig on the question, Is goodness without God good enough? Kurtz defends the affirmative position and Craig the negative. Following the debate are new essays by prominent scholars. These essays comment on the debate and advance the broader discussion of religion and morality. The book closes with final responses from Kurtz and Craig. (shrink)

Common nouns and noun phrases have usually been analyzed semantically as predicates. In quantified sentences, these predicates take variables as arguments. This paper develops and defends an analysis in which common nouns and noun phrases themselves are treated as variables, rather than as predicates taking variables as arguments. Several apparent challenges for this view will be addressed, including the modal non-rigidity of common nouns. Two major advantages to treating common nouns as variables will be presented: Such an analysis predicts that (...) all nominal quantification is conservative, rather than requiring conservativity to be stipulated as a constraint on determiner denotations; and it makes possible some improvements to the analysis of the temperature paradox, allowing for quantificational examples without adding a spurious layer of modal variability. (shrink)

All human relationships are containers of emotional life, but what are the structures underlying them? Nathan Schwartz-Salant looks at all kinds of relationships through an analyst's eye. By analogy with the ancient system of alchemy he shows how states of mind that can undermine our relationships - in marriage, in creative work, in the workplace - can become transformative when brought to consciousness. It is only by learning how to access the interactive field of our relationships that we can enter (...) this transformative process and explore its mysterious potential for self-realization. (shrink)

Anarchist philosophy has often played and continues to play a crucial role in interventions in working-class and labor movements. Anarchist philosophy influenced real-world struggles and touched the lives of real, flesh-and-blood workers, especially those belonging to the industrial, immigrant working classes of late nineteenth- and early twentieth-century America. Too often the writings, which were disseminated to, and hungrily consumed by, these workers are dismissed as “propaganda.” However, insofar as they articulate and define political, economic, and social concepts; subject political, economic, (...) and social institutions to trenchant critique against clear and well-defined normative standards; offer logical justifications of their own positions; and advance positive alternative proposals, why should these writings not be regarded as philosophical texts and analyzed accordingly? Obviously they should, and the fact that they have been so long ignored by political philosophers, historians, and other scholars reflects academic prejudice rather than the intellectual and philosophical merit of the writings. This article is a preliminary step toward giving anarchist philosophy the hearing it so richly deserves. (shrink)

It is widely agreed that ignorance of fact exculpates, but does moral ignorance exculpate? If so, does it exculpate in the same way as non-moral ignorance? In this paper I will argue that on one family of views explaining exculpating non-moral ignorance also explains exculpating moral ignorance. The view can be loosely stated in the following way: ignorance counts as an excuse only if it is not the result of a failure to meet some applicable reasonable epistemic standard—call this the (...) Reasonable Epistemic Standards Thesis and call views that accept some version of this principle reasonable standards views. I argue that any plausible reasonable standards view ought to allow that moral ignorance exculpates, at least sometimes, and defend such views against the charge that they are susceptible to clear counterexamples. (shrink)

How we define the anarchist canon—let alone how we decide which thinkers, theories, and texts should count as canonical—depends very much on what we take the purpose of the anarchist canon to be. In this essay, I distinguish between thinkers, theories, or texts that are “anarchist,” by virtue of belonging to actually-existing historical anarchist movements, and those which are “anarchist” in virtue of expressing “anarchistic” (or “anarchic”) ideas. I argue that the anarchist canon is best conceived as a repository of (...) historically-expressed anarchistic ideas and, for this reason, should include both kinds of theories, thinkers, and texts. (shrink)

This chapter draws upon Michael Freeden's morphological approach to examine the various ways freedom has been conceptualized within the anarchist tradition. It determines how and to what extent these conceptions serve to differentiate anarchism from liberalism and other ideologies that claim freedom as a core concept. The chapter explores the role they play in the formulation of diverse anarchist tendencies. It argues that prevailing anarchist conceptions of freedom uniformly obviate the "assumed tension between the freedom of the individual and the (...) good of society" as well as "between negative and positive definitions of the concept". The rejection of such dichotomies is a unifying theme in anarchism more generally and a key aspect of its ideological distinctiveness. When anarchism is defined solely in terms of what it opposes, the underlying motivations for that opposition tend to be obscured. For social anarchists, any concept of freedom that lacks an explicitly teleological dimension is an abstraction devoid of concrete moral significance. (shrink)

This paper raises an uncommon question: What can studying Thomas Aquinas and Critical Race Theory teach us about failures to promote mercy across the color-line? I answer this question in five stages. After locating Thomas’s teachings on mercy and its impediments within his masterwork, the Summa theologiae, I excavate Thomas’s account of mercy’s impediments. Next, I address the question “What is CRT?” Then I examine a foundational CRT text’s analysis of mercy’s impediments. Lastly, I offer a proposal for further Thomas-CRT (...) collaborations. (shrink)

Research using economic decision-making tasks has established that direct reciprocity plays a role in prosocial decision-making: people are more likely to help those who have helped them in the past. However, less is known about how considerations of mutual exchange influence decisions even when the other party’s actions are unknown and direct reciprocity is therefore not possible. Using a two-party economic task in which the other’s actions are unknown, study 1 shows that prosociality critically depends on the potential for mutual (...) exchange; when the other person has no opportunity to help the participant, prosocial behavior is drastically reduced. In study 2, we find that theories regarding the other person’s intentions influence the degree of prosociality that participants exhibit, even when no opportunity for direct reciprocity exists. Further, beliefs about the other’s intentions are closely related to one’s own motivations in the task. Together, the results support a model in which prosociality depends on both the social conditions for mutual exchange and a mental model of how others will behave within these conditions, which is closely related to knowledge of the self. (shrink)

This chapter draws upon Michael Freeden’s morphological theory of ideology to examine diverse conceptions of the State within the anarchist tradition. Its principal aim in so doing is twofold: first, to determine how and to what extent these conceptions serve to distinguish anarchism from other libertarian ideologies, and second, to explore the role they play in the formulation of diverse anarchist tendencies. As I shall argue, the particular meaning and degree of relative significance that a given conception assigns to the (...) State depends on the internal arrangement of its ‘micro-components’ and/or on its relation to other concepts within the ideological morphology. Both of these factors must be taken into account in order to understand anarchism’s internal diversity as well as its distinctiveness among ideologies. (shrink)

Fredegisus of Tours was an Anglo-Saxon scholar who studied under Alcuin of York and later served at the court of Charlemagne. Although he was apparently well respected by his peers, specific details concerning his life are scarce. His only surviving work is a brief epistle entitled De Nihil et Tenebris. This article provides a new translation of the letter, based on Migne 1851 edition, along with biographical information about its author, a brief critical history of the text, and a commentary (...) on Fredegisus’s significance in the history of Western philosophy. The author argues, against extant critical accounts, that Fredegisus evinces a much higher level of philosophical sophistication than is usually attributed to him. This is evidenced by certain crucial similarities between the De Nihil and Augustine’s De Magistro, as well as the decidedly Platonic overtones of Fredegisus’s doctrine of nothingness. (shrink)

Anarchism and Political Modernity looks at the place of 'classical anarchism' in the postmodern political discourse, claiming that anarchism presents a vision of political postmodernity. The book seeks to foster a better understanding of why and how anarchism is growing in the present. To do so, it first looks at its origins and history, offering a different view from the two traditions that characterize modern political theory: socialism and liberalism. Such an examination leads to a better understanding of how anarchism (...) connects with newer political trends and why it is a powerful force in contemporary social and political movements. This new volume in the Contemporary Anarchist Studies series offers a novel philosophical engagement with anarchism and contests a number of positions established in postanarchist theory. Its new approach makes a valuable contribution to an established debate about anarchism and political theory. It offers a new perspective on the emerging area of anarchist studies that will be of interest to students and theorists in political theory and anarchist studies. (shrink)

In this essay, I argue that there are two more or less distinct theories of the State in Hegel. The first, and better known, is developed in the Philosophy of Right, wherein Hegel endorses the notion of a coercive, centralised, and hierarchical 'Ideal State'. This is precisely the theory which certain radical Hegelians of the nineteenth century (e.g., Marx and Bakunin) viewed with such deep suspicion. The second, which has not received as much attention by commentators, appears in the Phenomenology (...) and other early writings. Although this theory introduces many of the key components of Hegel's later political philosophy, it is nonetheless far more radical in its political implications--most important, in its gesturing toward a society which makes room for the realisation of the stateless, classless vision of anarchist communism. The point is not to demonstrate that Hegel is inconsistent or self-contradictory, but show that there are elements of creative tension within his political theory which are not only sufficient to vindicate him from the criticisms of Marx and Bakunin, but also to re-contextualise him as a radical precursor. As I shall argue, the kind of society that emerges in the final chapters of the Phenomenology need not contain the elements of coercion and class struggle which appear in the Philosophy of Right and repulse Marx and Bakunin. On the contrary, such a society may be understood as prefiguring the classless, stateless society which both Marx and Bakunin ultimately endorse. (shrink)