L’article aborde la problématique des actes normatifs de droit pénal adoptés en Pologne dans les années 1944–1956. L’auteur essaie de répondre à la question : comment le régime politique et l’idéologie stalinienne ont-ils influencé la manière de rédiger les textes juridiques de cette branche du droit lors des plus grandes répressions par le pouvoir d’après-guerre en Pologne? À partir de 1944, le droit pénal a été adapté aux besoins des autorités communistes, contrôlées par l’Union soviétique. Dans la période analysée, on (...) a introduit en Pologne plus de cent actes normatifs englobant des dispositions pénales. L’idéologisation du droit pénal est visible dans toutes les parties des actes normatifs : titres, préambules et dispositions juridiques. On retrouve dans leur contenu les valeurs politiques, économiques et sociales fondamentales pour l’idéologie du stalinisme, dont les thèses ont été mises en œuvre en Pologne après la fin de l’occupation allemande. (shrink)

Résumé L’article décrit le statut jurilinguistique des animaux qui découle des codes civils polonais et français. Le but est de vérifier si la législation de ces deux pays suit les changements sociaux liés à l’attitude des humains envers les animaux. L’étude s’appuie sur la méthodologie de l’image linguistique du monde — l’auteur essaie de reconstruire la définition d’_animal_ à partir des emplois de ce nom dans les deux actes normatifs. L’analyse sémantique des dispositions juridiques démontre que, dans les deux codes, (...) les animaux fonctionnent tout d’abord comme objet de différents droits et obligations, comme une partie du patrimoine, une chose qui dépend entièrement de l’homme et lui appartient. L’animal n’est pas considéré comme une catégorie distincte, mais il est soumis au régime des biens. En effet, les droits civils polonais et français tendent à réifier les animaux, en leur refusant un statut juridique différent de celui des choses et en restant indifférent aux changements sociaux contemporains. (shrink)

Leading authors in their fields present an interdisciplinary panorama of vital themes of the philosophy of language and track their historical origins. This book gives new life to historical ideas and additional depth to current debates.

This paper is a proposal of continuation of the work of C. Rauszer. The logic of falsehood created by her may constitute the starting point for construction of logic formalising reductive reasonings. The extension of Heyting-Brouwer logic to its deductive-reductive form sheds new light upon those classical tautologies which are rejected in intuitionism. It turns out that among HBtautologies there can be found all the classical ones. Some of them are characteristic for deductive reasoning and they are accepted by intuitionism. (...) Others formulate the laws of reductive reasoning. Many of them, including the law of excluded middle has been rejected in Heyting’s intuitionism. Intuitionism only permits for those reductive tautologies, which at the same time bear deductive character. Thus, the complete HB intuitionism does not reject any of the classical tautologies. Every classical tautology appears in HB logic in its deductive or reductive part. Some are even present in both parts. At the end it is shown that the law of excluded middle α∨¬α is a law of the reductive part of the traditional, Heyting’s intuitionistic propositional calculus. (shrink)

In this paper, I discuss the interpretation of the method of deconstruction in David J. Gunkel’s Deconstruction (MIT Press 2021). I focus on the relationship between deconstruction and truth. I hold that the concept of truth is indispensable for deconstruction since truth introduces correctness conditions for the deconstructive method. However, I claim that truth, being essential and primitive for deconstruction, is fundamentally inaccessible for being analyzed by the latter. ------------------------- Received: 19/10/2022. Reviewed: 13/12/2022. Accepted: 20/12/2022.

We study the structure of the partial order induced by the definability relation on definitions of truth for the language of arithmetic. Formally, a definition of truth is any sentence $$\alpha $$ which extends a weak arithmetical theory (which we take to be $${{\,\mathrm{I\Delta _{0}+\exp }\,}}$$ ) such that for some formula $$\Theta $$ and any arithmetical sentence $$\varphi $$, $$\Theta (\ulcorner \varphi \urcorner )\equiv \varphi $$ is provable in $$\alpha $$. We say that a sentence $$\beta $$ is definable (...) in a sentence $$\alpha $$, if there exists an unrelativized translation from the language of $$\beta $$ to the language of $$\alpha $$ which is identity on the arithmetical symbols and such that the translation of $$\beta $$ is provable in $$\alpha $$. Our main result is that the structure consisting of truth definitions which are conservative over the basic arithmetical theory forms a countable universal distributive lattice. Additionally, we generalize the result of Pakhomov and Visser showing that the set of (Gödel codes of) definitions of truth is not $$\Sigma _2$$ -definable in the standard model of arithmetic. We conclude by remarking that no $$\Sigma _2$$ -sentence, satisfying certain further natural conditions, can be a definition of truth for the language of arithmetic. (shrink)

In the paper, several data reduction techniques for machine learning from big datasets are discussed and evaluated. The discussed approach focuses on combining several techniques including stacking, rotation, and data reduction aimed at improving the performance of the machine classification. Stacking is seen as the technique allowing to take advantage of the multiple classification models. The rotation-based techniques are used to increase the heterogeneity of the stacking ensembles. Data reduction makes it possible to classify instances belonging to big datasets. We (...) propose to use an agent-based population learning algorithm for data reduction in the feature and instance dimensions. For diversification of the classifier ensembles within the rotation also, alternatively, principal component analysis and independent component analysis are used. The research question addressed in the paper is formulated as follows: does the performance of a classifier using the reduced dataset be improved by integrating the data reduction mechanism with the rotation-based technique and the stacking? (shrink)

The paper presents the possibility of using the lifestyle concept for better recognition of the employee motivation attitude towards work leadership and managerial behaviours. That could result in better human capital management in different types of organizations. Different approaches to the lifestyle concept are presented in the paper. Also the linkage between the motivation theory, here the Douglas McGregor theory, and the lifestyle based theory VALS is examined.

Globalization is a cultural phenomenon. The authors present the thematically multi-dimensional and theoretically complex contribution of Polish research on globalization. They do not approach globalization as an abstract process, instead exploring it through the lens of clearly defined factors.

The paper discusses a relatively underexamined element of Wittgenstein’s philosophy of mathematics associated with his critique of set theory. I outline Wittgenstein’s objections to the theories of Dedekind and Cantor, including the confounding of extension and intension, the faulty definition of the infinite set as infinite extension and the critique of Cantor’s diagonal proof. One of Wittgenstein’s major objections to set theory was that the concept of the size of infinite sets, which Cantor expressed by means of symbols אₒ and (...) c, had no application, i.e. that there was no grammatical technique that could show how such expressions were to be used. Notions of set theory are, so to speak, exterior – they find themselves outdoors, outside of what we usually do. They form a discourse that takes us beyond the horizon of everydayness and commonality. They are like an engine idling of the language of mathematics. (shrink)

This paper studies some normative relations that hold between actions, their preconditions and their effects, with particular attention to connecting what are often called ‘ought to be’ norms with ‘ought to do’ norms. We use a formal model based on a form of transition system called a ‘coloured labelled transition system’ (coloured LTS) introduced in a series of papers by Sergot and Craven. Those works have variously presented a formalism (an ‘action language’) nC+ for defining and computing with a (coloured) (...) LTS, and another, separate formalism, a modal language interpreted on a (coloured) LTS used to express its properties. We consolidate these two strands. Instead of specifying the obligatory and prohibited states and transitions as part of the construction of a coloured LTS as in nC+, we represent norms in the modal language and use those to construct a coloured LTS from a given regular (uncoloured) one. We also show how connections between norms on states and norms on transitions previously treated as fixed constraints of a coloured LTS can instead be defined within the modal language used for representing norms. (shrink)

Zasadnicza teza tekstu brzmi, że możliwość totalnego chaosu empirycznego, która jest rozpatrywana w ramach eksperymentu unicestwienia świata, nie jest możliwością realną, lecz możliwością logiczną. Według Husserla hipoteza totalnego chaosu empirycznego pozostaje w związku z zasadniczą nieadekwatnością doświadczenia świata, która nie wyklucza możliwości nieistnienia świata. Unicestwienie świata jako efekt całkowitego załamania się doświadczenia świata mogę jednak przyjąć tylko hipotetycznie i taka fikcyjna możliwość nie ma charakteru możliwości realnej, ponieważ absolutny fakt mojego doświadczenia poprzedza wszelkie możliwości, nadając im dopiero znaczenie możliwości realnych. (...) Doświadczenie w swej pierwotnej strukturze obejmuje zarówno doświadczenie świata, jak i doświadczenie ego cogito i jest jednym, absolutnym doświadczeniem, tak że możliwość globalnego chaosu empirycznego okazuje się jedynie pustym eksperymentem myślowym i jako taka możliwość ta pozostaje w zasadniczej analogii do możliwości niepoznawalnych rzeczy samych w sobie. Słowa kluczowe: fenomenologia transcendentalna, eksperyment unicestwienia świata, doświadczenie świata, doświadczenie ego cogito, realna możliwość, logiczna możliwość. (shrink)

Research background: To a limited extent, modern researchers are interested in ordoliberalism, as a theory of the socio-economic system, which is confirmed by the results of the bibliometric analysis. In conducted studies, the assumptions of ordoliberalism are used partially, for example, for research on: the role of the state in the economy, the antitrust law, the theoretical assumptions of the SME, the determinants of German economic policy after World War II. Purpose of the article: The aim of this article is (...) to present the possibilities offered by the ordoliberal theory that predispose it to determine a socio-economic order which makes it possible to tackle the dysfunctions and crises that afflict today’s economy. Methods: The research methodology involves a critical analysis of the works of the most essential representatives of ordoliberal thought, particularly Walter Eucken and others, from the perspective of the above-mentioned purpose of the study. This requires examining German-, Polish- and English-language publications by authors recognised as representatives of mainstream ordoliberalism. Findings & Value added: As a result of the conducted analysis, the hypothesis about the existence of the elements of ordoliberal theory that allow it to respond to the challenges of the modern world, including economic, social, environmental and climate crises and pandemic threats has been confirmed. Research of this kind implies a return of thinking in terms of economic order, and thus contributes to the theories that seek to overcome the crisis in both the real economy and the theory of economics. (shrink)

We carried out a systematic review of psycholinguistic, empirical, quantitative studies on verbal irony use and individual differences (i.e. psychological, not demographic, traits that significantly differentiate individuals). Out of 5,967 publications screened, 29, comprising 35 studies in total, were included. Following a qualitative content analysis, six thematic clusters were identified, representing areas of research in individual differences in irony use: (a) psychological well-being, (b) personality traits, (c) humor-related traits, (d) cultural factors, (e) social skills, and (f) cognitive factors. The results (...) of the studies in each cluster are summarized and conclusions for further research are presented. In particular, the systematic review suggests that irony and sarcasm should be clearly delineated as separate, yet related phenomena due to differing patterns of correlations with specific individual differences. Additionally, significant methodological heterogeneity between the studies suggests the need for greater standardization of irony use measures. (shrink)

This paper describes ways in which political speakers define and legitimize future policies by construing different policy options in terms of ‘privileged’ and ‘oppositional’ futures. Privileged and oppositional futures are conceptual projections of alternative policy visions occurring in quasi-dialogic chunks of speech, revealing specific evidential, mood, and modality patterns. Privileged future involves the speaker’s preferred, or at least acknowledged vision and is articulated through absolute modality and evidential markers which derive from factual evidence, history, and reason. Oppositional future involves an (...) antagonistic and plainly threatening vision, expressed by probabilistic modality and (usually) the interrogative mood. Following the principle of psychological consistency in belief, oppositional future is normally communicated first, allowing for a swift and strong response from the privileged future expressed in the speaker-preferred vision. (shrink)

Technically, online space seems to be connective beyond national borders and could serve for mass communication between Europeans, both European Union citizens and candidate countries’ citizens. With high internet penetration rates and Web 2.0 tools availability never before had there been such huge potential of growth in communication. Does it mean that European information society emerges? Or contrary: does it seem that pan-European institutions use online tools in non-pan-European or even counter-pan-European ways? Illustrations from Poland's first ten years after EU (...) accession suggest misusing online space fixed website as exemplified by Europa.eu. (shrink)

In the article I refer to the philosophy of William Hasker and his proposal to reconcile respect for the basic dogmas of Christianity with the contemporary standards of knowledge and the needs of people today. In the first part I analyse Hasker’s view on the idea of Christian philosophy. Since he assumes the truthfulness of the main doctrines of Christianity, he is not opposed to being referred to as a Christian philosopher, but neither is he enthusiastic about this name. This (...) attitude is the result of his conviction that the state of absolute neutrality is not possible in philosophy and that regardless of the views accepted as true by a given thinker the requirement for good philosophy is fairness and evaluating all perspectives and beliefs for their internal coherence and their correspondence with the evidence. Therefore, Hasker first tries very carefully to reconstruct positions different from his own and to track down various difficulties in them, especially contradictions. In my opinion, however, the objection of self-contradiction is ineffective when applied to philosophical positions which, as a rule, use vague concepts. The same applies to the claim that these positions are contradictory to evidence, because one of such vague notions is also the notion of evidence. That is why philosophical claims have the extraordinary ability to persist in life or unexpectedly revive after being considered definitively dead. It does not follow from this that one cannot convincingly justify one’s position using less formal criteria. In the second part I focus on the rhetorical device used by Hasker to make his concept of God more attractive. He suggests that we should shape our concept of God based on our idea of a great man, i.e. one who educates children to live independently and is able to effectively and fairly manage large groups of people. Leaving aside the accusation of anthropomorphism, the question arises about the epistemic value of this image, which is not universal, changes over time and depends on the conditions in which people live. The content of this image proposed by Hasker isn’t also consistent with the idea of the God of Christian orthodoxy, which is dominated by traditional rather than open theism. This is where the problem of linking creative thinking and respect for Christian identity arises. Regardless of the opinion that open theism has among traditional theists, Hasker supports the concept of a strong Christian identity determined by a universally recognized creed. I propose to treat this identity a little more flexibly. (shrink)

Z wielu kwestii, które Jacek Wojtysiak podjął w swojej nowej książce Między ukryciem a jawnością (2023), na szczególną uwagę zasługuje polemika z Johnem L. Schellenbergiem, dotycząca problemu Bożej ukrytości. J.L. Schellenberg w pomysłowy sposób chce pokazać, że samo istnienie ateistów wystawia na próbę prawdziwość tezy o istnieniu osobowego Boga. W odpowiedzi Wojtysiak odwraca argument J.L. Schellenberga, twierdząc, że powszechność wiary wystawia na próbę przekonanie ateisty. Celem artykułu jest wykazanie, że tak jak właściwym wnioskiem argumentu J.L. Schellenberga nie jest teza ateistyczna, (...) tak samo argument J. Wojtysiaka tak naprawdę nie broni teizmu. O obu argumentach należałoby raczej powiedzieć, że są to rozumowania, które wspierają ultymizm. Artykuł składa się z trzech części. W pierwszej przedstawiam argument J.L. Schellenberga z „Bożej ukrytości” oraz rekonstruuję argumentację J. Wojtysiaka z „wielkiego faktu wiary”. W drugiej części próbuję pokazać, że istnienie niemoralnych wierzących podważa tezę o powszechności wiary w teistycznego Boga. W trzeciej części przedstawiam oba argumenty jako wspierające tezę ultymizmu. (shrink)

Teologia już niejednokrotnie składała współczesnej myśli filozoficznej obietnicę poszerzenia horyzontów czy też otwarcia jej na transcendencję. Jednak obietnica ta nie spotkała się – jak dotąd – z przychylnym przyjęciem, gdyż teologia sama nie zdołała przekonać filozofii o swojej racjonalności. Filozofia przestała być bowiem, z jednej strony, wrażliwa na argumentację natury metafizycznej, z drugiej zaś, teologia jest skłonna poddawać się metodologiom nauk szczegółowych, rezygnując przy tym z własnej odrębności. Zarysowana tu hermeneutyka teologii jest w pierwszym rzędzie badaniem teologii jako nauki, próbą (...) uprawomocnienia jej na gruncie jednego z najważniejszych kierunków filozofii współczesnej, mianowicie hermeneutyki filozoficznej. Teologia zostaje tu ujęta w aspekcie immanencji, choć bynajmniej nie zamyka się w jej horyzoncie. Dziejący się świat teologii rozpada się na „kawałki” – miejsca teologiczne – które jednak wchodząc ze sobą w interakcje, uczestniczą w grze teologicznej. Jako pole owej gry zostaje wskazana liturgia, miejsce metodologicznie wyróżnione ze względu na naoczność dokonujących się konsekwencji gry teologicznej. Analiza czerpie z takich źródeł jak teoria miejsc teologicznych Melchiora Cano OP, koncepcja kręgu hermeneutycznego Martina Heideggera oraz projekt hermeneutyki filozoficznej Hansa-Georga Gadamera, ze szczególnym uwzględnieniem roli prze(d)sądów, utożsamianych tutaj z miejscami teologicznymi. Nowość spojrzenia na tradycję katolicką kontekście myśli hermeneutycznej sprawia, że prezentowana książka może trafić nie tylko do teologów i filozofów, ale także do badaczy szeroko rozumianej kultury. (shrink)

This monograph represents a rare, classical-philosophical approach to culture. It is grounded in philosophical realism and emphasizes personalism as a true achievement of philosophical anthropology. Employing the apparatus of the history of philosophy, science and religion, the author demonstrates the immense scope of the drama unfolding within human culture. In a classical approach, evaluation is inevitable-with regard to various theories of culture, human culture as such, and all its main actors. Jaroszyński's work shows that realistic study of what it means (...) to be a human person leads to the most comprehensive understanding of culture as it is and should be. (shrink)

This article consisting of four points, shows the subject of multiple relationships between the realities of politics, ethics and the Catholic Church. The issue was presented on the basis of the writings and speeches of Joseph Ratzinger, the current Pope Benedict XVI. Article begins with a presentation of the relationship between politics and ethics as seen in historical perspective. The second section presents the so-called „political ethics” of the first Christian communities in the light of the indications contained in some (...) of the New Testament writings (cf. 1 Thess; 1 Peter) being the basis for the Christian way of acting in the area of policy. The third section indicates some realities like: progress, science and freedom – considered sometimes as an unquestioned idols and that`s why named once by Ratzinger „myth of modernity” – as a threat to connectivity between politics and ethics. The fourth section discusses the teaching of the Catholic Church on politics and the need for its ethical practice. In addition it contains some concrete proposals of Ratzinger that can be used in contemporary debates on the fundamental values of a democratic state in contemporary pluralistic societies. It also refers to Pope Benedict XVI appeals for more ethics of politics. (shrink)

W swojej przełomowej pracy „Denotowanie” Bertrand Russell wprowadza rozróżnienie pomiędzy prymarnym i sekundarnym użyciem zwrotów denotujących. Rozróżnienie umożliwia opis wieloznaczności niektórych zdań zawierających zwroty denotujące. Jak zauważył Saul Kripke, chociaż rozróżnienie Russella wydaje się być dychotomiczne, niektóre wieloznaczne zdania zawierające zwroty denotujące można interpretować na więcej niż tylko dwa sposoby. W niniejszym artykule argumentuję, że istnieją jeszcze inne możliwe interpretacje, niewzmiankowane ani przez Russella, ani Kripkego. Ponadto pokazuję, że te inne możliwe interpretacje różnią się również od tzw. odczytań Fodor.

Celem artykułu jest analiza trwającej w środowisku filozoficznym debaty na temat możliwości wykorzystywania najnowszych osiągnięć naukowych z zakresu farmakologii, psychiatrii czy technologii informatycznej w zamiarze usprawniania sfery emocjonalnej człowieka. Perspektywa przedstawicieli ruchu transhumanistycznego uznaje, że wzmocnienia afektywne niosą ze sobą potencjał uwolnienia wszystkich świadomych istot od cierpienia oraz zapewnienia im szczęścia przez całe życie. W artykule analizowane są główne argumenty transhumanisty i filozofa Davida Pearce’a i jego programu Imperatywu Hedonistycznego. Następnie podejmuje się refleksję nad rolą i strukturą emocji w ludzkim (...) życiu, a także nad warunkami, które musiałyby spełnić środki umożliwiające osiągnięcie „permanentnego uśmiechu”, to jest nad metodami wzmocnienia afektywnego, które ograniczałyby negatywne oddziaływanie emocji na jednostkę. Analiza teoretycznych założeń projektu transhumanistycznego zostaje rozszerzona o przegląd obecnie dostępnych środków farmakologicznych oraz informatycznych, które przyczyniałyby się do wzmocnienia afektywnego człowieka i innych istot świadomych. Prowadzona analiza skupiać będzie się na dwóch rzędach ludzkiej sfery afektywnej: (1) emocjach i (2) metaemocjach. Wykazuje się, że wszelkie interwencje transhumanistyczne powinny uwzględniać kwestię autentyczności sądów wydawanych na poziomie metaemocjonalnym. (shrink)

Artykuł zawiera prezentację i dyskusję wybranych zagadnień świadomości śniącej. Pierwsze z nich dotyczy znaczenia adaptacyjnego świadomości podczas snu. Drugie zagadnienie obejmuje charakterystykę kognitywnej świadomości śniącej. Efektem krytycznego przeglądu badań i koncepcji jest teza, że: (1) świadomość śniąca nie ma charakteru adaptacji biologicznej, (2) świadomość śniąca jest formą zdegradowanej reprezentacji kognitywnej w porównaniudo świadomości w stanie czuwania. W szczególności świadomość śniąca zawiera deficyty intencjonalności (uwagi) oraz wyższych form kognitywnych, w tym dysfunkcji wykonawczych.

There could be accepted an ontological model, in which every thing is identified with properties possessed by it. This study is an attempt at matematization of the concept of property. Axiomatization was conducted so that this concept could be compatible, to a maximum degree, with institutional understanding. The main result is assertion 11 due to its methodological consequences. A collection of all objects discernible with regard to the finite number of independent properties was called "space of jumps" (formal definitions of (...) "independence" and "space of jumps" are given in the article). "Space of jumps" may be treated as a certain model of "possible world". The assertions contained in the article give its characterization. By way of simplifying, the assertion 11 can be expressed as follows: accepting that a man s cognition takes place through a finite number of senses, which recognize basic and independent properties, it can be stated that a man cannot recognize objects possessing properties independent of properties recognizable through senses. (shrink)

Integrity is a common and well established concept in the ethical vocabulary. It is also being used in various codes of ethics, and investigated by means of various methods. However a review of the contemporary reference literature reveals various meanings associated with this term, which is followed by its variable applicability. It is mentioned among the desirable virtues possessed by the professionals. In various Polish codes of engineering ethics there is an absence of the integrity concept, at least comprehended as (...) fully as it is in the ethics literature. The paper contains an analysis of the meaning of integrity in English and its translations into Polish in selected codes of engineering ethics. The scopes of the used terms are compared and in result it is postulated that some initiatives be undertaken in order to clarify the discrepancies existing in various engineering codes of ethics around the professional integrity concept. (shrink)

In visual information processing, two kinds of vision are distinguished: vision-for-perception related to the conscious identifi cation of objects, and vision-for-action that deals with visual control of movements. Neuroscience suggests that these two functions are performed by two separate brain neural systems - the ventral and dorsal pathways. Two experiments using behavioural measures were conducted with the objective of exploring any potential interaction between these two functions of vision. The aim was to combine in one task methods allowing for the (...) simultaneous capture of both perceptual global processing and affordance extraction and to check whether they infi uence each other. This aim was achieved by employing the paradigms of Navon and Tucker and Ellis. A compound fi gure was created made up of objects with handles that might or might not have orientation congruent between levels. The results revealed that while the affordance effect occurred every time, the Navon effect appeared only when subjects focused their attention on object elements responsible for inconsistence within compound fi gure. Most importantly, even when these two effects occurred at once, they had no effect on each other. Results from the study failed to confi rm the hypothesis about interaction and gives support to the view that vision-for-perception and vision-for-action tend to act as separate systems. (shrink)

Why ask ‘what after post-modernism’? This question implies that postmodernism, as a grand narrative, recently withered away, that this is an event educators should be concerned with, and that it ca...

It is our intention to re-investigate only a few of the innumerable epistemological problems concerning Paley's argumentation for the existence of God. Nowadays this argumentation is commonly considered as invalid. Modern philosophers believe that the Humean Dialogs on Natural Religion and the Darwinian theory of evolution deprived Paley's reasoning of any cognitive validity. This judgment seems to us unjustified. We shall try to demonstrate that the very meaning and the logical structure of Paley's argumentation are continuously misunderstood, and that critics (...) have attacked rather a false image of Paley's cognitive pathway. Furthermore, we will show that Paley actually argues for the existence of a single agent producing biological organs. Indeed Paley demonstrates, that a biological organ is a kind of objective whole, and by necessity one produced by a single agent. However, Paley's form of argumentation is not sufficient to indicate whether this agent might be identified with a divine Creator, or Aristotelian "soul" building and commanding biological organs, or the recently discovered, described and deciphered deoxynucleotide polymer present in the reproductive biological cell. (shrink)