مشخصات کتاب

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

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

در صورت تبدیل فایل کتاب 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

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

کتاب های تصادفی

دانلود کتاب Radiogenic Isotope Geochemistry: A Guide for Industry Professionals

دانلود کتاب Beginning C# 5.0 Databases, 2nd Edition

دانلود کتاب Entangled Geographies: Empire and Technolopolitics in the Global Cold War

دانلود کتاب Bring 'Em Back Alive

دانلود کتاب Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995