In this paper, we present a prenex form theorem for a version of Independence Friendly logic, a logic with imperfect information. Lifting classical results to such logics turns out not to be straightforward, because independence conditions make the formulas sensitive to signalling phenomena. In particular, nested quantification over the same variable is shown to cause problems. For instance, renaming of bound variables may change the interpretations of a formula, there are only restricted quantifier extraction theorems, and slashed connectives cannot be (...) so easily removed. Thus we correct some claims from Hintikka [8], Caicedo & Krynicki [3] and Hodges [11]. We refine definitions, in particular the notion of equivalence, and sharpen preconditions, allowing us to restore those claims, including the prenex form theorem of Caicedo & Krynicki [3], and, as a side result, we obtain an application to Skolem forms of classical formulas. It is a known fact that a complete calculus for IF-logic is impossible, but with our results we establish several quantifier rules that form a partial calculus of equivalence for a general version of IF-logic reflecting general properties of information flow in games. (shrink)

We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the 'information-friendly' language of Hintikka and Sandu. For first-order formulas the semantics reduces to Tarski's semantics for first-order logic. We prove that two formulas have the same (...) interpretation in all structures if and only if replacing an occurrence of one by an occurrence of the other in a sentence never alters the truth-value of the sentence in any structure. (shrink)

The central claim of this paper is that surface-faithful word-by-word update is feasible and desirable, even in languages where word order is supposedly free. As a first step, in sections 1 and 2, I review an argument from Bittner 2001a that semantic composition is not a static process, as in PTQ, but rather a species of anaphoric bridging. But in that case the context-setting role of word order should extend from cross-sentential discourse anaphora to sentence-internal anaphoric composition. This can be (...) spelled out as a two-part hypothesis. First, in all languages anaphoric composition derives incremental updates based on the topological order rather than the syntactic hierarchy. And secondly, rigid vs. free word order is simply rigid vs. free mapping from syntax to topology. To formalize this hypothesis, I first present, in section 3, Sevensorted Logic of Change with Centering. This makes it possible, in section 4, to articulate a system of constraints on basic meanings in Kalaallisut — a polysynthetic language with free word order, ideally suited to test the hypothesis of incremental update. The key assumptions about topology as the input to anaphoric composition are spelled out in section 5, which concludes the development of a general formal framework. This formal framework then serves, in sections 6 through 8, t o explicate topologically based incremental updates for increasingly more complex samples of an actual Kalaallisut text. This reveals ubiquitous patterns of prominence-guided anaphora, in all semantic domains, t o increasingly more complex types of discourse referents. These anaphoric patterns show that the context-setting role of word order indeed does extend from discourse to word-to-word anaphora. And this, in turn, strongly supports the hypothesis of topologically based anaphoric composition. Finally, in section 9 I adduce evidence from English that this hypothesis also holds for languages with rigid word order, albeit the fixed mapping keeps the topology close to the syntax. I conclude that both free and rigid word orders receive a natural account if semantic composition is viewed as topologically based anaphoric bridging.. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

The formal semantics that we have proposed for definite and indefinite descriptions analyzes them both as variable-binding operators and as referring terms. It is the referential analysis which makes it possible to account for the facts outlined in Section 2, e.g. for the purely ‘instrumental’ role of the descriptive content; for the appearance of unusually wide scope readings relative to other quantifiers, higher predicates, and island boundaries; for the fact that the island-escaping readings are always equivalent to maximally wide scope (...) quantifiers; and for the appearance of violations of the identity conditions on variables in deleted constituents. We would emphasize that this is not a random collection of observations. They cohere naturally with each other, and with facts about other phrases that are unambigously referential.We conceded at the outset of this paper that the referential use of an indefinite noun phrase does not, by itself, motivate the postulation of a referential interpretation. Our argument has been that the behavior of indefinites in complex sentences cannot be economically described, and certainly cannot be explained, unless a referential interpretation is assumed. It could be accounted for in pragmatic terms only if the whole theory of scope relations and of conditions on deletion could be eliminated from the semantics and incorporated into a purely pragmatic theory. But this seems unlikely. (shrink)

The purpose of this paper is to (a) show that the received view of the problem of quantificational subordination (QS) is incorrect, and that, consequently, existing solutions do not succeed in explaining the facts, and (b) provide a new account of QS. On the received view of QS within dynamic semantic frameworks, determiners treated as universal quantifiers (henceforth universal determiners) such as all, every, and each behave as barriers to inter-sentential anaphora yet allow anaphoric accessibility in a number of situations. (...) We argue that universal determiners are not intrinsic anaphora barriers and that anaphoric accessibility under them is enabled factors including lexicon information and discourse effects of universal determiners. In support of this viewpoint, we first provide a data survey on the phenomena of QS and its interactions with plurals, rhetorical relations, and adverbial quantification. The results of the survey show that judgments of (naive) native English speakers on the QS examples are quite different from what is claimed in the literature. We argue that the various solutions in the literature, which in general accept that universal determiners are intrinsic anaphora barriers, fail to account for the facts from the survey data. We then describe the approach we adopt, which denies that universal determiners are anaphora barriers and reconstructs their semantics so that information in their scope can be released for anaphora. The constraints on QS noted in the literature we model in Segmented Discourse Representation Theory (SDRT) as conditions on the discourse relations which can hold between subordinated constituents. We show that this approach accounts for the QS data. (shrink)

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic (...) semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

Sentences with multiple occurrences of plural definites give rise to certain effects suggesting that distributivity should be modeled by polyadic operations. Yet in this paper it is argued that the simpler treatment of distributivity using unary universal quantification should be retained. Seemingly polyadic effects are claimed to be restricted to definite NPs. This fact is accounted for by the special anaphoric (dependent) use of definites. Further evidence concerning various plurals, island constraints, and cumulative quantification is shown to support this claim. (...) In addition, it is shown that the evidence against a simple atomic version of unary distributivity is not decisive either. In the (uncommon) cases where distributivity with definites is not strictly atomic, they can be analyzed as dependent on implicit quantifiers. (shrink)

We shall introduce in this paper a language whose formulas will be interpreted by games of imperfect information. Such games will be defined in the same way as the games for first-order formulas except that the players do not have complete information of the earlier course of the game. Some simple logical properties of these games will be stated together with the relation of such games of imperfect information to higher-order logic. Finally, a set of applications will be outlined.

In this paper it is argued that Hintikka's game theoreticalsemantics for Independence Friendly logic does not formalize theintuitions about independent choices; it rather is aformalization of imperfect information. Furthermore it is shownthat the logic has several remarkable properties (e.g.,renaming of bound variables is not allowed). An alternativesemantics is proposed which formalizes intuitions aboutindependence.

This paper claims that indefinite descriptions, singular and plural, have different scope properties than genuine quantifiers. This claim is based on their distinct behavior in island constructions: while indefinites in islands can have intermediate (and maximal) scope readings, quantifiers cannot. Further, the simplest in situ interpretation strategy for indefinites results in incorrect truth conditions for intermediate (and maximal) scope readings. I introduce a mechanism which “auto-matically” preserves the restriction on free variables corresponding to indefinites, in a way which allows the (...) restriction to be carried up in the course of semantic interpretation and to be used at the level where the variable is quantified. This mechanism is a realization of the “indefinites-as-free-variables” proposal of Lewis, Kamp, and Heim, but emphasizes the role of the restriction. I then show that distributive readings of plural indefinites also display island-escaping behavior and argue for an independent, island-insensitive distribution mechanism. (shrink)

This paper argues, on the basis of data from St'át'imcets (Lillooet Salish), for a theory of wide-scope indefinites which is similar, though not identical, to that proposed by Kratzer (1998). I show that a subset of S'át'imcets indefinites takes obligatory wide scope with respect to if-clauses, negation, and modals, and is unable to be distributed over by quantificational phrases. These wide-scope effects cannot be accounted for by movement, but require an analysis involving choice functions (Reinhart 1995, 1997). However, Reinhart's particular (...) choice function analysis is unable to account for the St'át'imcets data. A Kratzer-style theory, on the other hand, accounts not only for the wide-scope effects, but also for the emergence of narrower-than-widest interpretations for indefinites which contain bound variables. I depart from Kratzer's analysis in claiming that St'át'imcets choice function indefinites are not 'specific'; the discourse context does not provide a value for the function variable. Therefore, I utilize wide- scope existential closure over choice functions rather than leaving the variables free. However, my analysis provides support for Kratzer's claim that English indefinites are ambiguous between a choice function interpretation and a quantificational interpretation, since St'át'imcets determiners overtly encode the English ambiguity. I conclude by suggesting that the proposed analysis of wide-scope indefinites may be universally valid. (shrink)

Precursors. 2.1 Introduction Thus far I have presented an approach to the semantics of plurals in the form of two rather similar grammars for a fragment of English. And I have given a few examples of the kinds of things one can say within this ...

Languages that have determiners often have a rich inventory of them. In English, indefinite determiners include a(n), some, a certain, this, one, another, cardinals, partitives, the zero determiner of bare plurals (in some analyses), and, according to Horn 1999 and Giannakidou 2001, any. Despite the attention indefinites have received in the literature, characterizing what is common to all of them and what is specific to each is still an elusive task. This paper investigates the first three determiners in this list, (...) attempting to provide a semantic characterization that accounts for their distribution. (For pertinent discussion of issues that overlap to some extent with those taken up below, see Kamp and Bende-Farkas 2002, and for a discussion of the French versions of some and a certain, see Jayez and Tovena (this volume).) The Ds that concern us here share two characteristics: (i) they are indefinite, and (ii) they are existential when not in the scope of any operator or quantifier. As seen in [1], they may occur as pivots in existential there constructions, and therefore all three form weak DPs. (shrink)

Kratzer 1998 proposes that certain indefinite determiners (at least in some of their uses) might be variables for (Skolemized) choice functions that receive a value from the utterance context. What does it mean for a choice function variable to receive a value from the context of utterance? How can a context provide such a function? To sharpen intuitions, here is an example describing a custom from my home town Mindelheim. After every funeral, all the mourners gathered around the still open (...) grave say a prayer that starts with the words: “And now let us pray for the person among us who will die next.” Suppose an anthropologist attended one or more funerals in Mindelheim, and reports on what she found out in a lecture using (1), or the more general (2). (shrink)

I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...

This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...) the field even compared his work to a `Rube Goldberg machine.' Muskens' work does away with such unnecessary complexities, obtains a streamlined version of the theory, shows how partialising the theory automatically provides us with the most central concepts of Situation Semantics, and offers a simple logical treatment of propositional attitude verbs, perception verbs and proper names. (shrink)

The paper investigates the scope properties of indefinites.

The paper rst lays out a non-congurational approach to scope ambiguities in which scope dependencies are treated as dependencies between evaluation indices of variables. The notions of dependent and domain variables are dened naturally in this framework. These concepts are then used to account for the distribution and interpretation of determiner reduplication in Hungarian, a phenomenon that has not received much attention so far.1 1. Introduction This paper contributes to the study of the semantics of indenites in natural language by (...) introducing on the scene a new type of indenite, called dependent. We meet it in Hungarian, where one may reduplicate certain determiners, as illustrated in [1]-[3]. (shrink)

This paper offers a new semantic theory of existentials (sentences of the form There be NP pivot XP coda ) in which pivots are (second order) predicates and codas are modifiers. The theory retains the analysis of pivots as denoting generalized quantifiers (Barwise and Cooper 1981; Keenan 1987), but departs from previous analyses in analyzing codas as contextual modifiers on a par with temporal/locative frame adverbials. Existing analyses universally assume that pivots are arguments of some predicate, and that codas are (...) main or secondary predicates. It is shown that these analyses cannot account for the behavior of codas with quantifiers and for the interaction of multiple codas, both of which receive a simple treatment on the proposed theory. The assimilation of codas to frame adverbials explains several semantic properties which have not been analyzed in the semantic literature, and that distinguish existentials from their copular counterparts. Furthermore, it highlights important properties of the semantics of modification and its relation to predication. (shrink)

The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e., reference to a quantificational dependency between sets of objects (e.g., atomic/non-atomic individuals) that is established and subsequently elaborated upon in discourse. Following van den Berg (PhD dissertation, University of Amsterdam, 1996), plural discourse reference is modeled as plural information states (i.e., as sets of variable assignments) in a new dynamic system (...) couched in classical type logic that extends Compositional DRT (Muskens, Linguistics and Philosophy, 19, 143-186, 1996). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The idea that plural info states are semantically necessary (in addition to non-atomic individuals) is motivated by relative-clause donkey sentences with multiple instances of singular donkey anaphora that have mixed (weak and strong) readings. At the same time, allowing for non-atomic individuals in addition to plural info states enables us to capture the intuitive parallels between singular and plural (donkey) anaphora, while deriving the incompatibility between singular (donkey) anaphora and collective predicates. The system also accounts for empirically unrelated phenomena, e.g., the uniqueness effects associated with singular (donkey) anaphora discussed in Kadmon (Linguistics and Philosophy, 13, 273-324, 1990) and Heim (Linguistics and Philosophy, 13, 131-177, 1990) among others. (shrink)

In this paper I revive two important formal approaches to the interpretation of natural language, that of Montague and that of Karttunen and Peters. Armed with insights from dynamic semantics (Heim, Krifka) the two turn out to stand up against age-old criticisms in an orthodox fashion. The plan is mainly methodological, as I only want to illustrate the technical feasibility of the revived proposals. Even so, there are illuminating and welcome empirical consequences on the subject of scope islands (as discussed (...) by Abusch and Kratzer, among many others), as well as unintended theoretical implications in the contextualist debate (Grice, Recanati, Simons, Stanley, and many others again). (shrink)