الطريقة ، في المنطق ، تصنيف الاقتراحات المنطقية وفقًا لتأكيدها أو إنكار إمكانية أو استحالة أو طارئة أو ضرورة محتواها. تم دراسة المنطق المشروط ، الذي يدرس السمات المنطقية لمثل هذه المفاهيم ، التي نشأت مع أرسطو ، على نطاق واسع من قبل المنطقيين في العصور القديمة والعصور الوسطى الأوروبية ، وتم إهماله ، في معظم الأحيان ، بعد عصر النهضة حتى إحياءه في المنطق الرياضي الحديث. البيان الأساسي حول هذا الموضوع ، المفترض في معظم المناقشات المعاصرة ، هو CI Lewis و Cooper Harold Langford in Symbolic Logic (1932) ، الذي يطور نظامًا مشروطًا من "التضمين الصارم" لتفسير القوة المنطقية لـ "if… ثم."
