[Dariush]

اگر در چارچوب جستار باشه این توضیح رو عرض میکنم: اینکه منطق مادر علوم است بیشتر یک تعارف و اصطلاح برای نشان دادن رابطه پیش نیازی منطق در برابر علوم هست. نه اینکه واقعا رابطه مادری برای اینها در نظر گرفته بشه و واقعن نیز رابطه مادر و فرزندی برای فلسفه و منطق! چه بسا حتی منطق مادر فلسفه هم باشه! گفته شده منطق مادر علوم هست، گفته نشده که منطق مادر فلسفه نیست! بر این اساس، همچین استدلال استنتاجی زیاد موجه نیست که اگر فلسفه مادر منطق، و منطق مادر علم، پس فلسفه مادر علم! این رابطه همانطور که گفتم رابطه واقعی نیست مانند رابطه بزرگتر و کوچکتری.

اینکه من گفتم فلسفه مادرِ علوم و مادرِ منطق است، از جهتِ تقدمِ تاریخی است.

خوب حالا آیا کلی داریم که بزرگتر یا مساوی جزء خودش نباشه ؟!

بله داریم: مثلا مجموعه‌ی اعدادِ طبیعی از مجموعه‌ی اعدادِ طبیعیِ زوج و فرد تشکیل شده، اما نه از آنها بزرگتر است، نه کوچکتر است و نه با آنها مساوی‌ست. البته در حسابِ بی‌نهایت‌ها، مثلا بی‌نهایتِ زوج یا بی‌نهایتِ منفی (∞-) با بی‌نهایت متفاوت است، اما همچنان اینجا ما کلی داریم که از جزء ِ خود بزرگتر یا مساوی نیست.