کتاب الکترونیکی

زبان در عمل: دسته ها، لامبداها و منطق پویا

Language in Action: Categories, Lambdas and Dynamic Logic

دانلود کتاب Language in Action: Categories, Lambdas and Dynamic Logic (به فارسی: زبان در عمل: دسته ها، لامبداها و منطق پویا) نوشته شده توسط «Johan van Benthem»

اطلاعات کتاب زبان در عمل: دسته ها، لامبداها و منطق پویا

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: North Holland

نویسنده: Johan van Benthem

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1991

تعداد صفحه: 357

حجم کتاب: 3 مگابایت

کد کتاب: 0444890009 , 9780444890009

توضیحات کتاب زبان در عمل: دسته ها، لامبداها و منطق پویا

این تک نگاری زندگی خود را به عنوان مجموعه ای از مقالات مستندسازی پنج سال تحقیق در زمینه مبانی منطقی گرامر مقوله ای آغاز کرد، یک پارادایم دستوری که تشابه نزدیکی با حساب لامبدا و نظریه نوع دارد. نظریه فنی ارائه شده در اینجا از رابط بین منطق و زبان شناسی و به ویژه نظریه کمی سازی تعمیم یافته ناشی می شود. یک چارچوب طبقه بندی شده با معناشناسی حساب لامبدا محور وسیله ای مناسب برای تعمیم بینش های معنایی (به دست آمده در گوشه های مختلف زبان طبیعی) به یک نظریه منسجم است.

هدف این کتاب نشان دادن به منطق دانان دیگر است که حساب لامبدا کاربردی حاصل دارای ذاتی است. علاقه منطقی در تحلیل نهایی، ایده فقط «شکستن رمز نحوی» زبان‌های طبیعی نیست، بلکه درک عملکرد شناختی ذهن انسان است.

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.

The book aims to demonstrate to fellow logicians that the resulting applied lambda calculus has intrinsic logical interest. In the final analysis, the idea is not just to `break the syntactic code’ of natural languages but to understand the cognitive functioning of the human mind.

دانلود کتاب «زبان در عمل: دسته ها، لامبداها و منطق پویا»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان