دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب What Logics Mean: From Proof Theory to Model-Theoretic Semantics
دانلود کتاب منطق یعنی چه: از نظریه اثبات تا معناشناسی نظری مدل
مشخصات کتاب
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 مگابایت
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Difference, deviance, threat? : mainstream and right-extremist political discourse on ethnic issues in the Netherlands and France (1990-1997)
دانلود کتاب How Wars Are Won and Lost: Vulnerability and Military Power (Praeger Security International)
دانلود کتاب Linear Algebra, Multivariable Calculus, and Modern Applications
دانلود کتاب Tomorrow's Lawyers: An Introduction to your Future
