It has been suggested that intuitions supporting the nonvacuity of counterpossibles can be explained by distinguishing an epistemic and a metaphysical reading of counterfactuals. Such an explanation must answer why we tend to neglect the distinction of the two readings. By way of an answer, I offer a generalized pattern for explaining nonvacuity intuitions by a stand-and-fall relationship to certain indicative conditionals. Then, I present reasons for doubting the proposal: nonvacuists can use the epistemic reading to turn the table against (...) vacuists, telling apart significant from spurious intuitions. Moreover, our intuitions tend to survive even if we clear-headedly intend a metaphysical reading. -/- . (shrink)

Sobel sequences have had a huge impact on the discussion of counterfactuals. They can be composed of conditionals and mere descriptions. What is especially puzzling about them is that they are often felicitously uttered when their reversal is not. Up to now, there is no unified explanation. I examine two strategies. We might begin with conditionals and proceed to descriptions. Or we might begin with descriptions and proceed to conditionals. I argue for the latter variant and outline a universal theory (...) of Sobel sequences in terms of presuppositional anaphora. One relevant result is that the phenomenon neither counts against nor in favour of the simplified standard account of counterfactuals à la Stalnaker-Lewis. (shrink)

Abstract. I outline the standard picture of fiction. According to this picture, fiction is centred on making believe some truth-apt content. I take a closer look at everyday usage of the expressions ‘according to the fiction’ and ‘in the fiction’ to countervail the streamlining tendencies that come with the standard picture. Having outlined highly variegated use patterns, I argue for a metaexpressivist picture: ‘according to the fiction’ does not primarily report fictional truth but a complex pattern of reactions the fiction (...) seems intended to elicit. In the corresponding expressivist picture of the act of fiction-making, the latter is not primarily modeled on stating and believing truth but on the variegated pattern of intended reactions. (shrink)

Robert Brandom charakterisiert singuläre Termini durch ihre symmetrische substitutionsinferentielle Rolle. Er entwickelt ein transzendentales Argument, wonach solche Termini notwendig für jede Sprache sind, welche die üblichen logischen Ausdrucksressourcen wie Negation und Konditional besitzt. Verschiedene Einwände werden diskutiert. Brandom kann die Forderung erfüllen, dass die Semantik einer Sprache kompositional sein muss. Er kann auch mit der asymmetrischen inferentiellen Rolle bestimmter singulärer Termini umgehen, sofern diese nicht systematisch ist. Aber er kann der Möglichkeit nicht gerecht werden, singuläre Termini einzuführen, die nicht durch (...) eine symmetrische substitutionsinferentielle Rolle konstituiert sind. Ungeachtet der Einführung solcher Termini bleiben normale logische Ausdrucksressourcen erhalten. (shrink)

Many philosophers are very sanguine about the cognitive contributions of fiction to science and philosophy. I focus on a case study: Ichikawa and Jarvis’s account of thought experiments in terms of everyday fictional stories. As far as the contribution of fiction is not sui generis, processing fiction often will be parasitic on cognitive capacities which may replace it; as far as it is sui generis, nothing guarantees that fiction is sufficiently well-behaved to abide by the constraints of scientific and philosophical (...) discourse, not even by the minimum requirements of conceptual and logical coherence. (shrink)

Andy Egan has presented a dilemma for decision theory. As is well known, Newcomb cases appear to undermine the case for evidential decision theory. However, Egan has come up with a new scenario which poses difficulties for causal decision theory. I offer a simple solution to this dilemma in terms of a modified EDT. I propose an epistemological test: take some feature which is relevant to your evaluation of the scenarios under consideration, evidentially correlated with the actions under consideration albeit, (...) causally independent of them. Hold this feature fixed as a hypothesis. The test shows that, in Newcomb cases, EDT would mislead the agent. Where the test shows EDT to be misleading, I propose to use fictive conditional credences in the EDT-formula under the constraint that they are set to equal values. I then discuss Huw Price’s defence of EDT as an alternative to my diagnosis. I argue that my solution also applies if one accepts the main premisses of Price’s argument. I close with applying my solution to Nozick’s original Newcomb problem. (shrink)

I outline Hume’s views about conceivability evidence. Then I critically scrutinize two threats to conceivability-based modal epistemology. Both arise from Hume’s criticism of claims to knowing necessary causal relationships: Firstly, a sceptical stance towards causal necessity may carry over to necessity claims in general. Secondly, since – according to a sceptical realist reading – Hume grants the eventuality of causal powers grounded in essential features of objects, conceivability-based claims to comprehensive metaphysical possibilities seem endangered. I argue that although normal conceivability-based (...) claims are defeasible, they are prima facie vindicated. (shrink)

Descartes wants to show that clear and distinct ideas are trustworthy. However, his argument seems circular. For his premise that God is trustworthy depends on clear and distinct insight. Descartes’ reaction to the circularity reproach can be interpreted in two ways. The first is a psychological one. Clear and distinct insights are coercing. Thus they cannot be doubted as long as one attends to them. The argument is only meant to extend this instantaneous coercion to the whole range of psychological (...) states. This reaction does not fit Descartes’ aim of more reliable beliefs. The second interpretation integrates this aim of reliability into the demands of clarity and distinctness. Clear and distinct insights are to bridge the gap between internal accessibility and external reliability. Yet in this interpretation the invocation of God’s trustworthiness seems superfluous. Departing from contemporary epistemological ideas two possibilities to nevertheless make sense of this invocation are discussed. The first is that the argument of God’s trustworthiness provides a gain in reflective coherence. However, this reasoning conflicts with the situation of methodic doubt which involves suspending one’s whole system of belief. The second, more promising possibility is that it is an epistemic aim to provide an account of origin and purpose of our cognitive faculties. (shrink)

Against modal rationalism, Manolo Martínez argues that elementary bodily mechanisms allow cognizers to know possibility. He presents an exemplary behavioral mechanism adapted to maximizing expected outcome in a random game. The bodily mechanism purportedly tracks probabilities and related possibilities. However, it is doubtful that cognizers like us can know metaphysical modalities purely by virtue of bodily mechanisms without using rational capacities. Firstly, Martínez’s mechanism is limited. But knowledge of probabilities arguably has to cover a variety of probabilistic outcomes. One may (...) need an ability to calculate probabilities. Bodily mechanisms can realize such an ability, but this will presumably amount to instantiating rational capacities. Secondly, the purported connection between the items tracked by the bodily mechanism and genuine metaphysical possibilities is tenuous. There are points at which it may fail. Further, we would need to know by rational metaphysical considerations that the connection holds in order to bodily know possibilities. (shrink)

In Counterfactual Conditionals, Daniel Dohrn discusses the standard account of counterfactuals, conditionals of the form ‘If A had been the case, then B would have been the case’. According to the standard account, a counterfactual is true if the then-sentence is true in all closest worlds in which the if-sentence is true. Closeness is spelled out in terms of an ordering of worlds by their similarity. Dohrn explores resources of defending the standard account against several challenges. In (...) particular, he defends the standard logics for counterfactuals. He discusses exemplary doubts as to whether conditionals have truth conditions. He inquires into the interaction between truth and probability of counterfactuals. He tackles problems with the similarity ordering. He address the interaction between counterfactuals and normalcy conditions. He closes with elaborating peculiarities of future-directed counterfactuals. (shrink)

The model-theoretic argument known as Putnam´s paradox threatens our notion of truth with triviality: Almost any world can satisfy almost any theory. Formal argument and intuition are at odds. David Lewis devised a solution according to which the very stucture of the world fixes how it is to be divided into elite classes which determine the reference of any true theory. Three claims are defended: Firstly, Lewis´ proposal must be completed by an account of successful referential intentions. Secondly, contrary to (...) Catherine Elgin´s criticism of Lewis, natural properties corresponding to elite classes may play a role in sound scientific inquiry. Thirdly, despite Bas van Fraassen´s objection that the sceptic cannot consistently maintain doubts about reference, there is a promising sceptical strategy of exploiting Putnam´s results which is answered by Lewis´ account. (shrink)

Berit Brogaard and Joe Salerno (2008) have defended the validity of counterfactual hypothetical syllogism (CHS) within the Stalnaker-Lewis account. Whenever the premisses of an instance of CHS are non-vacuosly true, a shift in context has occurred. Hence the standard counterexamples to CHS suffer from context failure. Charles Cross (2011) rejects this argument as irreconcilable with the Stalnaker-Lewis account. I argue against Cross that the basic Stalnaker-Lewis truth condition may be supplemented in a way that makes (CHS) valid. Yet pace Brogaard (...) and Salerno, there are alternative ways of spelling out the basic truth condition which are standard in most debates; and given these ways, the counterexamples to CHS are successful. (shrink)

I take issue with two claims of DeRose: Conditionals of deliberation must not depend on backtracking grounds. ‘Were’ed-up conditionals coincide with future-directed indicative conditionals; the only difference in their meaning is that they must not depend on backtracking grounds. I use Egan’s counterexamples to causal decision theory to contest the first and an example of backtracking reasoning by David Lewis to contest the second claim. I tentatively outline a rivaling account of ‘were’ed-up conditionals which combines features of the standard analysis (...) of counterfactuals with the contextual relevance of the corresponding indicative conditionals. (shrink)

Interpretive charity is an important principle in devising the content of propositional attitudes and their expression. I want to argue that it does not square well with externalism about content. Although my argument clearly also applies to a principle of maximizing truth (as it requires only the true belief - component of knowledge), I will focus my attention to Timothy Williamson’s more intriguing recent proposal of maximizing knowledge.

I critically assess Stephen Yablo’s claim that cassinis are ovals is an a posteriori conceptual necessity. One does not know it simply by mastering the relevant concepts but by substantial empirical scrutiny. Yablo represents narrow content by would have turned out -conditionals. An epistemic reading of such conditionals does not bear Yablo’s claim. Two metaphysically laden readings are considered. In one reading, Yablo’s conditionals test under what circumstances concepts remain the same while their extensions diverge. As an alternative, I develop (...) a more literal metaphysical interpretation: Yablo’s conditionals draw on scenarios which are qualitatively identical to some original situation. None of these interpretations sustains Yablo’s core thesis. (shrink)

A basic intuition about epistemic possibility is the following: It might be that p iff it is open whether p. The standard way of cashing out this intuition is: It might be that p iff it is reconcilable with one’s informational state that p. However, there are certain examples which point to a lacuna in this conception. They indicate that epistemic possibility is restricted to what one can conceive as an alternative, what one can have a cognitive attitude to.

I criticize Yamada's account of rule-following. Yamada's conditions are not necessary. And he misses the deepest level of the rule-following considerations: how meaning rules come about.

In a series of articles, David Barnett (2006, 2009, 2010) has developed a general theory of conditionals. The grand aim is to reconcile the two main rivals: a suppositional and a truth-conditional view (Barnett 2006, 521). While I confine my critical discussion to counterfactuals, I will give some hints how they might spell trouble for his suppositional view in general.

Matthew Soteriou provides an analysis of authoritatively knowing one’s own mental acts which depends on a surprising assumption: One cannot truly judge that one is judging. After briefly criticizing his account of one’s awareness that one is judging, I critically scrutinize two of his arguments against the possibility of truly judging that one is judging. Firstly, assuming such a possibility leads to a regress. Secondly, the second-order judgement inevitably replaces the first-order judgement such as to make the former wrong.

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

This paper will attempt to assess the primary differences between what I take to be the two primary philosophical "traditions" in contemporary French philosophy, using Derrida (transcendence) and Deleuze (immanence) as exemplary representatives. The body of the paper will examine the use of these terms in three different areas of philosophy on which Derrida and Deleuze have both written: subjectivity, ontology, and epistemology. (1) In the field of subjectivity, the notion of the subject has been critiqued in two manners, either (...) by appealing either to the transcendence of the other (Levinas, Derrida) or to the immanent jlux of experience itself, in relation to which the Ego itself is trancendent (Deleuze, Foucault, Sartre, James). (2) In the field of ontology, a purely "immanent" ontology would be an ontology in which there is neither a "beyond" or an "otherwise" Being, nor "interruptions" in Being, both of which would require an appeal to a formal element of transcendence (Deleuze). Such a "transcendent" and aporetic structure, which can never appear or be present as such within Being, is what lies at the basis of the project of deconstruction, with its attendant aporias (Derrida). (3) This distinction, finally, finds parallels in Kant's epistemology, for whom the possible experience is conditioned by purely immanent criteria (Deleuze), whereas what goes beyond the limits of possible experience is transcendent (Derrida). Drawing on these three thread of analysis, the paper concludes with an assessment of what is at stake in the ethical differences between the two traditions. The question of "transcendence" is "What mast I do?", which is the question of morality (a duty or obligation that is beyond being, an "ought" beyond the "is"). The question of "immanence" is "What can I do?" (my power or capacity as an existing individual within being). For Levinas and Derrida, ethics precedes ontology because it is derived from an element of transcendence (the Other); for Deleuze, ethics is ontology because it is derived from the immanent relation of beings to Being at the level of their existence (Spinoza). (shrink)

It has become customary to conceptualize the living cell as an intricate piece of machinery, different to a man-made machine only in terms of its superior complexity. This familiar understanding grounds the conviction that a cell's organization can be explained reductionistically, as well as the idea that its molecular pathways can be construed as deterministic circuits. The machine conception of the cell owes a great deal of its success to the methods traditionally used in molecular biology. However, the recent introduction (...) of novel experimental techniques capable of tracking individual molecules within cells in real time is leading to the rapid accumulation of data that are inconsistent with an engineering view of the cell. This paper examines four major domains of current research in which the challenges to the machine conception of the cell are particularly pronounced: cellular architecture, protein complexes, intracellular transport, and cellular behaviour. It argues that a new theoretical understanding of the cell is emerging from the study of these phenomena which emphasizes the dynamic, self-organizing nature of its constitution, the fluidity and plasticity of its components, and the stochasticity and non-linearity of its underlying processes. (shrink)

Sometimes, learning about the origins of a belief can make it irrational to continue to hold that belief—a phenomenon we call ‘genealogical defeat’. According to explanationist accounts, genealogical defeat occurs when one learns that there is no appropriate explanatory connection between one’s belief and the truth. Flatfooted versions of explanationism have been widely and rightly rejected on the grounds that they would disallow beliefs about the future and other inductively-formed beliefs. After motivating the need for some explanationist account, we raise (...) some problems for recent versions of explanationism. Learning from their failures, we then produce and defend a more resilient explanationism. (shrink)

This paper explores various subtleties in our ordinary thought and talk about normative reasons—subtleties which, if taken seriously, have various upshots, both substantive and methodological. I focus on two subtleties in particular. The first concerns the use of reason (in its normative sense) as both a count noun and as a mass noun, and the second concerns the context-sensitivity of normative reasons-claims. The more carefully we look at the language of reasons, I argue, the clearer its limitations and liabilities become. (...) The cumulative upshot is that although talk of reasons is intelligible and useful for the purposes of communication, we should be wary of placing much weight on it when engaging in substantive normative inquiry. By way of illustration, I consider some potential pitfalls of taking our talk of reasons too seriously, explaining how careful attention to the language of reasons undermines the main argument for moral particularism, Mark Schroeder’s recent defense of Humeanism about practical reasons, and the “reasons-first” program in metanormativity. (shrink)

Motion—and, in particular, local motion or change in location—plays a central role in Kenelm Digby’s natural philosophy and in his arguments for the immateriality of the soul. Despite this, Digby’s account of what motion consists in has yet to receive much scholarly attention. In this paper, I advance a novel interpretation of Digby on motion. According to it, Digby holds that for a body to move is for it to divide from and unify with other bodies. This is a view (...) of motion—as change in relations of parthood—that Alison Peterman attributes to Digby’s contemporary and acquaintance, Margaret Cavendish. Having shown that Digby’s presentation of the view predates Cavendish’s by more than a decade, I make a case that Digby’s work influenced Cavendish’s on this topic. In developing and defending my reading, I consider to what extent the Digbean account of motion and the arguments for it accord with the ideals of the mechanical philosophy emerging in the early modern period. (shrink)

There has recently been a focus on the question of statue removalism. This concerns what to do with public history statues that honour or otherwise celebrate ethically bad historical figures. The specific wrongs of these statues have been understood in terms of derogatory speech, inapt honours, or supporting bad ideologies. In this paper I understand these bad public history statues as history, and identify a distinctive class of public history-specific wrongs. Specifically, public history plays an important identity-shaping role, and bad (...) public history can commit specifically ontic injustice. Understanding bad public history in terms of ontic injustice helps understand not just to address bad public history statues, but also understand the value of public history more broadly. (shrink)

Creationism about fictional entities requires a principle connecting what fictions say exist with which fictional entities really exist. The most natural way of spelling out such a principle yields inconsistent verdicts about how many fictional entities are generated by certain inconsistent fictions. Avoiding inconsistency without compromising the attractions of creationism will not be easy.

Supererogatory acts are those that lie “beyond the call of duty.” There are two standard ways to define this idea more precisely. Although the definitions are often seen as equivalent, I argue that they can diverge when options are infinite, or when there are cycles of better options; moreover, each definition is acceptable in only one case. I consider two ways out of this dilemma.

The U.S. election in November 2016 raised and amplified doubts about first-past-the-post (“plurality rule”) electoral systems. Arguments against plurality rule and for alternatives like preferential voting tend to be consequentialist: it is argued that systems like preferential voting produce different, better outcomes. After briefly noting why the consequentialist case against plurality rule is more complex and contentious than it first appears, I offer an expressive alternative: plurality rule produces actual or apparent dilemmas for voters in ways that are morally objectionable, (...) and avoidable under preferential voting systems. This expressive case against plurality rule is both simpler and more ecumenical than its consequentialist counterpart, and it provides strong reasons to prefer alternatives to plurality rule. Moreover, it suggests a distinct way of evaluating different alternatives like preferential voting. (shrink)

Journal of Applied Philosophy, EarlyView.

Difference and Repetition might be said to have brought about a Deleuzian Revolution in philosophy comparable to Kant’s Copernican Revolution. Kant had denounced the three great terminal points of traditional metaphysics – self, world and God – as transcendent illusions, and Deleuze pushes Kant’s revolution to its limit by positing a transcendental field that excludes the coherence of the self, world and God in favour of an immanent and differential plane of impersonal individuations and pre-individual singularities. In the process, he (...) introduces numerous conceptual innovations into philosophy: the becoming of concepts; a transformation of the form of the question; an insistence that philosophy must start in the middle; an attempt to think in terms of multiplicities; the development of a new logic and a new metaphysics based on a concept of difference; a new conception of space as intensive rather than extensive; a conception of time as a pure and empty form; and an understanding of philosophy as a system in heterogenesis – that is, a system that entails a perpetual genesis of the heterogeneous, an incessant production of the new. -/- Keywords: concepts, becoming, multiplicity, singularity, the middle [au milieu], difference, intensity, time, system, the new. (shrink)

The debate regarding the role of conscientious objection in healthcare has been protracted, with increasing demands for curbs on conscientious objection. There is a growing body of evidence that indicates that in some cases, high rates of conscientious objection can affect access to legal medical services such as abortion—a major concern of critics of conscientious objection. Moreover, few solutions have been put forward that aim to satisfy both this concern and that of defenders of conscientious objection—being expected to participate in (...) the provision of services that compromise their moral integrity. Here we attempt to bring some resolution to the debate by proposing a pragmatic, long-term solution offering what we believe to be an acceptable compromise—a quota system for medical trainees in specialties where a conscientious objection can be exercised, and is known to cause conflict. We envisage two main objectives of the quota system we propose. First, as a means to introduce conscientious objection into countries where this is not presently permitted. Second, to minimise or eliminate the effects of high rates of conscientious objection in countries such as Italy, where access to legal abortion provision can be negatively affected. (shrink)

A remarkable number of Nietzsche's substantive moral psychological views have been borne out by evidence from the empirical sciences. Moral judgments are products of affects on Nietzsche's view, but the latter are in turn causally dependent upon more fundamental features of the individual. Nietzsche accepts a doctrine of types. The path is short from the acceptance of the Doctrine of Types to the acceptance of epiphenomenalism, as Leiter, and more recently, Riccardi argue. This chapter explains Nietzsche's phenomenological account of willing, (...) which serves as independent motivation for the view that Nietzsche denies the causal efficacy of conscious acts of willing. It also explores that in spite of an absence of volitional freedom, self‐control can be usefully understood on a strength‐model of motivational resources. The chapter concludes with a brief discussion of how Nietzsche, without employing the contemporary methods of empirical psychology, could nonetheless be such a prescient moral psychologist. (shrink)

Our aim here is to explore the prospects of a relativist response to moral debunking arguments. We begin by clarifying the relativist thesis under consideration, and we explain why relativists seem well-positioned to resist the arguments in a way that avoids the drawbacks of existing responses. We then show that appearances are deceiving. At bottom, the relativist response is no less question-begging than standard realist responses, and – when we turn our attention to the strongest formulation of the debunking argument (...) – the virtues of relativism turn out to be vices. (shrink)

Supererogatory acts—good deeds “beyond the call of duty”—are a part of moral common sense, but conceptually puzzling. I propose a unified solution to three of the most infamous puzzles: the classic Paradox of Supererogation (if it’s so good, why isn’t it just obligatory?), Horton’s All or Nothing Problem, and Kamm’s Intransitivity Paradox. I conclude that supererogation makes sense if, and only if, the grounds of rightness are multi-dimensional and comparative.

Précis for a book symposium, with contributions from Meg Wallace, Louis deRosset, and Chris Tillman and Joshua Spencer.

We give a brief overview of several recent strands of speech-act theory, and then survey some issues in social and political philosophy can be profitably understood in speech-act-theoretic terms. Our topics include the social contract, the law, the creation and reinforcement of social norms and practices, silencing, and freedom of speech.

Debunking arguments—also known as etiological arguments, genealogical arguments, access problems, isolation objec- tions, and reliability challenges—arise in philosophical debates about a diverse range of topics, including causation, chance, color, consciousness, epistemic reasons, free will, grounding, laws of nature, logic, mathematics, modality, morality, natural kinds, ordinary objects, religion, and time. What unifies the arguments is the transition from a premise about what does or doesn't explain why we have certain mental states to a negative assessment of their epistemic status. I examine (...) the common, underlying structure of the arguments and the different strategies for motivating and resisting the premises of debunking arguments. (shrink)

This article synthesizes the results of several interviews with argumentation scholars from across the American continents to address three questions regarding the connections in argumentation studies between North and South/Central America: “What motivated the study of argumentation in the Americas?” “What commonalities, if any, exist in argumentation studies across the Americas?” and “What should the future of argumentation studies in the Americas look like?” Using these interviews in combination with existing textual sources, the article also provides motivated suggestions for directions (...) for the future of the community in the field. (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...) inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)