Positive Polarity indefinites, such as some in English, are licensed in simplex negative sentences as long as they take wide scope over negation. When it surfaces under a clausemate negation, some can in principle take wide scope either by movement or by some semantic mechanism; e.g., it can take pseudoscope if it is interpreted as a choice function variable. Therefore, there is some uncertainty regarding the way in which PPI indefinites get licensed: can pseudoscope suffice? In this article we show, (...) using novel data from Hindi-Urdu and English, that pseudoscope is not sufficient, and that it is the syntactic position of PPI indefinites at LF, rather than their actual scope, which is relevant for licensing. These facts support a unified view of PPI indefinites as generalized quantifiers, and disfavor analyses where they are, or can be, interpreted as choice function variables. (shrink)

In his groundbreaking Grundlagen, Frege (1884) pointed out that number words like ‘four’ occur in ordinary language in two quite different ways and that this gives rise to a philosophical puzzle. On the one hand ‘four’ occurs as an adjective, which is to say that it occurs grammatically in sentences in a position that is commonly occupied by adjectives. Frege’s example was (1) Jupiter has four moons, where the occurrence of ‘four’ seems to be just like that of ‘green’ in (...) (2) Jupiter has green moons. On the other hand, ‘four’ occurs as a singular term, which is to say that it occurs in a position that is commonly occupied by paradigmatic cases of singular terms, like proper names: (3) The number of moons of Jupiter is four. Here ‘four’ seems to be just like ‘Wagner’ in (4) The composer of Tannhäuser is Wagner, and both of these statements seem to be identity statements, ones with which we claim that what two singular terms stand for is identical. But that number words can occur both as singular terms and as adjectives is puzzling. Usually adjectives cannot occur in a position occupied by a singular term, and the other way round, without resulting in ungrammaticality and nonsense. To give just one example, it would be ungrammatical to replace ‘four’ with ‘the number of moons of Jupiter’ in (1): (5) *Jupiter has the number of moons of Jupiter moons. This ungrammaticality results even though ‘four’ and ‘the number of moons of Jupiter’ are both apparently singular terms standing for the same object in (3). So, how can it be that number words can occur both as singular terms and as adjectives, while other adjectives cannot occur as singular terms, and other singular terms cannot occur as adjectives? (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into a (...) detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

Although philosophers of art and aesthetics regularly appeal to a notion of ‘pictorial content’, there is little agreement over its nature. The present paper argues that pictures have propositional contents. This conclusion is reached by considering a style of argument having to do with the phenomenon of negation intended to show that pictures must have some kind of non-propositional content. I first offer reasons for thinking that arguments of that type fail. Second, I show that when properly understood, such arguments (...) can in fact be turned on their heads and shown to support the propositionalist position. (shrink)

This paper proposes a unified dependent type analysis of three puzzling phenomena: inversely linked interpretations, weak definite readings in possessives and Haddock-type readings. We argue that the three problematic readings have the same underlying surface structure, and that the surface structure postulated can be interpreted properly and compositionally using dependent types. The dependent type account proposed is the first, to the best of our knowledge, to formally connect the three phenomena. A further advantage of our proposal over previous analyses is (...) that it offers a principled solution to the puzzle of why both inversely linked interpretations and weak definite readings are blocked with certain prepositions. (shrink)

This paper investigates relative constructions as in The gifted mathematician that you claim to be should be able to solve this equation, in which the head noun is semantically dependent on an intensional operator in the relative clause, even though it is not c-commanded by it. This is the kind of situation that has led, within models of linguistic description that assume a syntactic level of Logical Form, to analyses in which the head noun is interpreted within the CP-internal gap (...) by reconstruction or interpretation of a lower element of a chain. We offer a solution that views surface representation as the input to semantics. The apparent inverted scope effects are traced back to the interpretation of the head nominal gifted mathematician as applying to individual concepts, and of the relative clause that you claim to be as including an equational statement. According to this view, the complex DP in question refers to the individual concept that exists just in the worlds that are compatible with what is generally supposed to be the case, is a gifted mathematician in those worlds, and is identical to you in those worlds. Our solution is related to the non-reconstructionist analysis of binding of pronouns that do not stand in a c-command relationship to their binder, as in The woman that every man hugged was his mother in Jacobson Proceedings of Semantics and Linguistic Theory IV:161-178, 1994) and Sharvit Proceedings of Semantics and Linguistic Theory VI:227-244, 1996), and allows us to capture both similarities with and differences from the latter type of construction. We point out and offer explanations for a number of properties of such relative clauses—in particular their need for an internal intensional operator, their incompatibility with any determiner other than the definite article, and the fact that some of their properties are shared by demonstrably distinct kinds of relative clauses. (shrink)

Glue semantics is a theory of the syntax–semantics interface according to which the syntactic structure of a sentence produces premises in a fragment of linear logic, and the semantic interpretation of the sentence correspond to the proof derivable from those premises. This paper describes how Glue can be connected to a Minimalist syntactic theory and compares the result with the more mainstream approach to the syntax–semantics interface in Minimalism, according to which the input to semantic interpretation is a syntactic structure (...) derived by covert movement operations. I argue that the Glue approach has advantages that make it worth exploring. (shrink)

Prior's puzzle is a puzzle about the substitution of certain putatively synonymous or coreferential expressions in sentences. Prior's puzzle is important, because a satisfactory solution to it should constitute a crucial part of an adequate semantic theory for both proposition-embedding expressions and attitudinal verbs. I argue that two recent solutions to this puzzle are unsatisfactory. They either focus on the meaning of attitudinal verbs or content nouns. I propose a solution relying on a recent analysis of that-clauses in linguistics. Our (...) solution is superior, as it not only avoids the problems faced by previous solutions, but it also brings developments in linguistics in line to solve an old puzzle in philosophy. (shrink)

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...) based on the relativity of truth to a world fails. (shrink)

Among the philosophical accounts of reference, Quine’s The Roots of Reference stands out in offering an integrated account of the acquisition of linguistic reference and object individuation. Based on a non-referential ability to distinguish bodies, the acquisition of sortals and quantification are crucial steps in learning to refer to objects. In this article, we critically re-assess Quine’s account of reference. Our critique will proceed in three steps with the aim of showing that Quine effectively presupposes what he sets out to (...) explain, namely, reference to objects. We are going to argue that sortals do not individuate, that bodies are already objects, and that the acquisition of variables presupposes a notion of identity. The result is diagnostic of a central desideratum for any theory of reference: an explanation of spatiotemporal object individuation. (shrink)

An investigation into the behavior of sentence-final then suggests the need to distinguish between two uses:As a temporal anaphor referring back to a previously established explicit temporal referent (ETR).As a way of expressing relations between states/events, where no ETR is required.A means of making this distinction in Discourse Representation Theory (DRT) (Kamp and Reyle (forthcoming)) is proposed. This involves restricting the introduction of temporal referents into the universe of discourse to cases where certain types of temporal adverbials are present. In (...) other cases, event or state referents but not temporal referents may be introduced. This contrasts with previous DRT accounts of temporal phenomena, which employ no such distinction. (shrink)

The paper investigates an elliptical construction, Clarification Ellipsis, that occurs in dialogue. We suggest that this provides data that demonstrates that updates resulting from utterances cannot be defined in purely semantic terms, contrary to the prevailing assumptions of existing approaches to dynamic semantics. We offer a computationally oriented analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ellipsis resolution and requires operations on highly structured, linguistically (...) heterogeneous representations. We characterize these operations and the representations on which they operate. We offer an analysis couched in a version of Head-Driven Phrase Structure Grammar combined with a theory of information states (IS) in dialogue. We sketch an algorithm for the process of utterance integration in IS which leads to grounding or clarification. The account proposed here has direct applications to the theory of attitude reports, an issue which is explored briefly in the concluding remarks of the paper. (shrink)

In fact, Godel gave an important model of pure predication, where he showed that restricted comprehension without parameters is valid, but where restricted comprehension with parameters is not (although this invalidity was not established until Cohen). This is the model based on ordinal definability in set theory.

The main result in this paper is a method for obtaining derivation trees from sentences of certain formal grammars. No parsing algorithm was previously known to exist for these grammars.Applied to Montague's PTQ the method produces all parses that could correspond to different meanings. The technique directly addresses scope and reference and provides a framework for examining these phenomena. The solution for PTQ is implemented in an efficient and useful computer program.

This paper presents a novel treatment of quantified concealed questions , examining different types of NP predicates and deriving the truth conditions for pair-list and set readings. A generalization is proposed regarding the distribution of the two readings, namely that pair-list readings arise from CQs with relational head nouns, whereas set readings arise from CQs whose head nouns are not relational. It is shown that set readings cannot be derived under the ‘individual concept’ approach, one of the most influential analyses (...) of CQs on the market. The paper offers a solution to this problem. It shows that once we adopt an independently motivated view of traces—according to which traces are copies with descriptive content —nothing else needs to be postulated to derive set readings within an individual-concept-based analysis. Thus, what seemed to be a challenge for this type of analysis turns out to be an argument in its favor. (shrink)

The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...) obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)

We may wonder about the status of logical accounts of the meaning of language. When does a particular proposal count as a theory? How do we judge a theory to be correct? What criteria can we use to decide whether one theory is “better” than another? Implicitly, many accounts attribute a foundational status to set theory, and set-theoretic characterisations of possible worlds in particular. The goal of a semantic theory is then to find a translation of the phenomena of interest (...) into a set-theoretic model. Such theories may be deemed to have “explanatory” or “predictive” power if a mapping can found into expressions of set-theory that have the appropriate behaviour by virtue of the rules of set-theory (for example Montague 1973; Montague1974). This can be contrasted with an approach in which we can help ourselves to “new” primitives and ontological categories, and devise logical rules and axioms that capture the appropriate inferential behaviour (as in Turner 1992). In general, this alternative approach can be criticised as being mere “descriptivism”, lacking predictive or explanatory power. Here we will seek to defend the axiomatic approach. Any formal account must assume some normative interpretation, but there is a sense in which such theories can provide a more honest characterisation (cf. Dummett 199). In contrast, the set-theoretic approach tends to conflate distinct ontological notions. Mapping a pattern of semantic behaviour into some pre-existing set-theoretic behaviour may lead to certain aspects of that behaviour being overlooked, or ignored (Chierchia & Turner 1988; Bealer 1982). Arguments about the explanatory and predictive power of set-theoretic interpretations can also be questioned (see Benacerraf 1965, for example). We aim to provide alternative notions for evaluating the quality of a formalisation, and the role of formal theory. Ultimately, claims about the methodological and conceptual inadequacies of axiomatic accounts compared to set-theoretic reductions must rely on criteria and assumptions that lie outside the domain of formal semantics as such. (shrink)

In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...) main objections and show how each can be addressed. Finally, we compare the strengths and shortcomings of the mereological approach and plural logic. Our conclusion is that the former remains a viable and well-motivated framework for the analysis of plurals. (shrink)

Soames (Philos Top 15:44–87, 1987 , J Philos Logic 37:267–276, 2008 ) has argued that propositions cannot be sets of truth-supporting circumstances. This argument is criticized for assuming that various singular terms are directly referential when in fact there are good grounds to doubt this.

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

We define and prove a formal semantics divided into two complementary interacting components: the strictly linguistic semantics, we call linguistic agent, and the strictly logical and referential semantics, we call rational agent. This Linguistic \ Rational Agents’ Semantics applies to Deep Dependency trees or more generally, to discourses, i.e. sequences of DD-trees, and interprets them by functional structures we call Meaning Representation Structures, similar to the DRT, but interpreted very differently. LRA semantics incrementally interprets the discourses by minimal finite models, (...) called proto-models, in a monotonic logic of the LA and checks the proto-models with respect to the classical models of the RA. The proto-model is considered as the linguistic sense of the discourse. We define in full detail the LA which, as we believe, must be universal. On the other hand, we don’t propose a particular RA. We only define the scheme of interaction between the two agents and the stimuli of the RA used by the LA. After all, every discourse has in LRA semantics the single meaning and the single sense for every Rational Agent used to interact with the Linguistic Agent. (shrink)

Kit Fine distinguishes between inexact and exact truthmaking. He argues that the former can be defined from the latter, but not vice versa, and so concludes that truthmaker semanticists should treat the exact variety of truthmaking as primitive. I argue that this gets things backwards. We can define exact truthmaking in terms of inexact truthmaking and we can’t define inexact truthmaking in terms of exact truthmaking. I conclude that it’s inexact truthmaking, rather than exact truthmaking, that truthmaker semanticists should treat (...) as the primitive semantic relation. (shrink)

Building on Ben-Avi and Winter’s (2007) work, this paper provides a general “intensionalization” procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating “truly intensional” lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague’s (1973) PTQ.

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semanticinterpretations can be formalized in linear logic in a way thatcorrectly explains the observed interactions between quantifier scopeambiguity, bound anaphora and intensionality.Our linear-logic formalization of the compositional properties ofquantifying expressions in natural language obviates the need forspecial mechanisms, such as Cooper storage, in representing thescoping possibilities of quantifying expressions. Instead, thesemantic contribution of a quantifier is recorded as a linear-logicformula whose use in a proof will establish the (...) scope of thequantifier. Different proofs can lead to different scopes. In eachcomplete proof, the properties of linear logic ensure thatquantifiers are properly scoped. (shrink)

ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views that (...) its predecessors rule out by fiat. (shrink)

It is commonly accepted, after Frege, that identity statements like “Tully is Cicero” differ from statements like “Tully is Tully”. For the former, unlike the latter, are informative. One way to deal with the information problem is to postulate that the terms ‘Tully’ and ‘Cicero’ come equipped with different informative values. Another approach is to claim that statements like these are of the subject/predicate form. As such, they should be analyzed along the way we treat “Tully walks”. Since proper names (...) can appear in predicative position we could go as far as to dismiss the sign of identity altogether, some told us. I will try to discuss the advantages and/or disadvantages of this approach and investigate whether Frege’s view that the ‘is’ of identity must be distinguished from the ‘is’ of predication can be reconciled with the fact that names can appear in predicative position. (shrink)

This paper presents and advocates an approach to the semantics of opinion statements, including matters of personal taste and moral claims. In this framework, ‘outlook-based semantics’, the circumstances of evaluation are not composed of a possible world and a judge ; rather, outlooks replace possible worlds in the role of circumstance of evaluation. Outlooks are refinements of worlds that settle not only matters of fact but also matters of opinion. Several virtues of the framework and advantages over existing implementations of (...) world-judge relativism are demonstrated in this paper. First, world-judge relativism does not actually explain the ‘disagreement’ of ‘faultless disagreement’, while a straightforward explanation suggests itself in outlook-based semantics. Second, outlook-based semantics provides an account of subjective attitude verbs that can capture lack of opinionatedness. Third, outlook-based semantics unproblematically explains the connection-building role of aesthetic discourse and the group-relevance of discretionary assertions, while capturing the same effects in world-judge relativism obviates the purpose of the judge parameter. Finally, because the proposed circumstances of evaluation are entirely analogous to possible worlds, the framework is easy to use and extend. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

One of the claims of Type Theory with Records is that it can be used to model types learned by agents in order to classify objects and events in the world, including speech events. That is, the types can be represented by patterns of neural activation in the brain. This claim would be empty if it turns out that the types are in principle impossible to represent on a finite network of neurons. We will discuss how to represent types in (...) terms of neural events on a network and present a preliminary computational implementation that maps types to events on a network. The kind of networks we will use are closely related to the transparent neural networks discussed by Strannegård. (shrink)

The paper argues that natural language quantification, as expressed by determiner phrases, is not polysemous. The foil for this claim is Hofweber, who contends that natural language quantification is polysemous between a domain reading and an inferential reading. The thesis is intended to support a more general division between externalist and internalist positions in semantics. The paper, to the contrary, argues that there is no linguistic evidence for polysemous quantification, and Hofweber’s proposal proves to be non-compositional. Further, an approach at (...) least consistent with internalism is available independent of an inferential reading, for natural language quantification can be read as ontologically neutral, which removes the rationale for the polysemy hypothesis. The paper remains neutral on so-called heavyweight vs. lightweight construals of quantification, which are not claims about natural language semantics. (shrink)

In this paper we show that focus structure determines the interpretation of bare plurals in English: topic bare plurals are interpreted generically, focused bare plurals are interpreted existentially. When bare plurals are topics they must be specific, i.e. they refer to kinds. After type-shifting they introduce variables which can be bound by the generic quantifier, yielding characterizing generics. Existentially interpreted bare plurals are not variables, but denote properties that are incorporated into the predicate.The type of predicate determines the interpretation of (...) its bare plural subject. The individual/stage-level distinction, though important, is not sufficient: since only arguments can be topics, only those stage-level predicates which have locative arguments can have existential bare plural subjects.Certain verbs (e.g., hate) fail to incorporate their bare plural objects; therefore no existential reading of the object is available. We provide a novel solution to this puzzle based on the following two claims: (i) incorporated bare plurals do not introduce discourse referents; (ii) nonincorporating verbs are presuppositional. (shrink)

It is widely agreed that generics tolerate exceptions. It turns out, however, that exceptions are tolerated only so long as they do not violate homogeneity: when the exceptions are not concentrated in a salient “chunk” of the domain of the generic. The criterion for salience of a chunk is cognitive: it is dependent on the way in which the domain is mentally represented. Findings of psychological experiments about the ways in which different domains are represented, and the actors affecting such (...) representations, account for judgments of generic sentences, facts which cannot be explained by linguistics alone. The reason for the homogeneity requirement itself is, in turn, also dependent on cognitive considerations. Generics express default rules, and psychological findings have shown that, the more homogeneous the domain, the easier it is for subjects to infer rules about it. Thus, cognitive results form a crucial part of a comprehensive account of the meaning of a linguistic expression. (shrink)

Conceptual realism begins with a conceptualist theory of the nexus of predication in our speech and mental acts, a theory that explains the unity of those acts in terms of their referential and predicable aspects. This theory also contains as an integral part an intensional realism based on predicate nominalization and a reflexive abstraction in which the intensional contents of our concepts are “object”-ified, and by which an analysis of predication with intensional verbs can be given. Through a second nominalization (...) of the common names that are part of conceptual realism’s theory of reference (via quantifier phrases), the theory also accounts for both plural reference and predication and mass noun reference and predication. Finally, a separate nexus of predication based on natural kinds and the natural properties and relations nomologically related to those natural kinds, is also an integral part of the framework of conceptual realism. (shrink)