all objects, which are found to be constantly conjoin’d, are upon that account only to be regarded as causes and effects. … the constant conjunction of objects constitutes the very essence of cause and effect … (T 126.96.36.199, my emphasis).
Over the last three years Hume’s use of the term “a priori” has suddenly become very topical. Three discussions, by Stephen Buckle, myself, and Houston Smit, all focusing on Hume’s argument concerning induction in Section IV of the Enquiry, have independently picked up on this question, which seems previously to have gone almost unnoticed.1 That there is an issue here can be seen by examining what Hume says when considering the foundation of our inferences concerning matter of fact; why, for (...) example, we expect a billiard ball to move in a particular way when struck by another: “I shall venture to affirm, as a general proposition, which admits of no exception, that the knowledge of [cause and effect] is not, in any instance, attained by reasonings a priori; but arises entirely from experience … Let an object be presented to a man of ever so strong natural reason and abilities; if that object be entirely new to him, he will not be able, by the most accurate examination of its sensible qualities, to discover any of its causes or effects. … No object ever discovers, by the qualities which appear to the senses, either the causes, which produced it, or the effects, which will arise from it; nor can our reason, unassisted by experience, ever draw any inference concerning real existence and matter of fact.” (E 27, 4.6) In this passage Hume is clearly allowing an object’s “qualities which appear to the senses” as being available to Reason “unassisted by experience”. So what he counts as “experience” seems essentially to involve some memory of prior experience, rather than merely current experience. (shrink)
Hume’s argument concerning induction is the foundation stone of his philosophical system, and one of the most celebrated and influential arguments in the entire literature of western philosophy. It is therefore rather surprising that the enormous attention which has been devoted to it over the years has not resulted in any general consensus as to how it should be interpreted, or, in consequence, how Hume himself should be seen. At one extreme is the traditional view, which takes the argument (...) to be thoroughly sceptical, leading to the sweeping conclusion that all “probable reasoning” or “reasoning concerning matter of fact and existence” is utterly worthless, so that Hume is portrayed as a negative Pyrrhonian intent on undermining the credentials of all our would-be knowledge of the world. But at the other extreme a number of very prominent commentators, particularly in recent years, have put forward a strikingly contrasting view, that Hume’s intentions here are entirely non-sceptical, and that so far from advancing a negative thesis himself, he is merely intent on showing the implausible consequences of the “rationalist” position taken by some of his philosophical opponents. (shrink)
I’d like to start by thanking all those who’ve played a part in making this conference such a success, including all the readers who helped us decide which papers to include, Jane (McIntyre) who chaired the Reading Committee, and especially Tony (Pitson), who organized the splendid local arrangements here in Stirling. Compared to Jane and Tony, I’ve had it relatively easy. Though I proposed, back at Lancaster in 1989, that this year’s conference should be mainly focused on the first Enquiry (...) on its 250th anniversary, and originally planned to host it in Leeds, the last few years have been so horrendously busy and stressful for me that I would have found it very hard to cope as local organizer. Even without these strains, I would not have succeeded in doing things in Tony’s calm, efficient manner. (shrink)
The Christian tradition has always taken a generally negative view of abortion, but the moral basis and perceived implications of this negative view have varied greatly. In the early Church abortion and contraception were often seen as broadly equivalent, both involving interference with the natural reproductive process (and an association with sexual immorality which even led some to see contraception as the more sinful of the two). But the tendency to conflate abortion with contraception, and even on similar grounds with (...) male masturbation, declined in the face of the biological discovery of the mother's role as more than just an incubator for the male "seed" - with the recognition of conception as a distinct and crucial event, abortion became generally seen as morally far more serious than contraception, potentially involving threat to an innocent life and therefore, arguably, equivalent to homicide. When seen as homicide, abortion has naturally been subject to an almost total prohibition, the only generally agreed exception being where it is necessary to save the mother's life. Within the Roman Catholic communion, moreover, even this exception has tended to be countenanced only when sanctioned by the doctrine of double effect - where the abortion is not directly intended, but is only a foreseen but unintended consequence of a surgical intervention whose primary intention is to save the mother's life (e.g. the removal of a cancerous uterus or of a fallopian tube containing an ectopic pregnancy). (shrink)
As a particular enthusiast for the first Enquiry, Hume’s definitive presentation of his epistemology and metaphysics ☺, I eagerly awaited the new Oxford editions for many years (from when they were initially announced under the aegis of Princeton). Although the Selby- Bigge edition of the Enquiries has done good service, most notably in its role of providing a widely agreed convention for references to Hume’s texts, I have always found it a bit strange that it should be generally thought of (...) as a relatively reliable edition - if this is so, then I think it says more about the competition than it does about the Selby-Bigge edition itself. For example. (shrink)
Perinetti’s paper is interesting and provocative, covering a broad range and suggesting fruitful readings that deserve to be explored further and in detail. Unfortunately, time prevents me from doing these justice, so I shall confine myself mainly to comments on and objections to his general approach. In brief, I shall suggest that his interesting ideas about Hume’s theory of ideas and their limits might be better divorced from his consideration of Humean “sceptical solutions”.
In October 1775, David Hume wrote to his printer William Strahan, requesting that an ‘Advertisement’ should be attached to remaining copies of the second volume of his Essays and Treatises on Several Subjects. This volume contained his two Enquiries, the Dissertation on the Passions, and The Natural History of Religion, and the Advertisement states that these works should ‘alone be regarded as containing his philosophical sentiments and principles’ (E 2). In the covering letter, Hume comments that this ‘is a compleat (...) Answer to Dr Reid and to that bigotted silly Fellow, Beattie.’ (HL ii. 301). My aim here is to try to throw light on what Hume might have meant by this comment, and to assess to what extent it might have been justified. (shrink)
The overall aim of this thesis is to understand Hume’s famous argument concerning induction, and to appraise its success in establishing its conclusion. The thesis accordingly falls into two main parts, the first being concerned with analysis and interpretation of the argument itself, and the second with investigation of possible responses to it. Naturally the argument’s interpretation strongly constrains the range of possible replies, and indeed the results of Part I indicate that the only kind of strategy which stands much (...) prospect of defeating Hume’s argument is one based on a priori probabilistic reasoning – hence the overwhelming majority of Part II is devoted to a thorough investigation of this approach. (shrink)
I advance what might be thought a paradoxical thesis: that the central topic of Hume’s long discussions “Of the Idea of Necessary Connexion” is not, in fact, the idea of necessary connexion. However it is not as paradoxical as it first appears, for I shall claim that the “idea” whose origin Hume seeks is, in a sense, an idea-type of which the specific idea of necessary connexion is but one instance. Various lines of evidence support this claim, but my main (...) argument will rest on its ability to solve four puzzles in Hume’s text, which are otherwise hard to explain away. These are: (S) the synonymy puzzle, posed by Hume’s apparently reckless assertion that “efficacy”, “agency”, “power”, “force”, “energy”, “necessity”, “connexion”, and “productive quality” are all virtual synonyms; (C) the complexity puzzle, that Hume seems to ignore the possibility that his target idea might be complex rather than simple; (V) the vulgar problem, which arises from Hume’s acknowledgement that the vulgar believe in “chancy” causes, even though he takes the very concept of causation to involve necessity; and (P) the probability problem, of how an allegedly simply idea whose central core involves inexorable necessity could possibly provide a basis for probability. The paper ends by drawing further support from an analysis of Hume’s two sections “Of the idea of necessary connexion”, showing that his use of the various relevant terms makes good sense on the thesis proposed, thus corroborating the arguments presented. (shrink)
The centrepiece of Earman’s provocatively titled book Hume’s Abject Failure: The Argument against Miracles (OUP, 2000) is a probabilistic interpretation of Hume’s famous ‘maxim’ concerning the credibility of miracle reports, followed by a trenchant critique of the maxim when thus interpreted. He argues that the first part of this maxim, once its obscurity is removed, is simply trivial, while the second part is nonsensical. His subsequent discussion culminates with a forthright challenge to any would-be defender of Hume to ‘point (...) to some thesis which is both philosophically interesting and which Hume has made plausible’. My main aim here is to answer this challenge, by demonstrating a preferable interpretation of Hume’s maxim, according to which its first half is both plausible and non-trivial, while its second half sketches a useful, albeit approximate, corollary. I conclude by contesting Earman’s negative views on the originality and philosophical significance of Hume’s justly famous essay. (shrink)
themselves seen the Enquiry as the most reliable indicator of Hume’s mature position.3 • On this nexus of topics in particular, the Enquiry is philosophically and expositionally superior.4 This handout is designed to set the scene, by sketching the various positions and theses to be discussed (together with references), and providing some other materials that will be referred to in my talk.
HUME STUDIES’ Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the HUME STUDIES archive only for your personal, non-commercial use. Each copy of any part of a HUME STUDIES transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
The word ‘induction’ is derived from Cicero’s ‘inductio’, itself a translation of Aristotle’s ‘epagôgê’. In its traditional sense this denotes the inference of general laws from particular instances, but within modern philosophy it has usually been understood in a related but broader sense, covering any non-demonstrative reasoning that is founded on experience. As such it encompasses reasoning from observed to unobserved, both inference of general laws and of further particular instances, but it excludes those cases of reasoning in which the (...) conclusion is logically implied by the premises, such as induction by complete enumeration. (shrink)
LOCKE famously defines knowledge as “the perception of the connexion and agreement, or disagreement and repugnancy of any of our Ideas” (Essay IV i 2), but his subsequent discussion significantly extends this somewhat vague and unclear definition. He starts by suggesting that knowledge always concerns one of four types of agreement or disagreement, namely “Identity, or Diversity”, “Relation”, “Co-existence, or necessary connexion”, and “real Existence”--his examples of the first two of these (perceiving the self-identity and distinctness of ideas, and the (...) relations between ideas) fit relatively comfortably with his definition, but knowledge of “co-existence” (Locke instances the fixedness of gold and the magnetisability of iron) and “real existence” (for example of physical objects, or of God) both seem to involve the “agreement” of ideas with external things rather than merely amongst themselves. (shrink)
The word ‘logic’ as used today is commonly taken to refer to a formal discipline, as indeed it was almost universally from the time of ARISTOTLE until at least the sixteenth century. But the writings of Descartes and his followers (notably Malebranche and the authors of the Port Royal Logic, Arnauld and Nicole) undermined this understanding of the word, preparing the ground for LOCKE to reinterpret it most influentially in his Essay Concerning Human Understanding. Locke adopted from the Cartesians a (...) contempt for the alleged barrenness of Aristotelian syllogistic theory, and aspired to replace it with a discipline focused not on the formal relations of words, but instead on the powers of the human mind and the improvement of our cognitive faculties. It is this kind of informal discipline, therefore, which is most commonly referred to as “logic” by the empiricist authors from Locke to MILL, and indeed their understanding of the logical enterprise persisted until the turn of the twentieth century, when FREGE and RUSSELL firmly reestablished the discipline of formal logic in a new, more powerful, and non-Aristotelian guise. (shrink)
Probabilities range from 0 to 1. If a proposition has a probability of 0, then it’s certainly false; if 1, then it’s certainly true. A proposition with a probability of ½ (or 0.5, or 50%) is equally likely to be true as false, and a proposition with a probability of ¾ (or 0.75, or 75%) is three times as likely to be true as false.
Over a period of more than twenty years, Sybil Wolfram gave lectures at Oxford University on Philosophical Logic, a major component of most of the undergraduate degree programmes. She herself had been introduced to the subject by Peter Strawson, and saw herself as working very much within the Strawsonian tradition. Central to this tradition, which began with Strawson's seminal attack on Russell's theory of descriptions in ‘On Referring' (1950), is the distinction between a sentence and what is said by a (...) sentence − Strawson initially called the latter a use of a sentence, and sometimes a proposition , but his most frequent term for what is said , which Wolfram consistently adopts, is the statement expressed.1 The force of the distinction is clearly illustrated in ‘On Referring', which uses it to undermine the common assumption that any sentence must be either true, or false, or meaningless. Russell had argued on this basis that a sentence such as ‘The King of France is bald' (which is clearly neither true nor meaningless) must be false, but Strawson points out that if we distinguish between the sentence itself and the statement that it expresses (on some occasion of use), we can quite easily combine the admission that the sentence is meaningful − for it can in appropriate circumstances be used to express true and false statements − with the claim that nevertheless if the circumstances are ‘inappropriate' (in particular, when there is no current King of France), the sentence can fail to express a statement that is either true or false. On this picture, therefore, it is sentences that are meaningful, but statements that are the primary bearers of truth. (shrink)
The problem of the morality of abortion is one of the most complex and controversial in the entire field of applied ethics. It may therefore appear rather surprising that the most popular proposed “solutions” to it are extremely simple and straightforward, based on clear-cut universal rules which typically either condemn abortion severely in virtually every case or else deem it to be morally quite unproblematic, and hence permissible whenever the mother wishes. This polarised situation in the theoretical debate, however, is (...) in clear contrast with the abortion law in many countries (including Britain), where abortions are treated very differently according to the stage of pregnancy at which they are carried out, so that early abortions are permitted relatively easily, whereas very late abortions are sanctioned only in exceptional cases. It seems likely, moreover, that in thus taking account of the time of an abortion, the law genuinely reflects the weight of public opinion - there may be no overall consensus on the underlying moral issues, but it does appear to be part of “commonsense” morality to accept that, whatever the ultimate rights and wrongs of abortion in general may be, at any rate abortion early in pregnancy is morally greatly preferable to late abortion. Let us call this “the developmental view”, since it holds that the moral gravity of abortion increases with the degree of development of the fetus. (shrink)
This is just one typical example of a class of arguments which are sometimes used to attack those (such as the author of this article) who presume to criticise philosophers with different views, or from different cultures, by "dogmatically" appealing to the principles of logic. There is, as we shall see, something very odd about this sort of argument, but it does have a certain superficial plausibility, and also an air of moral virtue through its spirit of generous open-mindedness. Who (...) are we to criticise Plato, Descartes and the rest, for failing to live up to our limited Modern Western Logic? Our criticisms must be simply the result of narrow-minded bigotry, which prevents us from seeing that all standards are relative, and that the pretended "objectivity" of our logic is no more than a manifestation of our supreme cultural arrogance. (shrink)
Since all inductive inference is equally The main aim of the two definitions of Since all inductive inference is equally The main aim of the two definitions of irrational, there is no consistent basis for irrational, there is no consistent basis for causation is to clarify the meaning of the causation is to clarify the meaning of the drawing any demarcation between drawing any demarcation between concept of concept of “ “necessity necessity” ”, in accordance with , in accordance with (...) scientific prediction and superstition. scientific prediction and superstition. (shrink)
Any argument which attempts to prove God's existence a priori based only on His nature can be termed an "Ontological Argument". Historically, however, the term is inextricably associated with the famous argument presented in Anselm's Proslogion chapter II, and with the later variant advanced by Descartes in his fifth Meditation and subsequently developed by Leibniz. Some have claimed that Anselm's argument was anticipated in the thought either of various classical philosophers (notably Aristotle, Parmenides, Plato, and Zeno of Cition) or of (...) Augustine, but although there are indeed suggestive passages in their writings, Anselm's explicit "proof" of God's existence based on his Nature does appear to be a genuinely original discovery. (shrink)
Hume’s view of reason is notoriously hard to pin down, not least because of the apparently contradictory positions which he appears to adopt in different places. The problem is perhaps most clear in his writings concerning induction - in his famous argument of Treatise I iii 6 and Enquiry IV, on the one hand, he seems to conclude that “probable inference” has no rational basis, while elsewhere, for example in much of his writing on natural theology, he seems happy to (...) acknowledge that such inference is not only reasonable, but is even a paradigm of reasoning against which the theistic arguments must be judged. In the face of this apparent contradiction, many recent commentators have proferred “non-sceptical” interpretations of Hume’s argument concerning induction, but in this paper I sketch an alternative and perhaps less radical method of resolving the problem, by identifying a major threefold ambiguity in Hume’s use of the word “reason”. On this interpretation, Hume indeed sees induction as a paradigm of reasonableness in what is arguably the most important sense, but he nevertheless believes induction to be entirely non-reasonable in another sense, which though less important in common life is nevertheless very significant philosophically. A comparison with Locke can help to illuminate Hume’s position, which though indeed not entirely sceptical about induction, is by no means entirely non-sceptical either. (shrink)
As time moves on, both our philosophical language and our conceptual frameworks evolve, since they are highly abstract and not closely tethered to the relatively solid ground of ordinary life. So to understand Hume’s thinking, it becomes necessary to “translate” what he says into categories increasingly different from his own.
My aim in this paper is to present what I consider to be the decisive objection against the ‘New Hume’ Causal realist interpretation of Hume, and to refute three recent attempts to answer this objection. I start in §1 with an outline of the ‘Old’ and ‘New’ interpretations. Then §2 sketches the traditional case in favour of the former, while §3 presents the decisive objection to the latter, based on Hume’s discussions of ‘Liberty and Necessity’ (i.e. free-will and determinism). In (...) §§4-6, I consider in turn the recent responses of Helen Beebee, Peter Kail, and John Wright, and explain why these fail. My conclusion in §7 is that the New Hume can reasonably be considered as refuted, unless and until a more successful response is forthcoming, which (to me at least) looks extremely unlikely. (shrink)
David Hume has traditionally been assumed to be a soft determinist or compatibilist,1 at least in the 'reconciling project' that he presents in Section 8 of the first Enquiry, entitled 'Of liberty and necessity.'2 Indeed, in encyclopedias and textbooks of Philosophy he is standardly taken to be one of the paradigm compatibilists, rivalled in significance only by Hobbes within the tradition passed down through Locke, Mill, Schlick and Ayer to recent writers such as Dennett and Frankfurt.3 Many Hume scholars also (...) concur in viewing him as a determinist, for example (in date order) Norman Kemp Smith, Barry Stroud, A. J. Ayer, Paul Russell, Don Garrett, Terence Penelhum, George Botterill, John Bricke, and John Wright.4 .. (shrink)
Hume‟s essay on the credibility of miracle reports has always been controversial,1 with much debate over how it should be interpreted, let alone assessed. My aim here is to summarise what I take to be the most plausible views on these issues, both interpretative and philosophical, with references to facilitate deeper investigation if desired. The paper is divided into small sections, each headed by a question that provides a focus. Broadly speaking, §§1-3 and §20 are on Hume‟s general philosophical framework (...) within which the essay is situated, §§4-11 and §19 are on Part 1, §12-18 are on Part 2, and the final three sections §§18-20 sum up my assessment of his arguments. (shrink)
The ‘New Hume’ interpretation, which sees Hume as a realist about ‘thick’ Causal powers, has been largely motivated by his evident commitment to causal language and causal science. In this, however, it is fundamentally misguided, failing to recognise how Hume exploits his anti-realist conclusions about (upper-case) Causation precisely to support (lower-case) causal science. When critically examined, none of the standard New Humean arguments — familiar from the work of Wright, Craig, Strawson, Buckle, Kail, and others — retains any significant force (...) against the plain evidence of Hume's; texts. But the most devastating objection comes from Hume's own applications of his analysis of causation, to the questions of ‘the immateriality of the soul’ and ‘liberty and necessity’. These show that the New Hume interpretation has misunderstood the entire purpose of his ‘Chief Argument’, and presented him as advocating some of the very positions he is arguing most strongly against. (shrink)
Yujin Nagasawa accuses me of attributing to Anselm a principle (the 'principle of the superiority of existence', or PSE) which is not present in his text and which weakens, rather than strengthens, his Ontological Argument. I am undogmatic about the interpretative issue, but insist on a philosophical point: that Nagasawa's rejection of PSE does not help the argument, and appears to do so only because he overlooks the same ambiguity that vitiates the original. My conclusion therefore remains: that the fatal (...) flaw in Anselm's argument—as in many other variants—is a relatively shallow ambiguity rather than a deep metaphysical mistake. (shrink)
Hume has traditionally been understood as an inductive sceptic with positivist tendencies, reducing causation to regular succession and anticipating the modern distinctions between analytic and synthetic, deduction and induction. The dominant fashion in recent Hume scholarship is to reject all this, replacing the ‘Old Hume’ with various New alternatives. Here I aim to counter four of these revisionist readings, presenting instead a broadly traditional interpretation but with important nuances, based especially on Hume’s later works. He asked that we should treat (...) these— notably the first Enquiry—as his authoritative philosophical statements, and with good reason. (shrink)
Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)
This companion to the study of one of the great works of Western philosophy--David Hume's Enquiry concerning Human Understanding (1748)--provides a general overview of the Enquiry, especially for those approaching it for the first time, and sets it in the context of Hume's philosophical work as a whole. It elucidates, analyzes, and assesses the philosophy of the Enquiry, clarifying its interpretation and discussing recent developments in Hume scholarship that are relevant to the Enquiry. The eminent contributors to this volume cover (...) a broad range of topics: meaning, induction, skepticism, belief, personal identity, causation, freedom, miracles, probability, and religious belief. (shrink)
This is the second of two volumes of essays in commemoration of Alan Turing; it celebrates his intellectual legacy within the philosophy of mind and cognitive science. A distinguished international cast of contributors focus on the relationship beteen a scientific, computational image of the mind and a common-sense picture of the mind as an inner arena populated by concepts, beliefs, intentions, and qualia. Topics covered include the causal potency of folk-psychological states, the connectionist reconception of learning and concept formation, the (...) understanding of the notion of computation itself, and the relation between philosophical and psychological theories of concepts. -/- Also available in paperback is the companion volume, Machines and Thought, edited by Peter Millican and Andy Clark, which focuses on Turing's main innovations in artificial intelligence. (shrink)
This is the first of two volumes of essays in commemoration of Alan Turing, whose pioneering work in the theory of artificial intelligence and computer science continues to be widely discussed today. A group of prominent academics from a wide range of disciplines focus on three questions famously raised by Turing: What, if any, are the limits on machine 'thinking'? Could a machine be genuinely intelligent? Might we ourselves be biological machines, whose thought consists essentially in nothing more than the (...) interaction of neurons according to strictly determined rules? The discussion of these fascinating issues is accessible to non-specialists and stimulating for all readers. -/- Also available in paperback is the companion volume: Connectionism, Concepts, and Folk Psychology, edited by Andy Clark and Peter Millican. While Volume 1 concentrates on Turing's main innovations in artificial intelligence, Volume 2 looks more broadly at his intellectual legacy in philosophy and cognitive science. (shrink)
This is the second of two volumes of essays in commemoration of Alan Turing; it celebrates his intellectual legacy within the philosophy of mind and cognitive science. A distinguished international cast of contributors focus on the relationship beteen a scientific, computational image of the mind and a common-sense picture of the mind as an inner arena populated by concepts, beliefs, intentions, and qualia. Topics covered include the causal potency of folk- psychological states, the connectionist reconception of learning and concept formation, (...) the understanding of the notion of computation itself, and the relation between philosophical and psychological theories of concepts. (shrink)
In this paper, I shall address the much-discussed issue of how definite descriptions should be analysed: whether they should be given a quantificational analysis in the style of Russell’s theory of descriptions, or whether they should be seen instead, at least in some cases, as “genuine singular terms” or “genuine referring expressions”, whose function is to pick out a particular object in order to say something about that very object.
Over the centuries, many different arguments have been used to support the belief in God. These range from the abstruse and theoretical, such as Anselm’s famous Ontological Argument, to the relatively downto-earth and practical, such as Pascal’s Wager; but nearly all of them share a common weakness on which I intend to focus. I shall claim that the theistic arguments typically take for granted that in order to establish the existence of God they have only to establish the existence of (...) a Supreme Being. They thus presuppose that for the office of Lord of the Universe, God as traditionally understood by Christians is the only candidate worth considering, and as a result they give insufficient attention to the nature of the Supreme Being whose existence they supposedly prove. (shrink)