اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدحساب القضايا في منطق برتراند رسل
Calculus of propositions in Bertrand rassell's logic
1789
3 106
0
(
0
)
تأليف
نبال ناصيف( باحث )
تمت اﻹضافة من قبل
Shamra Editor
اسأل ChatGPT حول البحث
يحاول هذا البحث تسليط الضوء على مسألة أساسية و هامة في المنطق الرمزي و هي مسألة حساب القضايا في منطق برتراند رسل، و التي من خلالها نستطيع التعرف على أنواع القضايا عند رسل و علاقتها بالوقائع نظراً للارتباط الكبير بينهما، و نتعرف أيضاً على وجهة نظره من القضية الحملية الأرسطية. و يتناول هذا البحث مسألة دوال الصدق البسيطة التي يعالجها حساب القضايا و يتضمنها على هيئة نسق استنباطي، و يوضح الفرق الواضح بين اللزوم المادي و اللزوم الصوري. و يتناول أخيراً النسق الاستنباطي في حساب القضايا من خلال كتاب المبادئ الرياضية.
This research tries to concentrate on an essential and important issue in symbolic logic, which is the calculus of propositions in Rassell's logic. By studying this issue we will be able to understand propositions in Rassell's logic and its relationship with facts because of the great relationship between them. also we are going to know his opinion of Aristote's Categorical proposition. This research aims to study the issue of simple truth functions which are treated by calculus of propositions and deals with it as axiomatic and clarify the difference between material implication and formal implication. Finally it studies the axiomatic in calculus of propositions depending on the book principles of mathematics.
المراجع المستخدمة
رشوان, محمد مهران. فلسفة برتراند رسل, دار المعارف, مصر, 1976.
قيم البحث
اقرأ أيضاً
حساب لامدا هو نظام شكلي في المنطق الرياضي للتوابع القابلة للحساب و يستخدم للتعبير عن الحساب على أساس التجريد، يمكن استخدامه لمحاكاة آلة تورينغ.
تعتمد لغات البرمجة التابعية مثل Lisp , ML, Miranda على حساب لامدا.
درسنا في هذا البحث مسألة التتميم في منطق الجبر ثلاثي القيمة على منطق لوكاسفيتش ثلاثي القيمة بالنسبة لجملة أدوات منطقية تامة حيث تمت دراسة هذه المسألة في منظومة اشتقاق غاسبرغ و تقديم دراسة شاملة تضمنت أهم النظريات و قواعد الاشتقاق التي تم وضعها و التي
أدت إلى تقديم برهان مميز لنظرية التتميم في منطق لوكاسفيتش ثلاثي القيمة.
نقدم في هذا البحث المتغيرات العشوائية النيتروسوفيكية و التي هي عبارة عن تعميم
للمتغيرات العشوائية الكلاسيكية و التي حصلنا عليها من تطبيق منطق النيتروسوفيك ( و هو
منطق جديد غير كلاسيكي تم تأسيسه من قبل الفيلسوف و الرياضي الأميركي فلورنتن
سمارانداكه
Florentin Smarandache الذي قدمه كتعميم للمنطق الضبابي و خاصة
المنطق الضبابي الحدسي ) على المتغيرات العشوائية الكلاسيكية .
نقدم نظاما للتعلم أنماط التعلم المعممة أو النمطية للأحداث - أو المخططات "--- من قصص اللغة الطبيعية، وتطبيقها على إجراء تنبؤات حول القصص الأخرى.يتم تمثيل مخططاتنا منطق Episodic، وهو شكل منطقي يعكسان عن كثب اللغة الطبيعية.من خلال البدء بمجموعة "مجموعة
من البروتوشما" --- مخططات أن الطفل الذي يبلغ من العمر عامين، من المحتمل أن يعرفه الطفل --- يمكننا الحصول على معرفة عالمية مفيدة وعصرية مع أمثلة قليلة جدا - - في كثير من الأحيانواحد او اثنين.يمكن دمج المخططات المستفادة في مخططات أكثر تعقيدا ومركبة، وتستخدم لإجراء تنبؤات في قصص أخرى حيث تتوفر معلومات جزئية فقط.
غالبا ما تتطلب طرق تعلم التعلم العميق (RL) العديد من التجارب قبل التقارب، ولا يتم توفير إمكانية التفسير المباشر للسياسات المدربة.من أجل تحقيق التقارب السريع والتفسيرية للسياسة في RL، نقترح طريقة RL رواية للألعاب القائمة على النصوص مع إطار عمل رمزي مؤ
خرا يسمى الشبكة العصبية المنطقية، والتي يمكن أن تتعلم القواعد الرمزية والتفسيرية في شبكتها المختلفة.الطريقة الأولى لاستخراج الحقائق المنطقية من الدرجة الأولى من مراقبة النص وشبكة معنى الكلمة الخارجية (Congernet)، ثم قم بتدريب سياسة في الشبكة مع مشغلين منطقي قابل التفسير مباشرة.تظهر النتائج التجريبية لدينا التدريب RL مع الأسلوب المقترح بشكل أسرع بكثير من الأساليب الخلية العصبية الأخرى في مؤشر TextWorld.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
