Modeling is an important scientific practice, yet it raises significant philosophical puzzles. Models are typically idealized, and they are often explored via imaginative engagement and at a certain “distance” from empirical reality. These features raise questions such as what models are and how they relate to the world. Recent years have seen a growing discussion of these issues, including a number of views that treat modeling in terms of indirect representation and analysis. Indirect views treat the model as a bona (...) fide object, specified by the modeler and used to represent and reason about some portion of the concrete empirical world. On some indirect views, model systems are abstract entities, such as mathematical structures, while on other views they are concrete hypothetical things. Here I assess these views and offer a novel account of models. I argue that regarding models as abstracta results in some significant tensions with the practice of modeling, especially in areas where non-mathematical models are common. Furthermore, viewing models as concrete hypotheticals raises difficult questions about model-world relations. The view I argue for treats models as direct, albeit simplified, representations of targets in the world. I close by suggesting a treatment of model-world relations that draws on a recent work by Stephen Yablo concerning the notion of partial truth. (shrink)

Proponents of mechanistic explanation all acknowledge the importance of organization. But they have also tended to emphasize specificity with respect to parts and operations in mechanisms. We argue that in understanding one important mode of organization—patterns of causal connectivity—a successful explanatory strategy abstracts from the specifics of the mechanism and invokes tools such as those of graph theory to explain how mechanisms with a particular mode of connectivity will behave. We discuss the connection between organization, abstraction, and mechanistic explanation and (...) illustrate our claims by looking at an example from recent research on so-called network motifs. (shrink)

The argument from inductive risk (AIR) states that scientists should consider the consequences of hypotheses and methodological choices in the course of ongoing research. It has played a central role in the widespread retreat from the ideal of value-free science. The argument is motivated, to a significant extent, by the laudable concern to use science to better society. I argue that this concern, when taken seriously, tells against the idea that individual working scientists should consider social consequences. First, I show (...) that the AIR assigns scientists a striking task: to frame social decisions and assess their full spectrum of consequences. Then, I argue that scientists should not be assigned such a task. For one thing, if both scientists and policy makers take social consequences into account, we are liable to end up with skewed and biased decisions. For another, scientists are not well-placed to carry out social decision making. I conclude by indicating a context in which the inductive risk line has more force, and by highlighting the importance, in discussing values in science, of attending to units and levels of analysis. (shrink)

Recently, various philosophers have argued that we can obtain knowledge via the imagination. In particular, it has been suggested that we can come to know concrete, empirical matters of everyday significance by appropriately imagining relevant scenarios. Arguments for this thesis come in two main varieties: black box reliability arguments and constraints-based arguments. We suggest that both strategies are unsuccessful. Against black-box arguments, we point to evidence from empirical psychology, question a central case-study, and raise concerns about a (claimed) evolutionary rationale (...) for the imagination's reliability. Against the constraints-based account, we argue that to the extent that it works, this does not give rise to knowledge that is distinctively from the imagination. We conclude by suggesting that the imagination's role in raising possibilities, traditionally seen as part of the context of discovery, can in fact play a role in justification, including as a bulwark against certain sorts of skepticism. (shrink)

I distinguish three theses associated with the new mechanistic philosophy – concerning causation, explanation and scientific methodology. Advocates of each thesis are identified and relationships among them are outlined. I then look at some recent work on natural selection and mechanisms. There, attention to different kinds of New Mechanism significantly affects of what is at stake.

Many biological investigations are organized around a small group of species, often referred to as ‘model organisms’, such as the fruit fly Drosophila melanogaster. The terms ‘model’ and ‘modelling’ also occur in biology in association with mathematical and mechanistic theorizing, as in the Lotka–Volterra model of predator-prey dynamics. What is the relation between theoretical models and model organisms? Are these models in the same sense? We offer an account on which the two practices are shown to have different epistemic characters. (...) Theoretical modelling is grounded in explicit and known analogies between model and target. By contrast, inferences from model organisms are empirical extrapolations. Often such extrapolation is based on shared ancestry, sometimes in conjunction with other empirical information. One implication is that such inferences are unique to biology, whereas theoretical models are common across many disciplines. We close by discussing the diversity of uses to which model organisms are put, suggesting how these relate to our overall account. 1 Introduction2 Volterra and Theoretical Modelling3 Drosophila as a Model Organism4 Generalizing from Work on Model Organisms5 Phylogenetic Inference and Model Organisms6 Further Roles of Model Organisms6.1 Preparative experimentation6.2 Model organisms as paradigms6.3 Model organisms as theoretical models6.4 Inspiration for engineers6.5 Anchoring a research community7 Conclusion. (shrink)

Evolutionary debunking arguments appeal to selective etiologies of human morality in an attempt to undermine moral realism. But is morality actually the product of evolution by natural selection? Although debunking arguments have attracted considerable attention in recent years, little of it has been devoted to whether the underlying evolutionary assumptions are credible. In this paper, we take a closer look at the evolutionary hypotheses put forward by two leading debunkers, namely Sharon Street and Richard Joyce. We raise a battery of (...) considerations, both empirical and theoretical, that combine to cast doubt on the plausibility of both hypotheses. We also suggest that it is unlikely that there is in the vicinity a plausible alternative hypothesis suitable for the debunker’s cause. (shrink)

Some philosophers of science – the present author included – appeal to fiction as an interpretation of the practice of modeling. This raises the specter of an incompatibility with realism, since fiction-making is essentially non-truth-regulated. I argue that the prima facie conflict can be resolved in two ways, each involving a distinct notion of fiction and a corresponding formulation of realism. The main goal of the paper is to describe these two packages. Toward the end I comment on how to (...) choose among them. (shrink)

Idealization and abstraction are central concepts in the philosophy of science and in science itself. My goal in this paper is suggest an account of these concepts, building on and refining an existing view due to Jones Idealization XII: correcting the model. Idealization and abstraction in the sciences, vol 86. Rodopi, Amsterdam, pp 173–217, 2005) and Godfrey-Smith Mapping the future of biology: evolving concepts and theories. Springer, Berlin, 2009). On this line of thought, abstraction—which I call, for reasons to be (...) explained, abstractness—involves the omission of detail, whereas idealization consists in a deliberate mismatch between a description and the world. I will suggest that while the core idea underlying these authors’ view is correct, they make several assumptions and stipulations that are best avoided. For one thing, they tie abstractness too close to truth. For another, they do not allow sufficient room to the difference between idealization and error. Taking these points into account leads to a refined account of the distinction, in which abstractness is seen in terms of relative richness of detail, and idealization is seen as closely connected with the knowledge and intentions of idealizers. I lay out these accounts in turn, and then discuss the relationship between the two concepts, and several other upshots of the present way of construing the distinction. (shrink)

Analogies to machines are commonplace in the life sciences, especially in cellular and molecular biology — they shape conceptions of phenomena and expectations about how they are to be explained. This paper offers a framework for thinking about such analogies. The guiding idea is that machine-like systems are especially amenable to decompositional explanation, i.e., to analyses that tease apart underlying components and attend to their structural features and interrelations. I argue that for decomposition to succeed a system must exhibit causal (...) orderliness, which I explicate in terms of differentiation among parts and the significance of local relations. I also discuss what makes a model depict its target as machine-like, suggesting that a key issue is the degree of detail with respect to the target’s parts and their interrelations. (shrink)

The Hodgkin–Huxley (HH) model of the action potential is a theoretical pillar of modern neurobiology. In a number of recent publications, Carl Craver ([2006], [2007], [2008]) has argued that the model is explanatorily deficient because it does not reveal enough about underlying molecular mechanisms. I offer an alternative picture of the HH model, according to which it deliberately abstracts from molecular specifics. By doing so, the model explains whole-cell behaviour as the product of a mass of underlying low-level events. The (...) issue goes beyond cellular neurobiology, for the strategy of abstraction exhibited in the HH case is found in a range of biological contexts. I discuss why it has been largely neglected by advocates of the mechanist approach to explanation. 1 Introduction2 A Primer on the HH Model2.1 The basic qualitative picture2.2 The quantitative model3 Interlude: What Did Hodgkin and Huxley Think?4 Craver’s View4.1 Mechanistic explanation4.2 Sketches4.3 Craver's view: The HH model as a mechanism sketch5 An Alternative View of the HH Model5.1 Another look at the equations5.2 The discrete-gating picture5.3 The road paved by Hodgkin and Huxley5.4 Summary and comparison to Craver6 Conclusion: The HH Model and Mechanistic Explanation6.1 Sketches and abstractions6.2 Why has aggregative abstraction been overlooked? (shrink)

This book looks at the role of the imagination in science, from both philosophical and psychological perspectives. These contributions combine to provide a comprehensive and exciting picture of this under-explored subject.

ABSTRACTExperimentation is traditionally considered a privileged means of confirmation. However, why and how experiments form a better confirmatory source relative to other strategies is unclear, and recent discussions have identified experiments with various modeling strategies on the one hand, and with ‘natural’ experiments on the other hand. We argue that experiments aiming to test theories are best understood as controlled investigations of specimens. ‘Control’ involves repeated, fine-grained causal manipulation of focal properties. This capacity generates rich knowledge of the object investigated. (...) ‘Specimenhood’ involves possessing relevant properties given the investigative target and the hypothesis in question. Specimens are thus representative members of a class of systems, to which a hypothesis refers. It is in virtue of both control and specimenhood that experiments provide powerful confirmatory evidence. This explains the distinctive power of experiments: although modelers exert extensive control, they do not exert this control over specimens; although natural experiments utilize specimens, control is diminished. (shrink)

Moral realism is often taken to have common sense and initial appearances on its side. Indeed, by some lights, common sense and initial appearances underlie all the central positive arguments for moral realism. We offer a kind of debunking argument, taking aim at realism’s common sense standing. Our argument differs from familiar debunking moves both in its empirical assumptions and in how it targets the realist position. We argue that if natural selection explains the objective phenomenology of moral deliberation and (...) judgement, then this undermines arguments from that phenomenology. This results in a simpler, and in some ways more direct, challenge to realism. It is also less vulnerable to the main objections that have been leveled against such arguments. If accepted, our conclusion should make a real difference to the dialectic in this area. It means that neither realism nor its denial is the default, to-be-refuted, position. (shrink)

To a large extent, the evidential base of claims in the philosophy of science has switched from thought experiments to case studies. We argue that abandoning thought experiments was a wrong turn, since they can effectively complement case studies. We make our argument via an analogy with the relationship between experiments and observations within science. Just as experiments and ‘natural’ observations can together evidence claims in science, each mitigating the downsides of the other, so too can thought experiments and case (...) studies be mutually supporting. After presenting the main argument, we look at potential concerns about thought experiments, suggesting that a judiciously applied mixed-methods approach can overcome them. (shrink)

Accounts of mechanistic explanation, especially as applied to biology and sometimes going under the heading of “new mechanism,” provided an attractive alternative to nomological accounts that preceded them. These accounts were motivated by selected examples, drawn primarily from cell and molecular biology and neuroscience. However, the range of examples that scientists take to be mechanistic explanations is far broader. We focus on examples that differ from those traditionally recruited by Mechanists. Our contention is that attention to additional examples will lead (...) to a richer conception of mechanistic explanation, prompting a shift from what we refer to as Mechanism 1.0 to Mechanism 2.0. (shrink)

This paper offers a novel view of unity in neuroscience. I set out by discussing problems with the classical account of unity-by-reduction, due to Oppenheim and Putnam. That view relies on a strong notion of levels, which has substantial problems. A more recent alternative, the mechanistic “mosaic” view due to Craver, does not have such problems. But I argue that the mosaic ideal of unity is too minimal, and we should, if possible, aspire for more. Relying on a number of (...) recent works in theoretical neuroscience—network motifs, canonical neural computations and design-principles—I then present my alternative: a “flat” view of unity, i.e. one that is not based on levels. Instead, it treats unity as attained via the identification of recurrent explanatory patterns, under which a range of neuroscientific phenomena are subsumed. I develop this view by recourse to a causal conception of explanation, and distinguish it from Kitcher’s view of explanatory unification and related ideas. Such a view of unity is suitably ambitious, I suggest, and has empirical plausibility. It is fit to serve as an appropriate working hypothesis for 21st century neuroscience. (shrink)

Science and fiction seem to lie at opposite ends of the cognitive-epistemic spectrum. The former is typically seen as the study of hard, real-world facts in a rigorous manner. The latter is treated as an instrument of play and recreation, dealing in figments of the imagination. Initial appearances notwithstanding, several central features of scientific modeling in fact suggest a close connection with the imagination and recent philosophers have developed detailed accounts of models that treat them, in one way or another, (...) as akin to fictions. This chapter will critically discuss the fictions approach as an epistemology of scientific modeling. (shrink)

Thought experiments play a role in science and in some central parts of contemporary philosophy. They used to play a larger role in philosophy of science, but have been largely abandoned as part of the field’s “practice turn”. This chapter discusses possible roles for thought experimentation within a practice-oriented philosophy of science. Some of these roles are uncontroversial, such as exemplification and aiding discovery. A more controversial role is the reliance on thought experiments to justify philosophical claims. It is proposed (...) that if we adopt an underlying empiricist view of concepts, then thought experiments can be seen as affording us contact with scientific practice, despite their seemingly a priori character. The advantages and drawbacks of thought experiments are discussed via comparison with case studies, on the one, and simulations on the other hand. The chapter closes with some remarks on how to combine thought experiments with other methods. (shrink)

Design thinking in general, and optimality modeling in particular, have traditionally been associated with adaptationism—a research agenda that gives pride of place to natural selection in shaping biological characters. Our goal is to evaluate the role of design thinking in non-evolutionary analyses. Specifically, we focus on research into abstract design principles that underpin the functional organization of extant organisms. Drawing on case studies from engineering-inspired approaches in biology we show how optimality analysis, and other design-related methods, play a specific methodological (...) role that is tangential to the study of adaptation. To account for the role of these reasoning strategies in contemporary biology, we therefore suggest a reevaluation of the connection between design thinking and adaptationism. (shrink)

Michael Strevens has produced an ambitious and comprehensive new account of scientific explanation. This review discusses its main themes, focusing on regularity explanation and a number of methodological concerns.

Many have expected that understanding the evolution of norms should, in some way, bear on our first-order normative outlook: How norms evolve should shape which norms we accept. But recent philosophy has not done much to shore up this expectation. Most existing discussions of evolution and norms either jump headlong into the is/ought gap or else target meta-ethical issues, such as the objectivity of norms. My aim in this paper is to sketch a different way in which evolutionary considerations can (...) feed into normative thinking—focusing on stability. I will discuss two forms of argument that utilize information about social stability drawn from evolutionary models, and employs it to assess claims in political philosophy. One such argument treats stability as feature of social states that may be taken into account alongside other features. The other uses stability as a constraint on the realization of social ideals, via a version of the ought-implies-can maxim. These forms of argument are not new; indeed they have a history going back at least to early modern philosophy. But their marriage with evolutionary information is relatively recent, has a significantly novel character, and has received little attention in recent moral and political philosophy. (shrink)

A number of philosophers draw a close analogy between scientific modeling and fiction, often appealing to Kendall Walton’s make-believe view. I assess the models-fictions analogy from a cognitive a...

According to [Bayesian] models” in cognitive neuroscience, says a recent textbook, “the human mind behaves like a capable data scientist”. Do they? That is to say, do such model show we are rational? I argue that Bayesian models of cognition, perhaps surprisingly, do not and indeed cannot, show that we are Bayesian-rational. The key reason is that such models appeal to approximations, a fact that carries significant implications. After outlining the argument, I critique two responses, seen in recent cognitive neuroscience. (...) One says that the mind can be seen as approximately Bayes-rational, while the other reconceives norms of rationality. (shrink)

I offer a defense, albeit a qualified one, of machine analogies in biology, focusing on molecular contexts. The defense is rooted in my prior work (Levy in Philosopher’s Imprint 14(6), 2014), which construes the machine machine-likeness of a system as a matter of the extent to which it exhibits an internal division of labor. A concrete aim is to shore up the notion of molecular biological machines, paying special attention to processive molecular motors, such as Kinesin. But I will (...) also try to show how the division of labor account gives us guidance more broadly, both about where and why machine analogies can be expected to prove helpful and about their limitations. (shrink)

I offer a defense, albeit a qualified one, of machine analogies in biology, focusing on molecular contexts. The defense is rooted in prior work (Levy 2014), which construes the machine machine-likeness of a system as a matter of the extent to which it exhibits an internal division of labor. A concrete aim is to shore up the notion of molecular biological machines, and I’ll pay special attention to processive molecular motors, such as Kinesin. But I will also try to (...) show how the division of labor account gives us guidance more broadly, both about where and why machine analogies can be expected to prove helpful and about their limitations. (shrink)

This paper derives from a broader project dealing with the notion of causal order. I use this term to signify two kinds of parts-whole dependence: Orderly systems have rich, decomposable, internal structure; specifically, parts play differential roles, and interactions are primarily local. Disorderly systems, in contrast, have a homogeneous internal structure, such that differences among parts and organizational features are less important. Orderliness, I suggest, marks one key difference between individuals and collectives. My focus here will be the connection between (...) order and robustness, i.e. functional resilience in the face of internal or environmental perturbations. I distinguish three varieties of robustness. Ordered robustness is grounded in the system’s specific organizational pattern. In contrast, disorderly robustness stems from the aggregate outcome of many similar parts. In between, we find semi-ordered robustness, wherein a messy ensemble of elements is subjected to a selection or stabilization mechanism. I give brief characterizations of each category, discuss examples and remark on the connection between the order/disorder axis and the notions of individual versus collective. (shrink)

Biologists frequently draw on ideas and terminology from engineering. Evolutionary systems biology—with its circuits, switches, and signal processing—is no exception. In parallel with the frequent links drawn between biology and engineering, there is ongoing criticism against this cross-fertilization, using the argument that over-simplistic metaphors from engineering are likely to mislead us as engineering is fundamentally different from biology. In this article, we clarify and reconfigure the link between biology and engineering, presenting it in a more favorable light. We do so (...) by, first, arguing that critics operate with a narrow and incorrect notion of how engineering actually works, and of what the reliance on ideas from engineering entails. Second, we diagnose and diffuse one significant source of concern about appeals to engineering, namely that they are inherently and problematically metaphorical. We suggest that there is plenty of fertile ground left for a continued, healthy relationship between engineering and biology. (shrink)

The study of biological altruism is a cornerstone of modern evolutionary biology. Associated with foundational issues about natural selection, it is often supposed that explaining altruism is key to understanding social behavior more generally. Typically, biological altruism is defined in purely effects-based, behavioral terms – as an interaction in which one organism contributes fitness to another, at its own expense. Crucially, such a definition isn’t meant to rest on psychological or intentional assumptions. We show that, appearances and official definitions notwithstanding, (...) the notion biological altruism carries a vestige of the psychological, intentional concept familiar to us from the human domain. In particular, definitions of altruism from Hamilton onwards presuppose an actor\recipient distinction – a distinction, so we argue, that has questionable biological grounding. We arrive at this conclusion step-by-step, first looking at several simple, “austere” definitions and their problems, and then critiquing the actor\recipient distinction directly. If successful, our arguments suggest that the category of biological altruism requires a significant rethink. (shrink)

Carl Craver’s recent book offers an account of the explanatory and theoretical structure of neuroscience. It depicts it as centered around the idea of achieving mechanistic understanding, i.e., obtaining knowledge of how a set of underlying components interacts to produce a given function of the brain. Its core account of mechanistic explanation and relevance is causal-manipulationist in spirit, and offers substantial insight into casual explanation in brain science and the associated notion of levels of explanation. However, the focus on mechanistic (...) explanation leaves some open questions regarding the role of computation and cognition. (shrink)

Evolutionary debunking arguments (EDAs) have attracted extensive attention in meta-ethics, as they pose an important challenge to moral realism. Mogensen (2015) suggests that EDAs contain a fallacy, by confusing two distinct forms of biological explanation – ultimate and proximate. If correct, the point is of considerable importance: evolutionary genealogies of human morality are simply irrelevant for debunking. But we argue that the actual situation is subtler: while ultimate claims do not strictly entail proximate ones, there are important evidential connections between (...) the two. Attending to these connections clears ground for a new and improved EDA. However, it also brings into view some possible problems with EDAs that have been largely neglected so far. (shrink)

We present correct and natural development of fundamental analysis in a predicative set theory we call PZFU\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {PZF}^{\mathsf {U}}}$$\end{document}. This is done by using a delicate and careful choice of those Dedekind cuts that are adopted as real numbers. PZFU\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {PZF}^{\mathsf {U}}}$$\end{document} is based on ancestral logic rather than on first-order logic. Its key feature is that it is definitional in the sense (...) that every object which is shown in it to exist is defined by some closed term of the theory. This allows for a very concrete, computationally-oriented model of it, and makes it very suitable for MKM and ITP. The development of analysis in PZFU\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {PZF}^{\mathsf {U}}}$$\end{document} does not involve coding, and the definitions it provides for the basic notions are the natural ones, almost the same as one can find in any standard analysis book. (shrink)

This is a review of Arnon Levy and Peter Godfrey-Smith's book, The Scientific Imagination.

The Scientific Imagination: Philosophical and Psychological Perspectives, edited by Arnon Levy and Peter Godfrey-Smith (2020), attempts to bring some much-neede.

In this paper we explore the constraints that our preferred account of scientific representation places on the ontology of scientific models. Pace the Direct Representation view associated with Arnon Levy and Adam Toon we argue that scientific models should be thought of as imagined systems, and clarify the relationship between imagination and representation.

Some philosophers have criticized the use of psychopharmaceuticals on the grounds that even if these drugs enhance the person using them, they threaten their authenticity. Others have replied by pointing out that the conception of authenticity upon which this argument rests is contestable; on a rival conception, psychopharmaceuticals might be used to enhance our authenticity. Since, however, it is difficult to decide between these competing conceptions of authenticity, the debate seems to end in a stalemate. I suggest that we need (...) not resolve this debate to end the stalemate. New technologies which alter the self can be understood within the framework of the first conception of authenticity, I suggest, not as threatening the authentic self, but rather as bringing the outward appearance of the self into line with its deepest essence. Since psychopharmaceutical use can plausibly be understood on this model, it can be seen as enhancing our authenticity on either conception. (shrink)

Implicit attitudes are mental states that appear sometimes to cause agents to act in ways that conflict with their considered beliefs. Implicit attitudes are usually held to be mere associations between representations. Recently, however, some philosophers have suggested that they are, or are very like, ordinary beliefs: they are apt to feature in properly inferential processing. This claim is important, in part because there is good reason to think that the vocabulary in which we make moral assessments of ourselves and (...) of others is keyed to folk psychological concepts, like ‘belief’, and not to concepts that feature only in scientific psychology: if implicit attitudes are beliefs there is a prima facie case for thinking that they can serve as the basis for particular kinds of moral assessment. In this paper I argue that while implicit attitudes have propositional structure, their sensitivity and responsiveness to other mental representations is too patchy and fragmented for them to properly be considered beliefs. Instead, they are a sui generis kind of mental state, a state I dub patchy endorsements. (shrink)

This article explores the remaking of classical liberal rights in digital spaces, with a focus on property rights in artificial intelligence (AI) crowds. The rise of crowds in digital and technological spaces has created new opportunities for users, but their accumulated contributions create added value for the platforms and manufacturers that manage the crowd, leading to a curtailment of individual autonomy. The article identifies two parallel processes that characterize individuals’ involvement in digital crowds: manufacturers construct the property rights of individual (...) users as crowd-based rights, while also working to de-crowd users in other contexts. The article compares crowd-based rights to potential group rights and individual rights in non-digital spheres, exposing the weakness of manufacturer-constituted crowd-based rights. The article concludes by discussing possible legal conceptions of the crowd and its governance. (shrink)

It is sometimes objected that we cannot adopt skepticism about moral responsibility, because the criminal justice system plays an indispensable social function. In this paper, I examine the implications of moral responsibility skepticism for the punishment of those convicted of crime, with special attention to recent arguments by Saul Smilansky. Smilansky claims that the skeptic is committed to fully compensating the incarcerated for their detention, and that this compensation would both be too costly to be practical and would remove the (...) deterrent function from incarceration. I argue that the skeptic is not committed to full compensation of the offender, and that the costs of such compensation would in any case be far smaller than Smilansky thinks. In fact, I claim, the costs of the criminal justice system to which the skeptic is committed might be very much lower than the costs – economic, social and moral – we currently pay as a consequence of our system of punishment. (shrink)