اتضح أن تعريف الرواقيين المختزل "للشرطية" هو الأكثر فائدة في التطوير التقني للمنطق الافتراضي، وهو الذي يستخدمه المنطقيون اليوم. يستخدم المنطق الرواقي في الوقت الحاضر كعنصر أساسي في المنطق، ويستخدم المنطق الإسنادي لأرسطو كبنية فوقية.