From Discourse to Logic

This is the first textbook that approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference.

From Discourse to Logic

This is the first textbook that approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference. The book has been carefully designed for the classroom. It is aimed at students with varying degrees of preparation, including those without prior exposure to semantics or formal logic. Moreover, it should make DRT easily accessible to those who want to learn about the theory on their own. Exercises are available to test understanding as well as to encourage independent theoretical thought. The book serves a double purpose. Besides a textbook, it is also the first comprehensive and fully explicit statement of DRT available in the form of a book. The first part of the book develops the basic principles of DRT for a small fragment of English (but which has nevertheless the power of standard predicate logic). The second part extends this fragment by adding plurals; it discusses a wide variety of problems connected with plural nouns and verbs. The third part applies the theory to the analysis of tense and aspect. Many of the problems raised in Parts Two and Three are novel, as are the solutions proposed. For undergraduate and graduate students interested in linguistics, theoretical linguistics, computational linguistics, artificial intelligence and cognitive science. Suitable for students with no previous exposure to formal semantics or logic.

From Discourse to Logic

Preface This book is about semantics and logic.

From Discourse to Logic

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.

From Discourse to Logic

Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory Hans Kamp, U. Reyle. Definition 1.5.2 The logical vocabulary of PLo consists of the following symbols: (i) Variables: x, y, ...

From Discourse to Logic

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.

From Discourse to Logic

This is the first textbook that approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference.

From Discourse to Logic

This is the first textbook that approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference. The book has been carefully designed for the classroom. It is aimed at students with varying degrees of preparation, including those without prior exposure to semantics or formal logic. Moreover, it should make DRT easily accessible to those who want to learn about the theory on their own. Exercises are available to test understanding as well as to encourage independent theoretical thought. The book serves a double purpose. Besides a textbook, it is also the first comprehensive and fully explicit statement of DRT available in the form of a book. The first part of the book develops the basic principles of DRT for a small fragment of English (but which has nevertheless the power of standard predicate logic). The second part extends this fragment by adding plurals; it discusses a wide variety of problems connected with plural nouns and verbs. The third part applies the theory to the analysis of tense and aspect. Many of the problems raised in Parts Two and Three are novel, as are the solutions proposed. For undergraduate and graduate students interested in linguistics, theoretical linguistics, computational linguistics, artificial intelligence and cognitive science. Suitable for students with no previous exposure to formal semantics or logic.

The Logic of Categorial Grammars

Springer (1981) van Eijck, J., Kamp, H.: Representing discourse in context. In: Van Benthem and ter Meulen, ch. 3, pp. 181–252 (2011) Gallin, D.: Intensional and Higher-Order Logic: With Applications to Montague Semantics.

The Logic of Categorial Grammars

This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.

Handbook of Philosophical Logic

[Hodges, 2003] W. Hodges. Composition of meaning (A class at D ̈usseldorf). Unpublished lecture notes, 2003. [Kamp and Reyle, 1993] H. Kamp and U. Reyle. From Discourse to Logic. Dordrecht: Kluwer, 1993 [Kanazawa, 1994] M. Kanazawa.

Handbook of Philosophical Logic

The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines and this book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field.

Logical Form and Language

The Logical Form of Action Sentences ' , in N. Rescher ( ed . ) , The Logic of Decision and Action ( Pittsburgh : University of Pittsburgh Press ) . Reprinted in Davidson ( 1980 ... From Discourse to Logic ( Dordrecht : Kluwer ) .

Logical Form and Language

Seventeen specially written essays by eminent philosophers and linguists appear for the first time in this anthology, all with the central theme of logical form -- a fundamental issue in analytic philosophy and linguistic theory. Logical Form and Language brings together exciting new contributions from diverse points of view, which illuminate the lively current debate about this topic.

Logic of Discovery and Logic of Discourse

of discovery , by way of the dialogue system , with a kind of logic of discourse . For , does a dialogue logic not presuppose at least a minimal logic of discourse ? And is it not true that the more elaborate the dialogue logic is ...

Logic of Discovery and Logic of Discourse


Subordination versus Coordination in Sentence and Text

Temporal information and discourse relations in narratives: The role of French connectives puis and un peu plus tard. ... Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.

 Subordination  versus  Coordination  in Sentence and Text

The papers collected in this volume (including a comprehensive introduction) investigate semantic and discourse-related aspects of subordination and coordination, in particular the relationship between subordination/coordination at the sentence level and subordination/coordination – or hierarchical/non-hierarchical organization – at the discourse level. The contributions in part I are concerned with central theoretical questions; part II consists of corpus-based cross-linguistic studies of clause combining and discourse structure, involving at least two of the languages English, German, Dutch, French and Norwegian; part III contains papers addressing specific – predominantly semantic – topics relating to German, English or French; and the papers in part IV approach the topic of subordination, coordination and rhetorical relations from a diachronic (Old Indic and Early Germanic) perspective. The book aims to contribute to a better understanding of information packaging on the sentence and text level related, within a particular language as well as cross-linguistically.

Data Analytics in Digital Humanities

Accessed 28 Feb 2016 H. Kamp, U. Reyle, From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation (Kluwer, Dordrecht, 1993) S. Klarman, V. Gutiérrez-Basulto, ...

Data Analytics in Digital Humanities

This book covers computationally innovative methods and technologies including data collection and elicitation, data processing, data analysis, data visualizations, and data presentation. It explores how digital humanists have harnessed the hypersociality and social technologies, benefited from the open-source sharing not only of data but of code, and made technological capabilities a critical part of humanities work. Chapters are written by researchers from around the world, bringing perspectives from diverse fields and subject areas. The respective authors describe their work, their research, and their learning. Topics include semantic web for cultural heritage valorization, machine learning for parody detection by classification, psychological text analysis, crowdsourcing imagery coding in natural disasters, and creating inheritable digital codebooks.Designed for researchers and academics, this book is suitable for those interested in methodologies and analytics that can be applied in literature, history, philosophy, linguistics, and related disciplines. Professionals such as librarians, archivists, and historians will also find the content informative and instructive.

Space Time and the Use of Language

Kamp , Hans and Uwe Reyle 1993 From Discourse to Logic : Introduction to Modeltheoretic Semantis of Natural Language , Formal Logic and Discourse Representation Theory . Dordrecht : Kluwer Academic Publishers .

Space  Time  and the Use of Language

Does temporal language depend on spatial language? Many parallels between spatial and temporal expressions, and many examples of metaphorical processes, seem to prove this. But how are expressions such as before and after, in front and behind actually used in natural discourse - does their application reflect a conceptual dependency relation? The book addresses this question from an innovative perspective, drawing together earlier findings from various directions and supplementing them by empirical investigations.

Robotic Systems Concepts Methodologies Tools and Applications

From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory (Vol. 42). Springer Science & Business Media. Kollar, T., Vedantham, A., Sobel, C., Chang, C., ...

Robotic Systems  Concepts  Methodologies  Tools  and Applications

Through expanded intelligence, the use of robotics has fundamentally transformed a variety of fields, including manufacturing, aerospace, medicine, social services, and agriculture. Continued research on robotic design is critical to solving various dynamic obstacles individuals, enterprises, and humanity at large face on a daily basis. Robotic Systems: Concepts, Methodologies, Tools, and Applications is a vital reference source that delves into the current issues, methodologies, and trends relating to advanced robotic technology in the modern world. Highlighting a range of topics such as mechatronics, cybernetics, and human-computer interaction, this multi-volume book is ideally designed for robotics engineers, mechanical engineers, robotics technicians, operators, software engineers, designers, programmers, industry professionals, researchers, students, academicians, and computer practitioners seeking current research on developing innovative ideas for intelligent and autonomous robotics systems.

The Oxford Handbook of Compositionality

From Discourse to Logic . Dordrecht : Kluwer . Kant , I. 1781. Kritik der reinen Vernunft , Berlin : Reimer . Kaplan , D. 1975. How to Russell a Frege - Church , Journal of Philosophy 72 : 716-29 . Kaplan , D. 1977.

The Oxford Handbook of Compositionality

In this book leading scholars from every relevant field report on all aspects of compositionality, the notion that the meaning of an expression can be derived from its parts. Understanding how compositionality works is a central element of syntactic and semantic analysis and a challenge for models of cognition. It is a key concept in linguistics and philosophy and in the cognitive sciences more generally, and is without question one of the most exciting fields in the study of language and mind. The authors of this book report critically on lines of research in different disciplines, revealing the connections between them and highlighting current problems and opportunities. The force and justification of compositionality have long been contentious. First proposed by Frege as the notion that the meaning of an expression is generally determined by the meaning and syntax of its components, it has since been deployed as a constraint on the relation between theories of syntax and semantics, as a means of analysis, and more recently as underlying the structures of representational systems, such as computer programs and neural architectures. The Oxford Handbook of Compositionality explores these and many other dimensions of this challenging field. It will appeal to researchers and advanced students in linguistics and philosophy and to everyone concerned with the study of language and cognition including those working in neuroscience, computational science, and bio-informatics.

Historical Linguistics 2005

From Discourse to Logic . An Introduction to Modeltheoretic Semantics of Natural Language , Formal Logic and Discourse Representation Theory . Dordrecht : Kluwer . Klein , Wolfgang . 1992. “ The Present Perfect Puzzle ” .

Historical Linguistics 2005

Printbegrænsninger: Der kan printes 10 sider ad gangen og max. 40 sider pr. session

Logic Language and Computation

The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2.

Logic  Language and Computation

The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints.

Structures and Algorithms

From discourse to logic. Dordrecht: Kluwer Publishing Company. Kaplan, R. & Bresnan, J. (1982). Lexical-functional grammar. In J. Bresnan (1982), (pp 173–281). Koster, J. (1989). How natural is natural language.

Structures and Algorithms

This book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms, i.e., what the readers “see” and how they make use of what they see. Thus in comparison with some other books on the philosophy (or methodology) of science, which employ a syntactic approach, the author’s approach is model theoretic or structural. Properly understood, it extends the current art and science of mathematical modeling to all fields of knowledge. The link between structure and algorithms is mathematics. But viewing “mathematics” as such a link is not exactly what readers most likely learned in school; thus, the task of this book is to explain what “mathematics” should actually mean. Chapter 1, an introductory essay, presents a general analysis of structures, algorithms and how they are to be linked. Several examples from the natural and social sciences, and from the history of knowledge, are provided in Chapters 2–6. In turn, Chapters 7 and 8 extend the analysis to include language and the mind. Structures are what the readers see. And, as abstract cultural objects, they can almost always be seen in many different ways. But certain structures, such as natural numbers and the basic theory of grammar, seem to have an absolute character. Any theory of knowledge grounded in human culture must explain how this is possible. The author’s analysis of this cultural invariance, combining insights from evolutionary theory and neuroscience, is presented in the book’s closing chapter. The book will be of interest to researchers, students and those outside academia who seek a deeper understanding of knowledge in our present-day society.

Automated Reasoning with Analytic Tableaux and Related Methods

From Discourse to Logic. Kluwer Academic Publishers, 1993. 248, 260 C. Monz and M. de Rijke. Inference and natural language semantics. In Proceedings of Logical Aspects in Computational Linguistics (LACL'98), 1998.

Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999. The volume presents 18 revised full papers and three system descriptions selected from 41 submissions. Also included are system comparisons and abstracts of an invited paper and of two tutorials. All current issues surrounding mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation and systems development and applications, as well as covering a broad variety of logic calculi. As application areas, formal verification of software and computer systems, deductive databases, knowledge representation, and systems diagnosis are covered.

Semantics for Counting and Measuring

From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Berlin: Springer (Kluwer). Kaufman, E. L., M. W. Lord, T. W. Reese and J. Volkmann, 1949.

Semantics for Counting and Measuring

The book is an investigation of the semantics of numericals, counting and measuring, and its connection to the mass/count distinction from a theoretical and crosslinguistic perspective. It reviews some recent major linguistic results in these topics, and presents the author's new research including in-depth case studies of a number of typologically unrelated languages.