الوقف الستراوسوني

في علم الدلالة الصورية ، يُعدّ استلزام ستروسون نوعًا من الاستلزام لا يتأثر بفشل الافتراضات المسبقة . رسميًا، تستلِم الجملة P الجملة Q وفقًا لستروسون إذا وفقط إذا كانت Q صحيحة دائمًا عندما تكون P صحيحة وتتحقق افتراضات Q المسبقة. على سبيل المثال، تستلِم جملة "ماريا تحب كل القطط" وفقًا لستروسون جملة "ماريا تحب قطتها"، لأن ماريا لا يمكنها أن تحب كل القطط دون أن تحب قطتها، بافتراض أنها تمتلك واحدة. هذا ليس استلزامًا عاديًا، لأن الجملة الأولى قد تكون صحيحة بينما الثانية غير مُعرَّفة بسبب فشل أحد الافتراضات المسبقة؛ فحب كل القطط لا يضمن امتلاكها قطة. ^{[ 1 ] [ 2 ] [ 3 ]}

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

• التجانس (الدلالات)
• قانون الوسط المرفوع
• المنطق الثلاثي