I consider statistical criteria of algorithmic fairness from the perspective of the _ideals_ of fairness to which these criteria are committed. I distinguish and describe three theoretical roles such ideals might play. The usefulness of this program is illustrated by taking Base Rate Tracking and its ratio variant as a case study. I identify and compare the ideals of these two criteria, then consider them in each of the aforementioned three roles for ideals. This ideals program may present a way (...) forward in the normative evaluation of candidate statistical criteria of algorithmic fairness. (shrink)

Draft for the Oxford Handbook of Margaret Cavendish (edited by Julie Crawford with Jacqueline Broad). -/- This chapter looks at Margaret Cavendish's treatment of the supernatural, beginning by asking how she distinguishes the natural from the supernatural, and then by examining her treatment of a series of alleged supernatural beings: fairies, ghosts, witches, the human supernatural soul, angels, and God. Throughout, it argues that Cavendish's approach to the supernatural is often similar to Thomas Hobbes's.

There is a theorem that shows that it is impossible for an algorithm to jointly satisfy the statistical fairness criteria of Calibration and Equalised Odds non-trivially. But what about the recently advocated alternative to Calibration, Base Rate Tracking? Here, we show that Base Rate Tracking is strictly weaker than Calibration, and then take up the question of whether it is possible to jointly satisfy Base Rate Tracking and Equalised Odds in non-trivial scenarios. We show that it is not, thereby establishing (...) an even more general impossibility theorem. (shrink)

Guthrie contends that religion can best be understood as systematic anthropomorphism - the attribution of human characteristics to nonhuman things and events. Religion, he says, consists of seeing the world as human like. He offers a fascinating array of examples to show how this strategy pervades secular life and how it characterizes religious experience.

I call the activity of assessing and developing improvements of our representational devices ‘conceptual engineering’.¹ The aim of this chapter is to present an argument for why conceptual engineering is important for all parts of philosophy (and, more generally, all inquiry). Section I of the chapter provides some background and defines key terms. Section II presents the argument. Section III responds to seven objections. The replies also serve to develop the argument and clarify what conceptual engineering is.

New technologies are the source of uncertainties about the applicability of moral and morally connotated concepts. These uncertainties sometimes call for conceptual engineering, but it is not often recognized when this is the case. We take this to be a missed opportunity, as a recognition that different researchers are working on the same kind of project can help solve methodological questions that one is likely to encounter. In this paper, we present three case studies where philosophers of technology implicitly engage (...) in conceptual engineering (without naming it as such). We subsequently reflect on the case studies to find out how these illustrate conceptual engineering as an appropriate method to deal with pressing concerns in the philosophy of technology. We have two main goals. We first want to contribute to the literature on conceptual engineering by presenting concrete examples of conceptual engineering in the philosophy of technology. This is especially relevant, because the technologies that are designed based on the conceptual work done by philosophers of technology potentially have crucial moral and social implications. Secondly, we want to make explicit what choices are made when doing this conceptual work. Making explicit that some of the implicit assumptions are, in fact, debated in the literature allows for reflection on these questions. Ultimately, our hope is that conscious reflection leads to an improvement of the conceptual work done. (shrink)

In this Introduction, we aim to introduce the reader to the basic topic of this book. As part of this, we explain why we are using two different expressions (‘conceptual engineering’ and ‘conceptual ethics’) to describe the topics in the book. We then turn to some of the central foundational issues that arise for conceptual engineering and conceptual ethics, and finally we outline various views one might have about their role in philosophy and inquiry more generally.

Timothy Williamson has fruitfully exploited formal resources to shed considerable light on the nature of knowledge. In the paper under examination, Williamson turns his attention to Gettier cases, showing how they can be motivated formally. At the same time, he disparages the kind of justification he thinks gives rise to these cases. He favors instead his own notion of justification for which Gettier cases cannot arise. We take issue both with his disparagement of the kind of justification that figures in (...) Gettier cases and the specifics of the formal motivation. (shrink)

This essay critically examines some classic philosophical and legal theories of privacy, organized into four categories: the nonintrusion, seclusion, limitation, and control theories of privacy. Although each theory includes one or more important insights regarding the concept of privacy, I argue that each falls short of providing an adequate account of privacy. I then examine and defend a theory of privacy that incorporates elements of the classic theories into one unified theory: the Restricted Access/Limited Control (RALC) theory of privacy. Using (...) an example involving data-mining technology on the Internet, I show how RALC can help us to frame an online privacy policy that is sufficiently comprehensive in scope to address a wide range of privacy concerns that arise in connection with computers and information technology. (shrink)

Since the release of ChatGPT, there has been a lot of debate about whether AI systems pose an existential risk to humanity. This paper develops a general framework for thinking about the existential risk of AI systems. We analyze a two-premise argument that AI systems pose a threat to humanity. Premise one: AI systems will become extremely powerful. Premise two: if AI systems become extremely powerful, they will destroy humanity. We use these two premises to construct a taxonomy of ‘survival (...) stories’, in which humanity survives into the far future. In each survival story, one of the two premises fails. Either scientific barriers prevent AI systems from becoming extremely powerful; or humanity bans research into AI systems, thereby preventing them from becoming extremely powerful; or extremely powerful AI systems do not destroy humanity, because their goals prevent them from doing so; or extremely powerful AI systems do not destroy humanity, because we can reliably detect and disable systems that have the goal of doing so. We argue that different survival stories face different challenges. We also argue that different survival stories motivate different responses to the threats from AI. Finally, we use our taxonomy to produce rough estimates of ‘P(doom)’, the probability that humanity will be destroyed by AI. (shrink)

This paper generalizes rationalizability of a choice function by a single acyclic binary relation to rationalizability by a set of such relations. Rather than selecting those options in a menu that are maximal with respect to a single binary relation, a weakly pseudo-rationalizable choice function selects those options that are maximal with respect to at least one binary relation in a given set. I characterize the class of weakly pseudo-rationalizable choice functions in terms of simple functional properties. This result also (...) generalizes Aizerman and Malishevski's characterization of pseudo-rationalizable choice functions, that is, choice functions rationalizable by a set of total orders. (shrink)

”Meaningful human control” is a term invented in the political and legal debate on autonomous weapons system, but it is nowadays also used in many other contexts. It is supposed to specify conditions under which an artificial system is under the right kind of control to avoid responsibility gaps: that is, situations in which no moral agent is responsible. Santoni de Sio and Van den Hoven have recently suggested a framework that can be used by system designers to operationalize this (...) kind of control. It is the purpose of this paper to facilitate further operationalization of ”meaningful human control”. -/- This paper consists of two parts. In the first part I resolve an ambiguity that plagues current operationalizations of MHC. One of the design conditions says that the system should track the reasons of the relevant agents. This condition is ambiguous between the kind of reasons involved. On one interpretation it says that a system should track motivating reasons, while it is concerned with normative reasons on the other. Current participants in the debate interpret the framework as being concerned with (something in the vicinity of) motivating reasons. I argue against this interpretation by showing that meaningful human control requires that a system tracks normative reasons. Moreover, I maintain that an operationalization of meaningful human control that fails to track the right kind of reasons is morally problematic.When this is properly understood, it can be shown that the framework of MHC is committed to the agent-relativity of reasons. More precisely, I argue in the second part of this paper that if the tracking condition of MHC plays an important role in responsibility attribution (as the proponents of the view maintain), then the framework is incompatible with first-order normative theories that hold that normative reasons are agent-neutral (such as many versions of consequentialism). In the final section I present three ways forward for the proponent of MHC as reason-responsiveness. (shrink)

Nietzsche’s Birth of Tragedy overcomes the opposition between scientific optimism and Schopenhauerian pessimism with the image of a music-making Socrates, who symbolizes the aesthetic affirmation of life. This article shows how the aesthetic ideal is an illusion whose metaphysical solace undermines itself in being recognized as such, thereby ceasing to be comforting. While I agree with recent commentaries that contest the pervasive Schopenhauerian reading of The Birth, most of these commentaries still support the view that Nietzsche wishes to communicate some (...) fundamental truth about nature or meaning in life. By contrast, I argue that he treats any such truth as a cultural fiction that emerges from the poetic staging of reality, leaving us with a contradiction of appearances deprived of any intelligible ground. (shrink)

Conceptual engineering is now a central topic in contemporary philosophy. Just 4-5 years ago it wasn’t. People were then engaged in the engineering of various philosophical concepts (in various sub-disciplines), but typically not self-consciously so. Qua philosophical method, conceptual engineering was under-explored, often ignored, and poorly understood. In my lifetime, I have never seen interest in a philosophical topic grow with such explosive intensity. The sociology behind this is fascinating and no doubt immensely complex (and an excellent case study for (...) those interested in the dynamics of academic disciplines). That topic, however, will have to wait for another occasion. Suffice it to say that if Fixing Language (FL) contributed even a little bit to this change of focus in philosophical methodology, it would have achieved one of its central goals. In that connection, it is encouraging that the papers in this symposium are in fundamental agreement about the significance and centrality of conceptual engineering to philosophy. That said, the goal of FL was not only to advocate for a topic, but also to defend a particular approach to it: The Austerity Framework. These replies have helped me see clearer the limitations of that view and points where my presentation was suboptimal. The responses below are in part a reconstruction of what I had in mind while writing the book and in part an effort to ameliorate. I’m grateful to the symposiasts for helping me get a better grip on these very hard issues. (shrink)

This paper discusses the materialist views of Margaret Cavendish, focusing on the relationships between her views and those of two of her contemporaries, Thomas Hobbes and Henry More. It argues for two main claims. First, Cavendish's views sit, often rather neatly, between those of Hobbes and More. She agreed with Hobbes on some issues and More on others, while carving out a distinctive alternative view. Secondly, the exchange between Hobbes, More, and Cavendish illustrates a more general puzzle about just what (...) divided materialists from their opponents. Seemingly straightforward disagreements about whether incorporeal substances exist turn out to be more complex ones in which the nature of those things is disputed at the same time as their existence. (shrink)

The traditional view in epistemology is that we must distinguish between being rational and being right (that is also, by the way, the traditional view about practical rationality). In his paper in this volume, Williamson proposes an alternative view according to which only beliefs that amount to knowledge are rational (and, thus, no false belief is rational). It is healthy to challenge tradition, in philosophy as much as elsewhere. But, in this instance, we think that tradition has it right. In (...) this paper we defend our version of the traditional view and argue against Williamson’s alternative. (shrink)

The ‘managed-metabolism’ hypothesis suggests that a ‘cooperation barrier’ must be overcome if self-producing chemical organizations are to undergo the transition from non-life to life. This dynamical barrier prevents un-managed autocatalytic networks of molecular species from individuating into complex, cooperative organizations. The barrier arises because molecular species that could otherwise make significant cooperative contributions to the success of an organization will often not be supported within the organization, and because side reactions and other ‘free-riding’ processes will undermine cooperation. As a result, (...) the barrier seriously impedes the emergence of individuality, complex functionality and the transition to life. This barrier is analogous to the cooperation barrier that also impedes the emergence of complex cooperation at all levels of living organization. As has been shown at other levels of organization, the barrier can be overcome comprehensively by appropriate ‘management’. Management implements a system of evolvable constraints that can overcome the cooperation barrier by ensuring that beneficial co-operators are supported within the organization and by suppressing free-riders. In this way, management can control and manipulate the chemical processes of a collectively autocatalytic organization, producing novel processes that serve the interests of the organization as a whole and that could not arise and persist in an un-managed chemical organization. Management self-organizes because it is able to capture some of the benefits that are produced when its interventions promote cooperation, thereby enhancing productivity. Selection will therefore favour the emergence of managers that take over and manage chemical organizations so as to overcome the cooperation barrier. The managed-metabolism hypothesis demonstrates that if management is to overcome the cooperation barrier comprehensively, its interventions must be digitally coded. In this way, the hypothesis accounts for the two-tiered structure of all living cells in which a digitally-coded genetic apparatus manages an analogically-informed metabolism.GraphicalOpen image in new window. (shrink)

Metasemantic inferentialismhas gained popularity in the last few decades. Traditionally, inferentialism is combined with a deflationary attitude towards semantic terms such as truth and reference, i.e., many inferentialists hold that when we use these semantic terms we do not purport to refer to substantive properties. This combination makes inferentialism attractive for philosophers who see themselves as antirealists. Although the attractions of combining inferentialism and deflationism are easy to see, deflationism is also a controversial position. For one, deflationists maintain that truth (...) is an insubstantive property, but it is not altogether clear what an insubstantive property is. Secondly, as deflationists maintain that truth does not play an explanatory role, it is incompatible with the position that truth can explain the normativity of truth talk. Given that deflationism faces these objections, it would be preferable if the success of inferentialism did not depend on the deflationist’s ability to respond to these objections. I argue that someone attracted to inferentialism for its ability to accommodate antirealist intuitions about a domain (e.g. morality) is not committed to deflationism about truth. More specifically, I will show that inferentialism combined with a straightforward account of inferentialist truth-conditions is compatible with a version of truth pluralism. I call this position Inferentialist Truth Pluralism. (shrink)

By focussing on the logical relations between scientific theories and religious beliefs in his book Where the Conflict Really Lies, Alvin Plantinga overlooks the real conflict between science and religion. This conflict exists whenever religious believers endorse positive factual claims to truth concerning the supernatural. They thereby violate an important rule of scientific method and of common sense, according to which factual claims should be endorsed as true only if they result from validated epistemic methods or sources.

Artificial agents create significant moral opportunities and challenges. Over the last two decades, discourse has largely focused on the concept of a ‘responsibility gap.’ We argue that this concept is incoherent, misguided, and diverts attention from the core issue of ‘control gaps.’ Control gaps arise when there is a discrepancy between the causal control an agent exercises and the moral control it should possess or emulate. Such gaps present moral risks, often leading to harm or ethical violations. We propose a (...) second-order ‘duty of moral control’ that mandates closing these gaps to reduce risks within acceptable moral limits. Our analysis encompasses both autonomous machines and collective agents, acknowledging their similarities and key differences in constitution and moral status. We suggest four methods to close control gaps: ensuring artificial agents attain moral agency, providing meaningful human control, implementing safety engineering, and employing social control. These methods aim to responsibly integrate artificial agents into society. We conclude that a realistic approach, which addresses the practical problems posed by control gaps, is essential. This approach provides solutions to manage the risks posed by artificial agents while maintaining acceptable moral standards, ensuring we responsibly harness their potential and address the ethical challenges they present. (shrink)

Metaphilosophy, Volume 53, Issue 2-3, Page 221-237, April 2022.

Leibniz's mill argument in 'Monadology' 17 is a well-known but puzzling argument against materialism about the mind. I approach the mill argument by considering other places where Leibniz gave similar arguments, using the same example of the machinery of a mill and reaching the same anti-materialist conclusion. In a 1702 letter to Bayle, Leibniz gave a mill argument that moves from his definition of perception (as the expression of a multitude by a simple) to the anti-materialist conclusion. Soon afterwards, in (...) the Preface to the New Essays, Leibniz gave a different mill argument. That argument depends upon there being no arbitrary and inexplicable connections in nature, because God would not create such things. Later, in the 'Monadology', Leibniz again used the mill example in arguing against materialism. That passage too, I argue, uses an argument from inexplicability rather than from Leibniz's definition of perception. (shrink)

Epistemic states of uncertainty play important roles in ethical and political theorizing. Theories that appeal to a “veil of ignorance,” for example, analyze fairness or impartiality in terms of certain states of ignorance. It is important, then, to scrutinize proposed conceptions of ignorance and explore promising alternatives in such contexts. Here, I study Lerner’s probabilistic egalitarian theorem in the setting of imprecise probabilities. Lerner’s theorem assumes that a social planner tasked with distributing income to individuals in a population is “completely (...) ignorant” about which utility functions belong to which individuals. Lerner models this ignorance with a certain uniform probability distribution, and shows that, under certain further assumptions, income should be equally distributed. Much of the criticism of the relevance of Lerner’s result centers on the representation of ignorance involved. Imprecise probabilities provide a general framework for reasoning about various forms of uncertainty including, in particular, ignorance. To what extent can Lerner’s conclusion be maintained in this setting? (shrink)

This article discusses Jennifer Hornsby's account of action in her *Actions*, together with Brian O'Shaughnessy's in *The Will*.

The linguistic turn provided philosophers with a range of reasons for engaging in careful investigation into the nature and structure of language. However, the linguistic turn is dead. The arguments for it have been abandoned. This raises the question: why should philosophers take an interest in the minutiae of natural language semantics? I’ll argue that there isn’t much of a reason - philosophy of language has lost its way. Then I provide a suggestion for how it can find its way (...) again. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

Machery’s book is an effort to show how experimental philosophy can be valuable without the perephenelia of intuitions. I argue that the effort fails.

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

Gassendi and Hobbes knew each other, and their approaches to philosophy often seem similar. They both criticized the Cartesian epistemology of clear and distinct perception. Gassendi engaged at length with skepticism, and also rejected the Aristotelian notion of scientia, arguing instead for a probabilistic view that shows us how we can move on in the absence of certain and evident knowledge. Hobbes, in contrast, retained the notion of scientia, which is the best sort of knowledge and involves causal explanation. He (...) thought, however, that this sort of knowledge was only available in geometry and political philosophy. (shrink)

In the _True Intellectual System_, Cudworth attacks types of atheist position—atomic atheism, hylozoic atheism, etc. He generally uses ancient examples to illustrate those types, but also criticizes some of his contemporaries. We can identify direct criticisms of contemporaries by finding quotations, paraphrases, and accounts of their views in the text. My primary question in this paper is, 'how much of the _True Intellectual System_ is directly about or aimed at Spinoza?' My ultimate answer, contrary to some prominent voices in the (...) existing literature, is 'not very much at all'. (shrink)

This paper presents an argument that certain AI safety measures, rather than mitigating existential risk, may instead exacerbate it. Under certain key assumptions - the inevitability of AI failure, the expected correlation between an AI system's power at the point of failure and the severity of the resulting harm, and the tendency of safety measures to enable AI systems to become more powerful before failing - safety efforts have negative expected utility. The paper examines three response strategies: Optimism, Mitigation, and (...) Holism. Each faces challenges stemming from intrinsic features of the AI safety landscape that we term Bottlenecking, the Perfection Barrier, and Equilibrium Fluctuation. The surprising robustness of the argument forces a re-examination of core assumptions around AI safety and points to several avenues for further research. (shrink)

Can a human society be constrained in such a way that self-organization will thereafter tend to produce outcomes that advance the goals of the society? Such a society would be self-organizing in the sense that individuals who pursue only their own interests would none-the-less act in the interests of the society as a whole, irrespective of any intention to do so. The paper sketches an agent-based model that identifies the conditions that must be met if such a self-organizing society is (...) to emerge. The model draws heavily on an understanding of how self-organizing societies have emerged repeatedly during the evolution of life on Earth. The model demonstrates that the key enabling requirement for a self-organizing society is ‘consequence-capture’. Broadly this means that all agents in the society must capture sufficient of the beneficial consequences of their actions for the goals of the society. ‘Consequence-capture’ can be organized in a society by appropriate management that suppresses free riders and supports pro-social actions. In human societies these constraints include institutions such as systems of governance and social norms. If a self-organizing society is to emerge, consequence-capture must apply to all agents in the society, including those involved in the establishment and adaptation of institutions. If this is achieved, the result will be a fully self-organizing society in which the interests of all agents are aligned with the interests of the society as a whole. (shrink)

In the early years of the eighteenth century Leibniz had several interactions with John Toland. These included, from 1702 to 1704, discussions of materialism. Those discussions culminated with the consideration of Toland's 1704 Letters to Serena, where Toland argued that matter is necessarily active. In this paper I argue for two main theses about this exchange and its consequences for our wider understanding. The first is that, despite many claims that Toland was at the time of Letters to Serena a (...) Spinozist, we can make better sense of him as a sort of Hobbesian materialist. The second main point concerns reasons for materialism, and in particular a story Locke tells in the Essay about materialists' motives. Toland defends his materialism by arguing that matter is active, and argues that matter is active by using a conceivability argument. But this is not the crude conceivability argument that Locke suggests motivates materialists. This (together with reflecting on some of Hobbes's arguments) suggests that we might well tell a Lockean story about reasons for early modern materialism, but not Locke's story. (shrink)

This chapter looks at the discussion of materialism in John Locke’s Essay concerning Human Understanding, and then at parts of the Anglophone reaction to those discussions. It considers the early criticisms of Locke by Edward Stillingfleet and the anonymous author of three sets of Remarks on Locke’s Essay. It then looks at some other ways in which readers reacted to Locke’s discussions: the views of Anthony Collins and John Toland, which one might be tempted to think of as Lockean materialism; (...) William Carroll’s reading of Locke as a Spinozistic materialist; and the dualistic Lockeanism of William Duncan’s Lockean logic textbook. (shrink)

In his Enquiry concerning the Principles of Morals David Hume said that a group of earlier modern philosophers, beginning with Malebranche, held that morality was founded on relations. In this paper I follow up on that suggestion by investigating pre-Humean views in moral philosophy according to which morality is founded on relations. I do that by looking at the work of Nicolas Malebranche, John Locke, and Samuel Clarke. Each of them talked prominently about relations in their accounts of basic aspects (...) of morality. Beyond that, each of them turns out to have held both metaphysical and epistemological views that might be described as founding morality on relations. Despite the definite differences between the three philosophers’ approaches, Hume does seem to have noticed a genuine connection here—even though he himself tended to ignore significant versions of this approach when criticizing it. (shrink)

Supra-Bayesianism is the Bayesian response to learning the opinions of others. Probability pooling constitutes an alternative response. One natural question is whether there are cases where probability pooling gives the supra-Bayesian result. This has been called the problem of Bayes-compatibility for pooling functions. It is known that in a common prior setting, under standard assumptions, linear pooling cannot be nontrivially Bayes-compatible. We show by contrast that geometric pooling can be nontrivially Bayes-compatible. Indeed, we show that, under certain assumptions, geometric and (...) Bayes-compatible pooling are equivalent. Granting supra-Bayesianism its usual normative status, one upshot of our study is thus that, in a certain class of epistemic contexts, geometric pooling enjoys a normative advantage over linear pooling as a social learning mechanism. We discuss the philosophical ramifications of this advantage, which we show to be robust to variations in our statement of the Bayes-compatibility problem. (shrink)

Does the Big History of life on Earth disclose a trajectory that has been driven by selection? If so, will the trajectory continue to apply into the future? This paper argues that such a trajectory exists, and examines some of its key implications. The most important consequence is that humanity can use the trajectory to guide how it evolves and adapts into the future. This is because the trajectory identifies a sequence of adaptations that will be favoured by selection. If (...) humanity intentionally evolves its social systems and psychological capacities so that they follow the trajectory, humanity can avoid negative selection and instead survive and thrive indefinitely into the future. This would enable humanity to make a positive contribution to the future evolution of life in the universe. But it turns out that immediate selection will not drive the evolution of life on Earth further along this trajectory. Instead, intentional action by humanity is necessary. It is as if the evolution of life on any planet is a developmental process that has a very unusual characteristic: evolution will continue to develop successfully beyond a certain point only if it produces a sentient organism that: (i) awakens to the possibility it is embedded in a developing process; (ii) realizes that this developing process will continue successfully only if it chooses to intentionally drive the process forward; and (iii) commits to doing whatever is necessary to achieve this. On this planet, humanity is that sentient organism. The existence of such a key evolutionary role for humanity is capable of providing humanity with meaning and purpose in a larger scheme of things. For individuals who commit to driving the process forward, the nature of the trajectory has immediate consequences for what they should do with their lives, here and now. (shrink)

The notion of signification is an important part of Hobbes's philosophy of language. It also has broader relevance, as Hobbes argues that key terms used by his opponents are insignificant. However Hobbes's talk about names' signification is puzzling, as he appears to have advocated conflicting views. This paper argues that Hobbes endorsed two different views of names' signification in two different contexts. When stating his theoretical views about signification, Hobbes claimed that names signify ideas. Elsewhere he talked as if words (...) signified the things they named. Seeing this does not just resolve a puzzle about Hobbes's statements about signification. It also helps us to understand how Hobbes's arguments about insignificant speech work. With one important exception, they depend on the view that names signify things, not on Hobbes's stated theory that words signify ideas. The paper concludes by discussing whether arguments about insignificant speech can provide independent support for Hobbes's views about other issues, such as materialism. (shrink)

In this paper, I argue that a commitment to science and the methodo- logical commitment to causal closure do not require a rejection of the idea that the choices of souls explain the occurrence of certain events in the physical world. Stated slightly differently, I maintain that one can both affirm science and believe that souls causally interfere in the course of events in the physical world. Such an affirmation and belief are compatible. In short, science vis-à-vis the methodological principle (...) of causal closure poses no problem for souls as explanatory agents. (shrink)

During the past decade, a fairly extensive literature on the digital divide has emerged. Many reports and studies have provided statistical data pertaining to sociological aspects of ‘the divide,’ while some studies have examined policy issues involving universal service and universal access. Other studies have suggested ways in which the digital divide could be better understood if it were ‘reconceptualized’ in terms of an alternative metaphor, e.g. a ‘divide’ having to do with literacy, power, content, or the environment. However, with (...) the exception of Johnson and Koehler, authors have tended not to question ‐ at least not directly ‐ whether the digital divide is, at bottom, an ethical issue. Many authors seem to assume that because disparities involving access to computing technology exist, issues underlying the digital divide are necessarily moral in nature. Many further assume that because this particular ‘divide’ has to do with something that is digital or technological in nature, it is best understood as a computer ethical issue. The present study, which examines both assumptions, considers four questions: What exactly is the digital divide? Is this ‘divide’ ultimately an ethical issue? Assuming that the answer to is ‘yes,’ is the digital divide necessarily an issue for computer ethics? If the answer to is ‘yes,’ what can/should computer professionals do bridge the digital divide? (shrink)

This is a short (1,000 word) introduction to Hobbes's materialism, covering (briefly) such issues as what the relevant notion of materialism is, Hobbes's debate with Descartes, and what Hobbes's arguments for materialism were.

I discuss Hume's views about whether simplicity and generality are positive features of explanations. In criticizing Hobbes and others who base their systems of morality on self interest, Hume diagnoses their errors as resulting from a "love of simplicity". These worries about whether simplicity is a positive feature of explanations emerge in Hume's thinking over time. But Hume does not completely reject the idea that it's good to seek simple explanations. What Hume thinks we need is good judgment about when (...) we are going too far in our search for simple explanations. These worries about simplicity are not unique to Hume. We can see versions of them in the work of Hutcheson, Smith, and Reid. (shrink)

Thomas Hobbes often includes powers and abilities in his descriptions of the world. Meanwhile, Hobbes’s philosophical picture of the world appears quite reductive, and he seems sometimes to say that nothing exists but bodies in motion. In more extreme versions of such a picture, there would be no room for powers. Hobbes is not an eliminativist about powers, but his view does tend toward ontological minimalism. It would be good to have an account of what Hobbes thinks powers are, and (...) how they fit into his understanding of the world. In this chapter, I investigate Hobbes’s account of the metaphysics of powers and abilities. Section 1 considers three important aspects of Hobbes’s account of powers: the connection between powers and causes; the modal aspects of powers; and the connection between powers and motions. Sections 2 and 3 then consider interpretive arguments about whether Hobbes identifies powers with underlying corporeal features. (shrink)

I argue that Hobbes isn't really a materialist in the early 1640s (in, e.g., the Third Objections to Descartes's Meditations). That is, he doesn't assert that bodies are the only substances. However, he does think that bodies are the only substances we can think about using imagistic ideas.

We introduce a fairness criterion that we call Spanning. Spanning i) is implied by Calibration, ii) retains interesting properties of Calibration that some other ways of relaxing that criterion do not, and iii) unlike Calibration and other prominent ways of weakening it, is consistent with Equalized Odds outside of trivial cases.

Hobbes denies in Leviathan that we have an idea of God. He does think, though, that God exists, and does not even deny that we can think about God, even though he says we have no idea of God. There is, Hobbes thinks, another cognitive mechanism by means of which we can think about God. That mechanism allows us only to think a few things about God though. This constrains what Hobbes can say about our knowledge of God, and grounds (...) his belief in a fairly strong version of the thesis that God is incomprehensible. (shrink)