Pascal’s wager has received the attention of philosophers for centuries. Most of its criticisms arise from how the wager is often framed. We present Pascal’s wager three ways: in isolation from any further apologetic arguments, as leading toward a regimen intended to produce belief, and finally embedded in a larger apology that includes evidence for Christianity. We find that none of the common objections apply when the wager is presented as part of Pascal’s larger project. Pascal’s wager is a successful (...) argument in its proper place. However, the most interesting features of our first two presentations of the wager turn out to be either irrelevant or missing from our reading: infinite utility and the relativity of evidence. The successful wager is a boring wager. Still, this study shows us how the wager might profitably be incorporated into different apologetic contexts and why it often can’t. (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

Not only the direct physical experiences of deployment can severely harm soldiers’ mental health. Witnessing violations of their moral principles by the enemy, or by their fellow soldiers and superiors, can also have a devastating impact. It can cause soldiers’ moral disorientation, increasing feelings of shame, guilt, or hate, and the need for general answers on questions of right and wrong. Various attempts have been made to keep soldiers mentally sane. One is to provide convincing causes for their deployment, which (...) risks an “end justifies the means” way of thinking. The good cause can provide a moral justification for horrible atrocities. Another method, introduced in the USA, Canada, and Australia, aims to strengthen military personnel’s resistance by promoting and maintaining a happy, optimistic state of mind through the use of positive psychology. Alongside making soldiers “morally fit” for all kinds of situations, the focus could also be on moral recovery and forgiveness. Such a care-based military ethics approach, aimed at mutual understanding and interdependence, could help soldiers handle the emotional impact of moral conflicts. This demands that military units reflect on their organizational culture and rethink oaths and codes of conduct that focus mainly on efficiency and readiness, as well as the soldierly self-image with its seemingly still deeply rooted warrior ethos. Today, resilience and positive psychology in the military is apparently mainly geared to assuring its soldiers’ readiness. An appropriate set of virtues and understanding of virtue ethics that are less centered on self-perfection and autonomy could point to a different form of character-building and lead to a better understanding of others. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

Accounts of the concepts of function and dysfunction have not adequately explained what factors determine the line between low‐normal function and dysfunction. I call the challenge of doing so the line‐drawing problem. Previous approaches emphasize facts involving the action of natural selection (Wakefield 1992a, 1999a, 1999b) or the statistical distribution of levels of functioning in the current population (Boorse 1977, 1997). I point out limitations of these two approaches and present a solution to the line‐drawing problem that builds on the (...) second one. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

You don't say much about who you are teaching, or what subject you teach, but you do seem to see a need to justify what you are doing. Perhaps you're teaching underprivileged children, opening their minds to possibilities that might otherwise never have occurred to them. Or maybe you're teaching the children of affluent families and opening their eyes to the big moral issues they will face in life — like global poverty, and climate change. If you're doing something like (...) this, then stick with it. Giving money isn't the only way to make a difference. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

In the old days, material egalitarians tended to favor equality of outcome advantage, on some suitable conception of advantage. Under the influence of Dworkin’s seminal articles on equality, contemporary material egalitarians have tended to favor equality of brute luck advantage---on the grounds that this permits people to be held appropriately accountable for the benefits and burdens of their choices. I shall argue, however, that a plausible conception of egalitarian justice requires neither that brute luck advantage always be equalized nor that (...) people always bear the full cost of their voluntary choices. Instead, justice requires that initial opportunities for advantage be equalized---roughly along the lines suggested by Arneson and Cohen. Brute luck egalitarianism and initial opportunity egalitarianism are fairly similar in motivation, and as a result they have not been adequately distinguished. Once the two views are more clearly contrasted, equality of opportunity for advantage will, I claim, be seen to be a more plausible conception of equality. (shrink)

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

For synergistic interactions between humans and artificial intelligence (AI) systems, AI outputs often need to be explainable to people. Explainable AI (XAI) systems are commonly tested in human user studies. However, whether XAI researchers consider potential cultural differences in human explanatory needs remains unexplored. We highlight psychological research that found significant differences in human explanations between many people from Western, commonly individualist countries and people from non-Western, often collectivist countries. We argue that XAI research currently overlooks these variations and that (...) many popular XAI designs implicitly and problematically assume that Western explanatory needs are shared cross-culturally. Additionally, we systematically reviewed over 200 XAI user studies and found that most studies did not consider relevant cultural variations, sampled only Western populations, but drew conclusions about human-XAI interactions more generally. We also analyzed over 30 literature reviews of XAI studies. Most reviews did not mention cultural differences in explanatory needs or flag overly broad cross-cultural extrapolations of XAI user study results. Combined, our analyses provide evidence of a cultural bias toward Western populations in XAI research, highlighting an important knowledge gap regarding how culturally diverse users may respond to widely used XAI systems that future work can and should address. (shrink)

Our folk epistemology says that if someone knows that P and tells you that P, then, given the absence of defeaters, if you believe what they tell you, you will come to know that P as well. A speaker's knowledge that P is then, for the most part, enough for a hearer to come to know that P. But there are counterexamples to this principle: testimonial knowledge does not always transfer from the speaker to the hearer. Why should that be (...) so? Because testimonial knowledge arises through the flow of information--from conclusive grounds--from the speaker through the speaker's assertion to the hearer's state of comprehension as of the speaker's assertion. A speaker's belief can be based on conclusive grounds, but the speaker's assertion may fail to provide conclusive grounds to the hearer. Then the hearer won't acquire knowledge, even from a knowledgeable speaker. Knowledge from testimony then works more like knowledge through perception. But wait, you say, that can't be so because testimony involves free will but perception does not. The essay ends with a broadly Hume inspired reply to this objection. (shrink)

Although Robert Nozick has argued that libertarianism is compatible with the justice of a minimal state—even if does not arise from mutual consent—few have been persuaded. I will outline a different way of establishing that a non-consensual libertarian state can be just. I will show that a state can—with a few important qualifications—justly enforce the rights of citizens, extract payments to cover the costs of such enforcement, redistribute resources to the poor, and invest in infrastructure to overcome market failures. Footnotesa (...) For very helpful comments, I am indebted to Dani Attas, Ellen Frankel Paul, Robert Johnson, Brian Kierland, Mike Otsuka, Eric Roark, and the other contributors to this volume. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

It has been argued that our currently most satisfactory social epistemology of science can’t account for science that is based on artificial intelligence (AI) because this social epistemology requires trust between scientists that can take full responsibility for the research tools they use, and scientists can’t take full responsibility for the AI tools they use since these systems are epistemically opaque. I think this argument overlooks that much AI-based science can be done without opaque models, and that agents can take (...) full responsibility for the systems they use even if these systems are opaque. Requiring that an agent fully understand how a system works is an untenably strong condition for that agent to take full responsibility for the system and risks absolving AI developers from responsibility for their products. AI-based science need not create trust-related social epistemological problems if we keep in mind that what makes both individual scientists and their use of AI systems trustworthy isn’t full transparency of the internal processing but their adherence to social and institutional norms that ensure that scientific claims can be trusted. (shrink)

Book Symposium on The Territories of Science and Religion (University of Chicago Press, 2015). The author responds to review essays by John Heilbron, Stephen Gaukroger, and Yiftach Fehige.

Some artificial intelligence systems can display algorithmic bias, i.e. they may produce outputs that unfairly discriminate against people based on their social identity. Much research on this topic focuses on algorithmic bias that disadvantages people based on their gender or racial identity. The related ethical problems are significant and well known. Algorithmic bias against other aspects of people’s social identity, for instance, their political orientation, remains largely unexplored. This paper argues that algorithmic bias against people’s political orientation can arise in (...) some of the same ways in which algorithmic gender and racial biases emerge. However, it differs importantly from them because there are strong social norms against gender and racial biases. This does not hold to the same extent for political biases. Political biases can thus more powerfully influence people, which increases the chances that these biases become embedded in algorithms and makes algorithmic political biases harder to detect and eradicate than gender and racial biases even though they all can produce similar harm. Since some algorithms can now also easily identify people’s political orientations against their will, these problems are exacerbated. Algorithmic political bias thus raises substantial and distinctive risks that the AI community should be aware of and examine. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

"Modern History" versions of the etiological theory claim that in order for a trait X to have the proper function F, individuals with X must have been recently favored by natural selection for doing F (Godfrey-Smith 1994; Griffiths 1992, 1993). For many traits with prototypical proper functions, however, such recent selection may not have occurred: traits may have been maintained due to lack of variation or due to selection for other effects. I examine this flaw in Modern History accounts and (...) offer an alternative etiological theory, the Continuing Usefulness account, which appears to avoid such problems. (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

Many artificial intelligence (AI) systems currently used for decision-making are opaque, i.e., the internal factors that determine their decisions are not fully known to people due to the systems’ computational complexity. In response to this problem, several researchers have argued that human decision-making is equally opaque and since simplifying, reason-giving explanations (rather than exhaustive causal accounts) of a decision are typically viewed as sufficient in the human case, the same should hold for algorithmic decision-making. Here, I contend that this argument (...) overlooks that human decision-making is sometimes significantly more transparent and trustworthy than algorithmic decision-making. This is because when people explain their decisions by giving reasons for them, this frequently prompts those giving the reasons to govern or regulate themselves so as to think and act in ways that confirm their reason reports. AI explanation systems lack this self-regulative feature. Overlooking it when comparing algorithmic and human decision-making can result in underestimations of the transparency of human decision-making and in the development of explainable AI that may mislead people by activating generally warranted beliefs about the regulative dimension of reason-giving. (shrink)

The Principal Principle (PP) says that, for any proposition A, given any admissible evidence and the proposition that the chance of A is x%, one's conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994a) has argued that PP contradicts HS, and the validity of his argument has been endorsed by Bigelow et al. (1993), Thau (1994), Hall (...) (1994), Strevens (1995), Ismael (1996), Hoefer (1997), and Black (1998). Against this consensus, I argue that PP might not contradict HS: Lewis's argument is invalid, and every attempt – within a broad class of attempts – to amend the argument fails. (shrink)

Scientists may sometimes generalize from their samples to broader populations when they have not yet sufficiently supported this generalization. Do such hasty generalizations also occur in experimental philosophy? To check, we analyzed 171 experimental philosophy studies published between 2017 and 2023. We found that most studies tested only Western populations but generalized beyond them without justification. There was also no evidence that studies with broader conclusions had larger, more diverse samples, but they nonetheless had higher citation impact. Our analyses reveal (...) important methodological limitations of many experimental philosophy studies and suggest that philosophical training may not protect against hasty generalizations. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

This is the full version of the Delphi Report on critical thinking and critical thinking instruction at the post-secondary level.

Although the terms ‘poles’, ‘bipolar’, and ‘bipolarity’ do not appear in the Tractatus, it is widely held that Wittgenstein maintained his commitment to bipolarity in the Tractatus. As it is usually understood, the principle of bipolarity is that every proposition must be capable of being true and capable of being false, which rules out propositions that are necessarily true or necessarily false. Here I argue that Wittgenstein was committed to bipolarity in the Tractatus, but getting a clear view of this (...) commitment requires a different understanding of bipolarity. Properly understood, bipolarity is the view that every proposition represents two possible states of affairs, one positive and the other negative. Of course, in the case of elementary propositions, the sense of a proposition is only the positive state of affairs. There is thus an asymmetry between what a proposition represents, its true-false poles, and what it says, its sense. In this paper I show how Wittgenstein accounted for this asymmetry in Notes on Logic and I consider two ways he might have accounted for it in the Tractatus. (shrink)

We take up the challenge of developing an international network with capacity to survey the world's scientists on an ongoing basis, providing rich datasets regarding the opinions of scientists and scientific sub-communities, both at a time and also over time. The novel methodology employed sees local coordinators, at each institution in the network, sending survey invitation emails internally to scientists at their home institution. The emails link to a ‘10 second survey’, where the participant is presented with a single statement (...) to consider, and a standard five point Likert scale. In June 2023, a group of 30 philosophers and social scientists invited 20,085 scientists across 30 institutions in 12 countries to participate, gathering 6,807 responses to the statement 'Science has put it beyond reasonable doubt that COVID-19 is caused by a virus'. The study demonstrates that it is possible to establish a global network to quickly ascertain scientific opinion on a large international scale, with high response rate, low opt-out rate, and in a way that allows for significant (perhaps indefinite) repeatability. Measuring scientific opinion in this new way would be a valuable complement to currently available approaches, potentially informing policy decisions and public understanding across diverse fields. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

Philosophy and Phenomenological Research, EarlyView.

Many scientists routinely generalize from study samples to larger populations. It is commonly assumed that this cognitive process of scientific induction is a voluntary inference in which researchers assess the generalizability of their data and then draw conclusions accordingly. We challenge this view and argue for a novel account. The account describes scientific induction as involving by default a generalization bias that operates automatically and frequently leads researchers to unintentionally generalize their findings without sufficient evidence. The result is unwarranted, overgeneralized (...) conclusions. We support this account of scientific induction by integrating a range of disparate findings from across the cognitive sciences that have until now not been connected to research on the nature of scientific induction. The view that scientific induction involves by default a generalization bias calls for a revision of the current thinking about scientific induction and highlights an overlooked cause of the replication crisis in the sciences. Commonly proposed interventions to tackle scientific overgeneralizations that may feed into this crisis need to be supplemented with cognitive debiasing strategies against generalization bias to most effectively improve science. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

Do perceptual states necessarily constitute evidence epistemically supporting corresponding perceptual beliefs? Susanna Schellenberg thinks so. She argues that perceptual states, veridical or not, necessarily provide (or constitute) a kind of evidence (for the existence of the truth-maker) supporting corresponding perceptual beliefs. She uses “phenomenal evidence” as a label for this kind of evidence and calls her argument “The Phenomenal Evidence Argument.” Having introduced her project, we offer a reconstruction of Schellenberg’s argument (Sect. 2 ). A key premise has it that, (...) necessarily, for items with a function, fulfillment of the function (the good case) is explanatorily and metaphysically prior to function failure (the bad case). We suggest that the etiological theory of functions renders this key premise plausible (Sect. 3 ). However, Schellenberg rejects the etiological theory of functions (Sect. 4 ) and likewise the idea that the epistemic or warranting force of perceptual states is grounded in their being reliably linked to veridical perception (Sect. 5 ). But then what supports the key premise? Schellenberg argues that accurate perception is a part of the _nature_ of perceptual capacities because the nature of perceptual capacities is explained in terms of their function, and their function is to represent accurately (Sect. 6 ). We suggest that Schellenberg is committed to an understanding of priority which doesn’t require any _actual_ good cases—just possible ones (Sect. 7 ). This reading, we argue, is too weak to support the key premise (Sect. 8 ). Given Schellenberg’s commitments, it is not necessarily the case that perceptual states are evidence for a corresponding perceptual belief. Before concluding we discuss an overgeneralization objection to Schellenberg’s argument (Sect. 9 ). (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

David Lewis (1980) proposed the Principal Principle (PP) and a “reformulation” which later on he called ‘OP’ (Old Principle). Reacting to his belief that these principles run into trouble, Lewis (1994) concluded that they should be replaced with the New Principle (NP). This conclusion left Lewis uneasy, because he thought that an inverse form of NP is “quite messy”, whereas an inverse form of OP, namely the simple and intuitive PP, is “the key to our concept of chance”. I argue (...) that, even if OP should be discarded, PP need not be. Moreover, far from being messy, an inverse form of NP is a simple and intuitive Conditional Principle (CP). Finally, both PP and CP are special cases of a General Principle (GP); it follows that so are PP and NP, which are thus compatible rather than competing. (shrink)

In her last known piece of work Lady Mary Shepherd’s Metaphysics (1832), Mary Shepherd writes that “mind, may inhere in definite portions of matter […] or of infinite space” (LMSM 699). Shepherd thus suggests that a mind – a “capacity for sensation in general” (e.g., EPEU 16) – may have a spatial location. This is prima facie surprising given that she is committed to the view that the mind is unextended. In this paper, we argue that Shepherd can consistently honor (...) both of these commitments. We argue, first, that even though finite minds, due to their unextendedness cannot, to use Shepherd’s term, ‘occupy’ space as material bodies do, such minds can nonetheless be said to have a spatial location in virtue of what we call their presence, or what Shepherd calls ‘inherence’, in a material body. Second, we argue that, in a similar way, the divine mind is present throughout the whole of space and is thus omnipresent. We then argue that, in contrast to finite minds, the divine mind does not require a body to be present in space. Rather, we contend, God’s omnipresence might be best understood in a ‘holenmerist’ sense, where the divine mind is wholly present in every part of creation. (shrink)

For each of the many goals of an agent it is true that the agent wants its realization. Given further very plausible assumptions, one can show that there is no good reason for an agent not to want the realization of all of his goals. However, it seems also true that reaching all of one’s goals would be extremely boring; most human beings would consider such a life not worth living. In this respect, leading a life is like playing some (...) game: A game loses its point if one always easily wins. Human agents not only pursue goals but they also have the second-order desire to lead the life of a goal-pursuer. More precisely, they want to be goal-pursuers such that many but not all of their goals are being realized. I argue here that they have a good reason not to want the realization of all of their goals. Now, all this constitutes an antinomy: Apparently, there are very plausible arguments both for affirming as well as denying that an agent has good reasons not to want the realization of his goals. This antinomy is similar to the preface-paradox about beliefs which has a convincing solution (due to Frank Ramsey). I argue, however, that there is no such solution in the case of goals. This leaves us with the question what a solution could look like. (shrink)

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? There (...) are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)

AI companies are racing to create artificial general intelligence, or “AGI.” If they succeed, the result will be human-level AI systems that can independently pursue high-level goals by formulating and executing long-term plans in the real world. Leading AI researchers agree that some of these systems will likely be “misaligned”–pursuing goals that humans do not desire. This goal mismatch will put misaligned AIs and humans into strategic competition with one another. As with present-day strategic competition between nations with incompatible goals, (...) the result could be violent and catastrophic conflict. Existing legal institutions are unprepared for the AGI world. New foundations for AGI governance are needed, and the time to begin laying them is now, before the critical moment arrives. -/- This Article begins to lay those new legal foundations. It is the first to think systematically about the dynamics of strategic competition between humans and misaligned AGI. The Article begins by showing, using formal game-theoretic models, that, by default, humans and AIs will be trapped in a prisoner’s dilemma. Both parties’ dominant strategy will be to permanently disempower or destroy the other, even though the costs of such conflict would be high. -/- The Article then argues that a surprising legal intervention could transform the game theoretic equilibrium and avoid conflict: AI rights. Not just any AI rights would promote human safety. Granting AIs the right not to be needlessly harmed–as humans have granted to certain non-human animals–would, for example, have little effect. Instead, to promote human safety, AIs should be given those basic private law rights–to make contracts, hold property, and bring tort claims–that law already extends to non-human corporations. Granting AIs these economic rights would enable long-run, small-scale, mutually-beneficial transactions between humans and AIs. This would, we show, facilitate a peaceful strategic equilibrium between humans and AIs for the same reasons economic interdependence tends to promote peace in international relations. Namely, the gains from trade far exceed those from war. Throughout, we argue that human safety, rather than AI welfare, provides the right framework for developing AI rights. This Article explores both the promise and the limits of AI rights as a legal tool for promoting human safety in an AGI world. (shrink)

How should we undertand the role of norms—especially epistemic norms—governing assertive speech acts? Mitchell Green (2009) has argued that these norms play the role of handicaps in the technical sense from the animal signals literature. As handicaps, they then play a large role in explaining the reliability—and so the stability (the continued prevalence)—of assertive speech acts. But though norms of assertion conceived of as social norms do indeed play this stabilizing role, these norms are best understood as deterrents and not (...) as handicaps. This paper explains the stability problem for the maintenance of animal signals, and so human communication, for we are animals too, after all; the mechanics of the handicap principle; the role of deterrents and punishments as an alternative mechanism; and the role of social norms governing assertion for the case of human communication. (shrink)