تكميم المنطق الوصفي

Abstract

تقدم هذه الرسالة دراسة عامة في منطق الإسنادي الوصفي (Modal Predicate Logic) ومناقشة إمكانية وجود منطق إسنادي وصفي يجعل من العبارات الغامضة (Ambiguous) وتحديداً العبارات العينية (De Re) والعبارات العقلية (De Dicto) عبارات متكافئة، بمعنى وجود نماذج إسنادية وصفية تأخذ وفقها هذه العبارات قيم الحقيقة نفسها. تضمنت هذه الرسالة أربعة فصول حيث تناول الفصل الأول عرضاً للمفاهيم الأساسية في المنطق الوصفي فيما حوى الفصل الثاني دراسة لنموذجي المنطق الوصفي المعياري و الأصغري. الفصل الثالث تضمن عرضاً لمفهومي المنطق التام (Complete) والمنطق السليم (Sound). وأخيراً تركزت الدراسة على عرض الصياغة منطق الإسناديات الوصفي وعلى إيجاد العلاقة بين العبارات العينية والعبارات العقلية وذلك من خلال بناء نموذجين إسناديين وصفيين متكافتين بالنسبة إلى العبارات العقلية، ومن ثم إثبات عدم التكافؤ بين العبارات العقلية والعينية في المنطق SBF و في نهاية الفصل الرابع عممت الدراسة لتشمل باقي أنواع المنطق أرجو أن أكون قد وفقت في هذه الدراسة الإسنادية الوصفية لما لها من أهمية في علوم الذكاء الصنعي واللسانيات .