دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction
دانلود کتاب زمینه معرفتی پراویتز: تحقیقی در مورد قدرت استنتاج
مشخصات کتاب
Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction
ویرایش:
نویسندگان: Antonio Piccolomini d’Aragona
سری: Synthese Library, 469
ISBN (شابک) : 3031202937, 9783031202933
ناشر: Springer
سال نشر: 2023
تعداد صفحات: 283
[284]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زمینه معرفتی پراویتز: تحقیقی در مورد قدرت استنتاج نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زمینه معرفتی پراویتز: تحقیقی در مورد قدرت استنتاج
این کتاب بازسازی عمیق و انتقادی پایه‌های معرفتی پراویتز
را ارائه می‌کند و آن را در حوزه وسیع‌تر معناشناسی اثباتی-نظری
مورد بحث قرار می‌دهد. تئوری مبانی نیز با یک چارچوب رسمی ارائه
شده است که از طریق آن چندین نتیجه مرتبط به اثبات می رسد. این
اثر با بررسی نظریه مبانی پراویتز به یکی از اساسی‌ترین پرسش‌های
منطق پاسخ می‌دهد: چرا و چگونه برخی استنباط‌ها قدرت معرفتی دارند
که ما را مجبور به پذیرش نتیجه‌گیری‌شان کنند، در صورتی که مقدمات
آنها را پذیرفته‌ایم؟ پراویتز توصیفی مبتکرانه از اعمال استنتاجی
را پیشنهاد می‌کند، به عنوان کاربردهای عملیات سازنده در
زمینه‌های ساختمان، که زمینه‌ای برای نتیجه‌گیری فراهم
می‌کند.
کتاب به سه بخش تقسیم می‌شود. در اول، نویسنده به دلایلی
می‌پردازد که پراویتز را وادار به کنار گذاشتن معنای‌شناسی قبلی
خود از استدلال‌ها و براهین معتبر کرده است. بخش دوم
پایه‌های پراویتز را همانطور که در مقالات نظری زمین او یافت
می‌شود ارائه می‌کند. در نهایت، در بخش سوم، یک دستگاه رسمی توسعه
می‌یابد که شامل یک کلاس از زبان‌ها است که اصطلاحات آنها مجهز
به توابع اشاره‌ای هستند که آنها را به عملیات و زمینه‌ها مرتبط
می‌کند، و همچنین از یک کلاس از سیستم‌ها که می‌توان ویژگی‌های
مهم اصطلاحات را ثابت کرد. .
توضیحاتی درمورد کتاب به خارجی
This book presents an in-depth and critical
reconstruction of Prawitz’s epistemic grounding, and
discusses it within the broader field of
proof-theoretic semantics. The theory of grounds is also
provided with a formal framework, through which several
relevant results are proved. Investigating Prawitz’s theory of
grounds, this work answers one of the most fundamental
questions in logic: why and how do some inferences
have the epistemic power to compel us to accept their
conclusion, if we have accepted their premises? Prawitz
proposes an innovative description of inferential acts, as
applications of constructive operations on grounds for the
premises, yielding a ground for the conclusion.
The book is divided into three parts. In the first, the author
discusses the reasons that have led Prawitz to abandon his
previous semantics of valid arguments and proofs. The
second part presents Prawitz’s grounding as found in his
ground-theoretic papers. Finally, in the third part, a formal
apparatus is developed, consisting of a class of languages
whose terms are equipped with denotation functions
associating them to operations and grounds, as well as of
a class of systems where important properties of the terms
can be proved.
