دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Proof-theoretic Semantics
دانلود کتاب معناشناسی نظری اثبات
مشخصات کتاب
Proof-theoretic Semantics
ویرایش:
نویسندگان: Nissim Francez
سری: Studies in logic 57
ISBN (شابک) : 1848901836, 9781848901834
ناشر: College Publications
سال نشر: 2015
تعداد صفحات: 440
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب معناشناسی نظری اثبات: منطق، نمادین و ریاضی، نظریه اثبات، معناشناسی
در صورت تبدیل فایل کتاب Proof-theoretic Semantics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی نظری اثبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی نظری اثبات
این کتاب یک تک نگاری با موضوع اثبات-تئوریک معناشناسی است، نظریه ای از معنا که جایگزینی برای معناشناسی سنتی تر مدل-نظری است. دومی معنا را به‌عنوان شرایط صدق (در مدل‌های دلخواه)، اولی معنا را به‌عنوان شرایط اشتقاق پذیری متعارف در یک سیستم اثبات استنتاج طبیعی اعطاکننده معنا می‌داند. در بخش اول کتاب، معناشناسی اثباتی-نظری برای منطق ارائه شده است. روشی را بررسی می‌کند که یک سیستم استنتاج طبیعی می‌تواند به‌عنوان اعطای معنا عمل کند، و به‌ویژه معیارهای مختلفی را که چنین سیستمی باید برآورده کند تا واجد شرایط اعطای معنا باشد، تحلیل می‌کند. یک معیار اصلی هماهنگی است، تعادل بین قوانین مقدمه و حذف قوانین. این نظریه برای منطق های مختلف، به عنوان مثال، منطق مربوط، و سیستم های اثبات مختلف مانند استنتاج طبیعی چند نتیجه گیری و دوجانبه گرایی اعمال می شود. این ارائه از کارهای اخیر نویسنده الهام گرفته شده است و همچنین تحولات اخیر را بررسی می کند. در بخش دوم، این تئوری به بخش‌هایی از زبان طبیعی، اعم از توسعه‌ای و درونی، اعمال می‌شود که بر اساس کار اخیر نویسنده است. برای مثال، محافظه‌کاری تعیین‌کننده‌ها، پس از تنظیم در یک چارچوب اثبات-نظری، به ویژگی قابل اثبات همه تعیین‌کننده‌ها (منظم) تبدیل می‌شود. نشان داده شده است که معنا نیازی به تحمل بار هستی شناختی سنگین مشخصه معناشناسی مدل-نظری ساختارهای پیچیده زبان طبیعی ندارد. Nissim Francez استاد بازنشسته علوم کامپیوتر در Technion، موسسه فناوری اسرائیل است. او در مقطعی از کار خود از تحقیقات مربوط به برنامه‌نویسی همزمان و توزیع شده و تأیید برنامه به تحقیق در زبان‌شناسی محاسباتی، عمدتاً معناشناسی رسمی زبان طبیعی، نقل مکان کرد. در سال‌های اخیر، او روی معناشناسی اثبات-نظری، به‌ویژه برای زبان طبیعی کار کرده است
توضیحاتی درمورد کتاب به خارجی
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as truth-conditions (in arbitrary models), the former regards meaning as canonical derivability conditions in a meaning-conferring natural-deduction proof-system. In the first part of the book, the Proof-Theoretic Semantics for logic is presented. It surveys the way a natural-deduction system can serve as meaning-conferring, and in particular analyses various criteria such a system has to meet in order to qualify as meaning-conferring. A central criterion is harmony, a balance between introduction-rules and elimination-rules. The theory is applied to various logics, e.g., relevance logic, and various proof systems such as multi-conclusion natural-deduction and bilateralism. The presentation is inspired by recent work by the author, and also surveys recent developments. In part two, the theory is applied to fragments of natural language, both extensional and intensional, a development based on the author's recent work. For example, conservativity of determiners, once set up in a proof-theoretic framework, becomes a provable property of all (regular) determiners. It is shown that meaning need not carry the heavy ontological load characteristic of Model-Theoretic Semantics of complex natural language constructs. Nissim Francez is an emeritus professor of computer science at the Technion, Israel Institute of Technology. At a certain point in his career he moved from research related to concurrent and distributed programming and program verification to research in computational linguistics, mainly formal semantics of natural language. In recent years, he has worked on Proof-Theoretic Semantics, in particular for natural language
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Principles of Oral and Maxillofacial Surgery
