It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account is to (...) treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

The purpose of this paper is to lay out the algebraic approach to propositions and then to show how it can be implemented in new solutions to Frege's puzzle and a variety of related puzzles about content.

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

What is the semantic contribution of anaphoric links in sentences like, ‘A physicist was late to the party. He brought some bongos’? A natural first thought is that the passage entails a wide-scope existential claim that there is something that both (i) was late to the party and (ii) brought some bongos. Intentional identity sentences are counter-examples to this natural thought applied to anaphora in general. Some have tried to rescue the thought and accommodate the counter-examples by positing mythical objects. (...) I present a new intentional identity sentence that cannot be so accommodated. I then propose a new account of intentional identity and other anaphoric sentences that does not appeal to mythical objects, but instead draws on traditional accounts of definite descriptions. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then I (...) show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

Discourse dynamics, pragmatics, and indefinites Content Type Journal Article Pages 1-30 DOI 10.1007/s11098-012-9882-y Authors Karen S. Lewis, Department of Philosophy, University of Southern California, Los Angeles, CA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

There is a fairly general consensus that names are Millian (or Russellian) genuine terms, that is, are singular terms whose sole semantic function is to introduce a referent into the propositions expressed by sentences containing the term. This answers the question as to what sort of proposition is expressed by use of sentences containing names. But there is a second serious semantic problem about proper names, that of how the referents of proper names are determined. This is the question that (...) I will discuss in this paper. Various views consistent with Millianism have been proposed as to how the semantic referents of proper names are determined. These views can be classified into (1) description theories and (2) causal theories, but they can also be classified into (3) social practice theories, on which a name’s referent is determined by a social practice involving the referent, and (4) individualistic theories, on which the referent of the use of a name is determined by the speaker’s state of mind. Here I argue against social practice theories of the sorts proposed by Kripke and Evans and in favor of an individualistic approach to name reference. I argue that social practice is irrelevant to determining name reference and that, as a consequence, names have no meanings in natural languages. In the second part of the paper I motivate and propose a new form of individualistic theory which incorporates features of both description theories and Evans’s social practice theory. (shrink)

This article investigates the semantics of sentences that express numerical averages, focusing initially on cases such as 'The average American has 2.3 children'. Such sentences have been used both by linguists and philosophers to argue for a disjuncture between semantics and ontology. For example, Noam Chomsky and Norbert Hornstein have used them to provide evidence against the hypothesis that natural language semantics includes a reference relation holding between words and objects in the world, whereas metaphysicians such as Joseph Melia and (...) Stephen Yablo have used them to provide evidence that apparent singular reference need not be taken as ontologically committing. We develop a fully general and independently justified compositional semantics in which such constructions are assigned truth conditions that are not ontologically problematic, and show that our analysis is superior to all extant rivals. Our analysis provides evidence that a good semantics yields a sensible ontology. It also reveals that natural language contains genuine singular terms that refer to numbers. (shrink)

Abstract: A current debate in semantics and pragmatics is whether all contextual effects on truth-conditional content can be traced to logical form, or 'unarticulated constituents' can be supplied by the pragmatic process of free enrichment. In this paper, I defend the latter position. The main objection to this view is that free enrichment appears to overgenerate, not predicting where context cannot affect truth conditions, so that a systematic account is unlikely (Stanley, 2002a). I first examine the semantic alternative proposed by (...) Stanley and others, which assumes extensive hidden structure acting as a linguistic trigger for pragmatic processes, so that all truth-conditional effects of context turn out to be instances of saturation. I show that there are cases of optional pragmatic contributions to the proposition expressed that cannot plausibly be accounted for in this way, and that advocates of this approach will therefore also have to appeal to free enrichment. The final section starts to address the question of how free enrichment is constrained: I argue that it involves only local development or adjustment of parts of logical form, any global developments being excluded by the requirement for the proposition expressed to provide an inferential warrant for the intended implications of the utterance. (shrink)

It is argued that, contrary to appearances, description-names (e.g.: "The Roman Empire", "The Beatles", "The Holy Virgin",...) do conform to Millianism, i.e. the view that proper names are directly referential expressions, referring regardless of whether the relevant individual satisfies some associated description or not. However, description-names name and describe. Some arguments supporting this peculiarity and a logic to handle description-names are proposed. It will be shown that the best framework with which to accommodate description-names is a multiple-proposition theory, according to (...) which a given utterance may express several propositions. (shrink)

In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

This essay argues for a 'relationist' treatment of intentional identity sentences like (1) "Hob believes that a witch blighted Bob's mare and Nob believes that she killed Cob's sow" (Geach 1967). According to relationism, facts of the form "a believes that p and b believes that q" are not in general reducible to facts of the form "c believes that r". We first argue that extant, non-relationist treatments of intentional identity are unsatisfactory, and then go on to motivate and explore (...) a relationist alternative in some detail. We show that the general thesis of relationism can be directly motivated via cases already discussed in the literature, and then develop a particular version of relationism couched in the possible worlds framework. The resulting theory avoids the problems facing its non-relationist rivals, and yields a natural account of the truth-conditions of (1), truth-conditions which can be generated in a compositional manner by a version of dynamic semantics. The theory also helps us to cleanly separate semantic questions about intentional identity from metasemantic ones. (shrink)

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the Russellian assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition, drawing from Stoic logic, has pointed to patterns which suggest that indefinites cannot be treated simply as existential quantifiers. The standard (...) dynamic semantic treatment of those phenomena, however, has well-known problems with negation and disjunction. -/- In this paper I develop a new approach to (in)definites. On my theory, truth-conditions are classical. But in addition to truth-conditions, meanings comprise a second dimension of what I call bounds. It is at the level of bounds, not truth-conditions, that I locate the characteristically dynamic coordination between indefinites and definites. The resulting system thus has a classical logic. This approach avoids dynamic semantics’ logical problems, and, more generally, yields a new perspective on the relation between truth-conditional and dynamic effects in natural language. (shrink)

One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving anaphora and negation. It is commonly held that negation blocks anaphoric potential, for example, we cannot say “Bill doesn’t have a car. It is black”. However, there are many exceptions to this generalization. This paper examines a variety of types of discourses in which anaphora on indefinites under the scope of negation is (...) felicitous. These cases are not just of intrinsic interest, but I argue present serious problems for the dynamic semantic framework, which builds the licensing facts into the semantics. I argue in favor of adopting a dynamic pragmatics, a theory that explains context change through general Gricean principles, and combining it with a static, d-type theory of anaphora, in which pronouns go proxy for definite descriptions. (shrink)

MILLIANISM and DESCRIPTIVISM are without question the two most prominent views with respect to the semantics of proper names. However, debates between MILLIANS and DESCRIPTIVISTS have tended to focus on a fairly narrow set of linguistic data and an equally narrow set of problems, mainly how to solve with Frege's puzzle and how to guarantee rigidity. In this article, the author focuses on a set of data that has been given less attention in these debates—namely, so-called predicative uses, bound uses, (...) and shifted uses of names. The author first shows that these data points seem to favor a DESCRIPTIVIST view over a MILLIAN view, but the author then introduces an alternative view of names that not only provides a simple and elegant way of dealing with the data, but also retains rigidity without becoming subject to the problems raised by Frege's puzzle. This is the view that names are variables, also called VARIABILISM. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

Hybrid metaethical theories have significant promise; they would have important upshots if they were true. But they also face severe problems. The problems are severe enough to make many philosophers doubt that they could be true. My ambition is to show that the problems are just instances of a highly general problem: a problem about what are sometimes called ‘intensional anaphora'. I'll also show that any adequate explanation of intensional anaphora immediately solves all the problems for the hybrid theorist. We (...) should regard hybrid tools as among the most legitimate tools in our toolkit—at least when we use them properly. (shrink)

This paper revisits the question of whether propositions in situation semantics must be persistent [Kratzer (1989). Linguistics and Philosophy, 12, 607–653]. It shows that ignoring persistence causes empirical problems for theories which use quantification over minimal situations as a solution for donkey anaphora [Elbourne (2005). Situations and individuals. Cambridge, Mass.: MIT Press]. At the same time, modifying these theories to incorporate persistence makes them incompatible with the use of situations for contextual restriction [Kratzer (2004). Ms., University of Massachusetts].

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

This paper argues that there are a number of different things that could be meant by the claim that a given agent 'could have done otherwise', because there are multiple ways of disambiguating the various anaphoric devices which are contained in the phrase. It goes on to suggest that on at least one of these disambiguations, the claim that a Frankfurtian agent could have done otherwise might be defensible, even given the presence of a counterfactual intervener who will ensure that (...) the agent phis. (shrink)

1. Complex demonstratives (noun phrases of the form ‘that F’) often behave in devious ways which do not fit well with their traditional understanding as devices of direct reference. Namely, there a...

Discussing Keith Donnellan's distinction between attributive and referential uses of descriptions, Gareth Evans considered a speaker he found it natural to describe as having “given expression to” a singular thought, though he insisted she was not referring to the person she has in mind. On accounts otherwise similar to Evans's, to express a singular thought just is to refer. Thus, as he does not explain why this speaker might speak this way, it is tempting to ignore this as a slip. (...) On the contrary, I shall argue, Evans has good reason to deny that picture of reference. My interest, though, is in the case itself. It turns out it is a presentational use of descriptions: it provides its audience a cognitive ability they would otherwise lack. This characterization raises deep theoretical questions which I only begin to address here. My goal is to show that we ought to address those questions, for there is no better way of understanding examples like Evans's than to see them as presentational. (shrink)

Critical statements, if true, bear ontological commitments to fictional entities. A well-known version of fictionalism about fictional characters tries to eliminate these ontological commitments by proposing that we understand critical statements as prefixed by a special sentential operator, such as ‘according to a fictional realist theory’. The aim of the present paper is to show that fictionalism about fictional characters is underdeveloped as it stands because it can be shown to be systematically inadequate. Because the fictionalist’s paraphrases of critical statements (...) suggest that fictional realists affirm the propositions expressed by critical statements, the fictionalist mistakenly attributes to fictional realists an expertise in matters that pertain to literary criticism. Importantly, this problem of misattributed expertise paves the way to other issues that might be much more devastating to the fictionalist project. It can be shown that, because she wrongly attributes expertise to fictional realists, the fictionalist unintentionally portrays fictional realist theories in a way that renders them inconsistent and self-defeating. This undermines fictionalism about fictional characters because it leaves no workable fictional realist account in which to ground a fictionalist explanation. This is why the fictionalist about fictional characters should try to eliminate the problem of misattributed expertise and its related issues. At the end of the paper, I sketch some of the available options in this regard. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out of (...) variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

Two main methods for analysing de re readings of definite descriptions in intensional contexts coexist: that of evaluating the description in the actual world, whether by means of scope, actuality operators, or non-local world binding, and that of substituting another description, usually one expressing a salient or ‘vivid’ acquaintance relation to an attitude holder, prior to evaluation. Recent work on so-called descriptive indexicals suggests that contrary to common assumptions, both methods are needed, for different ends. This paper aims to show (...) that there is indeed a division of labour between the two methods of analysis and to identify criteria for choosing among alternative ways to model the second, substitutional method. (shrink)

Linguistics and philosophy have provided distinct views on the nature of reference to individuals in language. In philosophy, in particular in the tradition of direct reference, the distinction is between reference and description. In linguistics, in particular in the tradition of generative grammar, the distinction is between pronouns and R-expressions. I argue for a third conception, grounded in dynamic semantics, in which the main watershed is between definites, which trigger presuppositions that want to be bound, and indefinites, which set up (...) new discourse referents. On this view, proper names, indexicals, and definite descriptions are all analyzed as presupposition triggers. (shrink)

Personal and demonstrative pronouns are notorious for challenging any theory of natural language. Singular pronouns have received much attention from linguists and philosophers alike during the last three decades. Plural pronouns, on the other hand, have been neglected, especially by philosophers. I want to fill this gap and suggest accounts of ‘we,’ the plural ‘you,’ and ‘they.'Intuitively, singular and plural personal pronouns are ‘counterparts.' Any account of personal pronouns should make sense of this intuition. However, the latter is not very (...) sophisticated and, as we move along, it will be reexamined and relativized. As we shall see, plural pronouns are much more than mere counterparts of the familiar singular ones. It is well known that third person singular pronouns have puzzling behaviors, acting as co-referential terms, bound variables, or unbound anaphora. But co-reference, binding, and unbound anaphora are not confined to the usual examples and extend, in a way, to plural pronouns. My discussion of the latter is partly motivated by this particular behavior. (shrink)

Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that (...) the proof that the smooth breathing denotes, while flawed, rests upon an idea now familiar from the completeness proof for first-order logic. The main work of the paper consists in defending a new understanding of the semantics Frege offers for the quantifiers: one which is objectual, but which does not make use of the notion of an assignment to a free variable. (shrink)

If ‘a’ and‘b’are (proper) names and if the meaning of a name is exhausted by its referent, how can‘a = a’differ in cognitive value from‘a = b’if‘a = b’is true? This is Frege's famous puzzle and Bezuidenhout reconstructs it using demonstrative NPs in place of names, i.e.: This X is that X.’Her solution is to posit the‘truth-conditional relevance’of the de re modes of presentation of such expressions. My major objection is that Bezuidenhout's examples are such that the NP to the (...) right of the copula is anaphoric rather than demonstrative and cannot, therefore, support her argument. (shrink)

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as 'actually' and 'in fact' are not indexicals like 'here' and 'now'; when e.g. 'Snow is actually white' is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that 'actually' and its cognates do play. It is also argued (...) that the sentence ⌜Actually S ⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S ⌝, it is not sufficient to prefix the word 'necessarily'. (shrink)

English mass noun phrases & count noun phrases differ only minimally grammatically. The basis for the difference is ascribed to a difference in the features +/-CT. These features serve the morphosyntactic function of determining the available options for the assigment of grammatical number, itself determined by the features +/-PL: +CT places no restriction on the available options, while -CT, in the unmarked case, restricts the available options to -PL. They also serve the semantic function of determining the sort of denotation (...) associated with demonstrative & quantified noun phrases. The feature -CT requires that the associated denotation be the set whose sole member is the greatest aggregate of which the noun phrase or noun is true; the feature +CT requires that the associated denotation be the set whose members are all & only those minimal aggregates of which the noun phrase or noun is true. At the same time, neither mass NPs nor count NPs that are arguments of a predicate have their predicate evaluated with respect to their denotations. Rather, the predicate is evaluated with respect to an aggregation, a set of aggregates constructed from the denotation of the noun phrase that is an argument of the predicate. 3 Tables, 4 Figures, 74 References. AA. (shrink)