المنطق الرياضي [texte imprimé] /
عادل فاخوري . - ط2.منقحة . -
بيروت : المؤسسة الجامعية للدراسات, 1988 . - 270ص : جداول ; 24سم.
Langues : Arabe (
ara)
Langues originales : Arabe (
ara)
| Catégories : |
الفلسفة
|
| Mots-clés : |
المنطق الرياضي ؛ منطق القضايا ؛ منطق المحمولات |
| Index. décimale : |
160 المنطق |
| Résumé : |
جاء هذا الكتاب ليعرض بالتفصيل أصول هذا العلم في آخر تطوراته، و على وجه الخصوص يتناول بالبحث منطق القضايا و منطق المحمولات الذين يعتبران الركنين الأوليين يعتمد عليهما كل بناء ضروري. و قد اختوى الكتاب على قسمين كل منهما ضم أمثلة و وشواهد ، أقيسة دقيقة و طرق صورية بحتة. ففي منطق القضايا يقدم البابان الأولان بحثا مسهبا في تعريف الروابط و البت في صحة الصيغ و الأدلة ، يشكل مدخلا أساسيا للمنطق الحديث، و يعقب ذلك ضبط لبنية الحساب، و تطبيقه على صياغة اللغةو إقامة نسق المسلمات ، و من ثم تحديد عمليات الإستنباط و البرهان المتعلقة بالنسقو تقرير بعض المسائل الناجمة عنه. و في الباب الرابع ، يتم البرهان على خصائص النسق استناذا إلى المقارنة بين الميتويين الدلالي و النحوي. ثم يختتم القسم الأول بعرض مجموعة من الأنساق. أما القسم الثاني فصعوبة علم الدلالة فيه ، تحول دون ايجاد طرق سهلة للإستدلال ، على غرار جداول الصدق، كما ألحق قواعد الإستنباط الطبيعي بالنسق الأكسيومي، عن طريق اشتقاقها منه. و أفرد الباب الأخير للبحث في المساواة و متعلقاتها. |
المنطق الرياضي
