ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes

دانلود کتاب رسمیت بخشیدن به نظریه های منطقی قرون وسطی: فرض، پیامدها و الزامات

Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes

مشخصات کتاب

Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Logic, Epistemology, and the Unity of Science, 7 
ISBN (شابک) : 1402058527, 9781402058530 
ناشر: Springer 
سال نشر: 2007 
تعداد صفحات: 325 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 46,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 22


در صورت تبدیل فایل کتاب Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب رسمیت بخشیدن به نظریه های منطقی قرون وسطی: فرض، پیامدها و الزامات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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

این کتاب رسمی سازی سه نظریه منطقی مهم قرون وسطایی را ارائه می دهد: فرض، نتیجه و تعهدات. اینها بر اساس نقاط برتر مبتکرانه هستند: نظریه های فرضی به عنوان هرمنوتیک الگوریتمی، نظریه های پیامد تحلیل شده با ابزارهایی که از نظریه مدل و معناشناسی دوبعدی به عاریت گرفته شده است، و تعهدات به عنوان بازی های منطقی. تحلیل منطق قرون وسطی برای فیلسوف و منطق دان مدرن مرتبط است. این اولین کتابی است که نظریات منطقی قرون وسطی را برای فیلسوف مدرن قابل دسترسی است.


توضیحاتی درمورد کتاب به خارجی

This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations. These are based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. The analysis of medieval logic is relevant for the modern philosopher and logician. This is the first book to render medieval logical theories accessible to the modern philosopher.



فهرست مطالب

Content: Supposition Theory: Algorithmic Hermeneutics.- Buridan's Notion of Consequentia.- Obligationes as Logical Games.- The Philosophy of Formalization.




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی