توضیحات
Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines.
The book covers classical first order logic and alternatives, including intuitionistic, free, and many-valued logic. It also considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, independent study as a course text, it covers more material than is typically covered in an introductory course. It also covers this material at greater length and in more depth with the purpose of making it accessible to those with no prior training in logic or formal systems.
A companion website contains a detailed student solutions manual with a running commentary on all starred exercises and a set of editable slides for instructors to customize their courses.
Key Features
- Introduces an unusually broad range of topics, allowing instructors to craft courses to meet a range of various objectives
- Adopts a critical attitude to certain classical doctrines, exposing students to alternative ways to answer philosophical questions about logic
- Carefully considers the ways natural language both resists and lends itself to formalization
- Makes objectual semantics for quantified logic easy, with an incremental, rule-governed approach assisted by numerous simple exercises
- Makes important metatheoretical results accessible to introductory students through a discursive presentation of those results and by using simple case studies
————————————————————–
ترجمه ماشینی :
Logic Works مقدمه ای انتقادی و گسترده برای منطق است. این پرسشها را در مورد اینکه چرا سیستمهای منطق همانطور هستند، چگونه با زبان معمولی و استدلال معمولی مرتبط هستند و چه جایگزینهایی برای آموزههای منطقی کلاسیک وجود دارد، میپرسد.
این کتاب منطق کلاسیک درجه اول و جایگزینها، از جمله منطق شهودی، آزاد، و با ارزشهای متعدد را پوشش میدهد. همچنین در نظر میگیرد که چگونه میتوان تحلیل منطقی را برای نمایش دقیق استدلال به کار رفته در کارهای علمی و علمی، درک بهتر آن استدلال و شناسایی مقدمات پنهان آن به کار برد. با هدف اینکه به اندازه یک متن درسی به عنوان یک کار مرجع و کتاب راهنما برای مطالعه مستقل بیشتر باشد، مطالب بیشتری را در بر می گیرد که معمولاً در یک دوره مقدماتی پوشش داده می شود. همچنین این مطالب را با طولانیتر و عمیقتر پوشش میدهد تا آنها را برای کسانی که هیچ آموزش قبلی در زمینه منطق یا سیستمهای رسمی ندارند در دسترس قرار دهد.
یک وبسایت همراه حاوی یک وبسایت همراه است. کتابچه راهنمای راهحلهای دانشآموزی دقیق با یک تفسیر در حال اجرا در مورد تمام تمرینهای ستارهدار و مجموعهای از اسلایدهای قابل ویرایش برای مربیان برای سفارشی کردن دورههای خود.
ویژگیهای کلیدی
p>
- تعداد گسترده ای از موضوعات را معرفی می کند که به مربیان امکان می دهد دوره هایی را برای دستیابی به طیف وسیعی از اهداف مختلف ایجاد کنند
- نگرش انتقادی نسبت به برخی آموزه های کلاسیک اتخاذ می کند و دانشجویان را در معرض راه های جایگزین برای پاسخ به سؤالات فلسفی در مورد منطق قرار می دهد
- با دقت به روشهایی که زبان طبیعی هم در برابر رسمیسازی مقاومت میکند و هم خود را به رسمیت میرساند
- معناشناسی عینی را برای منطق کمیسازی آسان میکند، با رویکردی افزایشی و مبتنی بر قاعده به کمک تعداد زیادی تمرین های ساده
- نتایج فرانظری مهم را از طریق ارائه گفتمانی آن نتایج و با استفاده از مطالعات موردی ساده در دسترس دانش آموزان مقدماتی قرار می دهد
< /p>
tag : دانلود کتاب آثار منطقی: مقدمه ای دقیق بر منطق رسمی , Download آثار منطقی: مقدمه ای دقیق بر منطق رسمی , دانلود آثار منطقی: مقدمه ای دقیق بر منطق رسمی , Download Logic Works: A Rigorous Introduction to Formal Logic Book , آثار منطقی: مقدمه ای دقیق بر منطق رسمی دانلود , buy آثار منطقی: مقدمه ای دقیق بر منطق رسمی , خرید کتاب آثار منطقی: مقدمه ای دقیق بر منطق رسمی , دانلود کتاب Logic Works: A Rigorous Introduction to Formal Logic , کتاب Logic Works: A Rigorous Introduction to Formal Logic , دانلود Logic Works: A Rigorous Introduction to Formal Logic , خرید Logic Works: A Rigorous Introduction to Formal Logic , خرید کتاب Logic Works: A Rigorous Introduction to Formal Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.