ABSTRACT Possibilistic states of information are fuzzy sets of possible worlds. They constitute a complete lattice, which can be endowed with a monoidal operation (a t-norm) to produce a quantal. An algebraic semantics is presented which links possibilistic formulae with information states, and gives a natural interpretation of logical connectives as operations on fuzzy sets. Due to the quantal structure of information states, we obtain a system which shares several features with (exponential-free) intuitionistic linear logic. Soundness and completeness are proved, (...) parametrically on the choice of the t-norm operation. (shrink)

This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).

Translation of Aristotle's Physics I-II into Portuguese, with commentaries. Tradução para o português dos livros I e II da Física de Aristóteles, com comentários.

This paper discusses some issues concerning the definition of moral virtue in Nicomachean Ethics 1106b 36- 1107a 2. It is reasonable to expect from a definition the complete enumeration of the relevant features of its definiendum, but the definition of moral virtue seems to fail in doing this task. One might be tempted to infer that this definition is intended by Aristotle as a mere preliminary account that should be replaced by a more precise one. The context of the argument (...) Aristotle develops in Book II of his NE give us some help. I argue that the definition of moral virtue, once considered in the light of its context, is far from being an incomplete and provisional account: it rather introduces coherently the same notion of moral virtue that Aristotle employs in other texts (as in Nicomachean Ethics VI 13). My main proposal is that the way in which "hexis" is understood in the context of previous chapters allows Aristotle to encode in it the notion of an ability to do the right things regularly. Thus, moral virtue is a "hexis prohairetike etc.", but the ability to do the right things regularly is already encoded in the occurrence of "hexis" in the definiens account of moral virtue, as if Aristotle meant "hexis [praktike] prohairetike". (shrink)

Translation of Aristotle's Metaphysics Lambda into Portuguese.

Translation of passages of Aristotle's De Anima into Portuguese. The passages are these: I.1, I.4 (the 'Rylean passage'); II.1-6; III.1-8. The translation is preliminary.

This book examines phenomenal conservatism, one of the most influential and promising internalist conceptions of non-inferential justification debated in current epistemology and philosophy of mind. It also explores the significance of the findings of this examination for the general debate on epistemic justification. According to phenomenal conservatism, non-inferential justification rests on seemings or appearances, conceived of as experiences provided with propositional content. Phenomenal conservatism states that if it appears to S that P, in the absence of defeaters, S thereby has (...) some justification for believing that P. This view provides the basis for foundationalism and many ordinary epistemic practices. This book sheds new light on phenomenal conservatism by assessing objections to it and examining epistemological merits and advantages attributed to it. In a nutshell, phenomenal conservatism is actually compatible with Bayesian reasoning, and it is unaffected by bootstrapping problems and challenges that appeal to the cognitive penetrability of perception. Nevertheless, appearance-based justification proves unstable or elusive and its antisceptical bite is more limited than expected. These difficulties could be surmounted if phenomenal conservatism were integrated with a theory of inferential justification. The book appeals to scholars and postgraduates in the field of epistemology and philosophy of mind who are interested in the rational roles of appearances. (shrink)

In this paper we focus on transmission and failure of transmission of warrant. We identify three individually necessary and jointly sufficient conditions for transmission of warrant, and we show that their satisfaction grounds a number of interesting epistemic phenomena that have not been sufficiently appreciated in the literature. We then scrutinise Wright’s analysis of transmission failure and improve on extant readings of it. Nonetheless, we present a Bayesian counterexample that shows that Wright’s analysis is partially incoherent with our analysis of (...) warrant transmission and prima facie defective. We conclude exploring three alternative lines of reply: developing a more satisfactory account of transmission failure, which we outline; dismissing the Bayesian counterexample by rejecting some of its assumptions; reinterpreting Wright’s analysis to make it immune to the counterexample. (shrink)

Translation of Aristotle’s Metaphysics IX and X (Theta & Iota) into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2004, is preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

I discuss a short string of five sentences in Metaphysics V.5, 1015b6-9 relating demonstration to necessity. My proposal is that Aristotle focuses his attention on the demonstration as a demonstration. Other interpretations reduce the necessity in question to the modality of the component sentences of the demonstrations (the conclusion and the premises). My view does not deny that the modality of the component sentences is important, but takes seriously the idea that a demonstration itself should be understood as necessary—as not (...) capable of being otherwise. A demonstration cannot be different from what it is in the sense that [i] its components cannot be different from what they are, [ii] its components must be related to each other exactly in the way they are related. Demonstrations aim at the fully appropriate explanation of a given explanandum—and each demonstration is individuated by the explanandum it takes. Thus, the basic idea is that, for the target explanandum that individuates a given demonstration, the premises delivering the fully appropriate explanation cannot be replaces with different ones. I show how this proposal, which explains Aristotle’s language in 1015b6-9 accurately, does not make demonstrations ‘melt down into conditional necessity’, first, because the modality of the component sentences is still importantly involved, second, because the explanatory relation expressed in a demonstration is a necessary fact in the real world, so that the demonstration itself is also necessary (in the way I have explained) inasmuch as it captures that fact. (shrink)

Mindreading (or folk psychology, Theory of Mind, mentalizing) is the capacity to represent and reason about others’ mental states. The Simulation Theory (ST) is one of the main approaches to mindreading. ST draws on the common-sense idea that we represent and reason about others’ mental states by putting ourselves in their shoes. More precisely, we typically arrive at representing others’ mental states by simulating their mental states in our own mind. This entry offers a detailed analysis of ST, considers theoretical (...) arguments and empirical data in favour of and against it, discusses its philosophical implications, and illustrates some alternatives to it. (shrink)

Translation of Aristotle's Metaphysics IV and VI, with notes. The translation is preliminary and intended as a provisional teaching tool to be also used in seminars and discussions with peers in order to reach a more elaborated version.

The assumption that coercion is largely responsible for our legal systems’ efficacy is a common one. I argue that this assumption is false. But I do so indirectly, by objecting to a thesis I call “(Compliance)”, which holds that most citizens comply with most legal mandates most of the time at least partly in virtue of being motivated by legal systems’ threats of sanctions and other unwelcome consequences. The relationship between (Compliance) and the efficacy of legal systems is explained in (...) section 1. There I also show that (Compliance) must be rejected for it relies on unsubstantiated empirical assumptions. In section 2, I claim that an alternative, and more refined, formulation of (Compliance) also lacks adequate support. I conclude with a few general remarks about the centrality of coercion in our thought and talk about legal systems. (shrink)

This chapter has two main sections. In the first section I briefly sketch Immanuel Kant’s moral theory as laid out in his Groundwork of the Metaphysics of Morals (1785). I explain Kant’s claim that morality must be grounded on what he calls a categorical imperative and examine his three formulations of this categorical imperative. In the second section I explain the distinction between “deontological” and “teleological” ethical theories. Kantian ethics is often presented as the paradigm example of a deontological ethical (...) theory, but I question whether Kant’s ethics should be understood as purely deontological. (shrink)

In this paper, I present an interpretation of Wittgenstein's remarks on the experience of wonder at the existence of the world. According to this interpretation, Wittgenstein's feeling of wonder stems from perceiving the existence of the world as an absolute miracle, that is, as a fact that is in principle beyond explanation. Based on this analysis, I will suggest that Wittgenstein's experience is akin to what has been described by other authors such as Coleridge, Pessoa, Heidegger, Scheler, Sartre, and Hadot, (...) among many others. Through a comparison between Wittgenstein and Coleridge on the experience of existence, I shall highlight some core features of this experience, chief among them the use of the notion of nothingness in clarifying what is understood in the experience, the role of intuition, and the presence of a specific pathos. As a whole, this paper aims to provide a contribution to the project of a phenomenology of the experience of existence and intends to create a bridge for a dialogue between Wittgenstein and the phenomenological tradition on the enigma of existence. (shrink)

Transmission of justification across inference is a valuable and indeed ubiquitous epistemic phenomenon in everyday life and science. It is thanks to the phenomenon of epistemic transmission that inferential reasoning is a means for substantiating predictions of future events and, more generally, for expanding the sphere of our justified beliefs or reinforcing the justification of beliefs that we already entertain. However, transmission of justification is not without exceptions. As a few epistemologists have come to realise, more or less trivial forms (...) of circularity can prevent justification from transmitting from p to q even if one has justification for p and one is aware of the inferential link from p to q. In interesting cases this happens because one can acquire justification for p only if one has independent justification for q. In this case the justification for q cannot depend on the justification for p and the inferential link from p to q, as genuine transmission would require. The phenomenon of transmission failure seems to shed light on philosophical puzzles, such as Moore's proof of a material world and McKinsey's paradox, and it plays a central role in various philosophical debates. For this reason it is being granted continued and increasing attention. (shrink)

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...) of composite substances. (shrink)

This book explores the diverse understandings of the archaeological record in both historical and contemporary perspective, while also serving as a guide to reassessing current views. Gavin Lucas argues that archaeological theory has become both too fragmented and disconnected from the particular nature of archaeological evidence. The book examines three ways of understanding the archaeological record - as historical sources, through formation theory, and as material culture - then reveals ways to connect these three domains through a reconsideration of archaeological (...) entities and archaeological practice. Ultimately, Lucas calls for a rethinking of the nature of the archaeological record and the kind of history and narratives written from it. (shrink)

Phenomenal conservatism (PC) is the internalist view that non-inferential justification rests on appearances. PC’s advocates have recently argued that seemings are also required to explain inferential justification. The most general and developed view to this effect is Huemer (2016)’s theory of inferential seemings (ToIS). Moretti (2018) has shown that PC is affected by the problem of reflective awareness, which makes PC open to sceptical challenges. In this paper I argue that ToIS is afflicted by a version of the same problem (...) and it is thus hostage to inferential scepticism. I also suggest a possible response on behalf of ToIS’s advocates. (shrink)

The purpose of this paper is to explore the connection between change and the B-theory of time, sometimes also called the Scientific view of time, according to which reality is a four-dimensional spacetime manifold, where past, present and future things equally exist, and the present time and non-present times are metaphysically the same. I argue in favour of a novel response to the much-vexed question of whether there is change on the B-theory or not. In fact, B-theorists are often said (...) to hold a ‘static’ view of time. But this far from being innocent label: if the B-theory of time presents a model of temporal reality that is static, then there is no change on the B-theory. From this, one can reasonably think as follows: of course, there is change, so the B-theory must be false. What I plan to do in this paper is to argue that in some sense there is change on the B-theory, but in some other sense, there is no change on the B-theory. To do so, I present three instances of change: Existential Change, namely the view that things change with respect to their existence over time; Qualitative Change, the view that things change with respect to how they are over time; Propositional Change, namely the view that things (i.e. propositions) change with respect to truth value over time. I argue that while there is a reading of these three instances of change that is true on the B-theory, and so there is change on the B-theory in this sense, there is a B-theoretical reading of each of them that is not true on the B-theory, and therefore there is no change on the B-theory in this other sense. (shrink)

L’epistemologia (detta anche filosofia della conoscenza o gnoseologia) è la disciplina filosofica che studia come gli esseri umani si rapportano da un punto di vista cognitivo alla realtà che li circonda. Le questioni fondamentali che la interessano sono principalmente di natura normativa. Riguardano il modo in cui dovremmo regolare le nostre credenze alla luce dell’informazione in nostro possesso, e la natura della conoscenza umana ed i suoi limiti. Questo capitolo è organizzato in modo corrispondente. La prima sezione tratta della nozione (...) di giustificazione epistemica, la seconda quella di conoscenza, e la terza introduce il problema filosofico dello scetticismo. (shrink)

I discuss three kinds of relationship between ends and means (or "things that promote ends") in the Aristotelian ethical theory, in order to clarify how moral virtues and phronesis are related both in adopting ends and in determining means for virtuous actions. Phronesis seems to be mainly charged with determining means for an end given by the moral virtues, but it must involve some conception of ends too. Phronesis cannot be parasitic on moral virtue concerning the conception of ends, for (...) otherwise it will lack intrinsic moral value. I argue that the intrinsic moral value of phronesis can be better understood through a certain kind of relation between means and ends that has not received much attention. (shrink)

This paper intends to address social robotics from the Actor-network theory (ANT) perspective. Starting from the critique of Seibt’s approach and the distinction between anthropomorphing and sociomorphing, the paper proposes a new methodological approach based on ANT and negotiation concepts. This approach allows us to: a) assume a more symmetrical ontology in which robots are considered as social agents, like humans; b) consider all the interactional elements as of equal importance; and c) overcome the dualistic limit that is often imposed (...) on social robotics studies, i.e., the tendency to consider only the one-to-one relationship, one man-one robot, inside the laboratory. Anthropomorphing and sociomorphing are the results of a negotiation process that cannot be reduced to a series of degrees of simulation, but must be understood as a complex interactional process between many agents and material mediations. (shrink)

The central idea behind this paper is the claim that Kant's moral idea of a realm of ends is modeled on the category of community examined in his theoretical works, and that understanding Kant's account of the category of community helps us understand certain features of the idea of a realm of ends, and in particular the fact that a member of a realm of ends must be an autonomous agent. For Kant the idea of a community is essentially the (...) idea of a multitude of individuals in interaction and in this paper I will attempt to show why Kant believes that only autonomous individuals can interact. (shrink)

Psychopaths have emotional and rational impairments that can be expressed in persistent criminal behaviour. UK and US law has not traditionally excused disordered individuals for their crimes citing these impairments as a cause for their criminal behaviour. Until now, the discussion of whether psychopaths are morally responsible for their behaviour has usually taken place in the realm of philosophy. However, in recent years, this debate has been informed by scientific and psychiatric advancements, fundamentally so with the development of Robert Hare's (...) diagnostic tool, the Psychopathy Checklist. Responsibility and Psychopathy explores the moral responsibility of psychopaths. It engages with problems at the interface between law, psychiatry, and philosophy, and is divided into three parts offering relevant interdisciplinary background information to address this main problem. The first part discusses the public policy and legal responses to psychopathy. It offers an introduction to the central practical issue of how public policy should respond to psychopathy, providing insights for those arguing about the responsibility of psychopaths. The second part introduces recent scientific advancements in the classification, description, explanation, and treatment of psychopathy. The third part of the volume includes chapters covering the most significant dimensions of philosophical debate on the moral and criminal responsibility of psychopaths. (shrink)

This paper explores the perversion of reality in the context of advanced technologies, such as AI, VR, and AR, through the lens of Jean Baudrillard’s theory of hyperreality and the precession of simulacra. By examining the transformative effects of these technologies on our perception of reality, with a particular focus on the usage of digital avatars, the paper highlights the blurred distinction between the real and the simulated, where the copy becomes more ‘real’ than the original. Drawing on Baudrillard’s concept (...) of hyperreality, the paper delves into the perversion of reality as individuals seek refuge in virtual pleasure paradises and embrace artificial pleasures through their digital avatars, disconnecting from genuine human experiences. The convergence of AI, VR, and AR technologies amplifies this hyperreal condition, where digital avatars mimic or surpass the depth of human relationships, challenging our understanding of what is real. In line with Baudrillard’s theory, the paper explores the objectification and commodification of reality within digital spaces, specifically examining the digital avatars’ role in the erosion of genuine human connections. It explores the implications of these avatars in terms of consent, exploitation, and loss of authenticity, echoing Baudrillard’s concerns about the distortion of reality in contemporary society. Recognizing the implications of these technologies, the paper calls for a critical reflection on their transformative power. It emphasizes the need for a nuanced understanding of the hyperreal condition and ethical responsibility in engaging with AI, VR, and AR, particularly in relation to the usage of digital avatars. By resisting the seductive allure of digital escapism and preserving genuine human connections, we can navigate the perversion of reality and cultivate empathy, compassion, and meaningful interactions that transcend the simulated experiences offered by technology. (shrink)

This paper contributes to the debate on the question of whether a systematic connection obtains between one’s commitment to realism or antirealism and one’s attitude towards the possibility of radical theoretical novelty, namely, theory change affecting our best, most successful theories (see, e.g., Stanford in Synthese 196:3915–3932, 2019; Dellsén in Stud Hist Philos Sci 76:30–38, 2019). We argue that it is not allegiance to realism or antirealism as such that primarily dictates one’s response to the possibility of radical theoretical novelty: (...) what matters the most is, rather, the proposed alternative’s promise to realize one’s favored cognitive aim(s). Our argument tells not only against Stanford’s account of how adherence to realism or antirealism orients how one responds to possible radical theoretical novelty, but also against what we call the “natural pairing thesis.” According to such a thesis, which has kept resurfacing in the history of the philosophy of science, one-to-one pairings obtain between realism/antirealism, on the one hand, and theoretical conservatism/openness to radical theoretical novelty, on the other hand. As our argument suggests, however, when faced with the possibility of radical theoretical novelty, realists can respond either in a conservative way or by being open to theory change, not unlike antirealists. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the liar paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the liar paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

In this chapter I shall address the question as to whether there exists a universal and atemporal justification for the claims made by a community that adopts a particular style of reasoning. I shall present a case study in which a claim made in the laboratory style of reasoning has no universal and atemporal justification. As I shall explain, Hacking justifies his belief that unobservable entities exist on the ground that they can be regularly manipulated by experimenters in order to (...) find out and produce various phenomena (experimental realism); he also maintains that no belief that our theories are true is required in order to be realist about unobservable entities. I shall argue that his justification is relative to the laboratory style of reasoning. Ultimately, from this case study I shall draw the important conclusion that the styles of reasoning project implies epistemic relativism. In the first part of this chapter, I shall analyse Hacking’s experimental realism in the light of the styles of reasoning project. I shall start by making these points: Hacking’s theory anti-realism denies the possibility of ranking styles of reasoning in terms of their capacity to explain phenomena; furthermore, Hacking is not successful in showing that his entity realism is justified for a community that does not adopt the laboratory style of reasoning. It will follow that the styles of reasoning project is in conflict with the claim that we know about unobservable entities. (shrink)

Widely recognized as one of the main characteristics of Latin Aristotelianism, the 'Christianisation' of Aristotle from the thirteenth to the seventeenth century has received as yet little attention. Aiming to answer the need for a more systematic investigation, the articles here collected approach Christian readings of the Stagirite|s works from different perspectives. Setting aside abstract discussions about |degrees of orthodoxy|, they address a few specific questions: which |images| of Aristotle were offered by Medieval and Renaissance interpreters, and in particular how (...) did some of them argue that - far from being a pagan or even an impious thinker - he did not contradict the truths revealed by Holy Scripture? (shrink)

Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the (...) graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics. (shrink)

This paper develops a hermeneutic technology assessment of quantum technologies. It offers a “vision assessment” of quantum technologies that can eventually lead to socio-ethical analysis. Section 2 describes this methodological approach and in particular the concept of the hermeneutic circle applied to technology. Section 3 gives a generic overview of quantum technologies and their impacts. Sections 4 and 5 apply the hermeneutic technology assessment approach to the study of quantum technologies. Section 5 proposes distinguishing three levels in the analysis of (...) the creation and communication of social meanings to quantum technologies: (a) fictions, (b) popularization, and (c) scientific journalism. Section 6 analyzes the results and defines some lines of action to increase social acceptance and trust in quantum technologies. The aim of this paper is to contribute to the debate on quantum technologies by enhancing the reflection on them and their potential, as well as illustrating the complexity of technological innovation and the need to shape it. (shrink)

A young Canadian mathematician and philosopher, Winthrop Bell, who was Edmund Husserl's first doctoral student from North America, taught as a postdoc at Harvard in the 1920s, where he took a complete set of notes in the first class at Harvard taught by Alfred North Whitehead during the 1924-1925 academic year. These notes, missing for over 80 years, have recently been found. The notes transform scholarship concerning the early development of Whitehead's mature metaphysical views, while the note-taker's own career illuminates (...) a remarkable collaboration between the pragmatists in the U. S. and Canada and the early phenomenology movement in Europe, an intellectual exchange that was shattered during the tumultuous events of World War I and its aftermath. (shrink)

Die Geste wurde von der römischen Rhetorik über die Physiognomik bis hin zu den Gesture Studies vordergründig als eine funktionale körperliche Stütze für sprachliche Kommunikation oder als sinnliche Spur geistiger Zustände aufgefasst. Gesten begleiten unsere Diskurse und Gemütslagen und machen diese wahrnehmbar. Über diesen traditionell gültigen Standpunkt hinaus verlagert Luca Viglialoro den Fokus auf den somatisch-medialen Kunstcharakter der Geste, um diese als prozesshafte Technik (ars) für die Modellierung der aísthesis zu konturieren. Dafür werden die komplexen Relationen zwischen Gesten und (...) Kunstreflexionen am Beispiel von medial unterschiedlichen Konfigurationen (von der Schrift und der Zeichnung bis zur Fotografie und Installationskunst) analysiert. (shrink)

According to constitutivism, we can justify the authority of aims and norms on the ground that they are inescapable. Constitutivist views divide between ambitious and modest ones. According to ambitious constitutivism, the inescapability of aims grounds their unconditional authority, whereas according to modest constitutivism, the inescapability of aims only grounds their conditional authority. Either way, both forms of constitutivism share the assumption that inescapability grounds authority, which in turn presupposes that at the foundation of normativity we find aims and norms (...) that can be evaluated as having or lacking authority. In this paper I shall defend a form of constitutivism that rejects this assumption. According to this view, which I shall call Hinge Constitutivism, at the foundation of epistemic normativity we find an aim, the truth-aim, that is altogether beyond the evaluation in terms of the ordinary notion of authority. Moreover, I shall argue that to aim at truth is a condition of possibility for justifying the authority of any other aims or norms. In this sense, to aim at truth is a hinge of deliberation. (shrink)

I review recent work on Phenomenal Conservatism, the position introduced by Michael Huemer according to which if it seems that P to a subject S, in the absence of defeaters S has thereby some degree of justification for believing P.

Public participation in scientific research has gained prominence in many scientific fields, but the theory of participatory research is still limited. In this paper, we suggest that the divergence of values and goals between academic researchers and public participants in research is key to analyzing the different forms this research takes. We examine two existing characterizations of participatory research: one in terms of public participants' role in the research, the other in terms of the virtues of the research. In our (...) view, each of these captures an important feature of participatory research but is, on its own, limited in what features it takes into account. We introduce an expanded conception of norms of collaboration that extends to both academic researchers and public participants. We suggest that satisfying these norms requires consideration of the two groups' possibly divergent values and goals, and that a broad characterization of participatory research that starts from participants' values and goals can motivate both public participants’ role in the research and the virtues of the research. The resulting framework clarifies the similarities and differences among participatory projects and can help guide the responsible design of such projects. (shrink)