المنطق غير الرتيب

N write.svg
تعرَّف على طريقة التعامل مع هذه المسألة من أجل إزالة هذا القالب.هذه مقالة غير مراجعة. ينبغي أن يزال هذا القالب بعد أن يراجعها محرر؛ إذا لزم الأمر فيجب أن توسم المقالة بقوالب الصيانة المناسبة. يمكن أيضاً تقديم طلب لمراجعة المقالة في الصفحة المخصصة لذلك. (أكتوبر 2021)

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

المنطق الاستباديعدل

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

التفكير في المعرفةعدل

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

مراجعة المعتقداتعدل

مراجعة الاعتقاد هي عملية تغيير المعتقدات لاستضافة معتقد جديد قد يتعارض مع المعتقدات القديمة. لنفترض أن المعتقد الجديد صحيح، يجب التراجع عن بعض المعتقدات القديمة من أجل الحفاظ على التناسق . هذا التراجع استجابةً لإضافة اعتقاد جديد يجعل أي منطق لمراجعة المعتقدات لتكون غير رتيبة . سياسة مراجعة المعتقدات هي بديل للمنطق غير المتناسق، الذي يتساهل مع التناقض بدلاً من محاولة إزالته.

انظر أيضاًعدل

ملحوظاتعدل

 

  1. ^ Strasser, Christian; Antonelli, G. Aldo. "Non-Monotonic Logic". plato.stanford.edu/index.html. Stanford Encyclopedia of Philosophy. مؤرشف من الأصل في 20 سبتمبر 2021. اطلع عليه بتاريخ 19 مارس 2015. الوسيط |CitationClass= تم تجاهله (مساعدة)

مراجععدل

روابط خارجيةعدل