Explore the vast range of titles available.

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

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

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

1. كثير من كتب الرافضة والفرق الكلامية المتأخرة ومتفلسفة الأشعرية والماتريدية وأصول الفقه متأثرة بالمنطق، ولا يمكن فهمها جيدا، إلا بمعرفة المصطلحات والمعاني المنطقية، ومع عسر وغموض المنطق وبطلان كثير من مسائله، إلا أنه لابد من معرفته بالنسبة للمتخصصين. 2. لتسهيل فهم المنطق، لابد من مراعاة خصائصه التالية وهي: لا تغتر بتهويل وتفخيم المناطقة، ومخالفة مصطلحات المناطقة للغة العرب، وأن غالب نظريات المناطقة لا حقيقة لها، وأن المنطق اليوناني غاية في التجريد، لا علاقة له بالواقع، وكثرة التقسيمات والتفريعات بغير دليل. 3. تعريف المنطق هو: محاولة لوضع قوانين عامة للعلوم جميعها، أما زعم المناطقة أنه آلة تعصم الذهن أو ميزان توزن به العلوم فهذا يحرم على المسلم تصديقه؛ لأن الله تعالى سمى القرآن الكريم فرقانا بين الحق والباطل، وأخبر سبحانه أنه أنزل الكتاب والميزان، فالكتاب هو القرآن العظيم، أما الميزان فهو العدل والاعتبار والقياس الصحيح والعقل الرجيح. 4. لا تصح مزاعم متفلسفة الأشعرية والماتريدية أنه لا يرد المنطق إلا أهل السنة فقط، وهذا هو المذكور في كثير من الكتب المؤلفة في المنطق، والصواب أنه ذم المنطق ورده سلف الأمة أهل السنة والجماعة، وسائر الفرق الكلامية من المعتزلة والكرامية والشيعة ومن قدماء الأشعرية والماتريدية وغيرهم، لكن المتأخرين اعتمدوه، من الأشعرية والماتريدية ومن تابعهم، ولاتزال معظم الأوساط الكلامية تخضع لتأثيره السلبي إلى اليوم، وسبب ذلك إحساسهم بضعف مناهجهم الكلامية، ولا تصح دعاوى تخليصه من الضلالات، بل هو نفس المنطق عند شراحه من اليونانيين، وعند ابن سينا وغيره. 5. أثر المنطق في العقائد الكلامية التي تبنته، وصبح من مقدماتها، وأهم هذه الآثار: إدخال القضايا الخرافية في كتبهم العقائدية، وإثارتها للشبهات والشكوك، وأصبحت مناهج جدل لا مناهج إقناع، وتعقيدها وصعوبة فهمها على غالب الناس، وبعدها عن الواقع المعاش والحياة اليومية، وفي أصول الفقه الاهتمام بالجانب الشكلي دون المضمون، والنظري دون العملي، والتدقيق الزائد في الأمور الواضحة، والبحث في الصور النادرة، والفروض المحتملة. 6. المنطق له منهج واضح في البحث العلمي يتمثل في البحث النظري، وفي الكليات الذهنية التي لا حقيقة لوجودها، ويهمل الجانب العملي، والبحث في الجزئيات المحسوسة، واهتمامه بالعلم النظري فقط، ويهمل العلم العملي، وذلك لأن النظري لا غرض له ولا ينبني عليه عمل، وبسبب هذا المنهج خسر المسلمون كثيرا، وكان من ثماره سد على كثير من الناس طريق العلم، وأوقعهم في أودية الضلال والجهل. أما المنهج الإسلامي الصحيح الذي هو منهج أهل السنة والجماعة فهو على النقيض من المنهج المنطقي، فقد جاء الحث في كتاب الله تعالى وفي السنة النبوية الشريفة على الجمع بين العلم والعمل، والنهي عن الجدل والمراء المذموم.

جاء المنطق الحديث ليؤكد على أهمية الماصدق (وجود ما تصدق عليه الأشياء) بالنسبة للقضايا، متخذا من النظرة الماصدقية منطلقا له، وفي سبيله إلى هذا الأمر تعددت وتنوعت الاتجاهات التي تتناول معنى الأشياء لغويا ومنطقيا، وكيف يختلف المعنى طبقا لاختلاف اللفظ، وقد تناول عددا من المناطقة الحدود المنطقية بالشرح والتحليل، كان من بينهم (ناثان سالمون Nathan Salmon) (1951-...) الذي لم يفرق تفريقا دقيقا بين قطعية الحد العام والحد الفردي، انطلاقا من نزعته الجوهرية التي تؤكد تمتع الشيء بهوية أو كينونة واحدة حتى مع اختلاف العوالم وقد عرض في شرحه إلى فكرتين أساسيتين: موقفه مما قدمه (برتراند رسل Bertrand Russell) (1872-1970) في نظرية الأوصاف المحددة وموقفه من المشير Designatum أو المحدد القاطع الذي قدمه (سول كريبك Saul Kripke) (1940-...)، مؤكدا أهمية نظرية الإشارة الجديدة، خاصة في تناوله للحدود الفردية كأسماء الأعلام، ومعلقا على منطق الجهة من أجل إبراز فكرته الأساسية التي تدور حول معنى القضايا من خلال وجهة النظر الماصدقية والمفهومية.