Over the past four decades, software engineering has emerged as a discipline in its own right, though it has roots both in computer science and in classical engineering. Its philosophical foundations and premises are not yet well understood. In recent times, members of the software engineering community have started to search for such foundations. In particular, the philosophies of Kuhn and Popper have been used by philosophically-minded software engineers in search of a deeper understanding of their discipline. It seems, however, (...) that professional philosophers of science are not yet aware of this new discourse within the field of software engineering. Therefore, this article aims to reflect critically upon recent software engineers’ attempts towards a philosophy of software engineering and to introduce our own philosophical thoughts in this context. Finally, we invite the professional philosophers of science to participate in this interesting new discourse. (shrink)

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

This paper examines the idea of "objective phenomenology," or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

Some philosophers think that life is worth living not merely because of the goods and the bads within it, but also because life itself is good. I explain how this idea can be formalized by associating each version of such of a view with a function from length of life to the value generated by life itself. Then I argue that every version of the view that life itself is good faces some version of the following dilemma: either (1) good (...) human lives are worse than very long lives wholly devoid of pleasure, desire-satisfaction, knowledge, or any other goods, or (2) very short lives containing nothing but suffering are worth living. Since neither result is plausible, we ought to reject the view that life itself is good. On the view I favor, any given life may be worth living because of the goods that it contains, but life itself is neutral. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

People are ‘biased toward the future’: all else being equal, we typically prefer to have positive experiences in the future, and negative experiences in the past. Several explanations have been suggested for this pattern of preferences. Adjudicating among these explanations can, among other things, shed light on the rationality of future-bias: For instance, if our preferences are explained by unjustified beliefs or an illusory phenomenology, we might conclude that they are irrational. This paper investigates one hypothesis, according to which future-bias (...) is explained by our having a phenomenology that we describe, or conceive of, as being as of time robustly passing. We empirically tested this hypothesis and found no evidence in its favour. Our results present a puzzle, however, when compared with the results of an earlier study. We conclude that although robust passage phenomenology on its own probably does not explain future-bias, having this phenomenology and taking it to be veridical may contribute to future-bias. (shrink)

Many philosophers accept both of the following claims: (1) consciousness matters morally, and (2) species membership doesn’t matter morally. In other words, many reject speciesism but accept what we might call 'sentientism'. But do the reasons against speciesism yield analogous reasons against sentientism, just as the reasons against racism and sexism are thought to yield analogous reasons against speciesism? This paper argues that speciesism is disanalogous to sentientism (as well as racism and sexism). I make a case for the following (...) asymmetry: (a) some non-humans clearly have interests, but (b) no non-conscious entities clearly have interests. This asymmetry, I argue, renders sentientism resistant to the standard argument against speciesism. (shrink)

For Kant, knowledge involves certainty. If “certainty” requires that the grounds for a given propositional attitude guarantee its truth, then this is an infallibilist view of epistemic justification. Such a view says you can’t have epistemic justification for an attitude unless the attitude is also true. Here I want to defend an alternative fallibilist interpretation. Even if a subject has grounds that would be sufficient for knowledge if the proposition were true, the proposition might not be true. And so there (...) is sometimes still rational room for doubt. The goal of this paper is to present four different models of what “certainty” amounts to, for Kant, each of which is compatible with fallibilism. (shrink)

Some incompatibilists about free will or moral responsibility and determinism would abandon their incompatibilism were they to learn that determinism is true. But is it reasonable to flip-flop in this way? In this article, we contend that it is and show what follows. The result is both a defense of a particular incompatibilist strategy and a general framework for assessing other cases of flip-flopping.

Decision theory is founded on the principle that we ought to take the action that has the maximum expected value from among actions we are in a position to take. But prior to the notion of expected value is the notion of the actual value of that action: roughly, a measure of the good outcomes you would in fact procure if you were to take it. Surprisingly many decision theories operate without an analysis of actual value. I offer a definition (...) of actual value, and show that a form of decision theory due to Stalnaker can be reformulated so as to be in line with the edict to maximize expected value. By contrast, I show that there is no quantity — given by my definition or otherwise — that plays the role of actual value in Jeffrey's decision theory. (shrink)

In a new study, Ben-Haim et al. use subliminal stimuli to separate conscious and unconscious perception in macaques. A programme of this type, using a range of cognitive tasks, is a promising way to look for conscious perception in more controversial cases.

This chapter explores global debunking arguments, debunking arguments that aim to give one a global defeater. I defend Alvin Plantinga’s view that global defeaters are possible and, once gained, are impossible to escape by reasoning. They thereby must be extinguished by other means: epistemically propitious actions, luck, or grace. I then distinguish between three types of global defeater—pure-undercutters, undercutters-because-rebutters, and undercutters-while-rebutters—and systematically consider how one can deflect such defeaters. Lastly, since I draw insights from the literature on perhaps the most (...) widely discussed global debunking argument in the literature, Plantinga’s evolutionary argument against naturalism, I end up responding to many potential problems for it. This includes the so-called conditionalization problem, as well as those raised by Bergmann (2002), Law (2012), Deem (2018), Hendricks and Anderson (2020), and Wielenberg (in Craig and Wielenberg (2021)). (shrink)

This paper draws out and connects two neglected issues in Kant’s conception of a priori knowledge. Both concern topics that have been important to contemporary epistemology and to formal epistemology in particular: knowability and luminosity. Does Kant commit to some form of knowability principle according to which certain necessary truths are in principle knowable to beings like us? Does Kant commit to some form of luminosity principle according to which, if a subject knows a priori, then they can know that (...) they know a priori? I defend affirmative answers to both of these questions, and by considering the special kind of modality involved in Kant’s conceptions of possible experience and the essential completability of metaphysics, I argue that his combination of knowability and luminosity principles leads Kant into difficulty. (shrink)

Are postmodern philosophy and Christian theology compatible? A surprising number of Christian philosophers and theologians think so. However, these same thinkers argue that postmodern insights entail the rejection of natural theology, the ability to discover knowledge about the existence and nature of God in the natural world. Postmodernism, they claim, shows that appealing to nature to demonstrate or infer the existence of God is foolish because these appeals rely on modernity’s outmoded grounds for knowledge. Moreover, natural theology and apologetics are (...) often hindrances to authentic Christian faith. Notions like objectivity and rationality are forms of idolatry from which Christians should repent. This book carefully examines the nature of truth, rationality, general revelation, and evangelism to show that the postmodern objections fail and that Christians ought to lovingly and faithfully use natural theology and apologetics to defend and commend the Christian faith to a world in need of the knowledge of God. (shrink)

This chapter contains sections titled: Belonging: National Unity and Liberal Politics Consensus: Reconciling Pluralism and Political Stability Conclusion Note References.

Introducing the major theories, issues and concepts in contemporary political theory, this text is a comprehensive and engaging introduction to the field. The book examines a range of topics to explore questions such as: What kinds of political community best support democracy? Do members of wealthy societies have duties to eradicate global poverty? Who or what should be the authority on human rights? Chapters are carefully organized to enhance learning by first setting out rival perspectives on key political issues which (...) are then compared and analysed through a series of key debates. Discussion boxes are used throughout the book to consider the policy implications of different theoretical perspectives from thinkers including John Rawls, Susan Okin, Isaiah Berlin, Jane Mansbridge and Will Kymlicka. Offering an in-depth survey of the landscape of contemporary political theory and written in an engaging and lively style, this book will equip students with the tools to think through the complex questions whose answers determine our collective political lives. (shrink)

In this article I discuss the moral-coherence reading of Kant’s moral argument offered by Allen Wood in his recent book _Kant and Religion_, display some of the challenges that it faces and suggest that a moral-psychological formulation is preferable.

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. The first (...) is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (shrink)

The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows one to (...) characterise a still wider range of logics, and provides the grist for some new results. To showcase this, we show, using some non-augmented models, that some quantified relevant logics are not conservatively extended by connectives the addition of which do conservatively extend the associated propositional logics, namely fusion and the dual implication. We close by proposing some further uses to which the neighbourhood Mares-Goldblatt semantics may be put. (shrink)

Many theorists have found the notion of forgiveness to be paradoxical, for it is thought that only the blameworthy can be appropriately forgiven but that the blameworthy are appropriately blamed not forgiven. Some have appealed to the notion of repentance to resolve this tension. But others have objected that such a response is explanatorily inadequate in the sense that it merely stipulates and names a solution leaving the transformative power of repentance unexplained. Worse still, others have objected that such a (...) response cannot succeed because no amount of repentance can render the blameworthy not blameworthy. I argue that this latter objection is based on a mistaken assumption, the acknowledgement of which has the power to resolve the paradox in a way that meets the explanatory adequacy challenge, and, more generally, has significant implications with which any full theory of forgiveness must engage. (shrink)

One debate surrounding Derk Pereboom’s (2001, 2014) four-case argument against compatibilism focuses on whether, and why, we judge manipulated agents to be neither free nor morally responsible. In this paper, we propose a novel explanation. The four-case argument features cases where an agent is the only individual in her universe who has been manipulated. Let us call manipulation whose scope includes at least one but not all agents existential manipulation. Contrast this with universal manipulation, which affects all agents within a (...) universe. We propose that we find agents in Pereboom’s manipulation cases less free and morally responsible in part because they are the target of existential manipulation. We empirically tested this hypothesis and found that people’s free will and moral responsibility judgments were sensitive to the scope of manipulation: people judged existentially manipulated agents significantly less free and responsible than universally manipulated agents. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

In this paper I survey a range of trolling behaviors and analyze a particular species that stands out. After a brief discussion of some of the inherent challenges in studying internet speech, I describe a few examples of behaviors commonly described as ‘trolling’ in order to identify what they have in common. I argue that most of these behaviors already have well-researched offline counterparts. In contrast, in the second half of the paper I argue that so-called ‘subcultural trolling’ calls out (...) for further analysis: it cannot be fully explained using standard tools like insincerity or bullshit, or even using new tools like dogwhistling. Instead, I propose a new species of speech act force. I conclude by highlighting some implications for broader issues in pragmatics and ethics. (shrink)

In this critical study of Julian Dodd’s Being True to Works of Music, I argue that the three-tier normative profile of the work-performance tradition in classical music that Dodd defends should be rejected in favour of a two-tier version. I also argue that the theory of work-performance defended in the book fits much more naturally with a contextualist ontology of musical works than with the Platonist ontology Dodd defends in Works of Music, despite his arguments to the contrary in the (...) afterword of the new book. Finally, I argue that the reasons he gives for preferring a ‘tradition-based’ over a ‘historicized’ theory of the understanding of classical scores are not convincing. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

In this article, we identify three key design dimensions along which cryptocurrencies differ -- privacy, censorship-resistance, and consensus procedure. Each raises important normative issues. Our discussion uncovers new ways to approach the question of whether Bitcoin or other cryptocurrencies should be used as money, and new avenues for developing a positive answer to that question. A guiding theme is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results of disciplines like computer science and (...) economics. Note: this article is the second entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

Abraham Roth argues that to accept a promise is to intend the performance of the promised action. I argue that this proposal runs into trouble because it makes it hard to explain how promises provide reasons for the performance of the promised action. Then, I ask whether we might fill the gap by saying that a promisor becomes entitled to the reasons for which her promise is accepted. I argue that this fix would implausibly shrink the class of binding promises (...) and suggest that similar difficulties may arise for any theory that casts promises as an exercise of shared agency. (shrink)

The norm of monogamy is pervasive, having remained widespread, in most Western cultures at least, in spite of increasing tolerance toward more diverse relationship types. It is also puzzling. People willingly, and often with gusto, adhere to it, yet it is also, prima facie at least, highly restrictive. Being in a monogamous relationship means agreeing to give up certain sorts of valuable interactions and relationships with other people and to severely restrict one’s opportunities for sex and love. It is this (...) restrictiveness which has led for calls among some philosophers for the justification of the norm, and some have argued that it cannot be justified. John McMurtry, for example, writing in 1972, compared monogamy to private property and argued that it serves the capitalist order (McMurtry 1972, 596–97). More recently, Harry Chalmers (2019) has argued that monogamy is morally impermissible. In this chapter we argue that rather than justify the norm, we ought to explain and understand its pervasiveness. Not everyone who follows the norm is doing so blindly, irrationally, or immorally. Indeed, many people are monogamous because being monogamous supports their needs and best enables them to flourish. We suggest that the human need for trust and attachment could underlie many people’s desires for monogamy and, therefore, explain monogamy’s pervasiveness. Focusing on the human need for trust and attachment security can also help us to understand why sexual infidelity can feel like such a betrayal. It can make sense to mutually agree to exclusivity in relationships, in spite of the apparent restrictions this brings. In a sense, not all restrictions are restrictive, because holding ourselves to limits on our behavior can in fact help us to invest in and experience the things we value most. (shrink)

A student guide to reconciling human rights with cultural difference, using political philosophy and real-life case studiesHow can universal human rights be reconciled with respect for wide cultural differences? This textbook introduces the core issues for students and addresses them through an interdisciplinary analysis of key case studies. Throughout the book, an alternative philosophical framework is offered as a model through which universalism and difference can be reconciled into a single global vision.Key FeaturesCombines the theory and application of human rights (...) to provide practical help for students and course leadersKey case studies examine the rights of women, ethnic and national minorities, indigenous peoples and religious communitiesAddresses a broad range of on-going political struggles and issues, including FGM, LGBT rights, freedom of speech and the rights of indigenous peoplesOutlines a new human rights-based philosophical perspective that enables students to understand human rights within culturally diverse environmentsHelpful student features include:Core questions: each chapter starts with 10 core questions, which students are invited to answer as they read to put what they learn into practiceFurther reading: every chapter ends with suggestions for further reading, to help students deepen their study in particular areasTwo-colour layout: blue text boxes and headings draw your attention to important information and make the book easier to read. (shrink)

In Being and Worth Andrew Collier argues that beings both in the natural and human worlds have worth in themselves, whether we recognize it or not. He builds on recent work in critical realism to provide a reassessment of Spinoza's philosophy of mind and ethics. Conclusions are developed with particular reference to environmental ethics.

ABSTRACT Almost all philosophers recognize the fundamental importance of the Phenomenology of Spirit. But Hegel's way of thinking and speaking—which he names, “speculative”—needs explaining. The example of “the speculative sentence” is helpful—for here, speculating means implying, that is, neither bringing meaning to presence nor keeping it in absence; but rather, speaking and thinking by implication. If the history of philosophy, however, overlooks what is implied, then it cannot grasp what is, and what is thought and said in the speculative sentence. (...) Luckily, there is another way: implying that which can neither be said nor left unsaid, neither thought nor unthought. Reinterpreting Hegel's speculative sentence, therefore, for implication, for what is implied—and neither present nor absent—Haas demonstrates how to think and speak speculatively about thinking and speaking, substance and subject, being and becoming, whether in philosophy or not, even if we implicate ourselves thereby. (shrink)

This paper addresses the gap between familiar popular narratives describing Artificial Intelligence (AI), such as the trope of the killer robot, and the realistic near-future implications of machine intelligence and automation for technology policy and society. The authors conducted a series of interviews with technologists, science fiction writers, and other experts, as well as a workshop, to identify a set of key themes relevant to the near future of AI. In parallel, they led the analysis of almost 100 recent works (...) of science fiction stories with AI themes to develop a preliminary taxonomy of AI in science fiction. These activities informed the commissioning of six original works of science fiction and non-fiction response essays on the themes of “intelligence” and “justice” that were published as part of the Slate Future Tense Fiction series in 2019 and 2020. Our findings indicate that artificial intelligence remains deeply ambiguous both in the policy and cultural contexts: we struggle to define the boundaries and the agency of machine intelligence, and consequently find it difficult to govern or interact with such systems. However, our findings also suggest more productive avenues of inquiry and framing that could foster both better policy and better narratives around AI. (shrink)

Many explanations in physics rely on idealized models of physical systems. These explanations fail to satisfy the conditions of standard normative accounts of explanation. Recently, some philosophers have claimed that idealizations can be used to underwrite explanation nonetheless, but only when they are what have variously been called representational, Galilean, controllable or harmless idealizations. This paper argues that such a half-measure is untenable and that idealizations not of this sort can have explanatory capacities.

This essay offers an original interpretation and defense of the doctrine of flux, as it is presented in Plato’s Theaetetus. The methodology of the paper’s analysis is in the style of rational reconstruction, and it is highly analytic in scope, in the sense that I will focus on the text itself, and only on certain parts of it too, while ignoring the rest of Plato’s extensive corpus, and without worrying about whether, how, and to what extent the interpretation of the (...) view coheres well with the other elements of the secret doctrine view discussed in the dialogue, as well. In the first part of the essay, I’ll offer my interpretation of the doctrine. Then, in the second part of the essay, I’ll examine two potential criticisms of the doctrine, including Socrates’s infamous linguistic paradox, and show how my interpretation of Heraclitean flux metaphysics is able to circumvent both. (shrink)