تأليف محمد محمد يونس علي
يشمل المعنى المنطقي implication نوعين من المعاني هما التضمن والافتراض.
2، 1- التضمن
يصدق على قضية ما (ق) أنها تتضمن أخرى (ك) إذا كان الحال أنه كلما كانت ق صادقة كانت ك بالضرورة صادقة. فالتضمن entailment إذن علاقة بين جملتين ق و ك؛ حيث ق تتضمن ك إذا كان صدق ك تابعا ضرورة لصدق ق. تأمل –على سبيل المثال- (17) و (18) حيث ق (17) تتضمن ك (18) بحيث كلما كانت (17) صادقة كانت (18) صادقة. أما إذا كانت ق كاذبة -بأن لم ير المتكلم كلبا- فلا يشترط أن تكون ك كذلك بل قد تكون ك صادقة إذا رأى المتكلم حيوانا آخر أو كاذبة إن لم ير حيوانا على الإطلاق.
(17) رأيت كلبا.
(18) رأيت حيوانا.
3،1 ، 1، 2، 2- الافتراض
الافتراض presupposition هو علاقة بين جملتين ق و ك حيث ق (19) تفترض ك (20) إذا كانت ك صادقة سواء أكانت ق صادقة (كما في (19)) أم كاذبة (كما في (21)).
(19) -توقف سليم عن التدخين
(20) سليم دخّن
(21) لم يتوقف سليم عن التدخين
والافتراض مفهوم يختلط كثيرا بمفهوم التضمن حتى عرفه بعضهم بأنه "تضمن لا يتأثر بالنفي" [15]“an entailment that survives negation” وهذا يعني أن كلا من (19) و(21) (على الرغم من أن الثانية منهما تنفي أولاهما) تفترض أن سليما كان قد دخّن.
وعلى الرغم من أنني لم أعثر على تعليل -فيما قرأت من كتب اللسانيين- لظاهرة نجاة الافتراض من النفي وتأثر التضمن به، فالظاهر أن السبب هو أنه في الافتراض تتكوّن (22) مثلا من (23) و(24) على نحو تبدو فيه الأولى سابقة زمانيا ومنطقيا للثانية بحيث يستلزم إثبات الثانية إثبات الأولى، لأن اللاحق لا يتحقق إلا بإثبات السابق، ولكن لا يؤدي نفي الثانية كما في (25) إلى إلغاء الأولى (23)؛ لأنه قد يثبت السابق دون وقوع لاحق.
(22) علي توقف عن التدخين
(23) علي دخن.
(24) علي توقف عن التدخين.
(25) علي لم يتوقف عن التدخين.
أما في حالة التضمن فإن الأولى (27) ليست سابقة ولا تالية للثانية (28)، إذ الرتبة بينهما غير واردة، بل العلاقة بينهما علاقة خاص بعام، ونفي الخاص كما في (29) لا يستلزم نفي العام (30)، لأن عدم رؤية الكلب لا تنفي انعدام رؤية حيوان آخر، فقد يكون المتكلم قد رأى قطة أو نحوها، أما في حال الإثبات فقد تأثرت؛ لأن إثبات الخاص (27) يستلزم إثبات العام (28)، فرؤية الكلب يستلزم بالضرورة رؤية الحيوان.
(26) رأيت كلبا.
(27) رأيت كلبا.
(28) رأيت حيوانا.
(29) لم أر كلبا.
(30) لم أر حيوانا.
2010-01-09, 15:36
