In this paper we will discuss the first order multiplicative intuitionistic fragment of linear logic, MILL1, and its applications to linguistics. We give an embedding translation from formulas in the Lambek Calculus to formulas in MILL1 and show this translation is sound and complete. We then exploit the extra power of the first order fragment to give an account of a number of linguistic phenomena which have no satisfactory treatment in the Lambek Calculus.

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...) but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (shrink)

Terms such as 'wisdom' or 'happiness' are commonly held to refer to abstract objects that are properties. On the basis of a greater range of linguistic data and with the support of some ancient and medieval philosophical views, I argue that such terms do not stand for objects, but rather for kinds of tropes, entities that do not have the status of objects, but only play a role as semantic values of terms and as arguments of predicates. Such ‘non-objects’ crucially (...) differ from objects in that they are not potential bearers of properties. (shrink)

This paper discusses the semantics of intensional transitive verbs such as 'need', 'want','recognize', 'find', and 'hire'. It proposes new linguistic criteria for intensionality and defends two semantic analyses for two different classes of intensional verbs. The paper also includes a systematic classification of intensional verbs according to the type of lexical meaning they involve.

This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.

As an empirical inquiry into the nature of meaning, semantics must rely on data. Unfortunately, the primary data to which philosophers and linguists have traditionally appealed—judgments on the truth and falsity of sentences—have long been known to vary widely between competent speakers in a number of interesting cases. The present article constitutes an experiment in how to obtain some more consistent data for the enterprise of semantics. Specifically, it argues from some widely accepted Gricean premises to the conclusion that judgments (...) on lying are semantically relevant. It then endeavors to show how, assuming the relevance of such judgments, we can use them to generate a useful, widely acceptable test for semantic content. (shrink)

We present a processing model that integrates same important psychological claims about the human sentence‐parsing mechanism: namely, that processing is influenced by limitations an working memory and by various syntactic preferences. The model uses time‐constraint information to resolve conflicting preferences in a psychologically plausible way. The starting paint far this proposal is the Sausage Machine model (Fodor & Frazier, 1980: Frazier & Fodor, 1978). From there, we attempt to overcome the original model's dependence an ad hoc aspects of its grammar, (...) and its omission of verb‐frame preferences. We also add mechanisms far lexical disambiguation and semantic processing in parallel with syntactic processing. (shrink)

KRISP is a representation system and set of interpretation protocols that is used in the Sparser natural language understanding system to embody the meaning of texts and their pragmatic contexts. It is based on a denotational notion of semantic interpretation, where the phrases of a text are directly projected onto a largely pre-existing set of individuals and categories in a model, rather than first going through a level of symbolic representation such as a logical form. It defines a small set (...) of semantic object types, grounded in the lambda calculus, and it supports the principle of uniqueness and supplies first class objects to represent partially-saturated relationships.KRISP is being used to develop a core set of concepts for such things as names, amounts, time, and modality, which are part of a few larger models for domains including Who''s News and joint ventures. It is targeted at the task of information extraction, emphasizing the need to relate entities mentioned in new texts to a large set of pre-defined entities and those read about in earlier articles or in the same article. (shrink)

We develop a framework for natural language semantics which handles intensionality via metalogical constructions and deals with degree truth values in an integrated way. We take an axiomatic set theory, ZF, as the foundation for semantic representations, but we make ZF a metalanguage for part of itself by embedding a language ℒ within ZF which is basically a copy of the part of ZF consisting of set expressions. This metalogical set-up is used for handling propositional attitude verbs (limited to believe (...) in this paper). We define a truth function τ which determines the truth value τ(p, T) of an ℒ-proposition p with respect to a theory T. Theories are sets of ℒ-propositions with associated truth values, and can be viewed as a (much more well-defined) replacement for possible worlds. We develop a mechanism for defining belief worlds as theories. We simultaneously develop two different versions of our system - a Boolean version where the set Ω of truth values is {0, 1}, and a degree-truth version where Ω is the interval [0, 1] of real numbers. We use degrees of truth in handling a broad class of semantic predicates that we call base-focus predicates, which include generalized quantifiers as well as many adverb and adjective senses and certain discourse-level predicates. (shrink)

The presence of contrastive focus on pronouns interpreted as bound variables is puzzling. Bound variables do not refer, and it is therefore unclear how two of them can be made to contrast with each other. It is argued that this is a problem for both alternative-based accounts such as Rooth’s (Nat Lang Semantics 1:75–116, 1992) and givenness-based ones such as Schwarzschild’s (Nat Lang Semantics 7:141–177, 1999). The present paper shows that previous approaches to this puzzle face an empirical problem, namely (...) the co-occurrence of additive too and focus on bound pronouns. Our account is based on the idea that the alternatives introduced by focused bound pronouns denote individuals. Putting forward the novel concept of compositional reconstruction, we show that a suitably modified Roothian analysis of focus licensing allows us to get bound pronouns to contrast with other bound pronouns. The reason for this is that the number of potential alternatives increases. We also suggest a modification of Rooth’s ~-operator: contrastiveness becomes a requirement of the operator, which is modelled as a definedness condition. It is argued that in the case of focused bound pronouns a ~-operator is necessarily inserted in the scope of the quantifier. If this is on the right track, it follows that the phenomenon of focused bound pronouns warrants both an operator interpreting focus as well as a semantic value for the contribution of focus. Any givenness-based analysis must include these two ingredients as well; we suggest a way in which this can be implemented more or less straightforwardly. (shrink)

Different notions of analysis have been both theorized and put to use in early analytic philosophy. Two of them stand out: connective analysis and analysis as paraphrase. The latter played a central role in the development of analytic philosophy from Frege to Quine and beyond. With the advent of formal semantics of natural language in the 1970s, paraphrase came to be characterizable as translation into a formal “target language”. While I claim that the method cannot achieve its original philosophical aims, (...) I insist that, in spite of them, it is far from being a theoretically empty operation and that it lives on in some contemporary philosophical enterprises. (shrink)

According to a widely shared generic conception of inferential justification—‘the standard conception’—an agent is inferentially justified in believing that p only if she has antecedently justified beliefs in all the non-redundant premises of a good argument for p. This conception tends to serve as the starting-point in contemporary debates about the nature and scope of inferential justification: as neutral common ground between various competing, more specific, conceptions. But it’s a deeply problematic starting-point. This paper explores three questions that haven’t been (...) given the attention they deserve, that complicate the application of the standard conception to cases, and that reveal it to be underspecified at the core—in ways that aren’t resolved but inherited by more specific (extant) versions of it. The goal isn’t to answer the questions, but to articulate them, explain what turns on them, and invite a critical re-examination of the standard conception. (shrink)

I present a concrete DRT-based syntax and semantics for the representation of mental states in the style of Kamp. This system is closely related to Recanati’s Mental Files framework, but adds a crucial distinction between anchors, the analogues of mental files, and attitudes like belief, desire and imagination. Attitudes are represented as separate compartments that can be referentially dependent on anchors. I show how the added distinctions help defend the useful notion of an acquaintance-based mental file against Ninan’s :368–377 2015) (...) recent challenge involving counterfactual de re attitudes. (shrink)

Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect to category (...) mistakes; in Sect. 3 an argument concerning synonymy facts of category mistakes; in Sect. 4 concerning embeddings of category mistakes in propositional attitude ascriptions; and in Sect. 5 concerning the uses of category mistakes in metaphors. Having presented these arguments, in Sect. 6 I briefly discuss some of the positive motivations for accepting the meaninglessness view and argue that they are unconvincing. I conclude that the meaninglessness view ought to be rejected. (shrink)

Simple locative sentences show a variety of pseudo-quantificational interpretations. Some locatives give the impression of universal quantification over parts of objects, others involve existential quantification, and yet others cannot be characterized by either of these quantificational terms. This behavior is explained by virtually all semantic theories of locatives. What has not been previously observed is that similar quantificational variability is also exhibited by locative sentences containing indefinites with the ‘a’ article. This phenomenon is especially problematic for traditional existential treatments of (...) indefinites. We propose a solution where indefinites denote properties and are assigned locations similarly to other spatial descriptions. This Property-Eigenspace Hypothesis accounts for the correlation between the interpretations of locative indefinites and the pseudo-quantificational effects with simple entity-denoting NPs. Thereby, the proposal opens up a new empirical domain for property-based theories of indefinites, with implications for the analysis of collective descriptions, generics, negative polarity items and part–whole structure. (shrink)

It is now a quarter of a century ago that Wolfgang Stegmfiller wrote his monograph 'Das Wahrheitsproblem und die Idee der Semantik' (1957) which dealt with Tarski's and Carnap's foundational work in the field of semantics. While this book is about the definition of the basic semantical concepts in artificial formal languages there is an article written a year earlier (1956) in which Stegmfiller addresses himself specifically to the relation between logic and natural language. Here he gives a logical analysis (...) of the standard structural expressions in language that are still of primary concern for current semantics: quantifiers, pronouns, articles, etc. The motives for such an analysis at that time were mainly philosophical: the aim was to expose the misconceptions and pitfalls of traditional philosophy arising from the disregard of various systematic semantic ambiguities in everyday language. Or as Stegmfiller puts it: Ober sie [i.e. einige nicht triviale F~ille von Vagheit in der A11tagssprache] Klarheit zu gewinnen, ist schon deshalb yon auBerordentlicher Bedeutung, weil Unkenntnis fiber sie zu schwersten philosophischen Verirrungen ffihren kann, namlich entweder der Unterlassung von berechtigten Fragestellungen, oder, was weit h~ufiger vorgekommen ist, der Formulierung yon falsch gestellten Fragen, denen gegenfiber man dann nur die Wahl hat, entweder fiberhaupt keine oder nur sinnlose Antworten zu geben. So logic was to regiment language. Sentences involving the copula and the above-mentioned structure words are assigned one or more unambiguous formal representations in an already interpreted formal language, usually the first order predicate calculus. The natural language expressions thereby receive a precise meaning, since the semantics of the formal language has been specified in advance, as is always assumed. This procedure has, of course, always been common practice, witness the typical syntactical argot of the mathematicians. It carries, however, an obvious methodological presupposition: it is the idea that the logic of our choice to which the formal representations belong is in some sense an adequate framework to express our thoughts. (shrink)

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

Intertheoretic relations are an important topic in the philosophy of science. However, since their classical discussion by Ernest Nagel, such relations have mostly been restricted to relations between pairs of theories in the natural sciences. This paper presents a case study of a new type of intertheoretic relation that is inspired by Montague’s analysis of the linguistic syntax-semantics relation. The paper develops a simple model of this relation. To motivate the adoption of our new model, we show that this model (...) extends the scope of application of the Nagelian models and that it shares the epistemological advantages of the Nagelian model. The latter is achieved in a Bayesian framework. (shrink)

The paper discusses the structure of non-verbal predication, with particular reference to the role of the copula. Differently from the main tenets of contemporary logico-philosophical and linguistic theories, a model of predication is proposed where the verbal component (specifically, tense information) is regarded as central in establishing the syntactic and semantic relation between a predicate and its subject. It is thus possible to recover some of the insights of the pre-Fregean analysis of predication. The proposed solution has a number of (...) significant consequences for the structure to be assigned to non-verbal predication, in particular for the semantics of small clause constituents, where the predication is established without the copula. (shrink)

The present paper is an attempt at the investigation of the nature of polarity contrast in natural languages. Truth conditions for natural language sentences are incomplete unless they include a proper definition of the conditions under which they are false. It is argued that the tertium non datur principle of classical bivalent logical systems is empirically invalid for natural languages: falsity cannot be equated with non-truth. Lacking a direct intuition about the conditions under which a sentence is false, we need (...) an independent foundation of the concept of falsity. The solution I offer is a definition of falsity in terms of the truth of a syntactic negation of the sentence. A definition of syntactic negation is proposed for English. (shrink)

I argue that sentence contents should be assigned truth-values relative to parameters other than a possible world only if those parameters are fixed by the context of assessment rather than the context of use. Standard counterexamples, including tense, de se attitudes, and knowledge ascriptions, all admit of alternative analyses which do not make use of such parameters. Moreover, allowing such indices greatly complicates the task of defining disagreement, and forces an odd separation between what is true, and what someone has (...) truthfully said. If non-world indices are always fixed by the context of assessment, a characterization of semantic theories as ?relativist? in terms of assessment-sensitivity converges with a characterization in terms of sensitivity to non-world indices. More tentatively, I suggest that even a possible world index, when used in the assignment of truth-values to sentence contents, should be fixed by the context of assessment, not the context of use. This eliminates MacFarlane's category of ?non-indexical contextualism?, and results in a system in which parameters fixed by the context of use are used only in the assignment of contents to linguistic expressions, and parameters used in the assignment of truth-values to contents are uniformly fixed by the context of assessment. (shrink)

I argue that compositionality (in the sense of homomorphic interpretation) is compatible with radical and pervasive contextual effects on interpretation. Apparent problems with this claim lose their force if we are careful in distinguishing the question of how a grammar assigns interpretations from the question of how people figure out which interpretations the grammar assigns. I demonstrate, using a simple example, that this latter task must sometimes be done not by computing a derivation defined directly by the grammar, but through (...) the use of pragmatic background knowledge and extragrammatical reasoning, even when the grammar is designed to be fully compositional. The fact that people must sometimes use global pragmatic mechanisms to identify truth conditions therefore tells us nothing about whether the grammar assigns truth conditions compositionally. Compositional interpretation (or the lack thereof) is identifiable not by the mechanisms necessary to calculating truth conditions, but by the structural relation between the interpretation of a phrase in context and the interpretations of its parts in that same context. Even if this relation varies by context, an invariant grammar is possible if grammars can “invoke” pragmatic concepts; but this does not imply that grammatical theory must explain these concepts or incorporate a theory of pragmatics. (shrink)

I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) solves the proportion problem presented by quantifiers like ‘most’, improves the analysis of the temperature paradox, allows a more unified analysis of bare plurals, and regularizes the correspondence between syntactic categories and semantic types. (shrink)

By accepting the above proposals for translating tenses it appears possible to achieve a very general account of the interpretation of Warlpiri adjoined clauses. Moreover, if the analysis is correct it would provide an interesting example of natural language generalizing across tenses and NPs, since what we would have is a single syntactic construction whose interpretation varied according to whether an NP or a tense were translated with a distinguished variable. These results thus serve to pose once again the question (...) of where precisely the common features of tenses and NPs reside. Recent work applying model-theoretic techniques to natural language semantics may well provide an answer. Thus in Dowty (1979) and Larson and Cooper (1980) NPs and tenses both denote the same sort of set-theoretic object, viz., sets of sets. Within generalized quantification theory this is just to say that both NPs and tenses denote quantifiers (cf. Barwise and Cooper, 1981, for much illuminating information on quantifiers and natural language). It may thus be possible to view the interpretation of Warlpiri adjoined clauses as a case of natural language generalizing across the semantic type of quantifiers. (shrink)

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

Cooper storage is a widespread technique for associating sentences with their meanings, used in diverse linguistic and computational linguistic traditions. This paper encodes the data structures and operations of cooper storage in the simply typed linear \-calculus, revealing the rich categorical structure of a graded applicative functor. In the case of finite cooper storage, which corresponds to ideas in current transformational approaches to syntax, the semantic interpretation function can be given as a linear homomorphism acting on a regular set of (...) trees, and thus generation can be done in polynomial time. (shrink)

The phenomenon of inverse linking, where a noun phrase embedded within another behaves with respect to binding as though it were structurally independent, has proven challenging for theories of the syntax–semantics interface. In this paper I show that, using an LF-movement style approach to the syntax–semantics interface, we can derive all and only the appropriate meanings for such constructions using no semantic operations other than function application and composition. The solution relies neither on a proliferation of lexical ambiguity nor on (...) abandoning the idea that pronouns denote variables, but rather on a straightforward (and standard) reification of assignment functions, which allows us to define abstraction operators within our models. (shrink)

A sentence like every circle is blue might be understood in terms of individuals and their properties or in terms of a relation between groups. Relatedly, theorists can specify the contents of universally quantified sentences in first-order or second-order terms. We offer new evidence that this logical first-order vs. second-order distinction corresponds to a psychologically robust individual vs. group distinction that has behavioral repercussions. Participants were shown displays of dots and asked to evaluate sentences with each, every, or all combined (...) with a predicate. We find that participants are better at estimating how many things the predicate applied to after evaluating sentences in which universal quantification is indicated with every or all, as opposed to each. We argue that every and all are understood in second-order terms that encourage group representation, while each is understood in first-order terms that encourage individual representation. Since the sentences that participants evaluate are truth-conditionally equivalent, our results also bear on questions concerning how meanings are related to truth-conditions. (shrink)

The traditional scope theory of intensionality (STI) (see Russell 1905; Montague 1973; Ladusaw 1977; Ogihara 1992, 1996; Stowell 1993) is simple, elegant, and, for the most part, empirically adequate. However, a few quite troubling counterexamples to this theory have lead researchers to propose alternatives, such as positing null situation pronouns (Percus 2000) or actuality operators (Kamp 1971; Cresswell 1990) in the syntax of natural language. These innovative theories do correct the undergeneration of the original scope theory, but at a cost: (...) the situation pronoun and operator theories overgenerate, as argued extensively by Percus (2000) and Keshet (2008). This paper presents new data that supports the STI over other analyses, such as structures where DPs lose their de re readings in positions where syntactic movement is blocked. These data point the way to a new theory of intensionality. This new theory, called split intensionality, is a modification of the STI which aims to solve the problems raised for the original scope theory without overgenerating. The proposal calls for an additional intensional abstraction operator that creates an expression denoting an intension from an expression denoting an extension. When a DP moves to a position above this operator, it is interpreted de re; otherwise it is de dicto. The crucial part of the new proposal is that a DP may move above this operator and yet remain, for instance, below an intentional verb or inside an if-clause. Therefore, a DP within an island for syntactic movement may be de re and yet not move out of the island when the intensional abstraction operator is also within the island. (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)

W. Labov's & T. Labov's findings concerning their child grammar acquisition ("Learning the Syntax of Questions" in Recent Advances in the Psychology of Language, Campbell, R. & Smith, P. Eds, New York: Plenum Press, 1978) are interpreted in terms of different semantics of why & other wh-questions. Z. Dubiel.

It is proved that for any k, the class of classical categorial grammars that assign at most k types to each symbol in the alphabet is learnable, in the Gold (1967) sense of identification in the limit from positive data. The proof crucially relies on the fact that the concept known as finite elasticity in the inductive inference literature is preserved under the inverse image of a finite-valued relation. The learning algorithm presented here incorporates Buszkowski and Penn's (1990) algorithm for (...) determining categorial grammars from input consisting of functor-argument structures. (shrink)

A free logical analysis of singular terms couched in terms of the semantic theory of Keenan and Faltz is shown to avoid problems with both Frege's and Russell's treatments. At its heart is the proposal of Keenan and Faltz to reverse the usual mode-theoretic conception of individuals and properties, taking the latter as primitive and the former as derived therefrom. A simple extension of the notion 'property' is then shown to enable a parallel treatment of definite generics.

There are two principles which bear the name Frege''sprinciple: the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified: did Frege accept both principles at the same time, did hehold the one principle but not the other, or did he, at some moment,change his opinion? The conclusion is as follows. There is a developmentin Frege''s position. In the period of Grundlagen he followed to a strict form of contextuality. He repeatedcontextuality in later (...) writings, but became less strict. From 1914 on,pushed by the needs of research, he comes close to compositionality. Buthe could never make the final step toward compositionality forprincipled reasons, therefore he always would reject compositionality. (shrink)

Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in a compositional analysis of the de (...) dicto - de re ambiguity in natural language. It will be argued that Independence Friendly logic is suitable, whereas Dependence Logic is not. (shrink)

Is there a principled difference between entailments in natural language that are valid solely in virtue of their form or structure and those that are not? This paper advances an affirmative answer to this question, one that takes as its starting point Gareth Evans’s suggestion that semantic theory aims to carve reality at the joints by uncovering the semantic natural kinds of the language. I sketch an Evans-inspired account of semantic kinds and show how it supports a principled account of (...) structural entailment. I illustrate the account by application to a case study involving the entailment properties of adverbs; this involves developing a novel proposal about the semantics for adverbs like ‘quickly’ and ‘slowly’. In the course of the discussion I explore some implications of the account for the place of model-theoretic tools in natural language semantics. (shrink)

This paper argues for the hypothesis of direct compositionality (as in, e.g., Montague 1974), according to which the combinatory syntactic rules specify a set of well-formed expressions while the semantic combinatory rules work in tandem to directly supply a model-theoretic interpretation to each expression as it is "built" in the syntax. (This thus obviates the need for any level like LF and, concomitantly, for any rules mapping surface structures to such a level.) I focus here on one related group of (...) phenomena: the interaction of "paycheck" pronouns with Weak Crossover effects and i-within-i effects. These interactions were studied in Jacobson (1977) as they show up in Back-Peters sentences. There I argued that these interactions show that paycheck pronouns have a complex representation at LF; here I show that all of the observations in this earlier work are compatible with the hypothesis of direct compositionality. The key tool is the adoption of a variation-free semantics (a semantics which makes no use of variables as part of the semantic machinery). In addition to the general consequences for the syntax/semantics interface, there are two other main results. First, I provide new arguments for a variable-free semantics. For example, it will be shown that under this view the paycheck reading of a pronoun comes for free; most other theories posit additional mechanisms and/or an additional lexical meaning for pronouns, and thus paycheck and regular pronouns are only accidentally homophonous. Second, I reiterate one of the central points in Jacobson (1977): this is that the first pronoun in a Bach-Peters sentence is indeed a paycheck pronoun, and hence nothing special needs to be said about these sentences nor does any new machinery need to be invoked for them. (shrink)

This paper reports on an experimental investigation of the scope of English a indefinites and a certain indefinites. Three experiments test whether native English speakers allow indefinites to scope out of syntactic islands, and to take intermediate as well as widest scope. The experimental findings indicate that a indefinites and a certain indefinites have different ranges of interpretations available to them. Experiment 1 shows that a certain indefinites, unlike a indefinites, cannot be interpreted in the scope of an intensional operator, (...) and further shows that functional readings are available to a certain indefinites but not to a indefinites. Experiment 2 focuses on the availability of long-distance readings of indefinites out of scope islands, and shows that the most accessible reading for a certain indefinites is the widest-scope reading, while the most accessible reading for a indefinites is the narrow-scope reading. Experiment 3 shows that modification of an a indefinite by a relative clause does not facilitate long-distance readings, as long as it does not restrict the domain to a singleton set. Overall, these findings are consistent with the proposal of Schwarz (Proceedings of the Thirteenth Amsterdam Colloquium, ILCC, University of Amsterdam, 192–197, 2001) that a certain indefinites and a indefinites are derived by different semantic mechanisms. The behavior of a certain indefinites is shown to be consistent with the contextually determined choice function approach Kratzer (Events in grammar, Kluwer, Dordrecht, 165–196, 1998) and the singleton indefinite approach Schwarzschild (J Semant 19:289–314, 2002). In contrast, a indefinites are most compatible with a purely quantificational approach, contra much recent theoretical literature. These findings highlight the value of conducting experimental studies testing the predictions of semantic theories. (shrink)