Discourse Representation

In der neueren Sprachphilosophie ist wiederholt der soziale Charakter des Redens betont worden. Das Buch versucht, diese These auf der Grundlage einer genauen Untersuchung der Abfolge einzelner sprachlicher Handlungen zu verteidigen. Die orthodoxe Sprechakttheorie hat sich bislang weitgehend auf die Gelingensbedingungen einzelner sprachlicher Vollzüge konzentriert. Isolierte Redehandlungen stellen allerdings in der kommunikativen Praxis einen Ausnahmefall dar: Ein kompetenter Sprecher muss nicht nur die vom sprachlichen Kontext unabhängigen Korrektheitsstandards kennen; vielmehr muss er auch in der Lage sein, die eigenen Sprechakte im (...) Rahmen eines Textes kohärent miteinander zu verknüpfen und auf Redehandlungen anderer so zu reagieren, dass ein genuiner Diskurs zwischen den Parteien entsteht – im Gegensatz zu einer bloßen Aneinanderreihung “für sich” korrekter Äußerungen. Das Buch verfolgt das Ziel, das für die Struktur derartiger Rede(handlungs)sequenzen einschlägige Reglement in seinen wesentlichen Aspekten zu rekonstruieren und insbesondere die für ein solches Projekt relevanten sprachphilosophischen Grundfragen zu klären. (shrink)

This paper presents a novel account of focal stress and pitch contour in English dialogue. We argue that one should analyse and treat focus and pitch contour jointly, since (i) some pragmatic interpretations vary with contour (e.g., whether an utterance accepts or rejects; or whether it implicates a positive or negative answer); and (ii) there are utterances with identical prosodic focus that in the same context are infelicitous with one contour, but felicitous with another. We offer an account of two (...) distinct pitch contours that predicts the correct felicity judgements and implicatures, outclassing other models in empirical coverage or formality. Prosodic focus triggers a presupposition, where what is presupposed and how the presupposition is resolved depends on prosodic contour. If resolving the presupposition entails the proffered content, then the proffered content is uninteresting and hence the utterance is in-felicitous. Otherwise, resolving the presupposition may lead to an implicature. We regiment this account in SDRT. (shrink)

A fictional text is commonly viewed as constituting an invitation to play a certain game of make-believe, with the individual sentences written by the author providing the propositions we are to imagine and/or accept as true within the fiction. However, we can’t always take the text at face value. What narratologists call ‘unreliable narrators’ may present a confused or misleading picture of the fictional world. Meanwhile there has been a debate in philosophy about so-called ‘imaginative resistance’ in which we are (...) inclined to resist imagining (or even accepting as true in the fiction) what’s explicitly stated in the text. But if we can’t take the text’s word for it, how do we determine what’s true in a fiction? We propose an account of fiction interpretation in a dynamic setting (a version of DRT with a mechanism for opening, updating, and closing temporary ‘workspaces’) and combine this framework with belief revision logic. With these tools in hand we turn to modelling imaginative resistance and unreliable narrators. (shrink)

Uma entrada produtiva para explorar o funcionamento discursivo das textualidades digitais é o modo como a autoria se relaciona com a inscrição político-ideológica do sujeito, historizando o discurso em suas diferentes materialidades significantes2. Para este trabalho, trago compreensões sobre os vlogs (videologs) que circulam e são produzidos para a plataforma YouTube. Nos vlogs, a tomada de posição de um “eu”, no efeito de falar diretamente para a câmera e assumindo o “falar sobre” (a vida pessoal, fatos cotidianos, comentários sobre acontecimentos (...) midiáticos, ciência e política, e dicas de atividades específicas ligadas a jogos de videogames, beleza e gastronomia) se dá no encontro de uma formulação estruturada pela imbricação de diferentes materialidades significantes (a imagem, o corpo, a sonoridade, a língua) e os rituais de criação de um vlog regulamentados e determinados pelo e no YouTube. (shrink)

La presente compilación de artículos es resultado del trabajo en colaboración realizado en el seminario institucional intitulado “Sociosemiótica y Cultura: Principios de Semiótica y Modelos de Análisis”, que durante 2016 se desarrolló en las instalaciones del Instituto de Investigaciones Sociales de la Universidad Nacional Autónoma de México (IIS-UNAM). En dicho espacio de intercambio académico se dieron cita diferentes investigadores que —desde sus particulares enfoques— contribuyeron a adoptar una visión holística acerca de los temas y problemas semióticos implicados en la investigación (...) científica. En principio, el objetivo del seminario fue la divulgación; a saber: dar a conocer la vinculación tanto teórico-empírica como teórico-metodológica de las categorías semióticas en la construcción de explicaciones científicas sobre fenómenos sociales y procesos de conocimiento en la ciencia. Para ello, el programa de presentaciones abordó diferentes ámbitos de conocimiento, tanto de las ciencias naturales: física, biología, matemáticas, lógica, como de las ciencias sociales: sociología, antropología, comunicación, al igual que estudios concretos desde las humanidades: filosofía y arte. En este sentido, acercarse a los estudios de semiótica desde diferentes disciplinas científicas (en términos generales, no sólo en ciencias sociales), obligó a reconocer el valor epistemológico de la explicación semiótica. Dicho valor consiste en aceptar que el conocimiento científico se constituye a partir de procesos de significación, donde intervienen relaciones sígnicas en el nivel lingüístico (términos, conceptos, categorías); en el nivel icónico-visual (esquemas, imágenes, diagramas), icónico-lógico (fórmulas, operaciones), entre otros; y que —en conjunto— dichas relaciones de significación dan como resultado “ensamblajes sígnicos”; es decir (a la manera de Javier Echeverría, 1985: 71 y ss.), sistemas de signos que construyen modelos explicativos, cuya validez y sentido están determinados por la coherencia/consistencia interna de dichos sistemas. (shrink)

We propose to analyze well-known cases of "imaginative resistance" from the philosophical literature (Gendler, Walton, Weatherson) as involving the inference that particular content should be attributed to either: (i) a character rather than the narrator or, (ii) an unreliable, irrational, opinionated, and/or morally deviant "first person" narrator who was originally perceived to be a typical impersonal, omniscient, "effaced" narrator. We model the latter type of attribution in terms of two independently motivated linguistic mechanisms: accommodation of a discourse referent (Lewis, Stalnaker, (...) Kamp) and 'cautious' updating as a model of non-cooperative information exchange (Eckardt). (shrink)

We propose an extension of Discourse Respresentation Theory (DRT) for analyzing pictorial narratives. We test drive our PicDRT framework by analyzing the way authors represent characters’ mental states and perception in comics. Our investigation goes beyond Abusch and Rooth (2017) in handling not just free perception sequences, but also a form of apparent perspective blending somewhat reminiscent of free indirect discourse.

This article is devoted to describing results of conceptualization of the idea of mind at the stage of maturity. Delineated the acquisition by the energy system (mind) of stable morphological characteristics, which associated with such a pivotal formation as the discourse. A qualitative structural and ontological sign of the system transition to this stage is the transformation of the verbal morphology of the mind into a discursive one. The analysis of the poststructuralist understanding of discourse in the context of the (...) dispersion of meanings (Foucault) made it possible to formulate a notion of it as a meaning that is constituted by the relation between the discursive practice and the worldview, regarded as a meta-discourse or a global discursive formation. In consequence of this relationship, a discrete and simultaneous scattering of meanings arises, the procedural side of which is a concrete discourse, and its productive aspect is linked with the creation of a local discursive formation. Based on this view it is proposed a logical formula of discourse, which takes into account the entropy of the language and the entropy of the worldview, as a particular manifestation of the mind entropy. Using this formula and considering the reactive nature of discourse, it was developed a classification, which included such types of discourses as reactive, suggestive, synthetic and creative. In turn, the proposed types of discourses are correlated with the specific characteristics of certain activities, as a psychological category. Also, it was considered the translation of the structure of discourse dissipation from the cognitive plan into the affective sphere because of which it is formed a hierarchy of significances, which performs the sense-forming function. It was analyzed the inverse influence of the hierarchy of significances on the structure of meanings dispersion and for respective account it was introduced a conditional coefficient of the value deviation of the significance of the meanings. This parameter reflects the sense correction of the meaning that occurs in the process of the emergence of discourse from discursive practice. Thus, the discourse is presented as a complex dynamic formation of the mind arising at the maturity stage of the system as a result of the combined effect of entropic dispersion of meanings and the value deviation of their significances. (shrink)

The standing tradition in theorizing about meaning, since at least Frege, identifies meaning with propositions, which are, or determine, the truth-conditions of a sentence in a context. But a recent trend has advocated a departure from this tradition: in particular, it has been argued that modal claims do not express standard propositional contents. This non-propositionalism has received different implementations in expressivist semantics and certain kinds of dynamic semantics. They maintain that the key aspect of interpretation of modal claims is the (...) characteristic dynamic effect they have on the context. I argue that pessimism about truth-conditions arises from an overly simplistic picture of content, context and their interaction. While I agree with the critics that an important aspect of modal meaning is the dynamic effect modals have on the context, I argue that they have mischaracterized the nature and the complexity of this effect. A more nuanced account of the interaction between modals and context shows that far from being incompatible with propositional meaning, the dynamic aspect of meaning is precisely what allows us to predict the correct propositional content of an utterance. (shrink)

Traditionally, pronouns are treated as ambiguous between bound and demonstrative uses. Bound uses are non-referential and function as bound variables, and demonstrative uses are referential and take as a semantic value their referent, an object picked out jointly by linguistic meaning and a further cue—an accompanying demonstration, an appropriate and adequately transparent speaker’s intention, or both. In this paper, we challenge tradition and argue that both demonstrative and bound pronouns are dependent on, and co-vary with, antecedent expressions. Moreover, the semantic (...) value of a pronoun is never determined, even partly, by extra-linguistic cues; it is fixed, invariably and unambiguously, by features of its context of use governed entirely by linguistic rules. We exploit the mechanisms of Centering and Coherence theories to develop a precise and general meta-semantics for pronouns, according to which the semantic value of a pronoun is determined by what is at the center of attention in a coherent discourse. Since the notions of attention and coherence are, we argue, governed by linguistic rules, we can give a uniform analysis of pronoun resolution that covers bound, demonstrative, and even discourse bound readings. Just as the semantic value of the first-person pronoun ‘I’ is conventionally set by a particular feature of its context of use—namely, the speaker—so too, we will argue, the semantic values of other pronouns, including ‘he’, are conventionally set by particular features of the context of use. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and classical (...) logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (shrink)

In demonstration, speakers use real-world activity both for its practical effects and to help make their points. The demonstrations of origami mathematics, for example, reconfigure pieces of paper by folding, while simultaneously allowing their author to signal geometric inferences. Demonstration challenges us to explain how practical actions can get such precise significance and how this meaning compares with that of other representations. In this paper, we propose an explanation inspired by David Lewis’s characterizations of coordination and scorekeeping in conversation. In (...) particular, we argue that words, gestures, diagrams and demonstrations can function together as integrated ensembles that contribute to conversation, because interlocutors use them in parallel ways to coordinate updates to the conversational record. (shrink)

Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that reflexive (...) and personal pronouns are free variables that get bound by an antecedent through some coindexing mechanism. In variable free semantics the same task is performed by some combinator that identifies two arguments of the function it operates on (a duplicator). This combinator may be built into the lexical semantics of the pronoun, into that of the antecedent, or it may be a free-floating operation applicable to predicates or larger chunks of texts, i.e. a typeshifter. This note is concerned with the case of cross-sentential anaphora. It adopts Hepple’s and Jacobson’s interpretation of pronouns as identity maps and asks how this can be extended to the cross-sentential case, assuming the dynamic semantic view of anaphora. It first outlines the possibility of interpreting indefinites that antecede non-ccommanded pronouns as existential quantifiers enriched with a duplicator. Then it argues that it is preferable to use the duplicator as a type-shifter that applies “on the fly”. The proposal has consequences for two central ingredients of the classical dynamic semantic treatment: it does away with abstraction over assignments and with treating indefinites as inherently existentially quantified. However, cross-sentential anaphora remains a matter of binding, and the idea of propositions as context change potentials is retained. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 1: Introduction. Abstract: Dynamic semantics is a family of semantic theories that seek to explicate the intuition that saying something changes the context for what follows. We survey the development of formal semantics from static to dynamic formalisms since 1970s. Throughout, we highlight natural language phenomena that motivate dynamic semantics, and the key pre-theoretical concepts -- information state, update, and discourse referent -- which can be implemented in different ways and thus (...) lead to various dynamic logics. (shrink)

The standard way to represent anaphoric dependencies is to co-index the anaphor with its antecedent in the syntactic input to semantic rules, which then interpret such indices as variables. Dynamic theories (e.g. Kamp’s DRT, Heim’s File Change Semantics, Muskens’s Compositional DRT, etc) combine syntactic co-indexation with semantic left-to-right asymmetry. This captures the fact that the anaphor gets its referent from the antecedent and not vice versa. Formally, a text updates the input state of information to the output state. In particular, (...) an indexed antecedent updates the entity assigned to its index, and the output entity is then picked up as the referent by any subsequent co-indexed anaphor. (shrink)

In this paper I outline a comprehensive theory of legal interpretation based on an assumption that legal text, understood as the aggregate of texts of all legal acts in force at a particular time and place, describes one rational and coherent possible world. The picture of this possible world is decoded from the text by interpreters and serves as a holistic model to which the real world is adjusted when the law is applied. From the above premise I will limit (...) myself to drawing two conclusions for how legal interpretation should be carried out. First, I argue that the possible world described by the legal text has to be ‘accessible’ from the real world, i.e. it has to be feasible to transform the actual world into the described one. Were it otherwise, the possible world could not serve as a model for adjustment. The accessibility requirement imposes obligations on the interpreters to secure the rationality of the possible world decoded from the text, amongst other to secure that the description of this world is not contradictory and – as a consequence – the law of excluded middle is obeyed in the possible world described by the legal text. Secondly, I argue for the inevitability of interpretative discretion arising from the requirement to decode a sufficiently ‘saturated’ picture of the possible world., i.e. possessing enough properties to resemble the actual world. As texts have a limited number of sentences and worlds have an unlimited number of properties, interpreters have to supplement the picture of a possible world to achieve its coherence. This involves the inclusion of some additional, non-predetermined features that integrate with the properties of the world predefined by the legal text. This process of saturation consists of filling in so-called ‘places of indeterminacy’ (Roman Ingarden) with content implicated by other features of the possible world. I also argue that the discretion resulting from the necessity of filling in the places of indeterminacy is justified by the requirement of fulfilling the intention of the lawmaker to make the possible world described by the legal text real. The theory presented here is based on contemporary theories of discourse representation and so-called ‘text-world theory’ by J. Gavins. Phenomenalism and causal (historical) theories of reference provide its philosophical background. (shrink)

The communication of de se attitudes poses a problem for “participant- neutral” analyses of communication in terms of propositions expressed or proposed updates to the common ground: when you tell me “I am an idiot”, you express a first person de se attitude, but as a result I form a different, second person attitude, viz. that you are an idiot. I argue that when we take seriously the asymmetry between speaker and hearer in semantics this problem disappears. To prove this (...) I propose a concrete model of communication as the transmission of information from the speaker’s mental state to the hearer’s. My analysis is couched in Discourse Representation Theory, a formal semantic framework that linguists use for modeling conversational common ground updates, but that can also be applied to describe the individual speech participants’ dynamically changing mental states. (shrink)

Karttunen observes that a presupposition triggered inside an attitude ascription, can be filtered out by a seemingly inaccessible antecedent under the scope of a preceding belief ascription. This poses a major challenge for presupposition theory and the semantics of attitude ascriptions. I solve the problem by enriching the semantics of attitude ascriptions with some independently argued assumptions on the structure and interpretation of mental states. In particular, I propose a DRT-based representation of mental states with a global belief-layer and a (...) variety of labeled attitude compartments embedded within it. Hence, desires and other non-doxastic attitudes are asymmetrically dependent on beliefs. I integrate these mental state representations into a general semantic account of attitude ascriptions which relies on the parasitic nature of non-doxastic attitudes to solve Karttunen’s puzzle. (shrink)

This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is argued to (...) underlie all language types. The four types differ in whether they choose to grammaticalize discourse reference to times (tense), events (aspect), and/or attitudes (mood), and how non-grammaticalized elements are inferred. The common logical language is a dynamic update logic, building on DRT and Centering Theory, but with a novel architecture—e.g. the distinction between focal vs. peripheral attention plays a key role, parallel to focal vs. peripheral vision. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

Standard theories of scope are semantically blind. They employ a single logico-syntactic rule of scope assignment quantifying in Quantifier Raising, storage, or type change etc which roughly speaking prefixes an expression \aplha.

This paper considers negative triggers and the interpretation of simple sentences containing more than one occurrence of those items . In the most typical interpretations those sentences have more negative expressions than negations in their semantic representation. It is first shown that this compositionality problem remains in current approaches. A principled algorithm for deriving the representation of sentences with multiple negative quantifiers in a DRT framework is then introduced. The algorithm is under the control of an on-line check-in, keeping the (...) complexity of negation auto-embedding below a threshold of complexity. This mechanism is seen as a competence limitation imposing the ‘abrogation of compositionality’ observed in the so-called negative concord readings . A solution to the compositionality problem is thus proposed, which is based on a control on the processing input motivated by a limitation of the processing mechanism itself. (shrink)

This paper examines the interplay of semantics and pragmatics within the domain of film. Films are made up of individual shots strung together in sequences over time. Though each shot is disconnected from the next, combinations of shots still convey coherent stories that take place in continuous space and time. How is this possible? The semantic view of film holds that film coherence is achieved in part through a kind of film language, a set of conventions which govern the relationships (...) between shots. In this paper, we develop and defend a new version of the semantic view. We articulate it for a pair of conventions that govern spatial relations between viewpoints. One such rule is already well-known; sometimes called the "180° Rule," we term it the X-Constraint; to this we add a previously unrecorded rule, the T-Constraint. As we show, both have the effect, in different ways, of limiting the way that viewpoint can shift through space from shot to shot over the course of a film sequence. Such constraints, we contend, are analogous to relations of discourse coherence that are widely recognized in the linguistic domain. If film is to have a language, it is a language made up of rules like these. (shrink)

Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) Compositional Discourse (...) Representation Theory and on ideas from supervaluation semantics, the semantic analysis defines a general schema for quantification that delivers the required truth-value gaps. Given the independently motivated pragmatic theory of Križ 2016, we argue that mixed readings of donkey sentences require neither plural information states, contra Brasoveanu 2008, 2010, nor error states, contra Champollion 2016, nor singular donkey pronouns with plural referents, contra Krifka 1996, Yoon 1996. We also show that the pragmatic account improves over alternatives like Kanazawa 1994 that attribute the readings of donkey sentences to the monotonicity properties of the embedding quantifier. (shrink)

We investigate a basic probabilistic dynamic semantics for a fragment containing conditionals, probability operators, modals, and attitude verbs, with the aim of shedding light on the prospects for adding probabilistic structure to models of the conversational common ground.

This book constitutes refereed proceedings of the COST 2102 International Training School on Cognitive Behavioural Systems held in Dresden, Germany, in February 2011. The 39 revised full papers presented were carefully reviewed and selected from various submissions. The volume presents new and original research results in the field of human-machine interaction inspired by cognitive behavioural human-human interaction features. The themes covered are on cognitive and computational social information processing, emotional and social believable Human-Computer Interaction (HCI) systems, behavioural and contextual analysis (...) of interaction, embodiment, perception, linguistics, semantics and sentiment analysis in dialogues and interactions, algorithmic and computational issues for the automatic recognition and synthesis of emotional states. (shrink)

Using tools like argument diagrams and profiles of dialogue, this paper studies a number of examples of everyday conversational argumentation where determination of relevance and irrelevance can be assisted by means of adopting a new dialectical approach. According to the new dialectical theory, dialogue types are normative frameworks with specific goals and rules that can be applied to conversational argumentation. In this paper is shown how such dialectical models of reasonable argumentation can be applied to a determination of whether an (...) argument in a specific case is relevant are not in these examples. The approach is based on a linguistic account of dialogue and text from congruity theory, and on the notion of a dialectical shift. Such a shift occurs where an argument starts out as fitting into one type of dialogue, but then it only continues to makes sense as a coherent argument if it is taken to be a part of a different type of dialogue. (shrink)

Fictional names pose a difficult puzzle for semantics. We can truthfully maintain that Frodo is a hobbit, while at the same time admitting that Frodo does not exist. To reconcile this paradox I propose a way to formalize the interpretation of fiction as ‘prescriptions to imagine’ (Walton 1990) within an asymmetric semantic framework in the style of Kamp (1990). In my proposal, fictional statements are analyzed as dynamic updates on an imagination component of the interpreter’s mental state, while plain assertions (...) are updates on a belief component. Proper names – regular, empty, or fictional – are uniformly analyzed as presupposition triggers. The possibility of different attitude components referentially depending on each other is what ultimately allows us to account for the central paradox mentioned above. (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.

Analysis of Barack Obama's rhetorical strategies.

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.