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 English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric moods and/or attitudinal verbs.

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

In this paper, we claim that the disambiguation ofreferring expressions in discourse can be formulated in terms automatedreasoners can address. Specifically, we show that consistency,informativity and minimality are criteria which (i) can be implementedusing automated reasoning tools and (ii) can be used to disambiguatenoun-noun compounds, metonymy and definite descriptions.

It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license anaphora to (...) proper atomic parts (cf. nominal pluralities and kinds). (shrink)

Crosslinguistically, causative constructions conform to the following generalization: If the causal relation is syntactically concealed, then it is semantically direct. Concealed causatives span a wide syntactic spectrum, ranging from resultative complements in English to causative subjects in Miskitu. A unified type-driven theory is proposed which attributes the understood causal relation—and other elements of constructional meaning—to type lifting operations predictably licensed by type mismatch at LF. The proposal has far-reaching theoretical implications not only for the theory of compositionality and causation, but (...) also for the underlying theory of events, space, and time, in natural language discourse. (shrink)

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

Formal semantics constitutes the framework of this thesis, and the aim is to characterise the semantics of the progressive, as it appears in sentence. Max was running towards the station Among the problems is one known as the "imperfective paradox". According to intuitions, sentence entails, but no entailment holds between and. Max was running towards the station Max ran towards the station Max was running to the station Max ran to the station Since and would seem to have the same (...) logical form, they ought to have similar entailments. Why is this not so? This thesis is divided into two parts. The first part, containing chapters 2 to 5, evaluates the current formal theories that tackle the imperfective paradox. Solving the imperfective paradox consists of two tasks: the first is to characterise a semantic distinction between and, and the second is to supply a semantic analysis of the progressive that is sensitive to this distinction and so results in a solution to the imperfective paradox. According to how the current theories tackle these two tasks, they can be classified into three camps which I will name as follows: the Heterogeneous Strategy provides one approach for fulfilling the first task, the Eventual Outcome Strategy provides an approach for defining the semantics of the progressive, and the Event-based Strategy provides a further alternative for achieving the two tasks at hand. All these strategies are intuitively motivated, but we will argue that they are ultimately untenable. The Heterogeneous Strategy and the Event-based Strategy fail to mesh with the treatment of point adverbials such as "At 3pm", and the Eventual Outcome Strategy produces a definition of the progressive that is viciously circular. Thus although the current theories that tackle the imperfective paradox are highly intuitively motivated, we will ultimately show that the formulations of these intuitions give rise to conflicts and tensions when it comes to explaining the natural language data. The second part of the thesis, containing chapters 6 and 7, offers a new approach for tackling the imperfective paradox. This new approach invokes two tools; the interval-based temporal logic IQ, and Moens' event-based AI model of temporal reference. IQ is an interval-based temporal logic with several innovations. First, unlike the previous interval-based theories, IQ maintains a high level of homogeneity: an atomic sentence is true at an interval I only if it is true at all subintervals of I. Second, IQ offers a technique whereby temporal expressions can have representations that receive their semantic interpretation with respect to context. We use the roles of homogeneity and context in IQ to characterise the semantics of aspect, where the characterisation is based on Moens' model. This provides an arena in which to tackle the imperfective paradox anew. We explain the entailment between and, and at the same time explain why no entailment holds between and. Furthermore, we overcome the problems concerning the treatment of adverbials such as "At 3pm" that are encountered in the Heterogeneous Strategy and the Event-based Strategy, and, since we do not adopt the Eventual Outcome Strategy in defining the progressive, we overcome that strategy's problem of circularity. Hence our solution to the imperfective paradox will provide answers to the puzzles posed in the earlier chapters of the thesis. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

We propose an account of dynamic predicates which draws on the notion of force, eliminating reference to events in the linguistic semantics. We treat dynamic predicates as predicates of forces, represented as functions from an initial situation to a final situation that occurs ceteris paribus, that is, if nothing external intervenes. The possibility that opposing forces might intervene to prevent the transition to a given final situation leads us to a novel analysis of non-culminating accomplishment predicates in a variety of (...) languages, including the English progressive. We then apply the force-theoretic framework to the composition of basic Vendlerian eventuality types within a lexical-decomposition syntax. The difference between predicates of forces and predicates of situations is argued to underlie the dynamic/stative contrast, and also to allow for a formal treatment of the difference between be and stay. Consequences for the relationship between language and cognition are discussed. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

This paper proposes that a core semantic property of temporal locating adverbs is the ability to introduce a new time discourse referent. The core data comes from that same day in narrative discourse. I argue that unlike other previously studied temporal locating adverbs—which introduce a new time discourse referent and relate it to the speech time or a salient time introduced into the discourse context—that same day is ‘twice anaphoric’, i.e. it retrieves two salient times from the input context without (...) introducing one of its own. Moreover, I argue that the adverb currently is like that same day in not introducing a new time discourse referent. Unlike that same day, however, currently has both a deictic and an anaphoric usage analogous to on Sunday. The analysis that I propose is implemented within Compositional Discourse Representation Theory. It illustrates how adverbial meaning can be integrated within a more general theory of temporal interpretation. (shrink)

Abstract According to an influential theory, English tenses are anaphoric to an aforementioned reference point. This point is sometimes construed as a time (e.g. Reichenbach 1947, Partee 1973, Stone 1997) and sometimes as an event (e.g. Kamp 1979, 1981, Webber 1988). Moreover, some researchers draw semantic parallels between tenses and pronouns (e.g. Partee 1973, 1984, Stone 1997), whereas others draw parallels between tenses and anaphorically anchored (in)definite descriptions (e.g. Webber 1988). This paper proposes a unified approach.

Situations serving as partial worlds as well as events in natural language semantics are constructed from a type-theoretic interpretation of firstorder formulae and (after a type reduction) temporal formulae. Limitations of the Russell-Wiener-Kamp derivation of time from events are discussed and overcome to give a more widely applicable account of temporal granularity. Finite situations are formulated as strings of observations, conceptualized to persist inertially (in the absence of forces).

Most theories of conditionals and attitudes do not analyze either phenomenon in terms of the other. A few view attitude reports as a species of conditionals (e.g. Stalnaker 1984, Heim 1992). Based on evidence from Kalaallisut, this paper argues for the opposite thesis: conditionals are a species of attitude reports. The argument builds on prior findings that conditionals are modal topic-comment structures (e.g. Haiman 1978, Bittner 2001), and that in mood-based Kalaallisut English future (e.g. Ole will win) translates into a (...) factual report of a prospect-oriented attitudinal state (e.g. expectation or anxiety, see Bittner 2005). It is argued that in conditionals the antecedent introduces a topical subdomain of an input modal base (Kratzer 1981) and requires the consequent to comment. The comment is a factual report of an attitude to the topical antecedent sub-domain. [This paper was published in 2011 as "Time and modality without tenses or modals"]. (shrink)

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. Specifically, (...) I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

Ci imbattiamo in un confine ogni volta che pensiamo a un’entità demarcata rispetto a ciò che la circonda. C’è un confine (una superficie) che delimita l’interno di una sfera dal suo esterno; c’è un confine (una frontiera) che separa il Maryland dalla Pennsylvania. Talvolta la collocazione esatta di un confine non è chiara o è in qualche modo controversa (come quando si cerchi di tracciare i limiti del monte Everest, o il confine del nostro corpo). Talaltra il confine non corrisponde (...) a una discontinuità fisica o a una differenziazione qualitativa (come nel caso dei confini del Wyoming, o della demarcazione tra la metà superiore e la metà inferiore di una sfera omogenea). Ma, che sia netto o confuso, naturale o artificiale, sembra esservi per ogni oggetto un confine che lo separa dal resto del mondo. Anche gli eventi hanno confini, quantomeno confini temporali. Le nostre vite sono delimitate dalle nostre nascite e morti; una partita di calcio comincia alle quindici in punto e termina col fischio finale dell’arbitro alle sedici e quarantacinque. E a volte si dice che anche le entità astratte, come i concetti o gli insiemi, hanno dei propri confini. Se tutto questo parlare di confini abbia davvero un senso, e se rifletta la struttura del mondo o solo l’attività organizzatrice del nostro intelletto, è però oggetto di profonda controversia filosofica. (shrink)

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (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 idea that temporal propositions are vague predicates is examined with attention to the nature of the objects over which the predicates range. These objects should not, it is argued, be identified once and for all with points or intervals in the real line (or any fixed linear order). Context has an important role to play not only in sidestepping the Sorites paradox (Gaifman 2002) but also in shaping temporal moments/extent (Landman 1991). The Russell-Wiener construction of time from events (Kamp (...) 1979) is related to a notion of context given by a string of observations, the vagueness in which is brought out by grounding the observations in the real line. With this notion of context, the context dependency functions in Gaifman 2002 are adapted to interpret temporal propositions. (shrink)

This paper investigates the interpretation of counterfactual conditionals. The main goal of the paper is to provide an account of the semantic role of similarity in the evaluation of counterfactuals. The paper proposes an analysis according to which counterfactuals are treated as predications “ de re ” over past situations in the actual world. The relevant situations enter semantic composition via the interpretation of tense. Counterfactuals are treated as law-like conditionals with de re predication over particular facts. Similarity with respect (...) to particular facts is ensured by the semantics of tense in interaction with the modal, while the modal itself is responsible for invoking laws. In the paper, various arguments are provided to support a local view of similarity over the global approach found in semantics along the line of Lewis’s and Stalnaker’s. Arguments are also provided tying the evaluation of similarity to the interpretation of tense. Finally, arguments are provided to show that in key cases, the approaches make comparable predictions. (shrink)

This paper is a critical examination of Vendler's well-known aspectual classes (states, activities, accomplishments, achievements). It is argued that it not classes that play a role in the explanation of aspectual phenomena but rather some specific semantic factors from which aspectual classes can be constructed, in particular factors inherent to the (lexical) verb and to the determiners of noun phrases.

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

This book is a synthesis of more than three decades of research into the concept of time and its semiotic nature. If traditional philosophy – and philosophy of time should be no exception – in the shadow of advancing biology can be said to have reached an impasse, one important reason for this, in harmony with Wittgenstein’s vision, appears to have been its lack of appropriate tools for explicating language. The present theory of time proceeds, accordingly, from the exploration of (...) temporal expressions in language as an evolutionary fact. It derives in a hypothetical, coherent feedback process of hierarchically ordered distinctions the semantics of time from its biologically dictated perceptual and cognitive-pragmatic origins. The corresponding abductive-regulative model is anchored in the assumption of biological rhythmization as the very foundation of perception and mental/physical action. Understood to originate in space and spatial perspective, time reveals itself as an instrument for temporal perspective on motion (events and situations) in a process of analysis, i.e., discontinuation of chaos made divisible and continuous by the rhythmical screen. Whereas traditional philosophy of time paid attention almost exclusively to the temporal category of tense, the biopragmatic model sees strong evidence in the perspectival nature of time for ascribing the decisive, and probably universal, role in temporal analysis to the linguistic category of aspect. Aspect may, according to the present findings, be assumed to partake already of change-of-state and cause-effect analysis without which man’s adaptation to new situations – and precondition for survival – would be inconceivable. The proposed model of space/time cognition, inspired by Hegelian dialectics, Heidegger-Gadamer’s hermeneutic circle and Peircean logic, makes Kantian a priori superfluous and liberates time from its enigmatic appearance. For the first time in temporal studies it thus appears possible to derive hypothetically linguistic expressions of time all the way from pretemporal, homogeneous continuity effected by biological rhythmization, via pretemporal metonymic (Gestalt), chunk-wise partitioning – as a general precondition for the perception and, based on primary metaphorization, the cognition of things, space and motion – to temporal analysis/discontinuation proper, primarily by aspectual perspective, and the subsequent synthesized, heterogeneous continuity of temporally ordered events. The conception of time, so disastrous for modern temporal logic, i.e., as moving object assigned extension, divisible continuity (‛linearity’) and direction, can be shown to have emerged as a result of secondary metaphorization. (shrink)

The present paper analyzes how the semantic and pragmatic functions of closed class categories, or grammatical morphemes (i.e., inflections and function words), organize discourse processing. Grammatical morphemes tend to express a small set of conceptual distinctions that organize a wide range of objects and relations, usually expressed by content or open class words (i.e., nouns and verbs), into situations anchored to a discourse context. Therefore, grammatical morphemes and content words cooperate in guiding the construction of a situation model during discourse (...) comprehension by specifying complementary aspects of described situations. The paper reviews and extends analytical and empirical evidence for this grammatical‐conceptual correspondence, and suggests that the correspondence developed in response to the cognitive demands of discourse processing. Thus the distinction between open and closed linguistic categories is interpreted in terms of a fundamental correspondence between conceptual and linguistic structure that helps organize discourse processing. (shrink)

This paper expands on the theory of event structures put forward in previous work by further investigating the subtle connections between time and events. Specifically, in the first part we generalize the notion of an event structure to that of a refinement structure, where various degrees of temporal granularity are accommodated. In the second part we investigate how these structures can account for the context-dependence of temporal structures in natural language semantics.