Introduction To Mathematical Logic - Calculating Propositions And Predicates
Account upgrade
The download is free, but we offer some paid services. Support us by subscribing
Delete ads and speed up browsing the library.
The download starts with the click of a button without waiting for the book to be ready.
No limits for download times.
You can upload unlimited books in the library.
Enable readers to download your books without waiting.
Delete ads on the books that you publish.
No problems with download links for your uploaded books.
Book Introduction To Mathematical Logic Calculating Propositions And Predicates
Copyright reserved
The book cannot be previewed or downloaded in order to preserve the copyright of the author and publishing house
Not available digitally or on paper through the Noor Library, it is for rating and review
Introduction To Mathematical Logic - Calculating Propositions And Predicates
| Author: | Hadi Fadl Allah |
| Category: | Mathematical Logic [Edit] |
| Language: | Arabic |
| Publisher: | دار الهادي للطباعة والنشر والتوزيع |
| Release Date: | 01 Jan 2003 |
| Pages: | 257 |
| Rank: | 233,652 No 1 most popular |
| Short link: | Copy |
| More books like this book | |
Book Description
المنطق الرياضي أو الرمزي امتداد للمنطق الأرسطي أو القديم، بكل ما في الكلمة من معنى. فالمنطق الرياضي يصحح من جهة أخطاء المنطق الأرسطي، ويضيف من جهة ثانية ما غفله ذلك المنطق من عدم استعمال الرموز، أو معالجة بعض المواضيع، أو عدم التركيز على منهج الاستقراء الناقص لا التام، باعتبار أن الاستقراء الناقص هو الطريق الوحيد لتطور العلوم وتقدمها.
من هنا ونظراً للحاجة العلمية وضرورة اتفاق الفكر مع التقدم العلمي على صعيد العلوم كان من الضروري أن يقوم منطق جديد يعتمد على منهج الاستقراء، هو المنطق المادي الاستقرائي، أو المنطق العلمي، في مقابل المنطق القديم، الذي يقوم على الاستنباط القياسي، ويعود الفضل في قيان هذا المنطق إلى علماء الطبيعة وعلى رأسهم فرنسيس بيكون.
هذا في مجال العلوم الطبيعية، أما في المجال الفلسفي، فقد أيقن بعض الفلاسفة المناطقة أن القضايا الفلسفية بقيت من دون حلول، نتيجة لالتزام الفلاسفة بالمنطق التقليدي، فعمدوا إلى الصورية، واتجهوا بالمنطق اتجاهاً رمزياً واتخذوا من التفكير الرياضي أساساً يطبقونه على كافة العلوم.
وقد أدرك الرياضيون من جهتهم أن الاستدلال الرياضي هو المنهج الوحيد الذي يعتمد النسق الاستنباطي ابتداءً من التعريفات والمسلمات وانتهاء إلى القضايا المستنبطة، فعمدوا إلى إدخال المنطق في فلك الرياضيات باعتبارها نموذجاً للمعرفة اليقينية، فاتجهت الأنظار إلى تطوير المنطق وفق الأصول الرياضية، ويعود الفضل في ذلك إلى ديكارت، الذي وصف قضايا الرياضيات والمنطق بالوضوح والتميز.
فالتشكيك بالاستنباط القياسي كمنهج للمعرفة اليقينية، وبالتالي بالمنطق الأرسطي بشكل عام، أدى إلى ظهور منهجي الاستقراء التجريبي والاستنباط الرياضي، وبالتالي قيام المنطق الاستقرائي المادي والمنطق الاستنباطي الصوري، الذي اتجه أصحابه اتجاهاً رياضياً.
ونشأ المنطق الرياضي وتطور إلى ما هو عليه اليوم مستمداً صحته ومكتسباً دقته من اعتماده التام على الرموز الرياضية، التي لم تعد مقتصرة على الموضوع والمحمول فقط، كما كان الحال عند أرسطو (384-322ق.م) وإنما شملت الموضوع المحمول وكذلك الروابط والقضايا، حتى بات المنطق خالياً من كل مادة، يعتمد في مسائله وقضاياه على الرموز والمتغيرات، كما سيبين هذا الكتاب، الذي ضم عرضاً مختصراً وكافياً لمسائل المنطق الرياضي وموضوعاته هادفاً إلى تعريف القارئ بهذا النوع من المنطق بطريقة بسيطة وواضحة ومتدرجة، فتكلم عن نشأة المنطق الرياضي وخصائصه، ثم عن حساب القضايا، فحساب المحمولات، في هذا المنطق المعاصر، كما زود الكتاب عند الاقتضاء، بالتمرينات التطبيقية اللازمة، التي تؤكد على أهمية حلها لفهم مسائل المنطق الرمزي وموضوعاته، مذكرين بأن الكتاب هو للمبتدئين في دراسة المنطق الرياضي، وليس للمتخصصين والباحثين في هذا العلم، لأنه يلتزم البساطة والوضوح والإيجاز، مع الإشارة إلى أنه يشمل المسائل الهامة في المنطق الرياضي، التي تمثل المرتكز الأساسي لدراسة كتب منطقية ذات مستوى أعلى.
Copyright reserved
The book cannot be previewed or downloaded in order to preserve the copyright of the author and publishing house
Not available digitally or on paper through the Noor Library, it is for rating and review
Share the book :
Book Quotes "Introduction To Mathematical Logic - Calculating Propositions And Predicates"
Other books like "Introduction To Mathematical Logic - Calculating Propositions And Predicates"
Other books for "Hadi Fadl Allah"
If there is a problem with the book, please report through one of the following links:
Report the book or by Contact us
E-books are complementary and supportive of paper books and never cancel it. With the click of a button, the e-book reaches anyone, anywhere in the world.
E-books may weaken your eyesight due to the glare of the screen. Support the book publisher by purchasing his original paper book. If you can access it and get it, do not hesitate to buy it.
Publish your book now for free
