Alice ter Meulen integrates current research in natural language semantics, with detailed analyses of English discourse, and logical tools from a variety of sources into an information theory that provides the foundation for computational systems to reason about change and the flow of time. The topic of temporal meaning in texts has received considerable attention in recent years from scholars in linguistics, logical semantics, cognitive science, and artificial intelligence. Representing Time in Natural Language offers a systematic and detailed account of (...) how we use temporal information contained in a text or in discourse to reason about the flow of time, inferring the order in which events happened when this is not explicitly stated. A new representational toolkit is designed to formalize an appropriately context-dependent notion of situated inference. Dynamic Aspect Trees representing temporal dependencies constitute a novel and important dynamic temporal logic that makes it easy to see what follows when from the information given in an ordinary English text. Ter Meulen makes use of some of the fundamental assumptions of Situation Semantics and incorporates the dynamic methodology embodied in Discourse Representation Theory and in other dynamic logics into her temporal logic. The result is a computational inference system that can be applied across the board to fragments of natural languages. (shrink)
This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)
This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)
Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics (...) includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language. (shrink)
REFERENCES Barwise, J. & R. Cooper (1981) — 'Generalized Quantifiers and Natural Language', Linguistics and Philosophy 4:2159-219. Van Benthem, J. (1983a) — ' Five Easy Pieces', in Ter Meulen (ed.), 1-17. Van Benthem, J. (1983b) ...
Meaning is made out of the world by our actions in certain situations. But there are so many different things we can do, few of which actually create meaning. Not only do we utter linguistic expressions, but we move, gesture, point; we plan our actions to satisfy particular goals, we form beliefs, presumptions and prejudices, as well as ascribe intentions to other actors. In this paper three ways of acting are singled out for their function in making meaning out of (...) the world: demonstrations, indications and experiments. The paper develops some Wittgensteinean themes, such as the priority of demonstration, the nature of pictorial representations and the relation between interpretation and calculation, in the terms and concepts of Situation Theory. It attempts to weave some important elements of Wittgenstein’s thought in with an account of situated meaning and interpretation, without embarking on any archeological adventure. The paper is intended as a contribution to the philosophical foundations of Situation Theory and a critical commentary to some of its published accounts. Although Situation Theory has been developed with a sharp awareness of its antecedents in Bertrand Russell’s work, as well as its immediate heritage of central aspects of David Kaplan’s account of demonstrative reference, to my knowledge its Wittgensteinean roots have not been traced. The account of demonstrations, indications and experiments advocated here shows not only that important philosophical concerns of Situation Theory have their precursors in Wittgenstein’s work, but also that some of his insights could profitably be absorbed into its new foundations for a theory of meaning. (shrink)
Validity of dynamic temporal reasoning is semantically characterized for English and Dutch aspectual adverbs in Discourse Representation Theory. This dynamic perspective determines how the content needs to be revised and what information is preserved across updates, when the order of premises is considered relevant. Resetting contextual parameters relies on modelling the basic aspectual polarity transitions and temporal reasoning extensionally. For intensional aspectual adverbials the speaker’s attitudes regarding past alternatives to and possible continuations of the current state come into play. Additional (...) considerations are offered for generalizing this system to the full logical space for linguistic universals, lexicalized quite differently in Dutch and English. (shrink)
In the modular design of generative theory the syntax-semantics interface has accounted all along for meanings at the level of Logical Form. The syntax-pragmatics interface, on the other hand, is the result of what one may call the 'pragmatic turn' in the linguistic theory, where content is partitioned into given and new information. In other words, the structural division of the clause has been subjected to criteria of information, or discourse structure. Both interfaces require a structurally descriptive inventory whose specific (...) shapes can be motivated on theory-internal grounds only. The present collection of original articles develops the concept of these interfaces further. The papers in the first section focus on the syntax-semantics interface, those in the second section on the syntax-pragmatics interface. (shrink)
Semantic realism fits Millikan's account of kind terms in its focus on information-theoretic abilities and strategic ways of gathering information in human communication. Instead of the traditional logical necessity, we should interpret rigid designation in a dynamic semantics as a legislative act to constrain possible ways in which our belief may change.
Modelling human reasoning characterizes the fundamental human cognitive capacity to describe our past experience and use it to form expectations as well as plan and direct our future actions. Natural language semantics analyzes dynamic forms of reasoning in which the real-time order determines the temporal relations between the described events, when reported with telic simple past-tense clauses. It provides models of human reasoning that could supplement ACT-R models.
In designing stratified models of human language, understanding notions of logical consequence and validity of inference require separating the aspects of meaning that vary between models from logical constants. Modelling meaning requires choices regarding the primitives, where the Fregean program is still offering us the fundamental insights on the role of truth, judgement, and grasping or sharing of thoughts.
Binding principles applied to Dutch reflexives are supplemented with optimality considerations and a general principle of linguistic economy to account for differences in reflexivization strategies of Dutch and English. Dutch SE-reflexives are optimally encoded coreference in contrast to the English ordinary bound pronouns they are translated to. Burzio's stated general dispreference for SE-reflexives is replaced by a preference based on economy considerations for SE-reflexivization.
Logically, weighting is transitive, but similarity is not, so clustering cannot be either. Entailments must help a child to review attribute lists more efficiently. Children's understanding of exceptions to generic claims precedes their ability to articulate explanations. So agency, as enabling constraint, may show coherent covariation with attributes, as mere extensional, observable effect of intensional entailments.
Meaning is made out of the world by our actions in certain situations. But there are so many different things we can do, few of which actually create meaning. Not only do we utter linguistic expressions, but we move, gesture, point; we plan our actions to satisfy particular goals, we form beliefs, presumptions and prejudices, as well as ascribe intentions to other actors. In this paper three ways of acting are singled out for their function in making meaning out of (...) the world: demonstrations, indications and experiments. The paper develops some Wittgensteinean themes, such as the priority of demonstration, the nature of pictorial representations and the relation between interpretation and calculation, in the terms and concepts of Situation Theory. It attempts to weave some important elements of Wittgenstein’s thought in with an account of situated meaning and interpretation, without embarking on any archeological adventure. The paper is intended as a contribution to the philosophical foundations of Situation Theory and a critical commentary to some of its published accounts. Although Situation Theory has been developed with a sharp awareness of its antecedents in Bertrand Russell’s work, as well as its immediate heritage of central aspects of David Kaplan’s account of demonstrative reference, to my knowledge its Wittgensteinean roots have not been traced. The account of demonstrations, indications and experiments advocated here shows not only that important philosophical concerns of Situation Theory have their precursors in Wittgenstein’s work, but also that some of his insights could profitably be absorbed into its new foundations for a theory of meaning. (shrink)
