Singular Propositions

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the most promising (...) one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...) ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

What is involved in having a singular thought about an ordinary object? On the leading epistemic view, one has this capacity if and only if one has belief-forming dispositions which would reliably enable one to get its properties right (Dickie, 2015). I first argue that Dickie’s official view entails surprising and unpalatable claims about either rationality or singular thought, before offering a precisification. Once we have reached that level of abstraction, it becomes difficult to see what is distinctively epistemic about (...) the framework. If we are to tease out the delicate connection between singular thought and knowledge, we should suspend the assumption that there is a homogeneous core, present in all cases of such thought, and that it is from there that its (univocal) epistemic character derives. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

Existentialism claims that propositions that directly refer to individuals depend on those individuals for their existence. I argue for two points regarding Existentialism. First, I argue that recent accounts of Existentialism run into difficulties accommodating the possibility of there being a lonely alien electron. This problem is distinct from one of the better-known alien problems—concerning iterated modal properties of aliens—and can’t be solved using a standard response to the iterated case. Second, though the lonely alien electron problem might seem to (...) be reason to reject the sort of Existentialist view at hand, there’s a plausible way to preserve the view: accept the existence of possible worlds that directly refer to individuals that don’t exist in those worlds. Such a solution might seem incompatible with Existentialism, but I show that Existentialists can avoid the incompatibility and should find the resulting view plausible. (shrink)

It is often assumed that singular thought requires that an agent be epistemically acquainted with the object the thought is about. However, it can sometimes truthfully be said of someone that they have a belief about an object, despite not being interestingly epistemically acquainted with that object. In defense of an epistemic acquaintance constraint on singular thought, it is thus often claimed that belief ascriptions are context sensitive and do not always track the contents of an agent’s mental states. This (...) paper uses first-person attitude reports to argue that contextualism about belief ascriptions does not present an adequate defense of an acquaintance constraint on singular thought. (shrink)

Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a theory of identity statements. (...) To show this, I sketch a framework for developing solutions of this sort. I also consider how this result could be implemented by two influential solutions to Frege's puzzle, Perry's referential-reflexivism and Fine's semantic relationism. (shrink)

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

Buchanan (2014) argues for a Gricean solution to well-known counterexamples to direct reference theories of content. Peet (2016) develops a way to change the counterexample so that it seems to speak against Buchanan’s own proposal. I argue that both theorists fail to notice a significant distinction between the kinds of cases at issue. Those appearing to count against direct reference theory must be described such that speakers have false beliefs about the identity of the object to which they intend to (...) refer, beliefs that appear relevant to the determination of what constitutes communicative success. This suggests, further, that cases of this sort do not provide a basis for robust generalizations about singular reference. (shrink)

Ramseyan humility is the thesis that we cannot know which properties realize the roles specified by the laws of completed physics. Lewis seems to offer a sceptical argument for this conclusion. Humean fundamental properties can be permuted as to their causal roles and distribution throughout spacetime, yielding alternative possible worlds with the same fundamental structure as actuality, but at which the totality of available evidence is the same. On the assumption that empirical knowledge requires evidence, we cannot know which of (...) these worlds is actual. However, Lewis also appeals to a range of familiar semantic principles when framing his argument, which leads some authors to suppose that he can also plausibly be interpreted as offering a purely semantic argument for humility in addition. In this paper I grant that these arguments are Lewisian, but argue that Lewis is also committed to a theory of mind that licenses a purely metaphysical argument for humility based on the idea that mental properties supervene on fundamental structure. Given that knowing which x is the F requires knowing that a is the F, the supposition that we could come to know which properties actually occupy the fundamental roles entails differences in mental properties between worlds with the same fundamental structure, violating supervenience. Humility follows right away, without any further epistemic or semantic principles. This argument is immune to almost every way of rebutting the sceptical and semantic arguments; conversely, almost every way of rebutting the metaphysical argument tells equally against the others. (shrink)

In this paper, I dwell on a particular distinction introduced by Ilhan Inan—the distinction between ostensible and inostensible use of our language. The distinction applies to singular terms, such as proper names and definite descriptions, or to general terms like concepts and to the ways in which we refer to objects in the world by using such terms. Inan introduces the distinction primarily as an epistemic one but in his earlier writings (1997: 49) he leaves some room for it to (...) have some semantic significance i.e., the view that in certain intensional de re contexts whether a term occurring in a sentence is ostensible or inostensible may have a bearing on the semantic content of the sentence. However, in his later writings e.g., The Philosophy of Curiosity, he appears to abandon his earlier thoughts regarding the semantic significance of his distinction. He says: “the ostensible/inostensible distinction is basically an epistemic one.... It is an epistemic distinction that has no semantic significance” (2012: 65). I argue that there are indeed such intensional contexts in which the distinction has some semantic significance, i.e., whether a term is ostensible or inostensible has in fact a bearing on what proposition is expressed by the sentence in which the term occurs. (shrink)

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

Speakers are confused about identity if they mistake one thing for two or two things for one. I present two plausible models of confusion, the Frege model and the Millikan model. I show how a prominent objection to Fregean models fails and argue that confusion consists in having false implicit beliefs involving the identity relation. Further, I argue that confused identity has characteristic corruptive effects on singular cognition and on the proper function of singular terms in linguistic communication.

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of how (...) propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

Classical logic counts sentences such as ‘Alice is identical with Alice’ as logically true. A standard objection to classical logic is that Alice’s self-identity, for instance, is not a matter of logic because the identity of particular objects is not a matter of logic. For this reason, many philosophers argue that classical logic is not the right logic, and that it should be abandoned in favour of free logic — logic free of existential commitments with respect to singular terms. In (...) most standard free logics, sentences such as ‘Alice is identical with Alice’ are not logically true. This paper argues that this objection from existential commitments is some- what superficial and that there is a deeper reason why ‘Alice is identical with Alice’ should not be considered a logical truth. Indeed, a key fundamental thought about the nature of logic is that a logical truth is true in virtue of its logical form. The fundamental problem I raise is that a sentence such as ‘Alice is identical with Alice’ appears to not even be true in virtue of its logical form. Thus this paper argues that given that such a sentence is not true in virtue of its logical form, it should not be counted as logically true. It moreover argues, on the same grounds, that even the sentences which free logicians regard as logically true shouldn’t be regarded as logically true. So in this sense free logic is no repair to classical logic. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

On a traditional or default view of the grasping or understanding of a singular proposition by an individual, it is assumed to be a unitary or holistic activity. However, naturalistic views of cognition plausibly could analyze propositional thinking in terms of more than one distinctive functional stage of cognitive processing, suggesting at least the potential legitimacy of a non-unitary analysis of propositional grasping. We outline a novel dual-component view of this kind, and show that it is well supported by current (...) cognitive science research. (shrink)

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

Os nomes próprios são termos singulares que intuitivamente indicam os objectos do discurso ou pensamento. Alguns nomes falham na sua função de referir, sem que, aparentemente, deixem de desempenhar um papel representacional. Isso é paradoxal: Por um lado, os objectos referidos deveriam fazer parte de uma caracterização correcta dos nomes próprios. Por outro lado, o significado das frases que incorporam nomes vácuos sugere que tais objectos são extrínsecos aos pensamentos transmitidos. Isto é o problema que se levanta com a existência (...) de representações vácuas. Este artigo apresentará o problema pela perspectiva dada pelo estado da arte corrente. (shrink)

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting these (...) arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

Philosophers have justified extant theories of singular thought in at least three ways: they have invoked wide-ranging theories motivated by data from other philosophical areas, they have elicited direct intuitions about which thoughts are singular, and they have subjected propositional attitude reports to tests such as Russellian substitution and Quinean exportation. In these ways, however, we haven’t yet been able to tell what it takes to have singular thoughts, nor have we been able to tell which of our thoughts they (...) are. I propose, therefore, a methodological contribution, a new source of data about singular thought. We can tell whether a thought is singular if we ask what we can coherently deny at the same time at which we agree with the thought. When we agree with a thought that is general, we cannot coherently deny about the thought’s subject a certain description, the one that occurs in the thought’s subject position. To show how to use this new data source, I develop a linguistic method for testing whether a speaker expresses a singular or a general thought. (shrink)

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (shrink)

In a series of recent articles, Robin Jeshion has developed a theory of singular thought which she calls ‘cognitivism’. According to Jeshion, cognitivism offers a middle path between acquaintance theories—which she takes to impose too strong a requirement on singular thought, and semantic instrumentalism—which she takes to impose too weak a requirement. In this article, I raise a series of concerns about Jeshion's theory, and suggest that the relevant data can be accommodated by a version of acquaintance theory that distinguishes (...) unsuccessful thoughts of singular form from successful singular thoughts, and in addition allows for ‘trace-based’ acquaintance. (shrink)

Along with a well-honoured tradition, we will accept that intentionality is at least a property a thought holds necessarily, i.e., in all possible worlds that contain it; more specifically, a necessary relation, namely the relation of existential dependence of the thought on its intentional object. Yet we will first of all try to show that intentionality is more than that. For we will claim that intentionality is an essential property of the thought, namely a property whose predication to the thought (...) is true in virtue of the identity, or nature, of such a thought. More particularly, for us intentionality will again be a relation, yet a relation of ontological dependence of the thought on its intentional object; specifically, the relation for the thought of being constituted by its object. Moreover, we will try to show that if intentionality is such a constitutive relation for the thought that has it, certain metaphysical consequences ensue. First, an objectual thought, a thought whose content basically consists in its intentional object, is nothing but that object in a certain cogitative modality, or, which is the same, as playing a certain motivational role for the subject entertaining the thought itself (at a certain time). Second, if an objectual thought is nothing but an intentional object in a cogitative modality, such a thought, not only as a type, but also as a token, is an abstract entity. More specifically, an objectual thought-type, an abstract object par excellence, is indeed instantiated by objectual thought-tokens which are again abstract particulars, yet of a specific kind: namely, tropes of a relational sort depending for their existence on their bearers (and possibly also on their temporal location). (shrink)

A singular thought can be characterized as a thought which is directed at just one object. The term ‘thought’ can apply to episodes of thinking, or to the content of the episode (what is thought). This paper argues that episodes of thinking can be just as singular, in the above sense, when they are directed at things that do not exist as when they are directed at things that do exist. In this sense, then, singular thoughts are not object-dependent.

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

I defend Braun's gappy proposition view from two objections.

The article first rehearses three deflationary theories of reference, (1) disquotationalism, (2) propositionalism (Horwich), and (3) the anaphoric theory (Brandom), and raises a number of objections against them. It turns out that each corresponds to a closely related theory of truth, and that these are subject to analogous criticisms to a surprisingly high extent. I then present a theory of my own, according to which the schema “That S(t) is about t” and the biconditional “S refers to x iff S (...) says something about x” are exhaustive of the notions of aboutness and reference. An account of the usefulness of “about” is then given, which, I argue, is superior to that of Horwich. I close with a few considerations about how the advertised theory relates to well-known issues of reference, the conclusions of which is (1) that the issues concern reference and aboutness only insofar as the words “about” and “refer” serve to generalise over the claims that are really at issue, (2) that the theory of reference will not settle the issues, and (3) that it follows from (2) that the issues do not concern the nature of aboutness or reference. (shrink)

A new kind of defense of the Millian theory of names is given, which explains intuitive counter-examples as depending on pragmatic effects of the relevant sentences, by direct application of Grice’s and Sperber and Wilson’s Relevance Theory and uncontroversial assumptions. I begin by arguing that synonyms are always intersubstitutable, despite Mates’ considerations, and then apply the method to names. Then, a fairly large sample of cases concerning names are dealt with in related ways. It is argued that the method, as (...) applied to the various cases, satisfies the criterion of success: that for every sentence in context, it is a counter-example to Millianism to the extent that it has pragmatic effects (matching speakers’ intuitions). (shrink)

De re or singular thoughts are, intuitively, those essentially or constitutively about a particular object or objects; any thought about different objects would be a different thought. How should a philosophical articulation or thematization of their nature look like? In spite of extended discussion of the issue since it was brought to the attention of the philosophical community in the late fifties by Quine (1956), we are far from having a plausible response. Discussing the matter in connection with the status (...) of the Kripkean category of the contingent a priori, Donnellan (1979) argued that what can be properly classified as knowable a priori about utterances like those involving ‘one meter’ or ‘Neptune’ famously proposed by Kripke (1980) cannot be the very same singular content that is contingent he distinguished to that end between knowing a true proposition expressed by an utterance, and knowing that an utterance expresses a true proposition. Evans (1979) replied that, for a very specific sort of cases involving “descriptive names”, a related proto-two-dimensionalist account should be preferred, on which it is not the singular contingent content, but rather a general descriptive one which is knowable a priori. In a series of papers, Robin Jeshion (2000, 2001) has recently attacked Donnellan's proposal, arguing in favour of the most straightforward interpretation of Kripke's claim: in the relevant cases, the very same singular content can be both contingent and knowable a priori. This paper appeals to a generalized version of two-dimensional semantics to advance an account of the Kripkean cases along the lines of Evans's, and argues that Jeshion's compelling arguments against Donnellan's view do not apply to this version. (shrink)

This is a paper in which I argue that problems of transworld identity and the truth in-truth at distinction are motivated by unhelpful pictures we have in mind while doing metaphysics.

Direct reference theory faces serious prima facie counterexamples which must be explained away (e.g., that it is possible to know a priori that Hesperus = Phosphorus). This is done by means of various forms of pragmatic explanation. But when those explanations that provisionally succeed are generalized to deal with analogous prima facie counterexamples concerning the identity of propositions, a fatal dilemma results. Either identity must be treated as a four-place relation (contradicting what just about everyone, including direct reference theorists, takes (...) to be essential to identity). Or direct reference theorists must incorporate a view that was rejected in pretty much our first lesson about identity—namely, that Hesperus at twilight is not identical to Hesperus at dawn. One way of the other, the direct reference theory is thus inconsistent with basic principles concerning the logic of identity, which nearly everyone, including direct reference theorists, take as starting points. (shrink)

The *Tractatus* contains an argument that there are simple, necessarily existent objects, which, being simple, are suited to be the referents of the names occuring in the final analysis of propositions. The argument is perplexing in its own right, but also for its invocation of the notion of "substance". I argue that if one locates Wittgenstein's conception of substance in the Kantian tradition to which his talk of "substance" alludes, what emerges is an argument that is very nearly--but not quite--cogent.

Most direct reference theorists about indexicals and proper names have adopted the thesis that singular propositions about physical objects are composed of physical objects and properties.1 There have been a number of recent proponents of such a view, including Scott Soames, Nathan Salmon, John Perry, Howard Wettstein, and David Kaplan.2 Since Kaplan is the individual who is best known for holding such a view, let's call a proposition that is composed of objects and properties a K-proposition. In this paper, I (...) will attempt to show that a direct reference view about the content of proper names and indexicals leads very naturally to the position that all singular propositions about physical objects are K-propositions.3 Then, I will attempt to show that this view of propositions is false. I will spend the bulk of the paper on this latter task. My goal in the paper, then, is to show that adopting the direct reference thesis comes at a cost problems the view has with problems such as opacity and the significance of some identity statements; it comes at even more of a cost). (shrink)

The aim of this paper is to survey a number of features which are constitutive of the Millian account of attitude-ascription and which I take to be irremediably defective. The features in question, some of which have not been fully appreciated, relate mainly to the failure of that account to accommodate certain fundamental aspects of our ordinary practise of attitude attribution. I take it that one’s definitive method of assessment of a given semantical theory consists in checking out whether or (...) not the theory is able to accommodate our pre-theoretical linguistic intuitions; to use Keith Donnellan’s phrase, such intuitions are the bottom line in philosophical argumentation about language. And I argue that the Millian appeal to modes of presentation taken both as semantically irrelevant and external to the singular contents believed, known, etc., as well as the associated pragmatic strategy employed to discard our ground-floor judgements, are insufficient to palliate the manifest implausibility of a number of Millian descriptions of our attitudes, especially descriptions of our second-order attitudes. (shrink)

The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., collective truth. A semantics is developed (...) (formalized in the appendix) which embodies the notion of collective truth, and which thereby, it is argued, has various advantages over standard intensional semantics. For example, it avoids a commitment to certain impossible entities. (shrink)

This paper is an examination of the contingent a priori and the necessary a posteriori. In particular, it considers -- and assesses -- the criticisms that Nathan Salmon makes of the views of Saul Kripke.

Joseph Almog says concerning “a certain locus where Quine doesn’t exist…qua evaluation locus, we take to it [singular] propositions involving Quine [as a constituent] which we have generated in our generation locus.” This seems to be either murder, or worse, self-contradiction. It presumes that certain designators designate their designata even at loci where the designata do not exist, i.e., the designators have “Kaplan rigidity.” Against this view, this paper argues that negative existentials such as “Quine does not exist” are true (...) only at ordered couples of loci (times or possible worlds) < l, l’ > such that the constituents of the truthmaker are the designatum itself from l and whatever corresponds to “does not exist” from l’. (shrink)