In this paper, I take a critical look at Adler's conceptual argument against doxastic voluntarism in his book, Belief's Own Ethics. In making his case, Adler defends evidentialism as the true version of how beliefs are acquired. That is, the will has no direct influence on belief. After a careful exposition of the argument itself, focus is placed on Adler's response to a particularly troubling objection to the form of evidentialism that results: Can evidentialism allow that doubt may be simultaneous (...) with belief? It is in Adler's response that I find concessions that cripple his argument and offer new life to future defenses of doxastic voluntarism. In particular, his belief/confidence and weight of evidence/force of evidence distinctions result in inconsistency. If that inconsistency can be successfully demonstrated, the distinctions and the argument fall. (shrink)

Mrs. Vogul wore the same zip‐up white fleece and leather sandals for thirty‐one days of her husband's hospitalization. She slept in the empty bed in his two‐person room or in a chair. When she couldn't sleep, she stood motionless in the hallway like a gargoyle protecting his room. During each crisis, Mrs. Vogul frowned in the doorway, telling us which tests to order and which interventions we were allowed to try. When we supported his breathing with an oxygen mask, she (...) took it off. “Don't try to put that mask back on him again!” she warned as he gasped for air. Despite this, Mr. Vogul was “full code.” If he were to stop breathing on his own, she wanted us to intubate him. If his heart were to stop, she wanted us to try to restart it. With no advance directive to guide us, we deferred these decisions to Mrs. Vogul, despite what sometimes seemed like contradictions in what she wanted for her husband. (shrink)

Despite recognition of the importance of family in health‐care and progress in family theory development, there has been limited transfer of family theory to acute care nursing practice. We argue that this family theory–practice gap results from a persistent lack of conceptual clarity in family nursing and other barriers. Lack of conceptual clarity takes the form of conceptual overlap and semantic inconsistency, as well as the complexity of language found in the family nursing literature. Barriers include practice contexts, relational problems, (...) and knowledge types. Our exploration begins with a brief discussion of the intimate link between nursing theory and practice followed by an overview of some issues associated with the family nursing theory–practice gap. Based on a synthesis of family nursing literature, problems associated with conceptual clarity in family nursing theory are explored. We conclude with recommendations for family nursing research to develop concepts grounded in nursing practice. (shrink)

Epistemic trespassers judge matters outside their field of expertise. Trespassing is ubiquitous in this age of interdisciplinary research and recognizing this will require us to be more intellectually modest.

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

A sequel to the author’s book /Frege’s Puzzle/ (1986).

Rather infamously, Kit Fine provided a series of counter‐examples which purport to show that attempts to understand essence in terms of metaphysical necessity are ‘fundamentally misguided’. Here, my aim is to put forward a new version of modalism that is, I argue, immune to Fine's counter‐examples. The core of this new modalist account is a sparseness restriction, such that an object's essential properties are those sparse properties it has in every world in which it exists. After first motivating this sparseness (...) restriction, I proceed to show how the resulting sparse modalism circumvents Fine's original counter‐examples. After dismissing a potential problem concerning the membership relation, I conclude that, as at least one form of modalism is viable, the project of understanding essence in terms of metaphysical necessity is not so fundamentally misguided after all. (shrink)

Two theses are central to recent work on the epistemology of disagreement: Conciliationism:?In a revealed peer disagreement over P, each thinker should give at least some weight to her peer's attitude. Uniqueness:?For any given proposition and total body of evidence, the evidence fully justifies exactly one level of confidence in the proposition. 1This paper is the product of full and equal collaboration between its authors. Does Conciliationism commit one to Uniqueness? Thomas Kelly 2010 has argued that it does. After some (...) scene-setting (?1), in ?2 we explain and criticize Kelly's argument, thereby defeating his larger argument that Conciliationism deserves no dialectical special treatment. But we argue further that Conciliationists are committed to a disjunction, one of whose disjuncts is Uniqueness, that amounts to an ?extremely strong and unobvious position? (??3?4). If we are correct, theorists should not treat Conciliationism as a default position in debates about the epistemic significance of disagreement. (shrink)

While it is tempting to suppose that an act has moral worth just when and because it is motivated by sufficient moral reasons, philosophers have, largely, come to doubt this analysis. Doubt is rooted in two claims. The first is that some facts can motivate a given act in multiple ways, not all of which are consistent with moral worth. The second is the orthodox view that normative reasons are facts. I defend the tempting analysis by proposing and defending a (...) heterodox account of both normative and motivating reasons that is inspired by Donald Davidson’s primary reasons. We should adopt the heterodox view, I argue, because it addresses an overlooked but fatal defect in the orthodox conception of reasons, of which challenges to the tempting analysis are a special case. (shrink)

According to “debunking arguments,” our moral beliefs are explained by evolutionary and cultural processes that do not track objective, mind-independent moral truth. Therefore (the debunkers say) we ought to be skeptics about moral realism. Huemer counters that “moral progress”—the cross-cultural convergence on liberalism—cannot be explained by debunking arguments. According to him, the best explanation for this phenomenon is that people have come to recognize the objective correctness of liberalism. Although Huemer may be the first philosopher to make this explicit empirical (...) argument for moral realism, the idea that societies will eventually converge on the same moral beliefs is a notable theme in realist thinking. Antirealists, on the other hand, often point to seemingly intractable cross-cultural moral disagreement as evidence against realism (the “argument from disagreement”). This paper argues that the trend toward liberalism is susceptible to a debunking explanation, being driven by two related non-truth-tracking processes. First, large numbers of people gravitate to liberal values for reasons of self-interest. Second, as societies become more prosperous and advanced, they become more effective at suppressing violence, and they create conditions where people are more likely to empathize with others, which encourages liberalism. The latter process is not truth tracking (or so this paper argues) because empathy-based moral beliefs are themselves susceptible to an evolutionary debunking argument. Cross-cultural convergence on liberalism per se does not support either realism or antirealism. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a singular, negative existential in (...) which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (shrink)

There are certain uses of and and or that cannot be explained by their normal meanings as truth-functional connectives, even with sophisticated pragmatic resources. These include examples such as The cops show up, and a fight will break out (‘If the cops show up, a fight will break out’), and I have no friends, or I would throw a party (‘I have no friends. If I did have friends, I would throw a party.’). We argue that these uses are indeed (...) distinct from the more ordinary uses of and and or, but that they are nonetheless related in a principled way. To explain them we give an analysis of what we call the dynamic effects of connectives, which arise in all their uses. The special uses at issue are then argued to be instances where the connectives exhibit their dynamic effects without their truth-conditional meaning. (shrink)

A thorough critique (extracted from the author’s 1979 doctoral dissertation) of Kripke’s purported derivation, in footnote 56 of his philosophical masterpiece /Naming and Necessity/, of nontrivial modal essentialism from the theory of rigid designation.

We offer an original argument for the existence of universal fictions—that is, fictions within which every possible proposition is true. Specifically, we detail a trio of such fictions, along with an easy-to-follow recipe for generating more. After exploring several consequences and dismissing some objections, we conclude that fiction, unlike reality, is unlimited when it comes to truth.

My title is meant to suggest a continuation of the sort of philosophical investigation into the nature of language and modality undertaken in Rudolf Carnap’s Meaning and Necessity and Saul Kripke’s Naming and Necessity. My topic belongs in a class with meaning and naming. It is demonstratives—that is, expressions like ‘that darn cat’ or the pronoun ‘he’ used deictically. A few philosophers deserve particular credit for advancing our understanding of demonstratives and other indexical words. Though Naming and Necessity is concerned (...) with proper names, not demonstratives, it opened wide a window that had remained mostly shut in Meaning and Necessity but that, thanks largely to Kripke, shall forevermore remain unbarred. Understanding of demonstrative semantics grew by a quantum leap in David Kaplan’s remarkable work, especially in his masterpiece “Demonstratives” together with its companion “Afterthoughts.” In contrast to the direct-reference propensities of these two contemporary figures, Gottlob Frege, with his uncompromisingly thoroughgoing intensionalism, shed important light on the workings of demonstratives in “Der Gedanke”—more specifically, in a few brief but insightful remarks from a single paragraph concerning tense and temporal indexicality. (shrink)

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms like (...) ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (shrink)

David Lewis and Peter van Inwagen have claimed that there are no “knockdown” arguments in philosophy. Their claim appears to be at odds with common philosophical practice: philosophers often write as though their conclusions are established or proven and that the considerations offered for these conclusions are decisive. In this paper, I examine some questions raised by Lewis’s and van Inwagen’s contention. What are knockdown arguments? Are there any in philosophy? If not, why not? These questions concern the nature of (...) the philosophical enterprise and our answers have implications for the limits on the attitudes of informed, rational thinkers. (shrink)

A key question has been underexplored in the literature on conscientious objection: if a physician is required to perform ‘medical activities,’ what is a medical activity? This paper explores the question by employing a teleological evaluation of medicine and examining the analogy of military conscripts, commonly cited in the conscientious objection debate. It argues that physicians (and other healthcare professionals) can only be expected to perform and support medical acts – acts directed towards their patients’ health. That is, physicians cannot (...) be forced to provide or support services that are not medical in nature, even if such activities support other socially desirable pursuits. This does not necessarily mean that medical professionals cannot or should not provide non-medical services, but only that they are under no obligation to provide them. (shrink)

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties are seen to (...) be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

Some epistemologists hold that exploration and elaboration of the nature of luck will allow us to better understand knowledge. I argue this is a mistake.

During his celebrated 1922 debate with Bergson, Einstein famously proclaimed: “the time of the philosopher does not exist, there remains only a psychological time that differs from the physicist’s.” Einstein’s dictum, I maintain, has been metabolized by the natural sciences, which typically presuppose, more or less explicitly, the existence of a single, univocal, temporal substratum, ultimately determined by physics. This reductionistic assumption pervades much biological and biomedical practice. The chronological age allotted to individuals is conceived as an objective quantity, allowing (...) one to straightforwardly assign and compare the biological age of organisms. This essay argues that the standard practice of assessing the age and aging of organisms against the backdrop of a physical conception of time is problematic. This becomes especially evident in light of recent discoveries of various levels of senescence underlying the development of individual organisms—a phenomenon known as ‘age mosaicism.’ The bottom line is that the study of age and aging requires a biological conception of time, as opposed to a physical one. Einstein clearly wasn’t wrong about his operationalization of time in relativity theory. Still time may be less monolithic than he surmised. (shrink)

Bare particularism is a constituent ontology according to which substances—concrete, particular objects like people, tables, and tomatoes—are complex entities constituted by their properties and their bare particulars. Yet, aside from this description, much about bare particularism is fundamentally unclear. In this paper, I attempt to clarify this muddle by elucidating the key metaphysical commitments underpinning any plausible formulation of the position. So the aim here is primarily catechismal rather than evangelical—I don’t intend to convert anyone to bare particularism, but, by (...) looking at a series of questions, to instead specify what, if one is a bare particularist, one is committed to. Along the way, I address three major objections: a classic objection about whether bare particulars have properties, a new objection raised by Bailey, and an understanding objection that questions some of the position’s resources. (shrink)

Confirmation bias has been widely studied for its role in failures of reasoning. Individuals exhibiting confirmation bias fail to engage with information that contradicts their current beliefs, and, as a result, can fail to abandon inaccurate beliefs. But although most investigations of confirmation bias focus on individual learning, human knowledge is typically developed within a social structure. We use network models to show that moderate confirmation bias often improves group learning. However, a downside is that a stronger form of confirmation (...) bias can hurt the knowledge producing capacity of the community. (shrink)

According to Westermarck’s widely accepted explanation of the incest taboo, cultural prohibitions on sibling sex are rooted in an evolved biological disposition to feel sexual aversion toward our childhood coresidents. Bernard Williams posed the “representation problem” for Westermarck’s theory: the content of the hypothesized instinct is different from the content of the incest taboo —thus the former cannot be causally responsible for the latter. Arthur Wolf posed the related “moralization problem”: the instinct concerns personal behavior whereas the prohibition concerns everyone. (...) This paper reviews possible ways of defending Westermarck’s theory from the representation and moralization problems, and concludes that the theory is untenable. A recent study purports to support Westermarck’s account by showing that unrelated children raised in the same peer groups on kibbutzim feel sexual aversion toward each other and morally oppose third-party intra-peer-group sex, but this study has been misinterpreted. I argue that the representation and moralization problems are general problems that could potentially undermine many popular evolutionary explanations of social/moral norms. The cultural evolution of morality is not tightly constrained by our biological endowment in the way some philosophers and evolutionary psychologists believe. (shrink)

ABSTRACTMany philosophers have suggested that disagreement is good grounds for scepticism. One response says that disagreement-motivated scepticism can be mitigated to some extent by the thesis that philosophical disputes are often verbal, not genuine. I consider the implications of this anti-sceptical strategy, arguing that it trades one kind of scepticism for others. I conclude with suggestions for further investigation of the epistemic significance of the nature of philosophical disagreement.

If the laws of nature are metaphysically necessary, then it appears that miracles are metaphysically impossible. Yet Locke accepts both Essentialism, which takes the laws to be metaphysically necessary, and the possibility of miracles. I argue that the apparent conflict here can be resolved if the laws are by themselves insufficient for guaranteeing the outcome of a particular event. This suggests that, on Locke’s view, the laws of nature entail how an object would behave absent divine intervention. While other views (...) of laws also make miracles counterfactually dependent on God’s will, I show how this view is consistent with the Essentialist commitment to the view that the laws are metaphysically necessary. Further, I argue Locke’s view is a relatively attractive version of Essentialism, in part, because it allows for the possibility of miracles. (shrink)

Hume famously argues that the laws of nature provide us with decisive reason to believe that any testimony of a miracle is false. In this paper, I argue that the laws of nature, as such, give us no reason at all to believe that the testimony of a miracle is false. I first argue that Hume’s proof is unsuccessful if we assume the Humean view of laws, and then I argue that Hume’s proof is unsuccessful even if we assume the (...) governing view of laws. I conclude that regardless of which kind of view we adopt, the fact that a miracle is a violation of the laws of nature does not give us any reason to believe it did not happen. (shrink)

The wrong kind of reason (WKR) problem is a problem for attempts to analyze normative properties using only facts about the balance of normative reasons, a style of analysis on which the ‘Reasons First’ programme depends. I argue that this problem cannot be solved if the orthodox view of reasons is true --- that is, if each normative reason is numerically identical with some fact, proposition, or state-of-affairs. That’s because solving the WKR problem requires completely distinguishing between the right- and (...) wrong-kind reasons for an attitude. I argue that some facts give both right- and wrong-kind reasons for an attitude. Consequently, no such distinction between the two types of reasons is complete if reasons are facts or the like. I conclude by suggesting that reasons and facts are related by constitution, not identity. (shrink)

Recently, Michael Huemer has defended the Principle of Phenomenal Conservatism: If it seems to S that p, then, in the absence of defeaters, S thereby has at least some degree of justification for believing that p. This principle has potentially far-reaching implications. Huemer uses it to argue against skepticism and to defend a version of ethical intuitionism. I employ a reductio to show that PC is false. If PC is true, beliefs can yield justification for believing their contents in cases (...) where, intuitively, they should not be able to do so. I argue that there are cases where a belief that p can behave like an appearance that p and thereby make it seem to one that p. (shrink)

Discussions of political obligation and political authority have long focused on the idea that the commands of genuine authorities constitute content-independent reasons. Despite its centrality in these debates, the notion of content-independence is unclear and controversial, with some claiming that it is incoherent, useless, or increasingly irrelevant. I clarify content-independence by focusing on how reasons can depend on features of their source or container. I then solve the long-standing puzzle of whether the fact that laws can constitute content-independent reasons is (...) consistent with the fact that some laws must fail to bind due to their egregiously unjust content. Finally I defend my understanding of content-independence against challenges and show why it retains a place of special importance for questions about the law and political obligation. Content-independence highlights that it is some feature of the law or law-making process in general that is supposed to generate moral obligations for citizens, not the merits of particular laws. (shrink)

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy in the (...) argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

How is it that we can rationally assert that sport outcomes do not really matter, while also seeming to care about them to an absurd degree? This is the so-called puzzle of sport. The broadly Waltonian solution to the puzzle has it that we make-believe the outcomes matter. Recently, Stear has critiqued this Waltonian solution, raising a series of five objections. He has also leveraged these objections to motive his own contextualist solution to the puzzle. The aim of this paper (...) is to defend the Waltonian solution. The general upshot is that, contra Stear, a make-believe based solution to the puzzle is viable after all. (shrink)

One of the most common excuses is ignorance. Ignorance does not always excuse, however, for sometimes ignorance is culpable. One of the most natural ways to think of the difference between exculpating and culpable ignorance is in terms of justification; that is, one’s ignorance is exculpating only if it is justified and one’s ignorance is culpable only if it not justified. Rosen :591–610, 2008) explores this idea by first offering a brief account of justification, and then two cases that he (...) claims are counter examples to the justification thesis. The aim of this paper is to defend the justification thesis against Rosen’s two cases. The argument will proceed in the following way. First, I clarify a few things about the nature of culpable ignorance generally and why the justification thesis is so intuitive. I then present Rosen’s purported counterexamples. Once this is done, I argue that Rosen misses an important view of justification in the epistemology literature that I call the pragmatic view. I present a general picture of the pragmatic view, and explain how it fits naturally with our practices of criticizing people’s beliefs, including claims of culpable ignorance. Finally, I address Rosen’s cases arguing that, if the pragmatic view is right, then Rosen’s cases are not counterexamples to the justification thesis. (shrink)

Philosophers have recently come to focus on explaining the phenomenon of ​bad beliefs,​ beliefs that are apparently true and well-evidenced but nevertheless objectionable. Despite this recent focus, a consensus is already forming around a particular explanation of these beliefs’ badness called ​moral encroachment​, according to which, roughly, the moral stakes engendered by bad beliefs make them particularly difficult to justify. This paper advances an alternative account not just of bad beliefs but of bad attitudes more generally according to which bad (...) beliefs’ badness originates not in a failure of sufficient evidence but in a failure to respond adequately to reasons. I motivate this alternative account through an analogy to recent discussions of moral worth centered on the well-known grocer case from Kant’s ​Groundwork​, and by showing that this analogy permits the proposed account to generalize to bad attitudes beyond belief. The paper concludes by contrasting the implications of moral encroachment and of the proposed account for bad attitudes’ blameworthiness. (shrink)

A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions. A surprising theorem about epistemic necessity is proved. A proposition p can be epistemically necessary for a knowing subject S even though p is /a posteriori/ and S does not know p. The identity relation (...) is well-behaved in metaphysically possible worlds but can go rogue in epistemically possible worlds. Whereas it can be epistemically possible that Lewis Carroll is not Charles Lutwidge Dodgson, this is not epistemically possible in the manner that anti-Millianism requires. (shrink)

This paper is a contribution to our understanding of the technical concept of given in Greek mathematical texts. By working through mathematical arguments by Menaechmus, Euclid, Apollonius, Heron and Ptolemy, I elucidate the meaning of given in various mathematical practices. I next show how the concept of given is related to the terms discussed by Marinus in his philosophical discussion of Euclid’s Data. I will argue that what is given does not simply exist, but can be unproblematically assumed or produced (...) through some effective procedure. Arguments by givens are shown to be general claims about constructibility and computability. The claim that an object is given is related to our concept of an assignment—what is given is available in some uniquely determined, or determinable, way for future mathematical work. (shrink)