Applied Logic: How, What and Why: Logical Approaches to Natural Language

گزیده ای از مقالات ارائه شده در کنفرانس بین المللی "منطق کاربردی: منطق در کار"، که در دسامبر 1992 در آمستردام برگزار شد. امروزه، اصطلاح "منطق کاربردی" به عنوان کاربردهای متعدد روش های منطقی در کامپیوتر، معنای بسیار گسترده ای دارد. علم، زبان شناسی رسمی و سایر زمینه ها گواهی می دهند. چنین کاربردهایی به هیچ وجه محدود به استفاده از تکنیک های منطقی شناخته شده نیستند: در بهترین حالت، منطق کاربردی مستلزم گفتگوی رفت و برگشتی بین نظریه منطقی و حوزه مسئله است.
مقالات بر کاربرد منطق در مطالعه زبان طبیعی در نحو، معناشناسی و عمل شناسی و تأثیر این مطالعات بر توسعه منطق. در دهه گذشته، ماهیت پویای زبان طبیعی جالب ترین چالش برای منطق دانان بوده است. معناشناسی پویا در اینجا برای موضوعات جدید اعمال می‌شود، رویکرد پویا به نحو گسترش می‌یابد، و چندین موضوع روش‌شناختی در معناشناسی پویا به طور سیستماتیک بررسی می‌شوند. سایر موضوعات روش شناختی در مطالعات رسمی زبان طبیعی مورد بحث قرار می گیرد، مانند نیاز به انواع، عملگرهای مدال و سایر عملگرهای منطقی در چارچوب رسمی. مقالات بیشتر دامنه این مسائل روش شناختی را از دیدگاه های دیگر، از شناخت تا محاسبات، مورد بررسی قرار می دهند.
این جلد مقالاتی را ارائه می‌کند که برای دانشجویان و محققان تحصیلات تکمیلی در زمینه منطق، فلسفه زبان، معناشناسی رسمی و عمل‌شناسی و زبان‌شناسی محاسباتی جالب است.

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.
The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.