منطق کلاسیک که بر «حفظ صدق» استوار است، در تحلیل استدلال‌های روزمره، فلسفی و علمی با محدودیت‌هایی چون پارادوکس‌های استلزام مادی روبه‌روست. این پژوهش با طراحی و پیاده‌سازی یک سیستم منطق دوپایه می‌کوشد تا با تفکیک پایهٔ مصداقی (روابط تابع‌ارزشی) از پایهٔ مفهومی (روابط ضروری و علّی)، راه‌حلی برای این چالش‌ها ارائه دهد.