المنطق والجدل

📅 آخر تحديث: ٢٩ يوليو ٢٠٢٦
✍️ نُشر في: ٢٩ يوليو ٢٠٢٦
الموسوعة الحرة

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

تاريخ

منذ أواخر القرن العشرين، سعى علماء المنطق الأوروبيون والأمريكيون إلى وضع أسس رياضية للجدل من خلال الصياغة الرسمية، [ 1 ] : 201-372، على الرغم من أن المنطق كان مرتبطًا بالجدل منذ العصور القديمة. [ 1 ] : 51-140. وقد ظهرت دراسات ما قبل الرسمية وشبه الرسمية حول الحجة والجدل، من مؤلفين مثل ستيفن تولمين ( استخدامات الحجة ، 1958)، [ 2 ] [ 3 ] [ 1 ] : 203-256، ونيكولاس ريشر ( الجدل: منهج قائم على الجدل لنظرية المعرفة ، 1977)، [ 4 ] [ 5 ] [ 1 ] : 330-336 ، وفرانس هـ. فان إيميرين وروب غروتندورست ( الجدل البراغماتي ، ثمانينيات القرن العشرين). [ 1 ] : 517-614 يمكن تضمين أعمال مجتمعات المنطق غير الرسمي والمنطق المتناقض . [ 1 ] : 373-424

الجدوى

استنادًا إلى نظريات الاستدلال القابل للدحض (انظر جون ل. بولوك )، تم بناء أنظمة تُحدد سلامة الحجج، وقواعد تحكم عملية تقديم الحجج بناءً على افتراضات ثابتة، وقواعد لنقل عبء الإثبات. [ 1 ] : 615-675. يظهر العديد من هذه المنطق في مجال الذكاء الاصطناعي والقانون ، على الرغم من أن اهتمام علماء الحاسوب بصياغة الجدلية ينبع من رغبتهم في بناء أنظمة دعم القرار وأنظمة العمل التعاوني المدعومة بالحاسوب. [ 6 ]

ألعاب الحوار

يمكن صياغة الجدل نفسه على شكل حركات في لعبة، حيث يتجادل مؤيد لحقيقة قضية ما مع خصمه. [ 1 ] : 301-372 ويمكن لهذه الألعاب أن توفر دلالات منطقية ، تتسم بعمومية تطبيقها. [ 1 ] : 314

انظر أيضاً

مراجع

  1. 1 2 3 4 5 6 7 8 9 إيميرين، فرانس هـ. فان ؛ جارسن، بارت. كرابي ، إريك سي دبليو ؛ سنوك هينكيمانز، أ. فرانسيسكا؛ فيرهيج، بارت. واجيمانز، جان إتش إم (2014). دليل نظرية الحجج . نيويورك: سبرينغر-فيرلاغ. دوى : 10.1007/978-90-481-9473-5 . رقم ISBN 9789048194728. OCLC 871004444 . 
  2. ↑ تولمين، ستيفن (2003) [1958]. استخدامات الحجة ( طبعة محدثة). كامبريدج، المملكة المتحدة؛ نيويورك: مطبعة جامعة كامبريدج. doi : 10.1017/CBO9780511840005 . ISBN  978-0521827485. OCLC 51607421 . 
  3. ↑ هيتشكوك، ديفيد؛ فيرهيج، بارت، محرران. (2006). الجدال على نموذج تولمين: مقالات جديدة في تحليل الحجج وتقييمها . مكتبة الحجاج. المجلد 10. دوردريخت: سبرينغر-فيرلاغ. doi : 10.1007/978-1-4020-4938-5 . ISBN  978-1402049378. OCLC 82229075 . 
  4. ↑ هيذرينغتون، ستيفن (2006). "نيكولاس ريشر: الجدلية الفلسفية" . مراجعات نوتردام الفلسفية (2006.07.16).
  5. ↑ جاكيت، ديل، محرر. (2009). العقل والمنهج والقيمة: مختارات في فلسفة نيكولاس ريشر . فرانكفورت: دار نشر أونتوس. doi : 10.1515/9783110329056 . ISBN 9783110329056.
  6. ↑ للاطلاع على دراسات استقصائية للأعمال في هذا المجال، انظر على سبيل المثال: تشيسنيفار، كارلوس إيفان؛ ماغيتمان، آنا غابرييلا؛ لوي، رونالد بريسكوت (ديسمبر 2000). "النماذج المنطقية للحجة". مجلة ACM Computing Surveys . 32 (4): 337–383 . CiteSeerX 10.1.1.702.8325 . doi : 10.1145/371578.371581 . و: براكن، هنري؛ فريسويك، جيرارد (2005). "منطق الحجج القابلة للدحض". في: غاباي، دوف م.؛ غوينتنر، فرانز (محرران). دليل المنطق الفلسفي . المجلد 4 ( الطبعة الثانية). دوردريخت؛ بوسطن: دار كلوير الأكاديمية للنشر. الصفحات 219-318 . CiteSeerX 10.1.1.295.2649 . doi : 10.1007/978-94-017-0456-4_3 . ISBN     9789048158775.