ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب What Logics Mean: From Proof Theory to Model-Theoretic Semantics

دانلود کتاب منطق یعنی چه: از نظریه اثبات تا معناشناسی نظری مدل

What Logics Mean: From Proof Theory to Model-Theoretic Semantics

مشخصات کتاب

What Logics Mean: From Proof Theory to Model-Theoretic Semantics

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 9781107039100, 9781107611962 
ناشر: Cambridge University Press 
سال نشر: 2013 
تعداد صفحات: 304 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب What Logics Mean: From Proof Theory to Model-Theoretic Semantics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق یعنی چه: از نظریه اثبات تا معناشناسی نظری مدل

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


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

What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if ... then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language





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