This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference focuses on theoretical and computational linguistics covering topics ranging from syntax, semantics, and pragmatics to the philosophy of language and natural language processing.
An introduction to natural language semantics that offers an overview of the empirical domain and an explanation of the mathematical concepts that underpin the discipline. This textbook offers a comprehensive introduction to the fundamentals of those approaches to natural language semantics that use the insights of logic. Many other texts on the subject focus on presenting a particular theory of natural language semantics. This text instead offers an overview of the empirical domain (drawn largely from standard descriptive grammars of English) as well as the mathematical tools that are applied to it. Readers are shown where the concepts of logic apply, where they fail to apply, and where they might apply, if suitably adjusted. The presentation of logic is completely self-contained, with concepts of logic used in the book presented in all the necessary detail. This includes propositional logic, first order predicate logic, generalized quantifier theory, and the Lambek and Lambda calculi. The chapters on logic are paired with chapters on English grammar. For example, the chapter on propositional logic is paired with a chapter on the grammar of coordination and subordination of English clauses; the chapter on predicate logic is paired with a chapter on the grammar of simple, independent English clauses; and so on. The book includes more than five hundred exercises, not only for the mathematical concepts introduced, but also for their application to the analysis of natural language. The latter exercises include some aimed at helping the reader to understand how to formulate and test hypotheses.
The idea that prompted the conferenee for which many of these papers were written, and that inspired this book, is stated in the Editorial Introduction reprinted below from Volume 21 of Synthese. The present volume contains the artieles in Synthese 21, Numbers 3-4 and Synthese 22, Numbers 1-2. In addition, it ineludes new papers by Saul Kripke, James McCawley, John R. Ross, and Paul Ziff, and reprints 'Grammar and Philosophy' by P. F. Strawson. Strawson's artiele first appeared in the Proceedings of the Aristotelian Society, Volume 70, and is reprinted with the kind permission of the author and the Aristotelian Society. We also repeat our thanks to the Olivetti Companyand Edizione di Comunita of Milan for permission to inelude the paper by Dana Scott; it also appeared in Synthese 21. DONALO DAVIDSON GILBERT HARMAN EDITORIAL INTRODUCTION The success of linguistics in treating naturallanguages as formal syntactic systems has aroused the interest of a number of linguists in a paralleI or related development of semantics. For the most part quite independ ently, many philosophers and logicians have reeently been applying formai semantic methods to structures increasingly like naturallanguages. While differenees in training, method and vocabulary tend to veil the fact, philosophers and linguists are converging, it seerns, on a common set of interrelated probiems. Sinee philosophers and linguists are working on the same, or very similar, probiems, it would obviously be instructive to compare notes.
This book constitutes the refereed post-conference proceedings of the 20th International Conference, LENLS20, held in Osaka, Japan, during November 18-20, 2023. The 19 full papers presented were carefully reviewed and selected from 46 submissions. The conference aims to cover the topics at the Intersection of Language and logic, and so Centers Around Linguistics, both Theoretical and Computational; Logic; Philosophy; and other sorts of Formal Approaches to these topics such as Game Theory.
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.
How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and this volume is the first textbook wholly devoted to this growing subdiscipline. The book explains the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an essential text for computer scientists, linguists, and anyone interested in the development of computational semantics.
Gluecklich, die wissen, dass hinter allen Sprachen das Unsaegliche steht. Those are happy who know that behind all languages there is something unsaid Rainer Maria Rilke This book shows in a new way that a solution to a fundamental problem from one scienti?c ?eld can help to ?nd the solutions to important problems emerged in several other ?elds of science and technology. In modern science, the term “Natural Language” denotes the collection of all such languages that every language is used as a primary means of communication by people belonging to any country or any region. So Natural Language (NL) includes, in particular, the English, Russian, and German languages. The applied computer systems processing natural language printed or written texts (NL-texts) or oral speech with respect to the fact that the words are associated with some meanings are called semantics-oriented natural language processing s- tems (NLPSs). On one hand, this book is a snapshot of the current stage of a research p- gram started many years ago and called Integral Formal Semantics (IFS) of NL. The goal of this program has been to develop the formal models and methods he- ing to overcome the dif?culties of logical character associated with the engineering of semantics-oriented NLPSs. The designers of such systems of arbitrary kinds will ?nd in this book the formal means and algorithms being of great help in their work.
This book constitutes the thoroughly refereed post-proceedings of four workshops held as satellite events of the JSAI International Symposia on Artificial Intelligence 2010, in Tokyo, Japan, in November 2010. The 28 revised full papers with four papers for the following four workshops presented were carefully reviewed and selected from 70 papers. The papers are organized in sections Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Advanced Methodologies for Bayesian Networks (AMBN), and Innovating Service Systems (ISS).
