زبان شناسی

گرامر نوع نظری (شاخص ها، 1

Type-Theoretical Grammar (Indices, 1

دانلود کتاب Type-Theoretical Grammar (Indices, 1 (به فارسی: گرامر نوع نظری (شاخص ها، 1) نوشته شده توسط «Aarne Ranta»


اطلاعات کتاب گرامر نوع نظری (شاخص ها، 1

موضوع اصلی: زبان شناسی

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

ناشر: Oxford University Press, USA

نویسنده: Aarne Ranta

زبان: English

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

سال انتشار: 1995

تعداد صفحه: 238

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

کد کتاب: 019853857X , 9780198538578

توضیحات کتاب گرامر نوع نظری (شاخص ها، 1

نظریه نوع سازنده اولین بار در سال 1970 توسط منطقدان سوئدی Per Martin-Lof ارائه شد. از آن زمان به بعد به یکی از رویکردهای اصلی در مبانی ریاضیات و علوم کامپیوتر تبدیل شد. با این حال، اگرچه گسترش قابل توجهی از مفاهیم و فنون منطق ارائه می دهد، اما در میان زبان شناسان و فیلسوفان نسبتاً ناشناخته باقی مانده است. این اثر، نظریه نوع سازنده را از منظر زبان‌شناسی و فلسفه زبان ارائه می‌کند و رویکرد ارزشمند آن را به حوزه‌هایی که در آن‌ها ناآشنا مانده است، معرفی می‌کند. سپس این نظریه در مورد کمی سازی، آنافورا، مرجع زمانی و ساختارهای متن و گفتمان اعمال می شود. پدیده‌های مختلف وابستگی و پیشرفت در پرتو مفاهیم شیء و محتوا اثبات مورد بحث قرار می‌گیرند و راه‌حل‌های چندین مشکل شناخته‌شده مورد بحث قرار می‌گیرند.


Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in which it has remained unfamiliar. The theory is then applied to quantification, anaphora, temporal reference, and the structures of text and discourse. Various phenomena of dependence and progression are discussed in the light of concepts of proof object and content, and the solutions to several well-known problems are discussed.

دانلود کتاب «گرامر نوع نظری (شاخص ها، 1»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.