المنطق الإسلامي (أصوله ومناهجه) — الصفحة ٦٦٦

الدوال القضائية :

الدوال القضائية :

الدوال القضائية :

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

F Y Q

) أو ( د . ذ . ر ) ، كما يستخدم للدلالة على الجزء المتغير من الدالة القضائية رمز : (

X . Y . Z .

) أو ( س . ص . ع ) .

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

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

وقد وضع رسل (

Ruessll )

رمزين لحاصل الضرب المنطقي . وهما (

XQX ) .

1 - لحاصل الضرب المنطقي ، ويمكن ترجمته ب - ( " س " . د . س ) أي