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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب An Introduction to Formal Logic

دانلود کتاب مقدمه ای بر منطق صوری

مشخصات کتاب

An Introduction to Formal Logic

دسته بندی: منطق
ویرایش: 2 
نویسندگان: Peter Smith  
سری: Cambridge Introductions to Philosophy 
ISBN (شابک) : 1108411398, 9781108411394 
ناشر: Cambridge University Press 
سال نشر: 2020 
تعداد صفحات: 428 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب An Introduction to Formal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مقدمه ای بر منطق صوری

منطق صوری مجموعه‌ای قدرتمند از تکنیک‌ها را برای نقد برخی استدلال‌ها و نشان دادن معتبر بودن برخی دیگر در اختیار ما قرار می‌دهد. این تکنیک ها برای همه ما که علاقه مند به استدلال های ماهر و دقیق هستیم، مرتبط است. در این کتاب بسیار قابل دسترس که به طور گسترده برای ویرایش دوم بازنگری و بازنویسی شده است، پیتر اسمیت راهنمای اهداف اساسی و عناصر اساسی منطق رسمی را ارائه می دهد. او خواننده را با زبان‌های منطق گزاره‌ای و محمولی آشنا می‌کند و سیستم‌های استنتاج طبیعی را برای ارزیابی استدلال‌های ترجمه شده به این زبان‌ها توسعه می‌دهد. بحث او با مثال‌ها و تمرین‌های کار شده بسیار به تصویر کشیده شده است و در کنار کار رسمی، تفسیر فلسفی روشنگر نیز وجود دارد. این کتاب متنی ایده‌آل برای اولین درس منطق خواهد بود و مبنای محکمی برای کار بیشتر در منطق رسمی و فلسفی فراهم می‌کند.

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

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.

فهرست مطالب

Preface
What is deductive logic?
Validity and soundness
Forms of inference
Proofs
The counterexample method
Logical validity
Propositions and forms
Interlude: From informal to formal logic
Three connectives
PL syntax
PL semantics
`P's, `Q's, `'s, `'s – and form again
Truth functions
Expressive adequacy
Tautologies
Tautological entailment
More about tautological entailment
Explosion and absurdity
The truth-functional conditional
`If's and `'s
Interlude: Why natural deduction?
PL proofs: conjunction and negation
PL proofs: disjunction
PL proofs: conditionals
PL proofs: theorems
PL proofs: metatheory
Interlude: Formalizing general propositions
Names and predicates
Quantifiers in ordinary language
Quantifier-variable notation
QL languages
Simple translations
More on translations
Interlude: Arguing in QL
Informal quantifier rules
QL proofs
More QL proofs
Empty domains?
Q-valuations
Q-validity
QL proofs: metatheory
Interlude: Extending QL
Identity
QL= languages
Definite descriptions
QL= proofs
Functions
Appendix: Soundness and completeness
The Greek alphabet
Further reading