منتديات ليلاس - أحمد أنور أبو النور , المنطق الطبيعي دراسة في نظرية الاستنباط الأساسية

* المنطق الطبيعي: دراسة في نظرية الاستنباط الأساسية * تأليف: أحمد أنور أبو النور

من الثابت تاريخيا أن الدراسة التي أصدرها برتراند راسل وهوايتهيد في ثلاثة أجزاء بعنوان "المبادئ الرياضية"، تمثل أكثر المحاولات طموحا لعرض المنطق الكلاسيكي في أقوى صورة ممكنة. وكذلك سعى المؤلفان إلى اشتقاق الرياضيات من المنطق أو التوحيد بينهما على النهج الذي أسسه الفيلسوف والمنطقي فريجه قبل ذلك بربع قرن.
وسريعا ما توالت البحوث في هذا الفرع الجديد من علم المنطق بإضافات جديدة تتجاوز قضايا المنطق التقليدي وإشكالاته الوهمية أحيانا. وهذا الكتاب يهتم بإحدى أهم اتجاهات المنطق الرمزي أو الرياضي، وهو حساب القضايا أو نظرية الاستنباط الأساسية أو المنطق الأولي، وجميعها مسميات لموضوع واحد يمثل جزءا خاصا، ولكنه ضروري، للنظرية العامة في المنطق.
يتعرض الكتاب التفصيل، وبكثير من الأمثلة المتنوعة، للثوابت المنطقية وقواعد التركيب للغة المنطقية، وتعريف الصورة المنطقية، ونظرية الدلالة، وخاصة مفهوم الصدق المنطقي والاتساق، ونظرية البرهان وآلياته (الافتراض والتضمن، الوصل والفصل، النفي والنفي المزدودج، التكافؤ والتلازم).

:flowers2::flowers2::flowers2:

للتحميل

من هنا