افتراضافتراض در منطق به معنای تبدیل قضیه کلی به جزئی و جزئی به کلی است. ۱ - توضیح اصطلاحتبدیل قضیه کلی به جزئی و جزئی به کلی را در اصطلاح علم منطق افتراض گویند. اگر بخواهند قضیه جزئیه را به قضیه کلیه مبدل سازند، آن بعض را که محکوم علیه است، به فرض تعیین میکنند، و لفظی مفرد محصّل یا معدول به جای آن مینهند. مثلا اگر بخواهند قضیه جزئیه «بعضی مردمان کاتب نیستند» را کلی کنند، میگویند: «هیچ امیی کاتب نیست». و چون بخواهند قضیه «بعضی مردمان کاتب هستند» را کلی کنند، گویند «هر غیر امیی کاتب است». «و اگر صغری سالبه بود، قلب مقدمات کنند، و اگر عکس و قلب مفید نباشند بسبب آنکه صغری سالبه جزوی باشد، افتراض کنند، و گاه به خلف بیان کنند». ۲ - پانویس
۳ - منبعخوانساری، محمد، فرهنگ اصطلاحات منطقی به انضمام واژه نامه فرانسه و انگلیسی، ص۲۷. |