Public health care interventions—regarding vaccination, obesity, and HIV, for example—standardly take the form of information dissemination across a community. But information networks can vary importantly between different ethnic communities, as can levels of trust in information from different sources. We use data from the Greater Pittsburgh Random Household Health Survey to construct models of information networks for White and Black communities--models which reflect the degree of information contact between individuals, with degrees of trust in information from various sources correlated with (...) positions in that social network. With simple assumptions regarding belief change and social reinforcement, we use those modeled networks to build dynamic agent-based models of how information can be expected to flow and how beliefs can be expected to change across each community. With contrasting information from governmental and religious sources, the results show importantly different dynamic patterns of belief polarization within the two communities. (shrink)

Recently, philosophers have turned their attention to the question, not when a given agent is blameworthy for what she does, but when a further agent has the moral standing to blame her for what she does. Philosophers have proposed at least four conditions on having “moral standing”: -/- 1. One’s blame would not be “hypocritical”. 2. One is not oneself “involved in” the target agent’s wrongdoing. 3. One must be warranted in believing that the target is indeed blameworthy for the (...) wrongdoing. 4. The target’s wrongdoing must some of “one’s business”. -/- These conditions are often proposed as both conditions on one and the same thing, and as marking fundamentally different ways of “losing standing.” Here I call these claims into question. First, I claim that conditions (3) and (4) are simply conditions on different things than are conditions (1) and (2). Second, I argue that condition (2) reduces to condition (1): when “involvement” removes someone’s standing to blame, it does so only by indicating something further about that agent, viz., that he or she lacks commitment to the values that condemn the wrongdoer’s action. The result: after we clarify the nature of the non-hypocrisy condition, we will have a unified account of moral standing to blame. Issues also discussed: whether standing can ever be regained, the relationship between standing and our "moral fragility", the difference between mere inconsistency and hypocrisy, and whether a condition of standing might be derived from deeper facts about the "equality of persons". (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

At least since Aristotle's famous discussion of the sea-battle tomorrow in On Interpretation 9, philosophers have been fascinated by a rich set of interconnecte.

This paper considers Norton’s Material Theory of Induction. The material theory aims inter alia to neutralize Hume’s Problem of Induction. The purpose of the paper is to evaluate the material theory's capacity to achieve this end. After pulling apart two versions of the theory, I argue that neither version satisfactorily neutralizes the problem.

There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...) neither true nor false. However, I argue that, just as there is a Russellian alternative to the Strawsonian view concerning ‘the present King of France’, according to which the relevant class of propositions all turn out false, so there is a Russellian alternative to the Aristotelian view, according to which future contingents all turn out false, not neither true nor false. The result: contrary to millennia of philosophical tradition, we can be open futurists without denying bivalence. (shrink)

We show that cast shadows can have a significant influence on the speed of visual search. In particular, we find that search based on the shape of a region is affected when the region is darker than the background and corresponds to a shadow formed by lighting from above. Results support the proposal that an early-level system rapidly identifies regions as shadows and then discounts them, making their shapes more difficult to access. Several constraints used by this system are mapped (...) out, including constraints on the luminance and texture of the shadow region, and on the nature of the item casting the shadow. Among other things, this system is found to distinguish between line elements (items containing only edges) and surface elements (items containing visible surfaces), with only the latter deemed capable of casting a shadow. (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

Everyone agrees that we can’t change the past. But what about the future? Though the thought that we can change the future is familiar from popular discourse, it enjoys virtually no support from philosophers, contemporary or otherwise. In this paper, I argue that the thesis that the future is mutable has far more going for it than anyone has yet realized. The view, I hope to show, gains support from the nature of prevention, can provide a new way of responding (...) to arguments for fatalism, can account for the utility of total knowledge of the future, and can help in providing an account of the semantics of the English progressive. On the view developed, the future is mutable in the following sense: perhaps, once, it was true that you would never come to read a paper defending the mutability of the future. And then the future changed. And now you will. (shrink)

The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?

Strategies for combating climate change which advocate for human population limitation have recently been understandably criticised on the grounds that they embody a form of 'climate colonialism': a moral wrong that involves disproportionally shifting the burdens of climate change onto developing, historically exploited nations (which have low per capita emissions but high fertility rates) in order to offset burdens in affluent nations (which have high per capita emissions but low fertility rates). This article argues that once the relevance of population (...) growth to climate change has been correctly understood as working in tandem with consumption levels, this objection fails as a general criticism. Moreover, even if population could be ignored as a variable, the climate colonialism charge would re-emerge in a different form, since, at present population sizes, it would be environmentally catastrophic for developing nations to reach production ambitions which see their per capita emissions massively increase. Even if emission reductions in affluent nations are (rightly) prioritised, there are good reasons to prevent enormous growth of emissions in developing nations. Those environmental risks become much greater given those nations' projected population increases in the coming century. The article then explores how the necessary radical environmental policies pertaining to fertility rates might be enacted in non-coercive ways, reducing the sting of the ‘climate colonialism’ charge. The article ends by considering some reasons to be moderately sceptical about such policies. (shrink)

This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.

As formal theoretical linguistic methodology has matured, recent years have seen the advent of applying it to objects of study that transcend language, e.g., to the syntax and semantics of music (Lerdahl & Jackendoff 1983, Schlenker 2017a; see also Rebuschat et al. 2011). One of the aims of such extensions is to shed new light on how meaning is construed in a range of communicative systems. In this paper, we approach this goal by looking at narrative dance in the form (...) of Bharatanatyam. We argue that a semantic approach to dance can be modeled closely after the formal semantics of visual narrative proposed by Abusch (2013, 2014, 2021). A central conclusion is that dance not only shares properties of other fundamentally human means of expression, such as visual narrative and music, but that it also exhibits similarities to sign languages and the gestures of non-signers (see, e.g., Schlenker 2020) in that it uses space to track individuals in a narrative and performatively portray the actions of those individuals. From the perspective of general human cognition, these conclusions corroborate the idea that linguistic investigations beyond language (see Patel-Grosz et al. forthcoming) can yield insights into the very nature of the human mind and of the communicative devices that it avails. (shrink)

Robustness has long been recognized as an important parameter for evaluating game-theoretic results, but talk of ‘robustness’ generally remains vague. What we offer here is a graphic measure for a particular kind of robustness (‘matrix robustness’), using a three-dimensional display of the universe of 2 × 2 game theory. In such a measure specific games appear as specific volumes (Prisoner’s Dilemma, Stag Hunt, etc.), allowing a graphic image of the extent of particular game-theoretic effects in terms of those games. The (...) measure also allows for an easy comparison between different effects in terms of matrix robustness. Here we use the measure to compare the robustness of Tit for Tat’s well-known success in spatialized games (Axelrod, R. (1984). The evolution of cooperation . New York: Basic Books; Grim, P. et al. (1998). The philosophical computer: Exploratory essays in philosophical computer modeling . Cambridge, Mass: MIT Press) with the robustness of a recent game-theoretic model of the contact hypothesis regarding prejudice reduction (Grim et al. 2005. Public Affairs Quarterly, 19 , 95–125). (shrink)

Conspiracy theories are rather a popular topic these days, and a lot has been written on things like the meaning of _conspiracy theory_, whether it’s ever rational to believe conspiracy theories, and on the psychology and demographics of people who believe conspiracy theories. But very little has been said about why people might be led to posit conspiracy theories in the first place. This paper aims to fill this lacuna. In particular, I shall argue that, in open democratic societies, citizens (...) justifiably presuppose that the epistemic authorities—journalists, academics, scientists, and so on—are engaged in a good faith pursuit of the truth. This presupposition generates certain normative expectations on the behaviors of the epistemic authorities—they ought to be open to new evidence, possess a healthy degree of skepticism, be willing to engage with opponents, and so on. So, when an epistemic authority is presented with some putatively anomalous data or an alternative hypothesis for some event or phenomena, people expect the epistemic authority to respond in a way that is consonant with these norms. In some instances, however, the epistemic authorities do not respond in this way and instead are dogmatic, dismissive, and engage in _ad hominem_. From the point of view of the citizen, there’s a tension here between how the epistemic authorities ought to behave and how they have, in fact, behaved which is best resolved either by taking the epistemic authorities less seriously or by positing a conspiracy theory. Put another way, the failure of the epistemic authorities to adhere to the norms by which we take them to be governed when presented with apparent anomalies or alternative hypotheses is one reason for which one might initially posit a conspiracy theory. (shrink)

The aim of this thesis is to defend a presentist metaphysics. I respond to a series of objections against presentism, including some that draw on our best physics. I also explore ways in which presentism might play an active role in interpreting and constraining physical theory, beyond merely being consistent with it. -/- A unifying theme of this thesis is that I advocate for a reduction of presentism to its bare essentials. Within the proposed ontology, reality is three-dimensional. Time only (...) exists in the sense that three-dimensional reality primitively changes. I reject any temporal dimension, extension, or direction. I reject any primitively tensed facts or nonpresent-tensed truths. I also reject any notion of simultaneity, beyond the mere fact that multiple entities exist in the three-dimensional world. I accept and embrace that if ontology is ‘stripped back’ to the present, then other features of metaphysics that depend on ontology should be stripped back too. -/- The world, under this view, is a forgetful one. What we call the ‘past’ has been utterly lost from existence: there are not even any absolute facts or truths about how things once were. All that remain are records, memories, and the like, but there are no objective underlying truths to which those records correspond. This has implications for physics. In a forgetful world particles have positions, but no entire trajectories. The present may be certain and determinate, but the past and future are at best modelled using probabilistic mathematics. -/- I believe that the world is likely to be as I describe. I will not attempt to argue, however, that this view is intuitive. Instead I will argue that it can account for our experiences and observations, including those from physics, in a simple and effective way. Most importantly, I argue that this view succeeds in the face of challenges where other versions of presentism fail. (shrink)

Talk of ‘robustness’ remains vague, despite the fact that it is clearly an important parameter in evaluating models in general and game-theoretic results in particular. Here we want to make it a bit less vague by offering a graphic measure for a particular kind of robustness— ‘matrix robustness’— using a three dimensional display of the universe of 2 x 2 game theory. In a display of this form, familiar games such as the Prisoner’s Dilemma, Stag Hunt, Chicken and Deadlock appear (...) as volumes, making comparison easy regarding the extent of different game-theoretic effects. We illustrate such a comparison in robustness between the triumph of Tit for Tat in a spatialized environment (Grim 1995, Grim, Mar, and St. Denis 1998) and a spatialized modeling of the Contact Hypothesis regarding prejudice reduction (Grim, et. al 2005a, 2005b). The geometrical representation of relative robustness also offers a possibility for links between geometrical theorems and results regarding robustness in game theory. (shrink)

The field of mindfulness and the emerging science of heroism have a common interest in the causes and conditions of selfless altruism though up to this point there has been little cross-pollination. However, there is increasing evidence that mindfulness training delivers heroically relevant qualities such as increased attentional functioning, enhanced primary sensory awareness, greater conflict monitoring, increased cognitive control, reduced fear response, and an increase in loving kindness and self-sacrificing behaviors. Predicated on the notion of a “no self,” traditional mindfulness (...) and its focus on enlightenment and selfless service may in fact be ideally suited to the development of the elusive “trait” (predictable) versus “state” (intermittent) heroic character. Interweaving observations and questions drawn from the science of heroism, the article explores the relevant theory, practices, and scientific outcomes of mindfulness. It finds that there is evidence that heroically relevant qualities are trainable with the suite of mindfulness techniques and that an enduring experience of selflessness and service of others (the enlightened hero) may well be within the grasp of the serious practitioner. (shrink)

Our purpose in this article is to draw attention to a connection that obtains between two dilemmas from two separate spheres: sports and the law. It is our contention that umpires in the game of cricket may face a dilemma that is similar to a dilemma confronted by legal decision makers and that comparing the nature of the dilemmas, and the arguments advanced to solve them, will serve to advance our understanding of both the law and games.

Since the sixties, computational modeling has become increasingly important in both the physical and the social sciences, particularly in physics, theoretical biology, sociology, and economics. Sine the eighties, philosophers too have begun to apply computational modeling to questions in logic, epistemology, philosophy of science, philosophy of mind, philosophy of language, philosophy of biology, ethics, and social and political philosophy. This chapter analyzes a selection of interesting examples in some of those areas.

It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for a (...) wrong that x has committed, then all cases in which x blames x (i.e. cases of self-blame) are rendered inappropriate. But it seems to be ethical common-sense that we are often, sadly, in position (indeed, excellent, privileged position) to blame ourselves for our own moral failings. And thus we have a paradox: a conflict between the inappropriateness of hypocritical blame, and the appropriateness of self-blame. We consider several ways of resolving the paradox, and contend none is as defensible as a position that simply accepts it: we should never blame ourselves. In defending this startling position, we defend a crucial distinction between self-blame and guilt. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, we will develop (...) and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

Although the concept of uncertainty is as old as Epicurus’s writings, and an excellent quantitative theory, with entropy as the measure of uncertainty having been developed in recent times, there has been little exploration of the qualitative theory. The purpose of the present paper is to give a qualitative axiomatization of uncertainty, in the spirit of the many studies of qualitative comparative probability. The qualitative axioms are fundamentally about the uncertainty of a partition of the probability space of events. Of (...) course, it is common to speak of the uncertainty, or randomness, of a random variable, but only the partition defined by the values of the random variable enter into the definition of uncertainty, not the actual values. It is straightforward to add axioms for decision making following the general line of Savage from the 1950s. Indeed, in the spirit of Epicurus, it is really our intuitive feeling about the uncertainty of the future that motivates much of our thinking about decisions. Here, the distinction between the concepts of probability and uncertainty can be made by citing many familiar examples. Without spelling out the technical details, the axiomatization of qualitative probability with uncertainty as the most important primitive concept, it is possible to raise a different kind of question about bounded rationality. This new question is whether or not one should bound the uncertainty in thinking and investigating any detailed framework of decision making. Discussion of this point is certainly different from the question of bounding rationality by not maximizing expected utility. In practice, we naturally bound uncertainty in our analysis of decision-making problems. As in the case of formulating an alternative for maximizing expected utility, so is the case of rational alternatives to maximizing uncertainty. There are several issues to consider. In the spirit of my other work in qualitative probability, I explore alternatives rather than attempt to give a definitive argument for one single solution. (shrink)

As well as disagreeing about how much one should donate to charity, moral theories also disagree about where one should donate. In light of this disagreement, how should the morally uncertain philanthropist allocate her donations? In many cases, one intuitively attractive option is for the philanthropist to split her donations across all of the charities that are recommended by moral views in which she has positive credence, with each charity’s share being proportional to her credence in the moral theories that (...) recommend that particular charity. Despite the fact that something like this approach is already being used by real-world philanthropists to distribute billions of dollars of donations, it is not supported by any of the approaches to moral uncertainty that have been proposed thus-far in the philosophical literature. In this paper, we will develop a bargaining-based approach to moral uncertainty that honors the proportionality intuition in favor of splitting one’s donations. We also show how this bargaining-based approach has several further advantages over the best alternative proposals. (shrink)

On swizzle sticks, sorites paradoxes, and precise replacements.

These are my materials (a short precis, and replies to Alan Rhoda and Daniel Rubio) for an invited symposium on my book _The Open Future: Why Future Contingents are All False_ (OUP, 2021) in IJPR. [The commentaries from Rhoda/Rubio are available on their respective PhilPapers profiles.].

A small consortium of philosophers has begun work on the implications of epistemic networks (Zollman 2008 and forthcoming; Grim 2006, 2007; Weisberg and Muldoon forthcoming), building on theoretical work in economics, computer science, and engineering (Bala and Goyal 1998, Kleinberg 2001; Amaral et. al., 2004) and on some experimental work in social psychology (Mason, Jones, and Goldstone, 2008). This paper outlines core philosophical results and extends those results to the specific question of thresholds. Epistemic maximization of certain types does show (...) clear threshold effects. Intriguingly, however, those effects appear to be importantly independent from more familiar threshold effects in networks. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...) construct a spatialized model that tests the core hypothesis in a large array of game-theoretic agents. Robust results offer a new kind of support for the contact hypothesis: results in simulation do accord with a hypothesis of reduced prejudice with increased contact. The spatialized game-theoretic model also suggests a deeper explanation for at least some of the social psychological phenomena at issue. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

Relativism is the view that the truth of a sentence is relative both to a context of utterance and to a context of assessment. That the truth of a sentence is relative to a context of utterance is uncontroversial in contemporary semantics. This chapter focuses on three points: whether the version of contextualism is vulnerable to the disagreement and retraction arguments, and if so, whether these problems can be avoided by a more sophisticated contextualist theory. The points include: whether relativism (...) really does avoid the four problems posed for the other theories; and whether there are other theories that also avoid the problems, without running into the problems facing relativism or problems of their own. The chapter concentrates on two families of views that have been called relativist: Relativism about propositional truth; and Relativism about utterance truth. (Note that this paper only appears in the 2nd edition of A Companion to the Philosophy of Language; its original publication date is 2017.). (shrink)

For several decades, public political discourses on ‘welfare dependency’ have failed to recognise that welfare states are not the source of economic dependence, but rather reconfigure economic dependencies in a specific way. This article distinguishes four senses of ‘economic dependence’ that can help to clarify what is missing from these discourses, and what is at stake in political and legal decisions about how we may economically depend upon one another. While feminist, republican and egalitarian philosophical work has examined the problems (...) of dependence on states, in families and in markets, the present approach adds a further dimension to our cultural and political concerns with economic dependence: it argues that it is reasonable and useful to consider the economic dependence of the economically powerful. Doing so requires a clarification of the ‘varieties of dependence’ that exist in contemporary societies and economies, and the recognition that legal and political choices regarding social and economic justice are often about choosing between varieties of dependence, not about escaping dependence entirely. (shrink)

The principle of Conditional Excluded Middle has been a matter of longstanding controversy in both semantics and metaphysics. The principle suggests (among other things) that for any coin that isn't flipped, there is a fact of the matter about how it would have landed if it had been flipped: either it would have landed heads, or it would have landed tails. This view has gained support from linguistic evidence indicating that ‘would’ commutes with negation (e.g., ‘not: if A, would C’ (...) is equivalent to ‘if A, would not C’). There is, however, a long list of operators that similarly appear to commute with negation, even though the corresponding excluded middle principles are indefensible. We suggest that the data supporting Conditional Excluded Middle is best explained as a pragmatic effect. (shrink)

In this paper, we model a relational notion of subjectivity by means of two experiments in subjective computing. The goal is to determine to what extent a cognitive and social robot can be regarded to act subjectively. The system was implemented as a reinforcement learning agent with a coaching function. To analyze the robotic agent we used the method of levels of abstraction in order to analyze the agent at four levels of abstraction. At one level the agent is described (...) in mentalistic or subjective language respectively. By mapping this mentalistic to an algorithmic, functional, and relational level, we can show to what extent the agent behaves subjectively as we make use of a relational concept of subjectivity that draws upon the relations that hold between the agent and its environment. According to a relational notion of subjectivity, an agent is supposed to be subjective if it exhibits autonomous relations to itself and others, i.e. the agent is not fully determined by a given input but is able to operate on its input and decide what to do with it. This theoretical notion is confirmed by the technical implementation of self-referentiality and social interaction in that the agent shows improved behavior compared to agents without the ability of subjective computing. On the one hand, a relational concept of subjectivity is confirmed, whereas on the other hand, the technical framework of subjective computing is being theoretically founded. (shrink)

Various philosophers have wanted to move from a (P.F.) “Strawsonian” understanding of the “practices of moral responsibility” to a non-skeptical result. I focus on a strategy moving from a “response-dependent” theory of responsibility. I aim to show that a key analogy associated with this strategy fails to support a compatibilist result. It seems clear that nothing could show that nothing we have been laughing at has really been funny. If “the funny” is similar to “the blameworthy”, then perhaps it would (...) follow that nothing could show that no one we have ever blamed has really been blameworthy. The comparison is interesting, but inconclusive: even if we grant that these properties are normatively similar, the latter has substantive empirical presuppositions, whereas the former does not. One important upshot: even if the standards operative in our practices cannot be mistaken, it could nevertheless be that no one has ever met these standards Ruling out this possibility seemingly requires re-engaging in all of the so-called "metaphysical" debates Strawsonians are keen to avoid. (shrink)

In this paper, I argue that the cause of morally self-defeating acts at the collective level is greed and, at the individual level, an unrestrained impulse for pleasure beyond Innocent Asouzu’s primordial instinct for self-preservation and ignorance. In investigating why humans act in self-defeating ways, Asouzu came up with two possible factors responsible for self-defeating acts: The primordial instinct for selfpreservation and ignorance. Besides Asouzu’s explanation, I here argue that the problem of self-defeating acts goes beyond the primordial instinct for (...) selfpreservation and ignorance to reveal a flaw characteristic of the human condition. At the collective level, the flaw responsible for self-defeating acts is greed and the unrestrained impulse for pleasure at the individual level. I employ the conversational method to interrogate the different views on self-defeating acts from Socrates to Asouzu and show why my explanation offers a better understanding of the problem. (shrink)

The Hong and Page ‘diversity trumps ability’ result has been used to argue for the more general claim that a diverse set of agents is epistemically superior to a comparable group of experts. Here we extend Hong and Page’s model to landscapes of different degrees of randomness and demonstrate the sensitivity of the ‘diversity trumps ability’ result. This analysis offers a more nuanced picture of how diversity, ability, and expertise may relate. Although models of this sort can indeed be suggestive (...) for diversity policies, we advise against interpreting such results overly broadly. (shrink)

We argue that a command and control system can undermine a commander’s moral agency if it causes him/her to process information in a purely syntactic manner, or if it precludes him/her from ascertaining the truth of that information. Our case is based on the resemblance between a commander’s circumstances and the protagonist in Searle’s Chinese Room, together with a careful reading of Aristotle’s notions of ‘compulsory’ and ‘ignorance’. We further substantiate our case by considering the Vincennes Incident, when the crew (...) of a warship mistakenly shot down a civilian airliner. To support a combat commander’s moral agency, designers should strive for systems that help commanders and command teams to think and manipulate information at the level of meaning. ‘Down conversions’ of information from meaning to symbols must be adequately recovered by ‘up conversions’, and commanders must be able to check that their sensors are working and are being used correctly. Meanwhile ethicists should establish a mechanism that tracks the potential moral implications of choices in a system’s design and intended operation. Finally we highlight a gap in normative ethics, in that we have ways to deny moral agency, but not to affirm it. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

This paper focuses on Nietzsche’s claim that suffering is closely related to the realization of certain perfectionist values, such as artistic excellence. According to Bernard Reginster, creative achievement consists in overcoming suffering, and therefore, suffering is an essential ingredient of creative achievement. Because suffering forms an essential part of a valuable whole in this way, Reginster argues that we must in turn value suffering ‘for its own sake’. This paper argues that Reginster’s position is open to the following objection: from (...) the fact that suffering is an essential part of a valuable whole, it does not follow that suffering is itself valuable. Rather, by taking advantage of the principle of organic unities, it would have to form an essential part of a valuable whole in a particular way. The author considers two ways the principle might be attributed to Nietzsche’s views on suffering: first, as an ‘enabling condition’, in which suffering allows for a whole that outweighs its disvalue; and second, as ‘a contributor’, in which suffering positively contributes value to the whole. The paper explores how Nietzsche’s ethics turns out to be crucially informed by this conceptual distinction. (shrink)

Veltman’s test semantics and developments thereof reject the canon about semantic contents and attitude ascriptions in favor of dynamic alternatives. According to these theories the semantic content of a sentence is not a proposition, but a context change potential (CCP). Similarly, beliefs are not taken to be relations between agents and propositions, but agents and CCPs. These deviations from the canon come at the cost of an elegant explanation about the correctness of belief. Standardly, it is taken that the content (...) of a belief is correct just in case the content of that belief is true. The proponent of the test semantics cannot appeal to this explanation since they hold that certain contents, namely epistemically modalized contents, do not express propositions, and are neither true nor false. After motivating the need for an account of the correctness of belief within the dynamic framework, I argue that the few extant accounts in the literature are unsatisfactory. A novel account is proposed that avoids the problems of competing views. (shrink)

I provide a manipulation-style argument against classical compatibilism—the claim that freedom to do otherwise is consistent with determinism. My question is simple: if Diana really gave Ernie free will, why isn't she worried that he won't use it precisely as she would like? Diana's non-nervousness, I argue, indicates Ernie's non-freedom. Arguably, the intuition that Ernie lacks freedom to do otherwise is stronger than the direct intuition that he is simply not responsible; this result highlights the importance of the denial of (...) the principle of alternative possibilities for compatibilist theories of responsibility. Along the way, I clarify the dialectical role and structure of “manipulation arguments”, and compare the manipulation argument I develop with the more familiar Consequence Argument. I contend that the two arguments are importantly mutually supporting and reinforcing. The result: classical compatibilists should be nervous—and if PAP is true, all compatibilists should be nervous. (shrink)

In response to criticism, we often say – in these or similar words – “Let’s see you do better!” Prima facie, it looks like this response is a challenge of a certain kind – a challenge to prove that one has what has recently been called standing. More generally, the data here seems to point a certain kind of norm of criticism: be better. Slightly more carefully: One must: criticize x with respect to standard s only if one is better (...) than x with respect to standard s. In this paper, I defend precisely this norm of criticism – an underexplored norm that is nevertheless ubiquitous in our lives, once we begin looking for it. The be better norm is, I hope to show, continuously invoked in a wide range of ordinary settings, can undergird and explain the widely endorsed non-hypocrisy condition on the standing to blame, and apparent counterexamples to the norm are no such counterexamples at all. I further contend that, given some plausible principles, my previous “moral commitment” account of the moral standing to blame will be extensionally equivalent to the be better norm. (shrink)

In this paper, I introduce a problem to the philosophy of religion – the problem of divine moral standing – and explain how this problem is distinct from (albeit related to) the more familiar problem of evil (with which it is often conflated). In short, the problem is this: in virtue of how God would be (or, on some given conception, is) “involved in” our actions, how is it that God has the moral standing to blame us for performing those (...) very actions? In light of the recent literature on “moral standing”, I consider God’s moral standing to blame on two models of “divine providence”: open theism, and theological determinism. I contend that God may have standing on open theism, and – perhaps surprisingly – may also have standing, even on theological determinism, given the truth of compatibilism. Thus, if you think that God could not justly both determine and blame, then you will have to abandon compatibilism. The topic of this paper thus sheds considerable light on the traditional philosophical debate about the conditions of moral responsibility. (shrink)

There is a longstanding argument that purports to show that divine foreknowledge is inconsistent with human freedom to do otherwise. Proponents of this argument, however, have for some time been met with the following reply: the argument posits what would have to be a mysterious non-causal constraint on freedom. In this paper, I argue that this objection is misguided – not because after all there can indeed be non-causal constraints on freedom (as in Pike, Fischer, and Hunt), but because the (...) success of the incompatibilist's argument does not require the real possibility of non-causal constraints on freedom. I contend that the incompatibilist's argument is best seen as showing that, given divine foreknowledge, something makes one unfree – and that this something is most plausibly identified, not with the foreknowledge itself, but with the causally deterministic factors that would have to be in place in order for there to be infallible foreknowledge in the first place. (shrink)

The iterated Prisoner’s Dilemma has become the standard model for the evolution of cooperative behavior within a community of egoistic agents, frequently cited for implications in both sociology and biology. Due primarily to the work of Axelrod (1980a, 198Ob, 1984, 1985), a strategy of tit for tat (TFT) has established a reputation as being particularly robust. Nowak and Sigmund (1992) have shown, however, that in a world of stochastic error or imperfect communication, it is not TFT that finally triumphs in (...) an ecological model based on population percentages (Axelrod and Hamilton 1981), but ‘generous tit for tat’ (GTFT), which repays cooperation with a probability of cooperation approaching 1 but forgives defection with a probability of l/3. In this paper, we consider a spatialized instantiation of the stochastic Prisoner’s Dilemma, using two-dimensional cellular automata (Wolfram, 1984, 1986; Gutowitz, 1990) to model the spatial dynamics of populations of competing strategies. The surprising result is that in the spatial model it is not GIFT but still more generous strategies that are favored. The optimal strategy within this spatial ecology appears to be a form of ‘bending over backwards’, which returns cooperation for defection with a probability of 2/3 - a rate twice as generous as GTFT. (shrink)