This paper explores two Cartesian-based resolutions which embody a very fruitful problem for Cartesianism: the communication between body and soul. Keeping with the principles defended by the interlocutor, Elisabeth of Bohemia develops her philosophical position in the epistles exchanged with Descartes and argues that the soul should be conceived materially. Conversely, this communication between soul and body is argued differently from the perspective of Leibniz, who pursues a spiritualistic solution to the problem by making the body aggregated with inferior substances (...) instead of making the soul material. (shrink)

I explore how rational belief and rational credence relate to evidence. I begin by looking at three cases where rational belief and credence seem to respond differently to evidence: cases of naked statistical evidence, lotteries, and hedged assertions. I consider an explanation for these cases, namely, that one ought not form beliefs on the basis of statistical evidence alone, and raise worries for this view. Then, I suggest another view that explains how belief and credence relate to evidence. My view (...) focuses on the possibilities that the evidence makes salient. I argue that this makes better sense of the difference between rational credence and rational belief than other accounts. (shrink)

In this paper, I argue that the relationship between belief and credence is a central question in epistemology. This is because the belief-credence relationship has significant implications for a number of current epistemological issues. I focus on five controversies: permissivism, disagreement, pragmatic encroachment, doxastic voluntarism, and the relationship between doxastic attitudes and prudential rationality. I argue that each debate is constrained in particular ways, depending on whether the relevant attitude is belief or credence. This means that epistemologists should pay attention (...) to whether they are framing questions in terms of belief or in terms of credence and the success or failure of a reductionist project in the belief-credence realm has significant implications for epistemology generally. (shrink)

Belief-credence dualism is the view that we have both beliefs and credences and neither attitude is reducible to the other. Pragmatic encroachment is the view that practical stakes can affect the epistemic rationality of states like knowledge or justified belief. In this paper, I argue that dualism offers a unique explanation of pragmatic encroachment cases. First, I explain pragmatic encroachment and what motivates it. Then, I explain dualism and outline a particular argument for dualism. Finally, I show how dualism can (...) explain the intuitions that underlie pragmatic encroachment. My basic proposal is that in high-stakes cases, it is not that one cannot rationally believe that p; instead, one ought not to rely on one's belief that p. One should rather rely on one's credence in p. I conclude that we need not commit ourselves to pragmatic encroachment in order to explain the intuitiveness of the cases that motivate it. (shrink)

Epistemic permissivism is the thesis that the evidence can rationally permit more than one attitude toward a proposition. Pascal’s wager is the idea that one ought to believe in God for practical reasons, because of what one can gain if theism is true and what one has to lose if theism is false. In this paper, I argue that if epistemic permissivism is true, then the defender of Pascal’s wager has powerful responses to two prominent objections. First, I argue that (...) if permissivism is true, then permissivism is true about theistic belief. Second, I show how epistemic permissivism about theistic belief dispels two objections to Pascal’s wager: the objection that wagering is impossible, and the objection that wagering is epistemically impermissible. (shrink)

Elizabeth Schechter explores the implications of the experience of people who have had the pathway between the two hemispheres of their brain severed, and argues that there are in fact two minds, subjects of experience, and intentional agents inside each split-brain human being: right and left. But each split-brain subject is still one of us.

Philosophical theories of gender are typically understood as theories of what it is to be a woman, a man, a nonbinary person, and so on. In this paper, I argue that this is a mistake. There’s good reason to suppose that our best philosophical theory of gender might not directly match up to or give the extensions of ordinary gender categories like ‘woman’.

Sometimes epistemologists theorize about belief, a tripartite attitude on which one can believe, withhold belief, or disbelieve a proposition. In other cases, epistemologists theorize about credence, a fine-grained attitude that represents one’s subjective probability or confidence level toward a proposition. How do these two attitudes relate to each other? This article explores the relationship between belief and credence in two categories: descriptive and normative. It then explains the broader significance of the belief-credence connection and concludes with general lessons from the (...) debate thus far. (shrink)

Metaphysical orthodoxy maintains that the relation of ontological dependence is irreflexive, asymmetric, and transitive. The goal of this paper is to challenge that orthodoxy by arguing that ontological dependence should be understood as non- symmetric, rather than asymmetric. If we give up the asymmetry of dependence, interesting things follow for what we can say about metaphysical explanation— particularly for the prospects of explanatory holism.

Permissivism is the view that there are evidential situations that rationally permit more than one attitude toward a proposition. In this paper, I argue for Intrapersonal Belief Permissivism (IaBP): that there are evidential situations in which a single agent can rationally adopt more than one belief-attitude toward a proposition. I give two positive arguments for IaBP; the first involves epistemic supererogation and the second involves doubt. Then, I should how these arguments give intrapersonal permissivists a distinct response to the toggling (...) objection. I conclude that IaBP is a view that philosophers should take seriously. (shrink)

Permissivism is the thesis that, for some body of evidence and a proposition p, there is more than one rational doxastic attitude any agent with that evidence can take toward p. Proponents of uniqueness deny permissivism, maintaining that every body of evidence always determines a single rational doxastic attitude. In this paper, we explore the debate between permissivism and uniqueness about evidence, outlining some of the major arguments on each side. We then consider how permissivism can be understood as an (...) underdetermination thesis, and show how this moves the debate forward in fruitful ways: in distinguishing between different types of permissivism, in dispelling classic objections to permissivism, and in shedding light on the relationship between permissivism and evidentialism. (shrink)

A question of recent interest in epistemology and philosophy of mind is how belief and credence relate to each other. A number of philosophers argue for a belief-first view of the relationship between belief and credence. On the belief-first view, what it is to have a credence just is to have a particular kind of belief, that is, a belief whose content involves probabilities or epistemic modals. Here, I argue against the belief-first view: specifically, I argue that it cannot account (...) for agents who have credences in propositions they barely comprehend. I conclude that, however credences differ from beliefs, they do not differ in virtue of adding additional content to the believed proposition. (shrink)

ABSTRACTWhat conditions must be satisfied if a group is to count as having a justified belief? Jennifer Lackey has recently argued that any adequate account of group justification must be sensitive to both the evidence actually possessed by enough of a group's operative members as well as the evidence those members should have possessed. I first draw attention to a range of objections to Lackey's specific view of group justification and a range of concrete case intuitions any plausible view of (...) group justification must explain. I then offer an alternative view of group justification where the basic idea is that group justification is a matter of groups responsibly responding to their total evidence. This view both avoids the problems facing Lackey's account and also explains the relevant concrete case intuitions. (shrink)

The distinction between propositional and doxastic justification is the distinction between having justification to believe P (= propositional justification) versus having a justified belief in P (= doxastic justification). The focus of this paper is on doxastic justification and on what conditions are necessary for having it. In particular, I challenge the basing demand on doxastic justification, i.e., the idea that one can have a doxastically justified belief only if one’s belief is based on an epistemically appropriate reason. This demand (...) has been used to refute versions of coherentism and conservatism about perceptual justification as well as to defend phenomenal “conservatism” and other views besides. In what follows I argue that there is virtually no reason to think there is a basing demand on doxastic justification. I also argue that even if the basing demand were true, it would still fail to serve the dialectical purposes for which it has been employed in arguments concerning coherentism, conservatism, and phenomenal “conservatism”. I conclude by discussing the fact that knowledge has a basing demand and show why this needn’t raise the same sort of problems for coherentism and conservatism that doxastic justification’s basing demand seemed to. (shrink)

This paper examines whether atheists, who believe that God does not exist, can have faith. Of course, atheists have certain kinds of faith: faith in their friends, faith in certain ideals, and faith in themselves. However, the question we’ll examine is whether atheists can have theistic faith: faith that God exists. Philosophers tend to fall on one of two extremes on this question: some, like Dan Howard-Snyder (2019) and Imran Aijaz (2023), say unequivocally no; others, like Robert Whitaker (2019) and (...) Sam Lebens (2023), say unequivocally yes. Here, I take a middle position: I argue that atheists can have action-focused theistic faith (faith in how they act) but not attitude-focused theistic faith (faith in what attitudes they have). (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

[This papers explores a novel case for the normativity of knowledge for belief – something that is compatible with the knowledge/factual awareness distinction I've explored elsewhere.] There are two different kinds of enkratic principles for belief: evidential enkratic principles and normative enkratic principles. It’s frequently taken for granted that there’s not an important difference between them. But evidential enkratic principles are undermined by considerations that gain no traction at all against their normative counterparts. The idea that such an asymmetry exists (...) between evidential and normative enkratic principles is surprising all on its own. It is also something that calls out for explanation. Similarly, the considerations that undermine evidential enkratic principles also undermine certain narrow-scope evidential principles. This too generates explanatory questions. I show how a knowledge-first view of rationality can easily address these explanatory questions. Thus we have one more reason to put knowledge first in [some areas of] epistemology. (shrink)

Conservatism about perceptual justification tells us that we cannot have perceptual justification to believe p unless we also have justification to believe that perceptual experiences are reliable. There are many ways to maintain this thesis, ways that have not been sufficiently appreciated. Most of these ways lead to at least one of two problems. The first is an over-intellectualization problem, whereas the second problem concerns the satisfaction of the epistemic basing requirement on justified belief. I argue that there is at (...) least one Conservative view that survives both difficulties, a view which has the further ability to undercut a crucial consideration that has supported Dogmatist views about perceptual justification. The final section explores a tension between Conservatism and the prospects of having a completely general account of propositional justification. Ironically, the problem is that Conservatives seem committed to making the acquisition of propositional justification too easy. My partial defense of Conservatism concludes by suggesting possible solutions to this problem. (shrink)

I examine three attitudes: belief, faith, and hope. I argue that all three attitudes play the same role in rationalizing action. First, I explain two models of rational action—the decision-theory model and the belief-desire model. Both models entail there are two components of rational action: an epistemic component and a conative component. Then, using this framework, I show how belief, faith, and hope that p can all make it rational to accept, or act as if, p. I conclude by showing (...) how my picture can explain how action-oriented commitments can be rational over time, both in the face of counterevidence and in the face of waning affections. (shrink)

The special composition question asks, roughly, under what conditions composition occurs. The common sense view is that composition only occurs among some things and that all and only ‘ordinary objects’ exist. Peter van Inwagen has marshaled a devastating argument against this view. The common sense view appears to commit one to giving what van Inwagen calls a ‘series-style answer’ to the special composition question, but van Inwagen argues that series-style answers are impossible because they are inconsistent with the transitivity of (...) parthood. In what follows I answer this objection in addition to other, less troubling objections raised by van Inwagen. (shrink)

Many evidentialists are impermissivists. But there’s no in-principle reason for this. In this paper, I examine and motivate permissivist evidentialism. Not only are permissivism and evidentialism compatible but there are unique benefits that arise for this combination of views. In particular, permissivist evidentialism respects the importance of evidence while capturing its limitations and provides a plausible and attractive explanation of the relationship between the epistemic and non-epistemic. Permissivist evidentialism is thus an attractive option in logical space that hasn’t received enough (...) attention. (shrink)

What gender are you? And in virtue of what? These are questions of gender categorization. Such questions are increasingly at the core of many contemporary debat.

It is one thing to hold that merely statistical evidence is _sometimes_ insufficient for rational belief, as in typical lottery and profiling cases. It is another thing to hold that merely statistical evidence is _always_ insufficient for rational belief. Indeed, there are cases where statistical evidence plainly does justify belief. This project develops a dispositional account of the normativity of statistical evidence, where the dispositions that ground justifying statistical evidence are connected to the goals (= proper function) of objects. There (...) are strong intuitive motivations for doing this. For we can turn almost any case of _non-justifying_ merely statistical evidence into a case of _justifying_ merely statistical evidence by adding information about the dispositions and goals of the objects involved. The resulting view not only helps us understand when and why merely statistical evidence is normatively significant, but it also helps us understand how statistical evidence relates to more standard forms of evidence (perceptual, testimonial). The emerging view also has surprising applications, as it imposes limitations on the epistemic value of fine-tuning arguments for theism as well as undermines a standard class of case-based arguments for moral encroachment. (shrink)

Faith is a trusting commitment to someone or something. Faith helps us meet our goals, keeps our relationships secure, and enables us to retain our commitments over time. Faith is thus a central part of a flourishing life. -/- This article is about the philosophy of faith. There are many philosophical questions about faith, such as: What is faith? What are its main components or features? What are the different kinds of faith? What is the relationship between faith and other (...) similar states, such as belief, trust, knowledge, desire, doubt, and hope? Can faith be epistemically rational? Practically rational? Morally permissible? -/- This article addresses these questions. It is divided into three main parts. The first is about the nature of faith. This includes different kinds of faith and various features of faith. The second discusses the way that faith relates to other states. For example, what is the difference between faith and hope? Can someone have faith that something is true even if they do not believe it is true? The third discusses three ways we might evaluate faith: epistemically, practically, and morally. While faith is not always rational or permissible, this section covers when and how it can be. The idea of faith as a virtue is also discussed. (shrink)

I provide a novel knowledge-first account of justification that avoids the pitfalls of existing accounts while preserving the underlying insight of knowledge-first epistemologies: that knowledge comes first. The view I propose is, roughly, this: justification is grounded in our practical knowledge (know-how) concerning the acquisition of propositional knowledge (knowledge-that). I first refine my thesis in response to immediate objections. In subsequent sections I explain the various ways in which this thesis is theoretically superior to existing knowledge-first accounts of justification. The (...) upshot is a virtue-theoretic, knowledge-first view of justification that is internalist-friendly and able to explain more facts about justification than any other available view. (shrink)

When are we obligated to believe someone? To what extent are people authorities about their own experiences? What kind of harm might we enact when we doubt? Questions like these lie at the heart of many debates in social and feminist epistemology, and they’re the driving issue behind a key conceptual framework in these debates—gaslighting. But while the concept of gaslighting has provided fruitful insight, it's also proven somewhat difficult to adjudicate, and seems prone to over-application. In what follows, I (...) argue that Katherine Hawley's theory of trust can provide a useful alternative lens for looking at contested testimony. To do this, I focus on a particularly complex—but increasingly popular—application of gaslighting: the physician/patient relationship, and the idea of ‘medical gaslighting’. I argue that, even though patients can experience harm when they are disbelieved, there are nevertheless good reasons for physicians not to trust patients about at least some of their own narratives. (shrink)

Radical moral encroachment is the view that belief itself is morally evaluable, and that some moral properties of belief itself make a difference to epistemic rationality. To date, almost all proponents of radical moral encroachment hold to an asymmetry thesis: the moral encroaches on rational belief, but not on rational credence. In this paper, we argue against the asymmetry thesis; we show that, insofar as one accepts the most prominent arguments for radical moral encroachment on belief, one should likewise accept (...) radical moral encroachment on credence. We outline and reject potential attempts to establish a basis for asymmetry between the attitude types. Then, we explore the merits and demerits of the two available responses to our symmetry claim: (i) embracing moral encroachment on credence and (ii) denying moral encroachment on belief. (shrink)

Contemporary literature criticises a necessary link between empathy and actions that demonstrate genuine moral worth. If there is such a necessary link, many argue, it must come in the developmental stages of our moral capacities, rather than being found in the mental states that make up our motivating reasons. This paper goes against that trend, arguing that critics have not considered how wide-ranging the mental states are that make up a person’s reasons. In particular, it argues that empathy can play (...) a role in moral motivation when it is to some extent unconscious or it occurs far prior to the moral action itself. (shrink)

Much of the literature on the relationship between belief and credence has focused on the reduction question: that is, whether either belief or credence reduces to the other. This debate, while important, only scratches the surface of the belief-credence connection. Even on the anti-reductive dualist view, belief and credence could still be very tightly connected. Here, I explore questions about the belief-credence connection that go beyond reduction. This paper is dedicated to what I call the independence question: just how independent (...) are belief and credence? I look at this question from two angles: a descriptive one (as a psychological matter, how much can belief and credence come apart?) and a normative one (for a rational person, how closely connected are belief and credence?) Ultimately, I suggest that the two attitudes are more independent than one might think. (shrink)

An argument is epistemically self-defeating when either the truth of an argument’s conclusion or belief in an argument’s conclusion defeats one’s justification to believe at least one of that argument’s premises. Some extant defenses of the evidentiary value of intuition have invoked considerations of epistemic self-defeat in their defense. I argue that there is one kind of argument against intuition, an unreliability argument, which, even if epistemically self-defeating, can still imply that we are not justified in thinking intuition has evidentiary (...) value. (shrink)

A description of consciousness leads to a contradiction with the postulation from special relativity that there can be no connections between simultaneous event. This contradiction points to consciousness involving quantum level mechanisms. The Quantum level description of the universe is re- evaluated in the light of what is observed in consciousness namely 4 Dimensional objects. A new improved interpretation of Quantum level observations is introduced. From this vantage point the following axioms of consciousness is presented. Consciousness consists of two distinct (...) components, the observed U and the observer I. The observed U consist of all the events I is aware of. A vast majority of these occur simultaneously. Now if I were to be an entity within the space-time continuum, all of these events of U together with I would have to occur at one point in space-time. However, U is distributed over a definite region of space-time (region in brain). Thus, I is aware of a multitude of space-like separated events. It is seen that this awareness necessitates I to be an entity outside the space-time continuum. With I taken as such, a new concept called concept A is introduced. With the help of concept A a very important axiom of consciousness, namely Free Will is explained. (shrink)

This work introduces the reader to the central issues and theories in Western environmental ethics, and against this background develops a Buddhist environmental philosophy and ethics. Drawing material from original sources, there is a lucid exposition of Buddhist environmentalism, its ethics, economics and Buddhist perspectives for environmental education. The work is focused on a diagnosis of the contemporary environmental crisis and a Buddhist contribution for positive solutions. Replete with stories and illustrations from original Buddhist sources, it is both informative and (...) engaging. (shrink)

Pascal’s wager is unique among theistic arguments. It does not aim to establish that God exists but instead concludes that you ought to believe in, or wager on, God. In this chapter, I provide an overview of Pascal’s wager and discuss different approaches to the wager. Then, I consider how to motivate a wager for Christianity in particular. I also address common Christian objections to the wager. Finally, I cover the practical importance of Pascal’s wager for both Christians and non-Christians.

The orthodox view of anger takes desires for revenge or retribution to be central to the emotion. In this paper, I develop an empirically informed challenge to the retributive view of anger. In so doing, I argue that a distinct desire is central to anger: a desire for recognition. Desires for recognition aim at the targets of anger acknowledging the wrong they have committed, as opposed to aiming for their suffering. In light of the centrality of this desire for recognition, (...) I argue that the retributive view of anger should be abandoned. I consider and dismiss two types of moves that can be made on the part of a proponent of the orthodox view in response to my argument. I propose that a pluralist view, which allows for both retribution and recognition in anger, is to be preferred. (shrink)

Social constructionism is often considered a form of anti-realism. But in contemporary feminist philosophy, an increasing number of philosophers defend views that are well-described as both realist and social constructionist. In this paper, I use the work of Sally Haslanger as an example of realist social constructionism. I argue: that Haslanger is best interpreted as defending metaphysical realism about social structures; that this type of metaphysical realism about the social world presents challenges to some popular ways of understanding metaphysical realism.

According to many, to have epistemic justification to believe P is just for it to be epistemically permissible to believe P. Others think it is for believing P to be epistemically good. Yet others think it has to do with being epistemically blameless in believing P. All such views of justification encounter problems. Here, a new view of justification is proposed according to which justification is a kind of composite normative status. The result is a view of justification that offers (...) hope of solving some longstanding epistemological problems. (shrink)

In this article, I argue that faith’s going beyond the evidence need not compromise faith’s epistemic rationality. First, I explain how some of the recent literature on belief and credence points to a distinction between what I call B-evidence and C-evidence. Then, I apply this distinction to rational faith. I argue that if faith is more sensitive to B-evidence than to C-evidence, faith can go beyond the evidence and still be epistemically rational.

David Lewis is a natural target for those who believe that findings in quantum physics threaten the tenability of traditional metaphysical reductionism. Such philosophers point to allegedly holistic entities they take both to be the subjects of some claims of quantum mechanics and to be incompatible with Lewisian metaphysics. According to one popular argument, the non-separability argument from quantum entanglement, any realist interpretation of quantum theory is straightforwardly inconsistent with the reductive conviction that the complete physical state of the world (...) supervenes on the intrinsic properties of and spatio-temporal relations between its point-sized constituents. Here I defend Lewis's metaphysical doctrine, and traditional reductionism more generally, against this alleged threat from quantum holism. After presenting the non-separability argument from entanglement, I show that Bohmian mechanics, an interpretation of quantum mechanics explicitly recognized as a realist one by proponents of the non-separability argument, plausibly rejects a key premise of that argument. Another holistic worry for Humeanism persists, however, the trouble being the apparently holistic character of the Bohmian pilot wave. I present a Humean strategy for addressing the holistic threat from the pilot wave by drawing on resources from the Humean best system account of laws. (shrink)

This guide accompanies the following article(s): Jackson, E., Philosophy Compass 15/6 (2020) pp. 1-13 10.1111/phc3.12668.x.

I examine the relationship between taking Pascal’s wager, faith, and hope. First, I argue that many who take Pascal’s wager have genuine faith that God exists. The person of faith and the wagerer have several things in common, including a commitment to God and positive cognitive and conative attitudes toward God’s existence. If one’s credences in theism are too low to have faith, I argue that the wagerer can still hope that God exists, another commitment-justifying theological virtue. I conclude with (...) two upshots of the argument, including how it provides responses to common objections to Pascal’s wager. (shrink)

Many think that Pascal’s Wager is a hopeless failure. A primary reason for this is because a number of challenging objections have been raised to the wager, including the “many gods” objection and the “mixed strategy” objection. We argue that both objections are formal, but not substantive, problems for the wager, and that they both fail for the same reason. We then respond to additional objections to the wager. We show how a version of Pascalian reasoning succeeds, giving us a (...) reason to pay special attention to the infinite consequences of our actions. (shrink)

I defend belief-credence dualism, the view that we have both beliefs and credences and both attitudes are equally fundamental. First, I explain belief, credence, and three views on their relationship. Then, I argue for dualism. I do so first by painting a picture of the mind on which belief and credence are two cognitive tools that we use for different purposes. Finally, I respond to two objections to dualism. I conclude that dualism is a promising view, and one that both (...) epistemologists and philosophers of mind should take seriously. (shrink)

Traditional theistic arguments conclude that God exists. Pragmatic theistic arguments, by contrast, conclude that you ought to believe in God. The two most famous pragmatic theistic arguments are put forth by Blaise Pascal (1662) and William James (1896). Pragmatic arguments for theism can be summarized as follows: believing in God has significant benefits, and these benefits aren’t available for the unbeliever. Thus, you should believe in, or ‘wager on’, God. This article distinguishes between various kinds of theistic wagers, including finite (...) vs. infinite wagers, premortem vs. postmortem wagers, and doxastic vs. acceptance wagers. Then, we’ll turn to the epistemic-pragmatic distinction, and discusses the nuances of James’ argument, and how views like epistemic permissivism and epistemic consequentialism provide unique “hybrid” wagers. Finally, we’ll cover outstanding objections and responses. (shrink)

In a recent paper, Barry Loewer attempts to defend Humeanism about laws of nature from a charge that Humean laws are not adequately explanatory. Central to his defense is a distinction between metaphysical and scientific explanations: even if Humeans cannot offer further metaphysical explanations of particular features of their “mosaic,” that does not preclude them from offering scientific explanations of these features. According to Marc Lange, however, Loewer’s distinction is of no avail. Defending a transitivity principle linking scientific explanantia to (...) their metaphysical grounds, Lange argues that a charge of explanatory inadequacy resurfaces once this intuitive principle is in place. This paper surveys, on behalf of the Humean, three strategies for responding to Lange’s criticism. The ready availability of these strategies suggests that Lange’s argument may not bolster anti-Humean convictions, since the argument rests on premises that those not antecedently sharing these convictions may well reject. The three strategies also correspond to three interesting ways of thinking about relations of grounding linking Humean laws and their instances, all of which are consistent with theses of Humean supervenience, and some of which have been heretofore overlooked. (shrink)

A critical review essay, this work explains the methodological, material, and ideological reasons for why "diversity" initiatives in philosophy face an up-hill battle.

We call attention to certain cases of epistemic akrasia, arguing that they support belief-credence dualism. Belief-credence dualism is the view that belief and credence are irreducible, equally fundamental attitudes. Consider the case of an agent who believes p, has low credence in p, and thus believes that they shouldn’t believe p. We argue that dualists, as opposed to belief-firsters (who say credence reduces to belief) and credence-firsters (who say belief reduces to credence) can best explain features of akratic cases, including (...) the observation that akratic beliefs seem to be held despite possessing a defeater for those beliefs, and that, in akratic cases, one can simultaneously believe and have low confidence in the very same proposition. (shrink)