ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс

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

Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс

مشخصات کتاب

Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Synthese Library 4 
ISBN (شابک) : 9789401032711 
ناشر: Springer 
سال نشر: 1970 
تعداد صفحات: 183 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



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



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

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


در صورت تبدیل فایل کتاب Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



بسیاری از فیلسوفان، استدلال منطقی را توانایی ذاتی بشر و ویژگی متمایز در ذهن انسان دانسته‌اند. اما همه ما می دانیم که توزیع این ظرفیت یا در هر حال توسعه آن بسیار نابرابر است. تعداد کمی از مردم قادر به ایجاد یک استدلال متقن هستند. دیگران حداقل قادر به پیروی از یک استدلال منطقی و حتی تشخیص مغالطه های منطقی هستند. با این وجود، حتی در میان افراد تحصیلکرده نیز بسیاری وجود دارند که حتی به این سطح نسبتاً متوسط ​​از رشد نمی رسند. طبق مشاهدات شخصی من، عدم توانایی منطقی ممکن است به دلیل شرایط مختلف باشد. در وهله اول به فقدان هوش عمومی، قدرت تمرکز ناکافی و نداشتن تحصیلات رسمی اشاره می کنم. ثانیاً، من متوجه شده ام که بسیاری از مردم قادر نیستند، یا گاهی اوقات تمایلی به بحث در فرضیه قبلی ندارند. چنین اشخاصی نمی‌توانند یا نمی‌خواهند از مقدماتی شروع کنند که می‌دانند یا معتقدند نادرست است یا حتی از مقدماتی که به نظر آنها صدق آنها به اندازه کافی تأیید نشده است. یا اگر موافقت کنند که از چنین مقدماتی شروع کنند، دیر یا زود از بحث دور می‌شوند و ابتدا سعی می‌کنند صحت یا کذب مقدمات را حل کنند. احتمالاً این نگرش یا ناشی از فقدان تخیل یا از درستی اخلاقی ناروا است. از سوی دیگر، مهارت در استدلال منطقی به خودی خود تضمینی برای بینش نظری روشن نسبت به اصول و مبانی منطق نیست.


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

Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind; but we all know that the distribution of this capacity, or at any rate its development, is very unequal. Few people are able to set up a cogent argument; others are at least able to follow a logical argument and even to detect logical fallacies. Nevertheless, even among educated persons there are many who do not even attain this relatively modest level of development. According to my personal observations, lack of logical ability may be due to various circumstances. In the first place, I mention lack of general intelligence, insufficient power of concentration, and absence of formal education. Secondly, however, I have noticed that many people are unable, or sometimes rather unwilling, to argue ex hypothesi; such persons cannot, or will not, start from premisses which they know or believe to be false or even from premisses whose truth is not, in their opinion, sufficient­ ly warranted. Or, if they agree to start from such premisses, they sooner or later stray away from the argument into attempts first to settle the truth or falsehood of the premisses. Presumably this attitude results either from lack of imagination or from undue moral rectitude. On the other hand, proficiency in logical reasoning is not in itself a guarantee for a clear theoretic insight into the principles and foundations of logic.



فهرست مطالب

Front Matter....Pages I-XIV
Purely Implicational Logic....Pages 1-38
Full Sentential Logic....Pages 39-47
Theory of Quantification, Equality, and Functionality....Pages 48-61
Completeness of Elementary Logic....Pages 62-75
The Formalization of Arithmetic and its Limitations....Pages 76-100
The Theory of Definition....Pages 101-111
On Machines Which Prove Theorems....Pages 112-121
Back Matter....Pages 122-170




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