This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether (...) the necessity of the prejacent is verified in the actual world. `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A (...) comprehensive solution requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena. (shrink)

Kolodny and MacFarlane have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of information-sensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their sense. I show that though one such way of capturing the data within the standard semantics fails, an alternative does not. Nevertheless I argue that (...) we have good reasons to adopt an information-sensitive semantics of the general type Kolodny and MacFarlane describe. Contrary to the standard semantics, relative deontic value between possibilities sometimes depends on which possibilities are live. I develop an ordering semantics for deontic modals that captures this point and addresses various complications introduced by integrating the discussion of information-sensitivity into the standard semantic framework. By attending to these complexities, we can also illuminate various roles that information and evidence play in logical arguments, discourse, and deliberation. (shrink)

Nietzsche's life project remains constant throughout his life: it is the project of transformation or transfiguration. He formulates this as the necessity of dealing with the way that one's past shapes one's present. The paradigm for this transformation is first to be found in The Birth of Tragedy, but it reappears in various guises in all of his work. I argue that Nietzsche's writing is itself designed so as to make possible such a transformation in his readers.

ABSTRACT Nietzsche’s life project remains constant throughout his life: it is the project of transformation or transfiguration. He formulates this as the necessity of dealing with the way that one’s past shapes one’s present. The paradigm for this transformation is first to be found in The Birth of Tragedy, but it reappears in various guises in all of his work. I argue that Nietzsche’s writing is itself designed so as to make possible such a transformation in his readers.

In this paper we propose an extension of Defeasible Logic to represent and compute different concepts of defeasible permission. In particular, we discuss some types of explicit permissive norms that work as exceptions to opposite obligations or encode permissive rights. Moreover, we show how strong permissions can be represented both with, and without introducing a new consequence relation for inferring conclusions from explicit permissive norms. Finally, we illustrate how a preference operator applicable to contrary-to-duty obligations can be combined with (...) a new operator representing ordered sequences of strong permissions. The logical system is studied from a computational standpoint and is shown to have linear computational complexity. (shrink)

The theatrical device of the bed-trick occurs fifty-two times in forty-four plays during the English Renaissance.1 Just as in the first two plays employing it, Alphonsus, Emperor of Germany and Grim the Collier of Croyden, male characters arrange 60 percent of the bed-tricks used in gaining control over women. Shakespeare's heroines in All's Well That Ends Well and Measure for Measure, then, appear to mark a decisive break from the bed-trick's evolutionary pattern. Helen and Mariana, respectively, persevere in their endeavors (...) in spite of a male-dominant hierarchy. Yet, upon closer inspection, men are the ones who create the circumstances that prompt the necessity of using the device. They impose such... (shrink)

We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi [12].

Motivated by the seeming structure of the sciences, metaphysical emergence combines broadly synchronic dependence coupled with some degree of ontological and causal autonomy. Reflecting the diverse, frequently incompatible interpretations of the notions of dependence and autonomy, however, accounts of emergence diverge into a bewildering variety. Here I argue that much of this apparent diversity is superficial. I first argue, by attention to the problem of higher-level causation, that two and only two strategies for addressing this problem accommodate the genuine emergence (...) of special science entities. These strategies in turn suggest two distinct schema for metaphysical emergence---'Weak' and 'Strong' emergence, respectively. Each schema imposes a condition on the powers of entities taken to be emergent: Strong emergence requires that higher-level features have more token powers than their dependence base features, whereas Weak emergence requires that higher-level features have a proper subset of the token powers of their dependence base features. Importantly, the notion of “power” at issue here is metaphysically neutral, primarily reflecting commitment just to the plausible thesis that what causes an entity may bring about are associated with how the entity is---that is, with its features. (shrink)

A subtheory of the theory of self-referential truth known as FS is shown to be weak as a theory of truth but equivalent to full FS in its proof-theoretic strength.

The paper distinguishes between weak and strong epistemic possibility and argues that the notion of strong epistemic possibility is the key to solving some of the most vexing puzzles about the semantics of epistemic modality.

Open peer commentary on the article “Constructivism and Computation: Can Computer-Based Modeling Add to the Case for Constructivism?” by Manfred Füllsack. Upshot: Füllsack’s article offers many interesting ideas but falls short of elucidating the relationship between constructivism and computation. It could profit by taking into consideration stronger constructivist foundations such as the distinction between machine and organism, the relationship between reality and the observer, and Ceccato’s theory of attention.

Mounting evidence suggests that the human impact on the planet is reaching the point where the Earth's ecosystems will not be able to support the level of human occupation. The global economy also seems to be generating income disparities that threaten the social stability of even the most developed economies. Although both these trends are rooted in the operation of the global market economy, standard economics has surprisingly little to offer in the way of policies that might allow us to (...) survive the twenty-first century with our current social and environmental systems intact. This article examines our current predicament from the point of view of neoclassical welfare economics and the alternative framework of ecological economics. We argue that ecological economics, by placing the study of economics squarely within human society and ecosystems, can lead the way to make economics both scientifically credible and policy relevant. (shrink)

Introduction -- Instrumental rationality -- Social order -- Deontic constraint -- Intentional states -- Preference noncognitivism -- A naturalistic perspective -- Transcendental necessity -- Weakness of will -- Normative ethics.

According to deontological approaches to justification, we can analyze justification in deontic terms. In this paper, I try to advance the discussion of deontological approaches by applying recent insights in the semantics of deontic modals. Specifically, I use the distinction between weak necessity modals and strong necessity modals to make progress on a question that has received surprisingly little discussion in the literature, namely: ‘What’s the best version of a deontological approach?’ The two most (...) obvious hypotheses are the Permissive View, according to which justified expresses permission, and the Obligatory View, according to which justified expresses some species of obligation. I raise difficulties for both of these hypotheses. In light of these difficulties, I propose a new position, according to which justified expresses a property I call faultlessness, defined as the dual of weak necessity modals. According to this view, an agent is justified in phi-ing iff it’s not the case that she should [/ought] not phi. I argue that this ‘Faultlessness View’ gives us precisely what’s needed to avoid the problems facing the Permissive and Obligatory Views. (shrink)

What is the relation between weak and strong supervenience? Kim claims that weak supervenience is weaker, that it fails to entail strong supervenience. But he mistakenly infers this in virtue of logical form. In fact, one line of reasoning suggests weak supervenience _does_ entail strong. Following this line, we see that weak and strong supervenience.

Quine's views on indispensability arguments in mathematics are scrutinised. A weak indispensability argument is distinguished from a strong indispensability thesis. The weak argument is the combination of the criterion of ontological commitment, holism and a mild naturalism. It is used to refute nominalism. Quine's strong indispensability thesis claims that one should consider all and only the mathematical entities that are really indispensable. Quine has little support for this thesis. This is even clearer if one takes into (...) account Maddy's critique of Quine's strong indispensability thesis. Maddy's critique does not refute Quine's weak indispensability argument. We are left with a weak and almost unassailable indispensability argument. (shrink)

In Responsibility and Control: A Theory of Moral Responsibility John Martin Fischer and Mark Ravizza propose an account of moral responsibility according to which an agent is morally responsible for an action just when that action is the product of her own moderately reasons-responsive mechanism, where reasons-responsiveness is explained in terms of the mechanism’s regular reasons-receptivity and weak reasons-reactivity. In a review of Fischer and Ravizza’s book Mele contends that their weakly reasons-reactivity condition is inadequate, constructing a case in (...) which, according to their theory, an extreme agoraphobic is morally responsible for his staying in his home. In this paper I modify Fischer and Ravizza’s account of moral responsibility in light of Mele’s problematic example, suggesting a refinement of their weakly reasons-reactivity requirement via a distinction between weakly sufficient reasons and strongly sufficient reasons. (shrink)

Abstract -/- Kratzer’s semantics for the deontic modals ought, must, etc., is criticized and improvements are suggested. Specifically, a solution is offered for the strong/weak, must/ought contrast, based on connecting must to right and ought to good as their respective ordering norms. A formal treatment of the semantics of must is proposed. For the semantics of ought it is argued that good enough should replace best in the formula giving truth conditions. A semantics for supposed to slightly (...) different from that for ought is proposed that connects interestingly with the “normative judgement internalism” problem. An extended analysis of the workings of the ordering source in Kratzer semantics reveals several problems and related possible solutions. And finally, it is argued that ‘We must do the right things” and “We ought to pursue good things” are provably necessary in Kratzer semantics, which is, I think, a welcome result, although, since formal, does not tell what are the right and good things. (shrink)

This paper introduces an interesting class of predicates that come in pairs, so-called total and partial predicates. It will be shown that such predicates contribute to an explanation for the weak and strong interpretations of donkey sentences. This paper proposes that the phenomenon of weak and strong interpretations is real, and that whether a sentence receives the weak or the strong interpretation depends on the predicate in the nuclear scope of the sentence. It also (...) proposes that sum individuals are calculated at some level before the nuclear scope of the sentence is processed. Once the sum individuals are calculated, it will be decided whether the nuclear scope is true of at least one element of the sum individual (weak interpretation) or true of all elements of the sum individual (strong interpretation). (shrink)

To add ethnographic perspective to Guala's arguments, I suggest reasons why experimental and ethnographic evidence do not concur and highlight some difficulties in measuring whether positive and negative reciprocity are indeed costly. I suggest that institutions to reduce the costs of maintaining cooperation are not limited to complex societies.

As we’ve seen in the last chapter, there is good linguistic reason to categorize negations (and negative operators in general) by which De Morgan laws they support. The weakest negative operators (merely downward monotonic) support only two De Morgan laws;1 medium-strength negative operators support a third;2 and strong negative operators support all four. As we’ve also seen, techniques familiar from modal logic are of great use in giving unifying theories of negative operators. In particular, Dunn’s (1990) distributoid theory allows (...) us to generate relational semantics for many negations. However, the requirements of distributoid theory are a bit too strict for use in modeling the weakest negations. For a relational semantics to work, an operator must either distribute or antidistribute over either conjunction or disjunction; but the merely downward monotonic operators do not. Thus, a unifying semantics cannot be had in distributoid theory. In the (more familiar) study of positive modalities, there is a parallel result. Normal necessities distribute over conjunction, and normal possibilities over disjunction. When these distributions break down, a relational semantics is no longer appropriate. Here, there is a somewhat familiar solution: neighborhood semantics. In this chapter, I’ll adapt neighborhood semantics to the less familiar case of negative modalities, showing how it can be used to give a single semantic framework appropriate to all the pertinent sorts of negative operators. (shrink)

Kim argues that weak and global supervenience are too weak to guarantee any sort of dependency. Of the three original forms of supervenience, strong, weak, and global, each commonly wielded across all branches of philosophy, two are thus cast aside as uninteresting or useless. His arguments, however, fail to appreciate the strength of weak and global supervenience. I investigate what weak and global supervenience relations are functionally and how they relate to strong supervenience. (...) For a large class of properties, weak and global supervenience are equivalent to strong supervenience. I then offer a series of arguments showing that it is precisely because of their strength, not their weakness, that both weak and global supervenience are useless in characterizing any dependencies of interest to philosophers. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 43.1 (2005) 1-19 [Access article in PDF] God's Immutability and the Necessity of Descartes's Eternal Truths Dan Kaufman Descartes's doctrine of the creation of the eternal truths (henceforth "the Creation Doctrine") has been thought to be a particularly problematic doctrine, both internally inconsistent and detrimental to Descartes's system as a whole. According to the Creation Doctrine, the eternal truths, such as the (...) truths of mathematics and those concerning true and immutable natures, are freely created by God.1 The Creation Doctrine has led several scholars to think that Descartes held (or was committed to) the view that the eternal truths are not necessary truths; in fact, there are no necessary truths if Descartes is correct.2 [End Page 1]In fact, however, Descartes held both of the following.The eternal truths are freely created by God.The eternal truths are necessarily true.That Descartes held (1) is uncontroversial; in fact, it is the characteristic thesis of his Creation Doctrine. However, his commitment to (2) is more controversial. I believe the controversy surrounding (2) arises precisely because Descartes' acceptance of (1) is so uncontroversial. That is, some have thought that his acceptance of (1) eliminates any possibility of accepting (2). This view is mistaken. In several texts, it is clear that Descartes believes that the eternal truths are necessarily true; this is especially noticeable in the 2 May 1644 letter to Mesland (AT IV 118; CSMK 235). The task, then, is to account for the necessity of the eternal truths within the confines of the Creation Doctrine; that is, to explain the fact that (2) is true, given that (1) is true.3 Unfortunately, Descartes says precious little about this issue. To make matters worse, there is a scarcity of treatments of this issue in the literature; and the literature that does address this issue tends to treat it quickly and vaguely, perhaps recognizing the difficulty of addressing it in any detail. In this paper, I attempt to remedy this unfortunate situation.I begin by examining the most prominent interpretation of Descartes's explanation of the necessity of the eternal truths: the Immutability Interpretation.4 This interpretation is given by Margaret Osler and most prominently by Edwin Curley.5 According to this interpretation, the eternal truths are necessarily true because they are created by God, and God's will is immutable. I will show that this interpretation is incorrect: It is either too weak to explain the necessity of the eternal truths or it is too strong in that it would commit Descartes to necessitarianism, [End Page 2] a view he does not hold.6 I also show that some suggestions for salvaging the Immutability Interpretation fall short. In the final section I present an alternative interpretation. My interpretation has a firm basis in Descartes's texts, does not have the shortcomings of the Immutability Interpretation, and has several virtues of its own. 1. Immutability Before examining the role, if any, that God's immutability actually plays in Descartes's explanation of the necessity of the eternal truths, it may be helpful to have a working account of God's immutability. To be immutable is not merely to be unchanging, but rather to be unable to change. That is: I1: x is immutable iff x is essentially unchanging.7We must recognize, however, that there are extrinsic and relational properties that a thing may acquire or lose without any real change in the thing; that is, there are so-called Cambridge changes that something may undergo without thereby being mutable. For example if x is five feet tall at t and x is five foot five at some later time t´, then x has really changed; but if x is not an uncle at t and x is an uncle at some later time t´, then x has not really changed in virtue of acquiring this property. The idea is that there are some properties which are, to use Edward Wierenga's and Nicholas Wolterstorff's term, "change... (shrink)

In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact (...) the one that validates inference based on the left monotonicity of the determiner. This accounts for the lack of strong reading in donkey sentences with MON determiners, which have been neglected in the literature. I consider the relevance of other natural forms of inference as well, but also suggest how monotonicity inference might play a central role in the actual process of interpretation. The formal theory is couched in dynamic predicate logic with generalized quantifiers. (shrink)

One of the central concepts in Charles Taylor’s philosophy is that of strong evaluation. What is strong evaluation? The crucial idea is that human relations to the world, to self and to others are value-laden. In the first subsection the central features of the concept of strong evaluation are discussed, namely qualitative distinctions concerning worth and the role of strong evaluation for identity. The nature of strong evaluations both as background understandings and explicit judgements is (...) clarified. It is also claimed that strong evaluation is not precisely a matter of second-order desires, but of evaluative beliefs. In subsection 1.2, some additional and less central characterizations are scrutinized: contingent conflicts, articulacy, discriminacy, reflectivity, depth. The claim is that most of these are not criterial for the distinction between strong and weak evaluations. In the third subsection various criticisms are taken up (from Ernst Tugendhat, Jurgen Habermas, Owen Flanagan, Joel Anderson), which are relevant for defining strong evaluations and assessing the role strong evaluation has in ethics. The terminological solutions are here connected to substantive issues in moral theory. I will defend Taylor against three aspects of a Kantian critique that the notion of strong evaluation is too broad, and overlooks crucial distinctions. Should one distinguish between moral and other values more clearly? Should one distinguish between categorical and optional goods more sharply? Should one distinguish between the whole “moral map” and one’s own orientation more clearly? I think these are indeed essential questions, but they are to be answered within the realm of qualitative distinctions concerning worth. The Kantian attempts to segregate one type of issue as involving strong evaluation and another type of issue as not involving it are misguided. In the fourth subsection I put forward three critical claims in an attempt to show that the notion of strong evaluation as Taylor defines it is too narrow (or at least ambivalent about how narrow it is). These critiques are inspired by more comprehensives approaches to ethics (e. g. by Joseph Raz or Paul Ricoeur). First, is strong evaluation restricted strictly to second-order self-evaluation (as some formulations by Taylor seem to suggest), or does it cover value-judgement in general (as some other formulations by Taylor seem to suggest)? In the broad sense, strong evaluations also include first-order judgements made in various different situations, and background commitments to goods. I suggest that the broad sense be adopted. Second, how does the distinction between strong and weak evaluations relate to “small” values? Third, can self-evaluation succeed without the deontic layer of reasons and norms and if not, does the concept of strong evaluation cover that as well? I defend a different line from Taylor on the issues of small values and the deontic realm. This will lead to a suggestion of “strong evaluation in an extended sense”. (shrink)

Guala does not go far enough in his critique of the assumption that human decisions about sharing made in the context of experimental game conditions accurately reflect decision-making under real conditions. Sharing of hunted animals is constrained by cultural rules and is not as assumed in models of weak and strong reciprocity. Missing in these models is the cultural basis of sharing that makes it a group property rather than an individual one.

Abstract.The authors concentrate on the analysis of the concept of permission. After a general account of differing concepts of permission both with regard to different legal theories and to different legal ideologies, they argue in favour of a “radical” imperativism which leaves no place for permissive norms. Thus, in contrast with the logic of normative language (LNL) purported by Alchourrón and Bulygin, the authors figure out a system of deontic logic ‐ supplemented by devices of the possible world semantics (...) ‐ according to which a normative system (N) is conceived as a set of logical consequences of a certain finite set of basic obligations and no room is left either for the concept of weak permission or for the concept of strong permission. Finally the authors raise some criticisms concerning the view maintained by Alchourron and Bulygin on strong permission.*. (shrink)

Reverse inference is a crucial inferential strategy used in cognitive neuroscience to derive conclusions about the engagement of cognitive processes from patterns of brain activation. While widely employed in experimental studies, it is now viewed with increasing scepticism within the neuroscience community. One problem with reverse inference is that it is logically invalid, being an instance of abduction in Peirce’s sense. In this paper, we offer the first systematic analysis of reverse inference as a form of abductive reasoning and highlight (...) some relevant implications for the current debate. We start by formalising an important distinction that has been entirely neglected in the literature, namely the distinction between weak and strong reverse inference. Then, we rely on case studies from recent neuroscientific research to systematically discuss the role and limits of both strong and weak reverse inference; in particular, we offer the first exploration of weak reverse inference as a discovery strategy within cognitive neuroscience. (shrink)

The distinction between weak and strong forms of critical thinking is a hallmark of Richard Paul’s pedagogy. He maintains that good reasoning entails a personal commitment to fair-mindedness. In this brief essay, I argue that Paul’s conception of fair-mindedness conflates cognitive empathy with empathetic concern and altruism. One’s understanding another’s perspective by no means entails approving of it, and one may seek to better grasp this standpoint for purely selfish reasons. Depending upon the circumstances, the other could be (...) one’s competitor, enemy, mark, or even intended victim. This implies that while we may wish that the world were otherwise, even very bad people can be highly effective critical thinkers. (shrink)

In this paper, I argue that causal theories of memory are typically committed to two independent, non-mutually entailing theses. The first thesis pertains to the necessity of appropriate causation in memory, specifying a condition token memories need to satisfy. The second pertains to the explanation of memory reliability in causal terms and it concerns memory as a type of mental state. Post-causal theories of memory can reject only the first (weak post-causalism) or both (strong post-causalism) theses. Upon (...) this backdrop, I examine Werning’s (2020) causalist argument from probabilistic correlation. I argue that it doesn’t establish the necessity of appropriate causation and thus it can only target strong post-causalist theories. I end up by presenting some general considerations, suggesting that memories may not always be causally linked to past experiences. (shrink)

This paper concerns the semantic difference between strong and weak neces-sity modals. First we identify a number of explananda: their well-known in-tuitive difference in strength between ‘must’ and ‘ought’ as well as differ-ences in connections to probabilistic considerations and acts of requiring and recommending. Here we argue that important extant analyses of the se-mantic differences, though tailored to account for some of these aspects, fail to account for all. We proceed to suggest that the difference between ’ought’ and (...) ’must’ lies in how they relate to scalar and binary standards. Briefly put, must(φ) says that among the relevant alternatives, φ is selected by the relevant binary standard, whereas ought(φ) says that among the relevant al-ternatives, φ is selected by the relevant scale. Given independently plausi-ble assumptions about how standards are provided by context, this ex-plains the relevant differences discussed. (shrink)

Economists and biologists have proposed a distinction between two mechanisms – “strong” and “weak” reciprocity – that may explain the evolution of human sociality. Weak reciprocity theorists emphasize the benefits of long-term cooperation and the use of low-cost strategies to deter free-riders. Strong reciprocity theorists, in contrast, claim that cooperation in social dilemma games can be sustained by costly punishment mechanisms, even in one-shot and finitely repeated games. To support this claim, they have generated a large (...) body of evidence concerning the willingness of experimental subjects to punish uncooperative free-riders at a cost to themselves. In this article, I distinguish between a “narrow” and a “wide” reading of the experimental evidence. Under the narrow reading, punishment experiments are just useful devices to measure psychological propensities in controlled laboratory conditions. Under the wide reading, they replicate a mechanism that supports cooperation also in “real-world” situations outside the laboratory. I argue that the wide interpretation must be tested using a combination of laboratory data and evidence about cooperation “in the wild.” In spite of some often-repeated claims, there is no evidence that cooperation in the small egalitarian societies studied by anthropologists is enforced by means of costly punishment. Moreover, studies by economic and social historians show that social dilemmas in the wild are typically solved by institutions that coordinate punishment, reduce its cost, and extend the horizon of cooperation. The lack of field evidence for costly punishment suggests important constraints about what forms of cooperation can or cannot be sustained by means of decentralised policing. (shrink)