كان صنو يحيى بن عدي، وإبراهيم كان أخص خواص أبي نصر الفارابي، وملازمًا له ومدون تصانيف أبي نصر.
ولإبراهيم تصانيف كثيرة في النفس وسائر العلوم.
وذكر في بعض تصانيفه: (أن) التقسيم هبوط والتحليل صعود. وقال: التقسيم (والتحليل خادمان للحد والبرهان فخدمة) التقسيم بكثير الوسائط، وخدمة التحليل بالإنتقاء، كما أن حد الإنسان يحلل إلى حيوان وناطق.
وقال: كل محدود متصور وليس كل متصور محدودًا.