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

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

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

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

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

تبدأ الصياغة النظرية للبرهان لمنطق غير رتيب باعتماد قواعد استدلال غير رتيبة محددة ، ثم تحدد السياقات التي يمكن فيها تطبيق هذه القواعد في استنتاجات مقبولة. ويتم ذلك عادةً عن طريق معادلات النقطة الثابتة التي تربط مجموعات المقدمات بمجموعات نتائجها غير الرتيبة. ويُعد منطق الافتراضات ومنطق المعرفة الذاتية من أكثر الأمثلة شيوعًا على المنطق غير الرتيب الذي تمت صياغته بهذه الطريقة. ^{[ 2 ]}

تبدأ الصياغة النظرية النموذجية لمنطق غير رتيب بتقييد دلالات منطق رتيب مناسب على نماذج خاصة، كالنماذج الدنيا على سبيل المثال، ^{[ 3 ] [ 4 ]} ، ثم تستنتج مجموعة من قواعد الاستدلال غير الرتيبة ، مع بعض القيود المحتملة على السياقات التي يمكن تطبيق هذه القواعد فيها، بحيث يكون النظام الاستنتاجي الناتج سليمًا وكاملاً فيما يتعلق بالدلالات المقيدة . [ ^{5 ] على} عكس بعض الصياغات النظرية البرهانية التي عانت من مفارقات معروفة، والتي كان من الصعب تقييمها من حيث اتساقها مع البديهيات التي كان من المفترض أن تجسدها، فإن الصياغات النظرية النموذجية خالية من المفارقات، ولا تترك مجالًا يُذكر للالتباس حول أنماط الاستدلال غير الرتيبة التي تغطيها. تشمل الأمثلة على الصياغات النظرية للبرهان للاستدلال غير الرتيب، والتي كشفت عن بعض الخصائص غير المرغوب فيها أو المتناقضة أو لم تستوعب الفهم البديهي المطلوب، والتي تم صياغتها بنجاح (بما يتوافق مع الفهم البديهي المعني ودون خصائص متناقضة) بوسائل نظرية النموذج، التحديد من الدرجة الأولى ، وفرضية العالم المغلق ، ^{[ 5 ]} والمنطق المعرفي الذاتي . ^{[ 2 ]}

• البرمجة المنطقية
• النفي كفشل
• دلالات النموذج المستقر
• علاقة العواقب العقلانية

• بيدويت، ن.؛ هول، ر. (1989). "التبسيط، والتبرير، وعدم الرتابة في قواعد البيانات الاستنتاجية" . مجلة علوم الحاسوب والنظم . 38 (2): 290-325 . doi : 10.1016/0022-0000(89)90004-4 .
• بروكا، ج. (1991). الاستدلال غير الرتيب: الأسس المنطقية للحس السليم . مطبعة جامعة كامبريدج. ISBN 978-0-521-38394-3.
• بروكا، ج.؛ ديكس، ج.؛ كونوليج، ك. (1997). الاستدلال غير الرتيب - نظرة عامة . سلسلة محاضرات CSLI. المجلد  73. ستانفورد: منشورات CSLI. ISBN 9781881526834.
• كادولي، م.؛ شارف، م. (1993). "دراسة استقصائية لنتائج التعقيد للمنطق غير الرتيب" . مجلة برمجة المنطق . 17 ( 2-4 ): 127-160 . doi : 10.1016/0743-1066(93)90029-G .
• دونيني، FM. لينزيريني، م.؛ ناردي، د.؛ بيري، F.؛ شيرف، م. (1990). “الاستدلال غير الرتيب”. مراجعة الذكاء الاصطناعي . 4 (3): 163-210 . دوى : 10.1007 / BF00140676 . S2CID 23575942 . 
• جاباي، د.م. (1985). "الأسس النظرية للاستدلال غير الرتيب في أنظمة الخبراء" . في: آبت، ك.ر. (محرر). منطق ونماذج الأنظمة المتزامنة . المجلد  13. سلسلة ناتو ASI، السلسلة F: علوم الحاسوب والأنظمة: سبرينغر. الصفحات 439-457 . doi : 10.1007/978-3-642-82453-1_15 . ISBN  978-3-642-82453-1.
• جينسبيرغ، إم إل، محرر (1987). قراءات في الاستدلال غير الرتيب . مورغان كوفمان. ISBN 978-0-934613-45-3.
• هورتي، جيه إف (2001). "المنطق غير الرتيب". في: جوبل، لو (محرر). دليل بلاكويل للمنطق الفلسفي . وايلي. ISBN 978-0-631-20692-7.
• Łukaszewicz، W. (1990). الاستدلال غير الرتيب . إليس هوروود. رقم ISBN 978-0-13-624446-2.
• لوندبيرغ، سي جي (2000). "أصبح منطقيًا وتذكرت معناه: بناء المعنى من خلال الاستدلال الاستنباطي" (ملف PDF) . مجلة علم النفس الاقتصادي . 21 (6): 691-709 . doi : 10.1016/S0167-4870(00)00027-1 . S2CID 11723465. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 2017-09-07. 
• ماكينسون، د. (2005). جسور من المنطق الكلاسيكي إلى المنطق غير الرتيب . منشورات الكلية. ISBN 9781904987000.
• ماريك، دبليو؛ تروسزكزينسكي، إم. (1993). المنطق غير الرتيب: الاستدلال المعتمد على السياق . سبرينغر. ISBN 978-3-662-02906-0.
• عبد الله، أ. نايت (1995). منطق المعلومات الجزئية . سبرينغر. ISBN 978-3-642-78160-5.
• سوشينيك، ماريك أ. (1993). "الخصائص النحوية من الدرجة الأولى للاستلزام الأدنى، والاستلزام الأدنى في المجال، واستلزام هيربراند" . مجلة الاستدلال الآلي . 10 (2). دار نشر كلوير الأكاديمية / سبرينغر: 237-263 . doi : 10.1007/BF00881837 .

• أنتونيللي، جي. ألدو. "المنطق غير الرتيب" . في زالتا، إدوارد ن. (محرر). موسوعة ستانفورد للفلسفة . ISSN 1095-5054 . OCLC 429049174 .  
• المنطق غير الرتيب في PhilPapers
• المنطق غير الرتيب في مشروع أنطولوجيا الفلسفة في إنديانا