ملاصدرا فیلسوف بزرگ اسلامی، کتابی با عنوان التنقیح فی المنطق نوشته است که در آن، به بیان منطق و توضیح قسمت‌های مهم آن پرداخته و قضایای منطقی را کاملاً تحلیل کرده است. نویسندۀ کتاب منطق صدرایی با محور قراردادن کتاب التنقیح فی المنطق ملاصدرا می‌کوشد از نگاه ملاصدرا، مسائل مهم منطقی در زمینه‌های تعریف، صورت‌های مختلف استدلال‌های قیاسی، برهان و مغالطات را به‌خوبی شرح دهد. او در ابتدای کتاب، به تعریف منطق و بیان فواید و کاربردهای آن می‌پردازد و تقسیم علم به حضوری و حصولی و نیز تصور و تصدیق را بیان می‌کند. همچنین، به معرفی و توضیح قسمت‌های مختلف منطق می‌پردازد و مسائلی همچون دلالت، نسبت میان لفظ و معنا، مفاهیم کلی و جزئی، اقسام کلیات، اقسام حمل و محمول و نیز کلیات خمس را بررسی می‌کند. نویسنده در قسمت‌های بعدی کتاب، از حد و اقسام آن، انواع ماهیت، اقسام وجود، نفس‌الامر و انواع قضایا و نیز وجود سور در انواع قضایا سخن می‌گوید. دست‌آخر هم به تبیین اَشکال مختلف قیاس و انواع آن، اعم از قیاس‌های اقترانی و حملی و نیز بررسی و نقد مغالطات سوفسطائیان می‌پردازد.