i l l ustrat es t he di ffi cul t y of providing a purely physical characterisation of phenomenal experi ence wi t ha vi vi d exampl e about a bat ’ s sensory apparatus. Whi l e a number of obj ect i ons have al ready been made to Nagel.

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...) Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

This chapter offers an overview of four key debates about the roles of emotion in morality. First, many believe that emotions are an important psychological mechanism for explaining altruistic behavior and moral conscience in humans. Second, there is considerable debate about the causal role of affective reactions in moral judgment. Third, some philosophers have argued that emotions have a constitutive role in moral thought and even moral facts. Finally, philosophers disagree about whether affective influence undermines the justification of moral beliefs (...) or, in suitable circumstances, guides us toward moral truth. (shrink)

The second premise of the Kalām cosmological argument, as defended by William Lane Craig, has two supporting arguments; the Hilbert’s Hotel argument and the suc.

This paper develops a new challenge for moral noncognitivism. In brief, the challenge is this: Beliefs — both moral and non-moral — are epistemically evaluable, whereas desires are not. It is tempting to explain this difference in terms of differences in the functional roles of beliefs and desires. However, this explanation stands in tension with noncognitivism, which maintains that moral beliefs have a desire-like functional role. After critically reviewing some initial responses to the challenge, I suggest a solution, which involves (...) rethinking the functional relationship between desire and belief. (shrink)

كان «فريجه» – على حد تعبير «دامت» – من أوائل من أدركوا أن نظرية المعنى، أو فلسفة اللغة، هي جزءٌ اساسي من الفلسفة ترتكز عليه كافة الأجزاء الاخرى؛ فإلى جانب دراساته التأسيسية الرائدة في الرياضيات والمنطق، كان يُؤسس ايضًا لفلسفة اللغة ببعض المقالات التي فاقت في تاثيرها وشهرتها تاثير وشهرة معظم أعماله الرياضية الأخرى، دون إقلال من شان هذه الأخيرة وريادتها. وهذه الدراسة بمثابة قراءة تحليلية – نقدية لمقاله الأكثر أهمية في هذا الصدد «في المعنى والإشارة»، مشفوعة بترجمة إلى العربية (...) للجزء الأكبر والاهم منه. (shrink)

_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

_ Source: _Volume 95, Issue 2, pp 245 - 264 In the last few decades, the interest in Brentano’s philosophical psychology, especially in his theory of judgment, has been steadily growing. What, however, has remained relatively unexplored are the modifications that have been introduced over the years into this theory by Brentano himself and by his student Anton Marty. These amendments constitute the focus of the present paper. As will be argued, only by making such changes can the weaknesses of (...) the first formulation of the theory be overcome. Moreover, as the final section of the paper attempts to show, these modifications may even trigger further steps towards what we might label a new Brentanian theory of judgment. (shrink)

In this paper, I provide a new reading of Wittgenstein’s N operator, and of its significance within his early logical philosophy. I thereby aim to resolve a longstanding scholarly controversy concerning the expressive completeness of N. Within the debate between Fogelin and Geach in particular, an apparent dilemma emerged to the effect that we must either concede Fogelin’s claim that N is expressively incomplete, or reject certain fundamental tenets within Wittgenstein’s logical philosophy. Despite their various points of disagreement, however, Fogelin (...) and Geach nevertheless share several common and problematic assumptions regarding Wittgenstein’s logical philosophy, and it is these mistaken assumptions which are the source of the dilemma. Once we recognize and correct these, and other, associated expository errors, it will become clear how to reconcile the expressive completeness of Wittgenstein’s N operator, with several commonly recognized features of, and fundamental theses within, the Tractarian logical system. (shrink)

Anscombe is usually seen as a critic of “Modern Moral Philosophy.” I attempt a systematic reconstruction and a defense of Anscombe’s positive theory. Anscombe’s metaethics is a hybrid of social constructivism and Aristotelian naturalism. Her three main claims are the following: (1) We cannot trace all duties back to one moral principle; there is more than one source of normativity. (2) Whether I have a certain duty will often be determined by the social practices of my community. For instance, duties (...) imposed by other people’s rights are socially constructed. (3) Whether something constitutes a good, however, will often be determined by human nature—which is not socially constructed. (shrink)

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

There is a list of desiderata that any good metaphysics of fictional entities should be able to fulfill. These desiderata are: 1) the nonexistence of fictional entities; 2) the causal inefficacy of suchentities;3)the incompleteness of such entities;4)the created character of such entities; 5) the actual possession by ficta of the narrated properties; 6) the unrevisable ascription to ficta of such properties; and 7) the necessary possession by ficta of such properties. (Im)possibilist metaphysics uncontroversially satisfy 1) and 2); Neo-Meinongian metaphysics satisfy (...) 1), 2), 3), 5), 6), and 7); artefactualist or creationist metaphysics uncontroversially satisfy 1), 2), 3), and 4). Another metaphysics is needed in order to satisfy all such desiderata. In this chapter Idevelop such a metaphysics, claiming that a Syncretistic metaphysics that combines Neo-Meinongianism with Artefactualism achieves this purpose. According to Syncretism, ficta are hybrid entities individuated in terms of both a certain makebelieve narrative process and the set of properties that one such narration mobilizes. Toward the end of the chapter I consider some possible criticisms to this approach: its non-intuitiveness; ficta’s unnecessary proliferation; and troubles with creationism of any sort. (shrink)

A construção de “existe” como um predicado de primeiraordem ou real é defendida contra a ortodoxia prevalente.

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

A common first reaction to expressivist and quasi-realist theories is the thought that, if these theories are right, there's some objectionable sense in which we can't be wrong about morality. This worry turns out to be surprisingly difficult to make stick - an account of moral error as instability under improving changes provides the quasi-realist with the resources to explain many of our concerns about moral error. The story breaks down, though, in the case of fundamental moral error. This is (...) where the initial worry finally sticks - quasi-realism tells me that I can't be fundamentally wrong about morality, though others can. (shrink)

In this chapter, I first explore the possible meanings of the expression 'non-metaphysical religion' and its relation to the realism and cognitivism debates (as well as these debates' relation to each other). I then sketch out and defend the germs of an alternative semantics for religious language that I call 'religious imaginativism'. This semantics attempts to move us away from the realism-antirealism debates in Philosophy of Religion and in this sense might count as 'non-metaphysical'. At the same time, it allows (...) that religious utterances may be truth-evaluable. This creates space for a "theism with God" (and for a "God of theism") without being running into the problems confronted by more metaphysical approaches. (shrink)

Moral error theorists hold that morality is deeply mistaken, thus raising the question of whether and how moral judgments and utterances should continue to be employed. Proposals include simply abolishing morality, adopting some revisionary fictionalist stance toward morality, and conserving moral judgments and utterances unchanged. I defend a fourth proposal, namely revisionary moral expressivism, which recommends replacing cognitivist moral judgments and utterances with non-cognitivist ones. Given that non-cognitivist attitudes are not truth apt, revisionary expressivism does not involve moral error. Moreover, (...) revisionary expressivism has the theoretical resources to retain many of the useful features of morality, such as moral motivation, moral disagreement, and moral reasoning. Revisionary expressivism fares better than the three major alternatives in both avoiding moral error and preserving these useful features of morality. I also show how this position differs from the “revolutionary expressivism” of Sebastian Köhler and Michael Ridge. (shrink)

When you think about a particular object, what makes your thought about that object? Roderick Chisholm, Ernest Sosa and Michael McKinsey have defended 'latitudinarian', 'descriptivist', or what I call 'liberal' answers to that question. In this paper I carefully consider the motivation for these liberal views and show how it extends in unanticipated ways to motivate views that are considerably more liberal.

This paper brings to light a new puzzle for Frege interpretation, and offers a solution to that puzzle. The puzzle concerns Frege’s judgement-stroke (‘|’), and consists in a tension between three of Frege’s claims. First, Frege vehemently maintains that psychological considerations should have no place in logic. Second, Frege regards the judgementstroke—and the associated dissociation of assertoric force from content, of the act of judgement from the subject matter about which judgement is made—as a crucial part of his logic. Third, (...) Frege holds that judging is an inner mental process, and that the distinction marked by the judgement-stroke, between entertaining a thought and judging that it is true, is a psychological distinction. I argue that what initially looks like confusion here on Frege’s part appears quite reasonable when we remind ourselves of the differences between Frege’s conception of logic and our own. (shrink)

Temporal experiences, according to retentionalism, essentially have temporally extended contents: contents which represent distinct events at distinct temporal locations, and some of their temporal relations. This means, retentionalists insist, that temporal experiences themselves needn’t be extended in time: only their contents are. The paper reviews an experiment by Moutoussis and Zeki, which demonstrates a colour-motion visual asynchrony (§2): information about motion seems to be processed more slowly than information about colour, so that the former is delayed relative to the latter. (...) This, the paper argues, raises an important difficulty for retentionalism and its account of the temporal ontology of experiences: it suggests that a central background assumption about neural processing presupposed by retentionalism is false, at least in cases of visual asynchrony. The paper then explores the general significance of this result for retentionalism (§3). (shrink)

In his Tractatus, Wittgenstein sets out what he calls his N-operator notation which can be used to calculate whether an expression is a tautology. In his Laws of Form, George Spencer Brown offers what he calls a “primary algebra” for such calculation. Both systems are perplexing. But comparing two blurry images can reduce noise, producing a focus. This paper reveals that Spencer Brown independently rediscovered the quantifier-free part of the N-operator calculus. The comparison sheds a flood light on each and (...) from the letters of correspondence we shall find that Russell, as one might have surmised, was a catalyst for both. (shrink)

Gottlob Frege sostuvo que las palabras-concepto sólo se refieren a conceptos no a objetos y que los términos singulares se refieren sólo a objetos no a conceptos. Estas tesis dan lugar a la paradoja del concepto, de acuerdo con la cual ‘el concepto F’ no se refiere a ningún concepto. Mark Textor sostiene que su principio del espejar explica el origen del problema. Sin embargo, argumento que su artículo no explica todas las consecuencias de las tesis de Frege y mi (...) supuesto semántico ontológico puede verse como una consecuencia del principio del espejar de Textor. (shrink)

This paper presents a detailed exegesis of Russell’s “Gray’s Elegy Argument”. It holds that the GEA mounts a successful attack on Frege—a thesis that has been widely controverted in the literature. The point of departure for my interpretation is Russell’s charge that it is impossible to speak about Sinne, or “meanings” as Russell calls them. I argue that the charge concerns the construction of an “ideal language.” For Russell, an ideal language is an artificial schema designed to represent the truth-makers (...) for sentences occurring in natural language. Its signs stand for the entities that are constituents of those truth-makers. Russell’s charge can thus be expressed more clearly and completely as follows: an ideal language designed to express Frege’s ontology requires signs for meanings ; however, the signs introduced for that purpose cannot be correlated with the entities they are supposed to represent. Thus, the requirement cannot be met. (shrink)

The expression ‘Like’ has a wide variety of uses among English and American speakers. It may describe preference, as in (1) She likes mint chip ice cream. It may be used as a vehicle of comparison, as in (2) Trieste is like Minsk on steroids.

If we think, as Ramsey did, that a degree of belief that P is a stronger or weaker tendency to act as if P, then it is clear that not only uncertainty, but also vagueness, gives rise to degrees of belief. If I like hot coffee and do not know whether the coffee is hot or cold, I will have some tendency to reach for a cup; if I like hot coffee and know that the coffee is borderline hot, I (...) will have some tendency to reach for a cup. Suppose that we take degrees of belief arising from uncertainty to obey the laws of probability and that we model vagueness using degrees of truth. We then encounter a problem: it does not look as though degrees of belief arising from vagueness should obey the laws of probability. One response would be to countenance two different sorts of degrees of belief: degrees of belief arising from uncertainty, which obey the laws of probability; and degrees of belief arising from vagueness, which obey a different set of laws. I argue, however, that if a degree of belief that P is a stronger or weaker tendency to act as if P, then this option is not open. Instead, I propose an account of the behaviour of degrees of belief that integrates subjective probabilities and degrees of truth. On this account, degrees of belief are expectations of degrees of truth. The account explains why degrees of belief behave in accordance with the laws of probability in cases involving only uncertainty, while also allowing degrees of belief to behave differently in cases involving only vagueness, and in mixed cases involving both uncertainty and vagueness. Justifications of the account are given both via Dutch books and in terms of epistemic accuracy. (shrink)

(2013). The processes of inference. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 4-20. doi: 10.1080/19462166.2012.674060.

In this paper, I propose a fictionalist approach to the problem of color. On my view, which I call prescriptive color fictionalism, we can continue to employ our color discourse as we have thus far even if it turns out that there are no colored objects. My proposal is a species of error theory. As such, it does not describe our current practices. It is rather proposed as a prescription to a problem, namely that the color theory we accept (according (...) to which there are colored objects) is false. By formulating a fictionalist account of color and showing that we can preserve ordinary color discourse in the absence of colored objects, I provide a solution to the problem of color. (shrink)

Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic—and (...) investigates how much of Frege’s Theorem goes through in various partially predicative fragments of FA. Theorem 1 shows that almost everything goes through, the most important exception being the axiom that every natural number has a successor. Theorem 2 shows that the Successor Axiom cannot be proved in the theories that are predicative in either dimension. (shrink)

In his landmark article, “Two Dogmas of Empiricism,” W.V.O. Quine pushed analytical philosophy into its post-positivist phase by rejecting two central tenets of logical empiricism. The first dogma was the distinction between analytic and synthetic statements; the second was reductionism, or the belief that to each synthetic sentence there corresponds a set of experiences that will confirm or disconfirm it. But in both “Two Dogmas” and Word and Object, Quine stretches analytical philosophy to its limits. The problem is, ironically, his (...) adherence to two separate dogmas. The first stems from Quine’s empiricism: he insists that there is nothing more to meaning than the empirical method of discovering it. The second has been taken as the defining characteristic of analytical philosophy;2 it is the belief that a philosophical account of thought can only be attained through an account of language – the famed “linguistic turn.” I will argue that a philosophical account of language can only be attained given an account of thought,3 and that the philosophies of Kant and Davidson can help us construct such an account. (shrink)

In "Assertion," Geach identified failure to attend to the distinction between meaning and speech act as a source of philosophical errors. I argue that failure to attend to this distinction, along with the parallel distinction between attitude and content, has been behind the idea that meaning and content are, in some sense, normative. By an argument parallel to Geach's argument against performative analyses of "good" we can show that the phenomena identified by theorists of the normativity of content are properties (...) in the first instance of speech act and propositional attitude types, rather than content as such. (shrink)

What are reasons? For example, if you’re aware that your secretary plans to expose you, and you resign to avoid a scandal, what is your reason for resigning? Is your reason the fact that your secretary plans to expose you? If so, what kinds of facts are eligible to be reasons? Can merely possible facts be reasons (for actual subjects)? Can merely apparent facts? Or are reasons rather attitudes? Are your reasons for resigning your belief that your secretary plans to (...) expose you, and your desire to avoid a scandal? Or are reasons propositions? If so, which propositions? Only propositions that the subject believes and desires? Only propositions that are true? (On some views, those will be facts; on other views, not.). (shrink)

Philosophy invariably starts with the attempt to spell out ideas and beliefs that we already hold, whether on topics like time or causality, colour or value, consciousness or free will, democracy or justice or freedom. It may go well beyond such pre-philosophical assumptions in its further developments, regimenting them in unexpected ways, revising them on novel lines, even discarding them entirely in favour of other views. But philosophy always begins with the articulation of ordinary ideas and beliefs. This is where (...) its ladder starts. As the name suggests, articulation requires that the ideas and beliefs articulated were already there waiting to be spelled out, and that identifying them is a matter of analysing.. (shrink)

The paper investigates the cultural unit of “sanctity” in the light of the notion of “form of life”, in order to show how jazz master John Coltrane pursued sanctity as a regulative model with regards both to personhood and musicianship, so as to translate his existential quest into music. Firstly, the paper briefly summarizes: what we mean today by sanctity ; what are the relationships interweaving music and sanctity ; what we mean by form of life—a notion brought into philosophical (...) discourse by Ludwig Wittgenstein—in semiotic terms and why we can apply it to sanctity. Afterwards, the paper addresses Coltrane’s musical career, relying both on hagiographic discourse built around him and his discography, with special focus on three game-changers among his albums: Giant Steps, A Love Supreme, and Ascension. Coltrane headed a twofold conversion: he abandoned his native Methodist faith to embrace a personal form of syncretic pantheism; he abandoned the language of traditional jazz to embrace the avant-garde technique of modal composition and the once despised free jazz. Not only Coltrane wanted to be a saint, not only was he regarded as such to the extent that a “St. John William Coltrane Church” was established in San Francisco, but he tried to be one through music; namely, by conveying his spiritual journey via sonic means: proposing a musical catechism, a musical mass, and his own mystique. Consistently with the process of selection any saintly figure—and mystiques especially—undergoes in order to be canonized stricto sensu, only some tokens within Coltrane’s body of work were included in the canon, while his later works were left out due to their radicalism. (shrink)

It is widely acknowledged among those philosophers and theologians who have given the matter much thought that the fact of animal suffering challenges Theism in a distinctive way. Standard attempts to reconcile human suffering with a perfectly powerful and benevolent deity don’t seem to apply easily to the case of animals. Animals can hardly be said to deserve their suffering or be morally improved by it, nor is it generally supposed that animals will be compensated for their pain in an (...) afterlife. On the face of it, then, animal pain appears to be a bothersome evil still left over when all the theodicy work is done. I would like to consider some of the attempts to deal with animal suffering in theodicy, showing why each ultimately fails. Rather than attempting to provide the successful theodicy myself, I will try to show what the theodicies reveal about the relationship between Theism and moral attitudes toward animals. (shrink)