Research Catalog

Title

Applied logic : how, what, and why : logical approaches to natural languages / edited by László Pólos and Michael Masuch.

Publication

Boston : Kluwer Academic Publishers, 1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Pólos, László.
• Masuch, Michael, 1949-

Description

viii, 392 pages : illustrations; 23 cm.

Summary

• A selection of papers presented at the international conference 'Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term 'applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain.
• The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated.
• Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation.
• . Audience: Graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.

Series Statement

Synthese library ; v. 247

Uniform Title

Synthese library ; v. 247.

Subjects

• Logic, Symbolic and mathematical > Congresses
• Language and logic > Congresses

Note

• Proceedings of a conference held in Dec. 1992 in Amsterdam, Netherlands.

Bibliography (note)

• Includes bibliographical references and index.

Contents

Pragmatic Reasoning. A Model-Based Theory / John Bell -- Verb-Phrase Ellipsis in Dynamic Semantics / Jan van Eijck and Nissim Francez -- Optimization of Deduction for Multi-Modal Logics / Olivier Gasquet -- Are Types Needed for Natural Language? / Fairouz Kamareddine -- Indexical Dynamics / Ian Lewin -- Implicit and Explicit Definability in Modal and Temporal Logics / Larisa Maksimova -- Evolving Algebras and Mathematical Models of Language / Lawrence S. Moss and David E. Johnson -- Information States in Situation Theory / Laszlo Polos and Michael Masuch -- Logic Finite Automata / Klaus U. Schulz and Dov M. Gabbay -- Dynamic Aspect Trees / Jerry Seligman and Alice ter Meulen -- Logic as a Foundation for a Cognitive Theory of Modality Assignment / Keith Stenning -- Meeting a Modality? Restricted Permutation for the Lambek Calculus / Yde Venema -- Update Semantics for Propositional Texts / Cees Vermeulen.

ISBN

0792334329

LCCN

95011570

OCLC

• 503419768
• ocn503419768

Owning Institutions

Columbia University Libraries