منطق دانان اسلامی در تقسیم علم به تصور و تصدیق تابع فارابی هستند؛ چرا که پیش از او این تقسیم در کتابهای منطقی مرسوم نبود او اولین کسی بود که علم را به تصور و تصدیق تقسیم کرد