دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Evert W. Beth سری: Synthese Library 4 ISBN (شابک) : 9789401032711 ناشر: Springer سال نشر: 1970 تعداد صفحات: 183 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب روش های رسمی: مقدمه ای بر منطق نمادین و مطالعه عملیات موثر در حساب و منطق: منطق
در صورت تبدیل فایل کتاب 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